Category:Paper Year 2002

From BibNetWiki

List of papers published in 2002.

See also the list of all papers in the database.

(previous 200) (next 200)

Articles in category "Paper Year 2002"

There are 200 articles in this category.

' ''As Time Goes By'' - Using Time Series Based Decision Tree Induction to Analyze the Behaviour of Opponent Players ''Bay Zero'' simulation explores methodology of mixed blocked/evented-related functional MRI experiments ''Bonkers''. Increasing Literacy Skills: An Eclectic Electronic Teaching Approach Gone ''Bonkers'' ''Gold Standard'' 2Dslash 3D Registration of X-Ray to CT and MR Images ''Humane'' Interfaces to Improve the Usability of Data Clearinghouses ''Just-in-Place'' Information for Mobile Device Interfaces ''Real World'' as an Argument for Covariant Specialization in Programming and Modeling ''You Cannot Use My Broom! I'm the Witch, You're the Prince'': Collaboration in a Virtual Dramatic Game 'Dynamism of a Dog on a Leash' or Behavior Classification by Eigen-Decomposition of Periodic Motions 'Emigr'e: Metalevel Architecture and Migratory Work 'ForSe FIElds' - Force Sensors for Interactive Environments 'NAIL': Artificial Intelligence Software for Learning Natural Language ( ( M 1)st-Price Auction Protocol (2 f(n))-SAT and Its Properties (Not So) Random Shuffles of RC4 (Quasi-) Thread-Safe PVM and (Quasi-) Thread-Safe MPI without Active Polling . .NET as a Platform for Implementing Concurrent Objects (Research Note) 1 1 omega-Automata 1-Click Learning of Object Models for Recognition 1-out-of-n Signatures from a Variety of Keys 1. The Basics 1.375-Approximation Algorithm for Sorting by Reversals 1.5-Approximation for Treewidth of Graphs Excluding a Graph with One Crossing as a Minor 10 Experiments on the Derivation of Similarities and Type Conflicts 10 Modal mu-Calculus and Alternating Tree Automata 10. Case Study: Verifying a Security Protocol 10. Conclusions 10. Experience Management for Electronic Commerce 10. Spaces for Combinators 11 Experiments on the Extraction of Hyponymies 11 Strictness of the Modal mu-Calculus Hierarchy 11. Constraint Combinators 11. Experience Management for Self-Service and Help-Desk Support 11monkeys3 Team Description 11th Workshop for PhD Students in Object-Oriented Systems 12 Decidability of S1S and S2S 12 Experiments on the Extraction of Assertions between Knowledge Patterns 12. Experience Management for Electronic Design Reuse 12. Implementing Oz Light 12th Workshop for PhD Students in Object Oriented Systems 13 Experiments on the Construction of a Data Repository 13 The Complexity of Translating Logic to Finite Automata 13. Implementing Spaces 14 Expressive Power of Monadic Second-Order Logic and Modal mu-Calculus 14 Using the CIS Relative to ICGO Databases 14. Other Approaches to Search 15 A Look at the Future 15 Prefix-Recognizable Graphs and Monadic Logic 15. Conclusion 16 Conclusions 16 The Monadic Theory of Tree-like Structures 17 Two-Way Tree Automata Solving Pushdown Games 18 Introduction to Guarded Logics 18th EuroForth Conference 19 Automata for Guarded Fixed Point Logics 1H magnetic resonance spectroscopy, cognitive function, and apolipoprotein E genotype in normal aging, mild cognitive impairment and Alzheimer's disease 2 2 Extraction of Synonymies, Homonymies, and Type Conflicts 2 Infinite Games 2 Integrating Autonomous Information Sources 2-Compromise Usability in 1-Dimensional Statistical Databases 2. Association Rule 2. Constraint Programming 2. Experience Management 2. Fault Models and Fault-Behavior of Processor Structures 2. Functional Programming in HOL 2. High-Dimensional Indexing

