Category:Paper Year 2000

From BibNetWiki

List of papers published in 2000.

See also the list of all papers in the database.

(previous 200) (next 200)

Articles in category "Paper Year 2000"

There are 200 articles in this category.

' ''...And nothing else changes'': the frame problem in procedure specifications ''Left Shoulder'' Detection in Korea Composite Stock Price Index Using an Auto-Associative Neural Network ''Mix and Match'' Media Servers ''Today's Talking Typewriter'' Supporting Early Literacy in a Classroom Environment 'On Being Informed': Update Logics for Knowledge States - -DB: an ODMG-based object-oriented DBMS 1 1999 Reviewers List 2 2 10 succ 1 50! 3 3D Clothes Modeling from Photo Cloned Human Body 3D multimodality medical image registration using morphological tools 3DNow! Technology Manual 6 6-text18F-DOPA PET study in patients with schizophrenia. Positron emission tomography A A ''Generalized k-Tree-Based Model to Sub-system Allocation'' for Partitionable Multi-dimensional Mesh-Connected Architectures A 'Virtual Worlds' Theatre of Memory (Scheme for a Contemporary Museum) A 20/20 Vision of the VLDB-2020? A 3-D Biomechanical Model of the Salamander A 3-Dimensional Database of Deep Brain Functional Anatomy, and Its Application to Image-Guided Neurosurgery A 3-Part Type Inference Engine A 7over8-Approximation Algorithm for Metric Max TSP A 90k Gate ''CLB'' for Parallel Distributed Computing A Bandwidth Analysis of Reliable Multicast Transport Protocols. In: Proceedings of the 2nd International Workshop on Networked Group Communication (NGC 2000) A Basic Model of Typed Components A Bayesian language for cumulative learning. A Benchmark for MPI Derived Datatypes A Bibliometric Study of Finnish Science A Blocked All-Pairs Shortest-Paths Algorithm A Bound on the Capacity of Backoff and Acknowledgement-Based Protocols A CLP Framework for Computing Structural Test Data A CSCW middleware evaluation and performance prediction framework A CSP Abstraction Framework A Calculus for Compiling and Linking Classes A Calculus for Link-Time Compilation A Cascaded Multiple Expert System for Verification A Case Study in Formal Verification of Register-Transfer Logic with ACL2: The Floating Point Adder of the AMD Athlon Processor A Case Study in Using Prot'eg'e-2000 as a Tool for CommonKADS A Case Study on Using Automata in Control Synthesis A Case-Based Approach to Information Integration A Case-Based Transformation from HTML to XML A Causal Semantics for Timed Default Concurrent Constraint Programming A Characterization of Graphs with Vertex Cover Six A Characterization of Imaging in Terms of Popper Functions A Chosen Messages Attack on the ISOslash IEC 9796-1 Signature Scheme A Chosen-Ciphertext Attack against NTRU A Class of Highly Scalable Optical Crossbar-Connected Interconnection Networks (SOCNs) for Parallel Computing Systems A Classification and Comparison Framework for Software Architecture Description Languages A Classification of Symbolic Transition Systems A Client-Server Architecture for Document Image Recognition A Clinical Research Framework for Fast Parallel Analysis of functional Magnetic Resonance Imaging (fMRI) A Co-inductive Approach to Real Numbers A Coached Collaborative Learning Environment for Entity-Relationship Modeling A Cognitive Model for Automatic Narrative Summarization in a Self-Educational System A Cognitive and User Centric Based Approach For Reverse Engineering Tool Design A Collection of Pedagogical Agents A Collective I/O Scheme Based on Compiler Analysis A Combinatorial Approach to Asymmetric Traitor Tracing A Common CFD Platform UPACS A Comparative Study of Noncontextual and Contextual Dependencies A Comparative Study of Static and Profile-based Heuristics for Inlining A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles A Comparative Transaction Log Analysis of Two Computing Collections A Comparison of Association Rule Discovery and Bayesian Network Causal Inference Algorithms to Discover Relationships in Discrete Data A Comparison of Different Platforms for a Collaborative Distributed Document Environment. In: Proceedings of the International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organization and E-Commerce (MAMA 2000) A Comparison of File System Workloads A Comparison of Locality Transformations for Irregular Codes A Comparison of Locality-Based and Recency-Based Replacement Policies A Comparison of Protocols for Updating Location Information

