Category:Paper Year 1992

From BibNetWiki

List of papers published in 1992.

See also the list of all papers in the database.

(previous 200) (next 200)

Articles in category "Paper Year 1992"

There are 200 articles in this category.

' ''...And Nothing Else Changes'': The Frame Problem in Procedure Specifications ''Reducing'' sc classic to Practice: Knowledge Representation Theory Meets Reality 'Not gender difference but the difference gender makes'-explanation in research on sex and language 'Part' Relations for Object-Oriented Databases ( (Anti-)Reconstruction and Referentiality (Real) Time: A Philosophical Perspective 1 1-Dimensional Parallel FFT Benchmark on SUPRENUM 2 25th Annual International Symposium on Microarchitecture (MICRO-25) 3 3-D Substructure Matching in Protein Molecules 3-D reconstruction of generalized cylinders from biplane projections 3-Dimensional Profiles For Analyzing Protein-Sequence Structure Relationships. 3D Computer Animation 3D Model Acquisition from Monocular Image Sequences 3D Object Recognition: Symmetry and Virtual Views 3D Pose from Three Corresponding Points Under Weak-Perspective Projection 3D TV Displays for Industrial Applications 3DFS: A Time-Oriented File Server 3DM: A three dimensional modeler using a head-mounted display 3x 1 Search Programs. 5 5th Refinement Workshop A A ''Just in Time'' Course Framework: Project-Oriented Courses A (Gentle) Introduction to Deductive Databases A 3D Visual Environment for Querying Image Databases A 3D World Model Builder with a Mobile Robot A 448 Byte Forth Multitasking Kernel A Bayesian Method for Learning Belief Networks that Contain Hidden Variables A Bayesian Method for the Induction of Probabilistic Networks from Data A Bayesian method for the induction of probabilistic networks from data A Bayesian model of plan recognition A Bi-Level Language for Software Process Modeling A Block Algorithm for Orthogonalization in Elliptic Norms A Book of Object-Oriented Knowledge A Bottom-Up Interpreter for a Higher-Order Logic Programming Language A Browser for Software Reuse A Buchberger Algorithm for Distributed Memory Multiprocessors A CASE Environment for Parallel Programming A CLP View of Logic Programming (invited talk) A C^2 rational cubic spline alternative to the nurbs A Calculus for the Construction of Modular Prolog Programs A Calibration of a Mobile Camera Used for a Camera-Guided Grasping by an Eye-In-Hand Robot A Capacity Theory of Comprehension: Individual Differences in Working Memory A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus A Case for Declarative Programming-in-the-Large A Case-Study in Timed Refinement: A Mine Pump A Categorical Interpretation of Partial Function Logic and Hoare Logic A Categorized Bibliography on Incremental Computation A Characterization of Recognizable Picture Languages A Christmas Carol A Class-based Approach to Lexical Discovery A Closer Look at the Probabilities of the Notorious Three Prisoners A Cognitive Framework for Second Language Error Diagnosis A Cognitive Model of Programming Knowledge for Procedural Languages A Combinatory Logic Approach to Higher-Order E-Unification A Comparative Analysis of the Topic Areas of Computer Science, Software Engineering, and Information Systems A Comparative Assessment of Selected Approaches in the Focal Area of Knowledge Engineering and Cognition A Comparative Study of Predictive Models for Program Changes During System Testing and Maintenance A Comparison of Codebook Generation Techniques for Vector Quantization A Comparison of Modelling Frameworks for Software Processes and Information Systems A Comparison of Six Object-Oriented Analysis and Design Methods A Comparison of Text Retrieval Models A Comparison of Three Prolog Extensions A Comparison of Two Memory Models for High Performance Computers A Compile-Time Memory-Reuse Scheme for Concurrent Logic Programs A Complete Indexing Scheme for WAM-Based Abstract Machines A Complete Resolution Method for Logical Meta-Programming Languages A Complexity Model for Parallel Programs

