publication venue for
- A Client-Server Based Architecture for Communication between Expert Systems. 1992
- A Data-Parallel Language and Its Compilation to a Formally Defined Intermediate Language. 1992
- A Distributed Algorithm for Parameterized Semaphore Operations. 1992
- A Distributed Kernel for Virtual Time Driven Applications. 1992
- A Distributed Production System for Problem Solving. 1992
- A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors. 1992
- A Fingerprint Image Recognition Method for Network User Identification. 1992
- A Graph Testing Concurrency Control Protocol for Object Bases. 1992
- A Heterogeneous Distributed Database System Based on Extended Relational Model. 1992
- A Logical Model and Schema Integration Architecture for Determining Equivalence in ER-Diagrams. 1992
- A Measure of Fault Tolerance for Distributed Networks. 1992
- A Self-Guided Theorem Proving System. 1992
- A Simple Perfect Hashing Method for Static Sets. 1992
- A Switching Architecture for Congestion Control in High-Speed Networks. 1992
- A Visual Concurrent LISP Environment and Its Application. 1992
- A Visual Specification Model for Evolutionary Information Systems. 1992
- AI in Real Time: Is This Feasible? 1992
- Aggregation in Model-Based Reasoning Using Prime Models: A Preliminary Report. 1992
- Algorithms for a K-Tree Core of a Tree. 1992
- An Algorithm for Maintenance of Functional Relationships. 1992
- An Approach to Achieving Multiuser Integrity in a Knowledge Base System. 1992
- An Efficient Parallel Algorithm for the Assignment Problem on the Plane. 1992
- An Experiment on Reusing Program Specifications Described with Conceptual Data Model- and Dependency Constraint-Based Language. 1992
- An Incremental Concept Formation Approach to Acquisition of Anaphoric Regularity in Mandarin Chinese. 1992
- An Integrate Approach to Satisfy Application Requirements. 1992
- An Optimal Algorithm for Finding Maximum Induced Bipartitie Subgraphs of Circular-Arc Graphs. 1992
- An Optimal Multilevel Signature File for Large Databases. 1992
- Application of Expert System to the Evaluation of Project Alternatives. 1992
- Application of Measures of Fuzziness to Risk Classification in Insurance. 1992
- Applying Graph Grammars for Task-Oriented User Interface Development. 1992
- Comparison of ID3 and Its Generalized Version. 1992
- Complex Objects in the Temporal Object System. 1992
- Compression of Dictionaries via Extensions to Front Coding. 1992
- Computing and Information - ICCI'92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings 1992
- Concurrent Use of Parallel Communication to Enable Remote Visualization. 1992
- Conflict-Free Routing on Hypercubes. 1992
- Consistent Linear Speedup in Parallel Alpha-Beta Search. 1992
- Construct an Object-Oriented Constraint Logic for Explanation Based Learning. 1992
- Counting and Generating Integer Partitions in Parallel. 1992
- Criteria for Dynamic Method Selection in Diagnostic Reasoning. 1992
- Detecting More Independent Loops across Hierarchical Structures. 1992
- Domain Compression of Incompletely Specified Boolean Functions. 1992
- Dynamic Genericity in Imperative Languages: Example in CML. 1992
- Effects of Network Protocols on Distributed Concurrency Control Algorithm Performance. 1992
- Efficient Algorithms for Computing Matching and Chromatic Polynominals on Series-Parallel Graphs. 1992
- Efficient Construction of Catastrophic Patterns for VLSI Reconfigurable Arrays with Bidirectional Links. 1992
- Efficient Directory Management for Distributed Naming. 1992
- Enforce Constraints in Archival Databases. 1992
- Evaluation of Futurebus+ for a GMMP Multiprocessor. 1992
- Fault Tolerance for Multistage Interconnection Networks. 1992
- Fault-tolerant CSP. 1992
- Finding Strongly Connected Components of Circle Cover Graph in One-Dimensional. 1992
- Generating All Maximal Independent Sets on Trees in Lexicographic Order. 1992
- Global Snapshots for Distributed Debugging. 1992
- High-Speed Querying with the DAP 510. 1992
- Hyper Petersen Network: A Fault-Tolerant Multiprocessor Topology. 1992
- Inheritance and Specificity II: Reference Class Selection. 1992
- Integrating CASE Tools with Knowledge-Base by Object Orientation. 1992
- Integrating Semantic Inference in a Probabilistic Approach to Information Retrieval II. 1992
- Interaction Management of a Window Manager in Manifold. 1992
- K-Selection in Hypercubes. 1992
- Knowledge Elicitation and Integration from Multiple Experts. 1992
- Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language. 1992
- Matrix Multiplication on a Toroidal Parallel Architecture. 1992
- Maximum and Minimum Matchings for Series-Parallel Networks. 1992
- Methodology to Implement an Amoeba Complex Object Server. 1992
- Minimum Time Message Transmission in Networks. 1992
- Modeling and Investigation of a Primitive File Transfer Operation. 1992
- Move-to-End is Best for Double-Linked Lists. 1992
- Multiagent Planning Using a Reason Maintenance System. 1992
- NLUS - A Prolog-Based Natural Language Understanding System. 1992
- Non-Numeric Belief Structures. 1992
- Nondeterministic and Alternating Computations. 1992
- Obtaining Tight Upper Bounds for the State Complexities of DFA Operations. 1992
- On Operational Equivalence of COSY Programs. 1992
- On the Complexity of Distance-2 Coloring. 1992
- On the Complexity of Maintaining Fault-Tolerant Distributed Systems. 1992
- On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory. 1992
- Optimal Allocation for Partially Replicated Database Systems on Ring Networks. 1992
- Optimizing the Time Cost of Parallel Structures by Scheduling Parallel Processes to Access the Critical Section. 1992
- Parallel Reduction of a Chain Query in Distributed Databases. 1992
- Parallel Self-Reducibility. 1992
- Performance Evaluation of Latency Tolerant Architectures. 1992
- Performance Evaluation of Multicast Wormhole Routing in 2D-Torus Multicomputers. 1992
- Probabilistic Approach to Attributes Coding in the Rough Sets Theory. 1992
- Questionnaire Analysis by Decision Algorithm Generation. 1992
- Reconfigurable Optically-Interconnected Parallel Computer Architecture. 1992
- Resource-Requirment Minimization in Relocation Problems with Precedence Constraints. 1992
- Revisiting Parallel Speedup Complexity. 1992
- Rules in an Extended C++. 1992
- SELSYN-C: A Self-Synchronizing Parallel Programming Language. 1992
- Search Operations on Distributed Directories. 1992
- Searching with a Lie Using Only Comparison Questions. 1992
- Self-Checking against Formal Specifications. 1992
- Shortest m-Watchmen Routes for Histograms: The MinMax Case. 1992
- Space Efficient Parallel Buddy Memory Management. 1992
- Spinal Cellular Automata. 1992
- Sub-Logarithmic Algorithms for the Largest Empty Rectangle Problem. 1992
- The Generic Oracle Hypothesis Fails. 1992
- The Relevance Density Method in Information Retrieval. 1992
- Theory of Deductive Systems for Protocol Verification. 1992
- Unraveling Mechanisms in Vesicular Dataflow Model. 1992
- Use of Unit Clauses and Clause Splitting in Automatic Deduction. 1992
- Using ECATNets for Specifying Communication Software in the OSI Framework. 1992
- Using Modeling and Control in Adele System. 1992
- Using the Entropy in the SPARC Instruction Set. 1992
- Using the IIPS Framework to Specify Machine-Discovery Problems. 1992
- Visual Database Interface for End User Computing. 1992
- What is Failure? Or: Constructive Negation by Fail Answers. 1992
- Write-Only Disk Cache Experiments on Multiple Surface Disks. 1992
- Writing Sequential Programs for Parallel Processors: Implementation Experience. 1992