A cont. A Comparison of Rule Matching Methods Used in AQ15 and LERS A Comparison of Rule-Based and Machine Learning Methods for Identifying Non-nominal It A Comparison of different platforms for a collaborative distributed document environment. In: ISA 2000 (ed.): Proceedings of International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA 2000) A Compendium of NP Optimization Problems A Compilation of Brewka and Eiter's Approach to Prioritization A Complete Axiomatisation for Timed Automata A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors A Complete Fragment of Higher-Order Duration mu-Calculus A Composition Theorem for Universal One-Way Hash Functions A Compositional Approach to Causality A Compositional Model of Time Petri Nets A Computation Model for Z Based on Concurrent Constraint Resolution A Computational Framework for Convergent Agents A Computational Model for Nonrational Bisector Surfaces: Curve-Surface and Surface-Surface Bisectors A Connectionist Approach for Supporting Personalized Learning in a Web-Based Learning Environment A Constraint Directed Model for Partial Constraint Satisfaction Problems A Construction of the Adapted Ontology Server in EC A Content-Based Image Retrieval Method Using Third-Order Color Feature Relations A Context-Aware Hoarding Mechanism for Location-Dependent Information Systems A Context-Based Mechanization of Multi-Agent Reasoning A Control Language for Designing Constraint Solvers A Control-Flow Analysis for a Calculus of Concurrent Objects A Coordination Language for Collective Agent Based Systems: GroupLog A Corporate XCS A Critique of ESP A Cryptographic Solution to a Game Theoretic Problem A Data Mining Alternative to Model Hospital Operations: Filtering, Adaptation and Behaviour Prediction A Data Mining and CIDF Based Approach for Detecting Novel and Distributed Intrusions A Data Model for Semistructured Data with Partial and Inconsistent Information A Data Switch Scheduling Algorithm Driven by Darwinian Seleciton A Data-Clustering Algorithm on Distributed Memory Multiprocessors A Data-Driven Fuzzy Approach to Robot Navigation among Moving Obstacles A Database Perspective on Building Large Applications - Experience Report A Database Platform for Bioinformatics A Decidable Dense Branching-Time Temporal Logic A Decomposition-Based Approach to Layered Manufacturing A Denotational Semantics for First-Order Logic A Denotational Semantics of Defeasible Logic A Description Formalism for Complex Questionnaires A Description Logic for Image Retrieval A Design Methodology for Data-Parallel Applications A Design and Implementation of Cyber Banking Process and Settlement System for Internet Commerce A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language A Digital Library of Native American Images A Discriminative Segmental Speech Model and Its Application to Hungarian Number Recognition A Distributed Approach for a Robust and Evolving NLP System A Distributed Computing Demonstration System Using FSOI Inter-processor Communication A Distributed Computing Environment for Genetic Programming Using MPI A Distributed JAVA SPACE Implementation for HARNESS A Distributed Real Time Coordination Protocol A Distributed Rendering System ''On Demand Rendering System'' A Documentation Generator for (C)LP Systems A Domain Independent Approach to 2D Object Detection Based on the Neural and Genetic Paradigms A Duality between Small-Face Problems in Arrangements of Lines and Heilbronn-Type Problems A Dynamic Algorithm for Maintaining Graph Partitions A Dynamic Approach for Knowledge Discovery of Web Access Patterns A Dynamic Approach to Termination Analysis for Active Database Rules A Dynamic Light-Weight Group Service A Dynamic RAM Cache for High Quality Distributed Video A Fair Distributed Mutual Exclusion Algorithm A Fast Implementation of 3-D Binary Morphological Transformations A Fast Model-Building Method for Time Series Using Genetic Programming A Fast Sorting Algorithm and Its Generalization on Broadcast Communications A Fast and Efficient Method for Compression of Digital Image Time Series A File System Based on Concept Analysis A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities A Flexible Routing Scheme for Networks of Workstations