A cont. A Complexity Reduction Technique for Image Vector Quantisation A Compositional Approach for the Design of a Parallel Query Processing Language A Compositional Approach to Concurrent Object-Oriented Programming A Compositional Semantics for Conditional Term Rewriting Systems A Comprehensive Process Model for Studying Software Process Papers A Computer Architecture to Support Neural Net Simulation A Conceptual Model for Dynamic Clustering in Object Databases A Conceptual Model of Wayfinding Using Multiple Levels of Abstraction A Conceptualization of Preferences in Non-Monotonic Proof Theory A Concurrency Control Mechanism for C Objects A Concurrent Generational Garbage Collector for a Parallel Graph Reducer A Concurrent and Distributed Extension of Scheme A Connection Between GRBF and MLP A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages A Constant-Time Optimal Parallel String-Matching Algorithm. A Constraint Satisfaction Model for Perception of Ambiguous Stimuli A Constructive Logic Approach to Database Theory A Constructive Logic of Multiple Subtyping A Constructive Proof that Trees Are Well-Quasi-Ordered Under Minors A Constructive Type System Based on Data Terms A Context-Freeness Lemma A Continuous Media Data Transport Service and Protocol for Real-Time Communication in High-Speed Networks A Control-Flow Normalization Algorithm and Its Complexity A Convergent Systems Viewpoint on Viewpoints A Cooperative Answering System A Coupled Multi-ALU Processing Node for a Highly Parallel Computer A Course in Combinatorics A DAP-Based Implementation of a Portable Parallel Image Processing Machine A Data Model for Object-Oriented Databases A Data and Operation Model for Advanced Database Systems A Declarative Approach to Event-Handling in Visual Programming Languages A Declarative Conceptual Modelling Language: Description and Example Applications A Declarative Debugging Environment for DATALOG A Decompositional Approach to the Design of Efficient Parallel Programs A Decoupled Multicomputer Architecture with Optical Full Interconnection A Default, Truth Conditional Semantics for the ProgressiveTwo Theories of Prima Facie Obligation A Delta-Instance, Multi-Snapshot Storage Model for Object-Oriented Temporal Databases A Design Methodology for Process-Programming A Discussion of emphOn the Purpose of Object-Oriented Analysis A Distributed Artificial Intelligence View on General Purpose Vision Systems A Distributed Cooperative Agents Architecture for Software Development A Distributed Implementation of Flat Concurrent Prolog on Multi-Transputer Environments A Distributed Protocol for Channel-Based Communication with Choice A Dynamic Integration Architecture for High Availability Real-Time Systems A Dynamic Load-Balancing Policy With a Central Job Dispatcher (LBC) A Dynamic-Programming Technique for Compacting Loops A FAD for Data Intensive Applications A Factor Analysis of Software Complexity Measures A Fast Distance Calculation Between Convex Objects by Optimization Approach A Fast Radix Sort A Feedback Inheritance Model A File Format for the Exchange of Nuclear Medicine Image Data : A Specification of Interfile Version 3.3 A Filter Theorem for HRL's A Finitary Version of the Calculus of Partial Inductive Definitions A Firstbook of Old English A Five Year Perspective on Software Engineering A Fixed-Point Theorem A Flexible Program Adaptation System: Case Studies in Ada A Flexible and Extensible Index Manager for Spatial Database Systems A Formal Approach to Modeling and Animation of Physically Based Systems A Formal Approach to Two-Dimensional Temporal Databases A Formal Framework for Authentication A Formal Look at Dependency Grammars and Phrase-Structure Grammars, with Special Consideration of Word-Order Phenomena A Formal Program Complexity Model and Its Application A Forward-Chaining Information Framework A Foundation for Advanced Compile-time Analysis of Linda Programs A Framework for Adaptive Sorting

A cont. A Framework for Capturing Design Rationale using Granularity Hierarchies A Framework for Cooperative Adaptable Information Systems A Framework for Default Logics A Framework for Dynamic Graph Drawing A Framework for Dynamic Program Analyzers A Framework for Integrated CASE A Framework for Intelligent Knowledge Sequencing and Task Sequencing A Framework for Neural Net Specification A Framework for Parallel Composition of Protocols A Framework for Performance Engineering During Information System Development A Framework for Software Maintenance A Framework for Workload Allocation in Distributed Transaction Processing Systems A Fully Integrated Programming Environment for an Object-Oriented Database A Functional Specification Language for Instruction Set Architectures A Functorial Semantics for Observed Concurrency A General Framework for Bidirectional Translation between Abstract and Pictorial Data A General Framework for Concurrent Simulation of Neural Network Models A General Semantic Model of Negation in Natural Language: Representation and Inference A General Trace Query Mechanism Based on Prolog A General View of Compatible Functions A General View of Compatible Predicates A General-Equilibrium Approach to Distributed Transportation Planning A Generalization of Dynamic Constraints A Generic Arc-Consistency Algorithm and its Specializations A Generic Logic Environment A Genetic Approach to the Truck Backer Upper Problem and the Inter-Twined Spiral Problem A Gentle Introduction to Haskell A Geometric Constraint Engine A Geometry Theorem Prover for Macintoshes A Global Approach to Parameter Estimation of Chaotic Dynamical Systems A Glossary of Temporal Database Concepts A Graduate Course on Software Reuse, Domain Analysis, and Re-engineering A Graph-Based Approach to the Construction of Tools for the Life Cycle Integration between Software Documents A Graphical CAL Author Language A Graphical Data Modelling Program with Constraint Specification and Management A Graphical Petri Net Based Editor for a Visualization of Distributed and Parallel Systems A Greibach Normal Form for Context-Free Graph Grammars A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief A Hardware Design Model for Cryptographic Algorithms A Heterogeneous Temporal Nested Relational Data Model A Heuristic Algorithm for Dynamic Task Allocation in Highly Parallel Systems A Heuristic Driven Parser Based on Graph Grammars for Feature Recognition in CIM A Hierarchical Approach to Strategic Planning with Non-Cooperating Agents under Conditions of Uncertainty A Hierarchical Cache Coherent Protocol A Hierarchical Genetic System for Symbolic Function Identification A Hierarchical Ray-Casting Algorithm for Radiosity Shadows A Hierarchical Spatial Data Structure for Global Geographical Information Systems A Hierarchical Triangle-Based Model for Terrain Description A Hierarchy of Faithful Set Creation in Pure OODBs A Hierarchy of Institutions Separated by Properties of Parameterized Abstract Data Types A High Level Language for Specifying Graph Based Languages and their Programming Environments A Higher-Order Approach to Parallel Algorithms A Highley Parallel Ada Task Scheduler A Hybrid Dataflow Architecture with Multiple Tokens A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis A Hypergraph-Based Interconnection Network for Large Multicomputers A Hypertext-Based Software-Engineering Environment A Justification of a Fast Surface Tracking Algorithm A Kleene-Type Characterization A Knowledge Base Approach to Learning to Program in Prolog A Knowledge Based Technique for the Process Modelling of Information Systems: The Object Life Cycle Diagram A Knowledge-Based Approach to Strategic Planning A Knowledge-Based Requirements Engineering Assistant A Knowledge-Based System for the Diagnosis of Waste-Water Treatment Plants A Knowledge-based Software Development Environment Supporting Cooperative Work A Language Approach to String Searching Evaluation A Language Framework for Multi-Object Coordination

(previous 200) (next 200)