2 cont. 2. Interactive Processes 20 Some Fixed Point Basics 29^th Annual International Symposium on Computer Architecture 2D Guide Wire Tracking during Endovascular Interventions 2D and 3D Computer Graphics Algorithms under MORPHOSYS 2D mapping of large quantities of multi-variate data 2D-3D Intensity Based Registration of DSA and MRA - A Comparison of Similarity Measures 3 3 Determinization of Buchi-Automata 3 Extraction of Object Cluster Similarities 3 Information Quality Criteria 3. Indexing the Edges - A Simple and Yet Efficient Approach to High-Dimensional Range Search 3. Introducing Oz Light 3. Markov Chains 3. More Functional Programming 3. Negative Association Rule 3. On-line Check Technology for Processor Components 3. Qualitative Spatial Representation and Reasoning 3. Representing Experience 3D Analysis of the Alignment of the Lower Extremity in High Tibial Osteotomy 3D Audio in the 21^st Century 3D Complex Scenes Segmentation from a Single Range Image Using Virtual Exploration 3D Guide Wire Reconstruction from Biplane Image Sequences for 3D Navigation in Endovascular Interventions 3D Mesh Generation for the Results of Anisotropic Etch Simulation 3D Modelling Using Geometric Constraints: A Parallelepiped Based Approach 3D Object Retrieval by Shape Similarity 3D Prostate Surface Detection from Ultrasound Images Based on Level Set Method 3D Quantification Visualization of Vascular Structures in Magnetic Resonance Angiographic Images 3D Reconstruction of Paper Based Assembly Drawings: State of the Art and Approach 3D Respiratory Motion Compensation by Template Propagation 3D Statistical Shape Models Using Direct Optimisation of Description Length 3D Ultrasound System Using a Magneto-optic Hybrid Tracker for Augmented Reality Visualization in Laparoscopic Liver Surgery 3D Visualization of Large Digital Elevation Model (DEM) Data Set 3D Volume Reconstruction by Serially Acquired 2D Slices Using a Distance Transform-Based Global Cost Function 3D-Visualization and Registration for Neurovascular Compression Syndrome Analysis 3G Medicine - The Integration of Technologies 3T Architecture for the SBCe Simulator Team 4 4 Complementation of Buchi Automata Using Alternation 4 Extraction of Hyponymies and Overlappings 4 Quality Ranking Methods 4. Assessing Experience Utility 4. Causality in Databases 4. Interactive Markov Chains 4. On-line Check Technology for Processor Control Signals 4. Performance Study of Window Queries 4. Presenting Theories 4. Spaces for Search 4. The Region Connection Calculus 4D Active Surfaces for Cardiac Analysis 4D Minimal Non-simple Sets 4th Workshop on OO and Operating Systems 4th Workshop on Object-Oriented Architectural Evolution 5 5 Determinization and Complementation of Streett Automata 5 Extraction of Assertions between Knowledge Patterns 5 Quality-Driven Query Planning 5. Algebra of Interactive Markov Chains 5. Causal Rule Analysis 5. Cognitive Properties of Topological Spatial Relations 5. Fast Processor Recover Techniques with Micro Rollback 5. Indexing the Relative Distance - An Efficient Approach to KNN Search 5. Representing Knowledge for Adaptation 5. Search Engines 5. The Rules of the Game 5dpo Team Description 6 6 Construction of a Data Repository 6 Memoryless Determinacy of Parity Games 6 Query Planning Revisited 6. Association Rules in Very Large Databases

6 cont. 6. Best-Solution Search 6. Computational Properties of RCC-8 6. Conclusion and Outlook 6. Interactive Markov Chains in Practice 6. Sets, Functions, and Relations 6. Similarity Range and Approximate KNN Searches with iMinMax 6. User Communication 6.78 Gigabits per Second Implementation of the IDEA Cryptographic Algorithm 6th Workshop on Component-Oriented Programming 7 7 Algorithms for Parity Games 7 Completeness of Data 7 Construction of a Cooperative Information System 7. A Complete Analysis of Tractability in RCC-8 7. Association Rules in Small Databases 7. Conclusions 7. Experience Retrieval 7. Inductively Defined Sets 7. Performance Study of Similarity Queries 7. Recomputation 7th Workshop on Mobile Object Systems 8 8 Completeness-Driven Query Optimization 8 Construction of a Data Warehouse 8 Nondeterministic Tree Automata 8. Conclusion and Future Work 8. Conclusions 8. Empirical Evaluation of Reasoning with RCC-8 8. Experience Adaptation 8. More about Types 8. Oz Explorer: Visual Search 802.11 LANs: Saturation Throughput in the Presence of Noise 9 9 Alternating Tree Automata and Parity Games 9 Conclusion 9 The System D.I.K.E. 9. Advanced Simplification, Recursion, and Induction 9. Developing and Maintaining Experience Management Applications 9. Distributed Search 9. Representational Properties of RCC-8 A A ''Single-Box'' Re-routing Architecture for a 3-Stage Rearrangeable CLOS Interconnection Networks A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory A 27/26-Approximation Algorithm for the Chromatic Sum Coloring of Bipartite Graphs A 2D Addressing Mode for Multimedia Applications A 3-D Photo Collage System for Spatial Navigations A 3-Tier Planning Architecture for Managing Tutorial Dialogue A 300 MB Turkish Corpus and Word Analysis A Appendix A Balanced Scheduling Algorithm for High-Speed ATM Switch A Banach-Mazur Computable But Not Markov Computable Function on the Computable Real Numbers A Bandwidth Model for Internet Search A Bayesian Approach to Key-Finding A Bayesian Approach to in vivo Kidney Ultrasound Contour Detection Using Markov Random Fields A Bayesian Estimation of Building Shape Using MCMC A Bayesian Evolutionary Approach to the Design and Learning of Heterogeneous Neural Trees A Bayesian Method for Content-Based Image Retrieval by Use of Relevance Feedback A Bayesian Regularization Method for the Probabilistic RBF Network A Better Approximation for the Two-Stage Assembly Scheduling Problem with Two Machines at the First Stage A Better Method for Length Distribution Modeling in HMMs and Its Application to Gene Finding A Binary Color Vision Framework for Content-Based Image Indexing A Binocular Stereo Algorithm for Log-Polar Foveated Systems A Biological Approach to the Development of Computer Autoimmune Systems A Biologically Motivated Scheme for Robust Junction Detection A Biologically Plausible Approach to Cat and Dog Discrimination A Bird's Eye View: Biological Categorization and Reasoning Within and Across Cultures A Block Fourier Decomposition Method A Block-Cipher Mode of Operation for Parallelizable Message Authentication A Blocking Algorithm for Parallel 1-D FFT on Clusters of PCs A Blocking Algorithm for Parallel 1-D FFT on Shared-Memory Parallel Computers A Bluetooth Remote Control System

(previous 200) (next 200)