A cont. A Force-Directed Algorithm that Preserves Edge Crossing Properties A Formal Approach to Heterogeneous Software Modeling A Formal Architecture for the 3APL Agent Programming Language A Formal Language for Composition A Formal Mapping between UML Models and Object-Z Specifications A Formal Model for an Expressive Fragment of XSLT A Formal Model of Message Blocking and Deadlock Resolution in Interconnection Networks A Formal Ontology of Properties A Formalism for Building Causal Polytree Structures Using Data Distributions A Foundationalist View of the AGM Theory of Belief Change A Framework for Belief Update A Framework for Circular Drawings of Networks A Framework for Efficient Register Allocation through Selective Register Demotion A Framework for Embedded Real-Time System Design A Framework for Experimental Evaluation of Clustering Techniques A Framework for Optimizing Distributed Workflow Executions A Framework for the Design and Implementation of FFT Permutation Algorithms A Framework to Dynamically Manage Distributed Virtual Environments A Framework to Protect Mobile Agents by Using Reference States A Functional Logic Programming Approach to Graphical User Interfaces A Functional Neuroanatomy of tics in Tourette Syndrome A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux A Fuzzy Extension of Allen's Interval Algebra A GRASP for Computing Approximate Solutions for the Three-Index Assignment Problem A General Approach to Multi-agent Minimal Knowledge A General Class of Neural Networks for Principal Component Analysis and Factor Analysis A General Framework for Types in Graph Rewriting A General Method for Feature Matching and Model Extraction A General Object-Oriented Model for Spatial Data A General Statistical Analysis for fMRI Data A Generalization-Based Approach to Clustering of Web Usage Sessions A Generalized Quantifier Concept in Computational Complexity Theory A Generalized Takagi-Cryptosystem with a Modulus of the Form p^r q^s A Generic Process to Refine a B Specification into a Relational Database Implementation A Genetic Algorithm Approach to Discovering an Optimal Blackjack Strategy A Genetic Algorithm Approach to Scheduling Communications for a Class of Parallel Space-Time Adaptive Processing Algorithms A Genetic Algorithm for Finding a Long Path in a Hamiltonian Graph A Genetic Algorithm-Based Solution for the Problem of Small Disjuncts A Glimpse into Algorithmic Information Theory A Global Semantics for Views A Grammar Based Model for XML Schema Integration A Graph-Oriented Model for Articulation of Ontology Interdependencies A Grey-Box Approach to Component Composition A Hardware Implementation of PRAM and Its Performance Evaluation A Heuristic Approach for Converting HTML Documents to XML Documents A Heuristic Optimal Reduct Algorithm A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm A Hidden Markov Random Field Model for Segmentation of Brain MR Images A Hierarchical Architecture for QoS Guarantees and Routing in Wirelessslash Mobile Networks A Hierarchical Multiclassifier System for Hyperspectral Data Analysis A High Performance Implementation of the Data Space Transfer Protocol (DSTP) A Higher-Order Simulation Relation for System F A Homogeneity Correction for Post-hoc ANOVAs in FMRI A Hybrid Approach for Solving Large Scale Crew Scheduling Problems A Hybrid Projection Based and Radial Basis Function Architecture A Java Applet to Visualize Algorithms on Reconfigurable Mesh A Kleene Analysis of Mobile Ambients A Knowledge-Based Approach for Designing Robust Business Processes A Kohonen-like decomposition method for the traveling salesman problem KNIES-DECOMPOSE A Kripkean Semantics for Dynamic Logic Programming A Lagrangian Reconstruction of GENET A Large Czech Vocabulary Recognition System for Real-Time Applications A Large Scale Component-Based Multi-media Digital Library System A Learning Agent that Assists the Browsing of Software Libraries A Learning Classifier Systems Bibliography A Learning Method of Feature Selection for Rough Classification A Length-Invariant Hybrid Mix

(previous 200) (next 200)