ICCI C

113 papers

YearTitle / Authors
1992A Client-Server Based Architecture for Communication between Expert Systems.
Coco Djossou
1992A Data-Parallel Language and Its Compilation to a Formally Defined Intermediate Language.
Johan Fagerström, Peter Fritzson, Johan Ringström, Mikael Pettersson
1992A Distributed Algorithm for Parameterized Semaphore Operations.
Mahender Nelakonda, Masaaki Mizuno, Mitchell L. Neilsen
1992A Distributed Kernel for Virtual Time Driven Applications.
Philippe Ingels, Carlos Maziero, Michel Raynal
1992A Distributed Production System for Problem Solving.
M. Wilscy, N. Parameswaran
1992A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors.
Brian A. Malloy, Errol L. Lloyd, Mary Lou Soffa
1992A Fingerprint Image Recognition Method for Network User Identification.
Tetsuji Kobayashi
1992A Graph Testing Concurrency Control Protocol for Object Bases.
Rodolfo F. Resende, Amr El Abbadi
1992A Heterogeneous Distributed Database System Based on Extended Relational Model.
Soon Myoung Chung, Khalid A. Elghayesh
1992A Logical Model and Schema Integration Architecture for Determining Equivalence in ER-Diagrams.
Ken Barker
1992A Measure of Fault Tolerance for Distributed Networks.
Constantine Stivaros
1992A Method of Processing Unknown Attribute Values by ID3.
Pavel Brazdil, Ivan Bruha
1992A Self-Guided Theorem Proving System.
Shie-Jue Lee
1992A Simple Perfect Hashing Method for Static Sets.
M. V. Ramakrishna
1992A Switching Architecture for Congestion Control in High-Speed Networks.
Anna Hac
1992A Visual Concurrent LISP Environment and Its Application.
Kam-Wing Ng, Hong Va Leong
1992A Visual Specification Model for Evolutionary Information Systems.
Chien-Tsai Liu, Shi-Kuo Chang
1992AI in Real Time: Is This Feasible?
Janusz Zalewski
1992Aggregation in Model-Based Reasoning Using Prime Models: A Preliminary Report.
Rattikorn Hewett
1992Algorithms for a K-Tree Core of a Tree.
Shietung Peng, A. B. Stephens, Yelena Yesha
1992An Algorithm for Maintenance of Functional Relationships.
M. W. Orlowski
1992An Approach to Achieving Multiuser Integrity in a Knowledge Base System.
Gerhard Steinke
1992An Efficient Parallel Algorithm for the Assignment Problem on the Plane.
Constantine N. K. Osiakwan, Selim G. Akl
1992An Experiment on Reusing Program Specifications Described with Conceptual Data Model- and Dependency Constraint-Based Language.
Kazuhisa Yokota, Masaaki Hashimoto, Masakazu Sato
1992An Incremental Concept Formation Approach to Acquisition of Anaphoric Regularity in Mandarin Chinese.
Benjamin L. Chen, Von-Wun Soo
1992An Integrate Approach to Satisfy Application Requirements.
Jürgen Becher, G. M. Solvie
1992An Optimal Algorithm for Finding Maximum Induced Bipartitie Subgraphs of Circular-Arc Graphs.
Si-Qing Zheng
1992An Optimal Multilevel Signature File for Large Databases.
Young Man Kim, Dik Lun Lee
1992Application of Expert System to the Evaluation of Project Alternatives.
Bronislaw M. Wawrzynkiewicz
1992Application of Measures of Fuzziness to Risk Classification in Insurance.
Bruce R. Ebanks, Waldemar Karwowski, Krzysztof Ostaszewski
1992Applying Graph Grammars for Task-Oriented User Interface Development.
Rudolf Freund, Brigitte Haberstroh, Christian Stary
1992Comparison of ID3 and Its Generalized Version.
Tzung-Pei Hong, Shian-Shyong Tseng
1992Complex Objects in the Temporal Object System.
Farshad Fotouhi, Abad A. Shah, William I. Grosky
1992Compression of Dictionaries via Extensions to Front Coding.
Nader H. Bshouty, Geoffrey T. Falk
1992Computing and Information - ICCI'92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings
Waldemar W. Koczkodaj, Peter E. Lauer, Anestis A. Toptsis
1992Concurrent Use of Parallel Communication to Enable Remote Visualization.
Kurt Maly, Frank Paterra, C. Michael Overstreet, Ravi Mukkamala, Sanjeev Khanna
1992Conflict-Free Routing on Hypercubes.
Zhiyong Liu, Jia-Huai You, Xiaobo Li
1992Consistent Linear Speedup in Parallel Alpha-Beta Search.
Rattikorn Hewett, Krishnamurthy Ganesan
1992Construct an Object-Oriented Constraint Logic for Explanation Based Learning.
Xiaoyou Zhou
1992Counting and Generating Integer Partitions in Parallel.
Laura A. Sanchis
1992Criteria for Dynamic Method Selection in Diagnostic Reasoning.
V. Richard Benjamins, Ameen Abu-Hanna, Wouter N. H. Jansweijer
1992Detecting More Independent Loops across Hierarchical Structures.
Toru Imai
1992Domain Compression of Incompletely Specified Boolean Functions.
Dwight D. Griffin, Erich Schmitt
1992Dynamic Genericity in Imperative Languages: Example in CML.
Hamdy S. Soliman, John B. Johnston
1992Effects of Network Protocols on Distributed Concurrency Control Algorithm Performance.
M. Tamer Özsu, Youping Niu
1992Efficient Algorithms for Computing Matching and Chromatic Polynominals on Series-Parallel Graphs.
N. Chandrasekharan, Sridhar Hannenhalli
1992Efficient Construction of Catastrophic Patterns for VLSI Reconfigurable Arrays with Bidirectional Links.
Amiya Nayak, Linda Pagli, Nicola Santoro
1992Efficient Directory Management for Distributed Naming.
Xiaohua Jia
1992Enforce Constraints in Archival Databases.
Ke Wang, Li-Yan Yuan
1992Evaluation of Futurebus+ for a GMMP Multiprocessor.
Eric E. Johnson, Roy S. Moore, John T. Polson
1992Fault Tolerance for Multistage Interconnection Networks.
Siu-Cheung Chau, Weining Zhang, Arthur L. Liestman
1992Fault-tolerant CSP.
Shyan-Ming Yuan, Chin-Juan Chen
1992Finding Strongly Connected Components of Circle Cover Graph in One-Dimensional.
Ching-Ho Huang, Nen-Fu Huang, Wen-Tsuen Chen
1992Generating All Maximal Independent Sets on Trees in Lexicographic Order.
Y. H. Chang, Jia-Shung Wang, Richard C. T. Lee
1992Global Snapshots for Distributed Debugging.
Zhonghua Yang, T. Anthony Marsland
1992High-Speed Querying with the DAP 510.
Peter J. Looges
1992Hyper Petersen Network: A Fault-Tolerant Multiprocessor Topology.
Sajal K. Das, Amit K. Banerjee
1992Inheritance and Specificity II: Reference Class Selection.
Scott D. Goodwin
1992Integrating CASE Tools with Knowledge-Base by Object Orientation.
Fuyau Lin, Rob Langsner
1992Integrating Semantic Inference in a Probabilistic Approach to Information Retrieval II.
Jian-Yun Nie
1992Interaction Management of a Window Manager in Manifold.
Farhad Arbab, Ivan Herman, Pål Spilling
1992K-Selection in Hypercubes.
Pascal Berthomé
1992Knowledge Elicitation and Integration from Multiple Experts.
Gwo-Jen Hwang
1992Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language.
Bart Vergauwen, Johan Lewi
1992Matrix Multiplication on a Toroidal Parallel Architecture.
Wayne Patterson
1992Maximum and Minimum Matchings for Series-Parallel Networks.
Shih-Yih Wang, Lih-Hsing Hsu
1992Methodology to Implement an Amoeba Complex Object Server.
Wouter B. Teeuw, Henk M. Blanken
1992Minimum Time Message Transmission in Networks.
Guoliang Xue, Shangzhi Sun, J. Ben Rosen
1992Modeling and Investigation of a Primitive File Transfer Operation.
Richard T. Hurley, James P. Black, Johnny W. Wong
1992Move-to-End is Best for Double-Linked Lists.
Vladimir Estivill-Castro
1992Multiagent Planning Using a Reason Maintenance System.
Kumar Tadepalli, N. Parameswaran
1992NLUS - A Prolog-Based Natural Language Understanding System.
Moon-Chuen Lee, Hong Va Leong
1992Non-Numeric Belief Structures.
S. K. Michael Wong, Lusheng Wang, Yiyu Yao
1992Nondeterministic and Alternating Computations.
Jie Wang, Luc Longpré
1992Obtaining Tight Upper Bounds for the State Complexities of DFA Operations.
Sheng Yu, Qingyu Zhuang, Kai Salomaa
1992On Operational Equivalence of COSY Programs.
Piotr W. Prószynski
1992On the Complexity of Distance-2 Coloring.
Errol L. Lloyd, Subramanian Ramanathan
1992On the Complexity of Maintaining Fault-Tolerant Distributed Systems.
Alois P. Heinz
1992On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory.
David E. Muller, Paul E. Schupp, Ahmed Saoudi
1992Optimal Allocation for Partially Replicated Database Systems on Ring Networks.
A. B. Stephens, Yelena Yesha, Keith E. Humenik
1992Optimizing the Time Cost of Parallel Structures by Scheduling Parallel Processes to Access the Critical Section.
Mohamad R. Neilforoshan-Dardashti, Reda A. Ammar, Tahany A. Fergany
1992Parallel Reduction of a Chain Query in Distributed Databases.
Yanchun Zhang, Maria E. Orlowska
1992Parallel Self-Reducibility.
Karl R. Abrahamson, Michael R. Fellows, Christopher B. Wilson
1992Performance Evaluation of Latency Tolerant Architectures.
Shashank S. Nemawarkar, Ramaswamy Govindarajan, Guang R. Gao, Vinod K. Agarwal
1992Performance Evaluation of Multicast Wormhole Routing in 2D-Torus Multicomputers.
C. S. Yang, Y. M. Tsai, C. Y. Liu
1992Probabilistic Approach to Attributes Coding in the Rough Sets Theory.
Andrzej Lenarcik, Zdzislaw Piasta, Mateusz Masternak
1992Questionnaire Analysis by Decision Algorithm Generation.
Krzysztof Grysa, Andrzej Lenarcik, Zdzislaw Piasta, Ewa Ramocka, Maciej Sekalski
1992Reconfigurable Optically-Interconnected Parallel Computer Architecture.
Khaled A. Aly, Patrick W. Dowd
1992Reduction of Constraint Networks Based on Local Consistency.
Li An Yuan, Abdel Aziz Farrag
1992Resource-Requirment Minimization in Relocation Problems with Precedence Constraints.
Bertrand M. T. Lin, Shian-Shyong Tseng
1992Revisiting Parallel Speedup Complexity.
Selim G. Akl, Michel Cosnard, Afonso Ferreira
1992Rules in an Extended C++.
Bogdan D. Czejdo, Christoph F. Eick
1992SELSYN-C: A Self-Synchronizing Parallel Programming Language.
Weiren Ding, Laurie J. Hendren
1992Search Operations on Distributed Directories.
Michael Bauer, Arin Zahalka
1992Searching with a Lie Using Only Comparison Questions.
Duncan Innes
1992Self-Checking against Formal Specifications.
Sergio Antoy, Richard G. Hamlet
1992Shortest
Bengt J. Nilsson, Sven Schuierer
1992Space Efficient Parallel Buddy Memory Management.
Theodore Johnson, Timothy A. Davis
1992Spinal Cellular Automata.
Natasa Jonoska
1992Sub-Logarithmic Algorithms for the Largest Empty Rectangle Problem.
Stephan Olariu, Wenhui Shen, Larry Wilson
1992The Generic Oracle Hypothesis Fails.
James A. Foster
1992The Relevance Density Method in Information Retrieval.
Y. Kane-Esrig, Lynn A. Streeter, G. Casella, W. Keese
1992Theory of Deductive Systems for Protocol Verification.
Xiaobo Li, Richard Lai, Tharam S. Dillon
1992Unraveling Mechanisms in Vesicular Dataflow Model.
Dariusz Turlej, Roman Podraza, Krzysztof Piorun
1992Use of Unit Clauses and Clause Splitting in Automatic Deduction.
Shie-Jue Lee, David A. Plaisted
1992Using ECATNets for Specifying Communication Software in the OSI Framework.
Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche
1992Using Modeling and Control in Adele System.
Walcélio L. Melo, Noureddine Belkhatir, Jacky Estublier
1992Using the Entropy in the SPARC Instruction Set.
Olaf S. Schoepke
1992Using the IIPS Framework to Specify Machine-Discovery Problems.
Howard J. Hamilton, J. Michael Dyck
1992Visual Database Interface for End User Computing.
Keng Siau, K. P. Tan, Hock Chuan Chan
1992What is Failure? Or: Constructive Negation by Fail Answers.
Wlodzimierz Drabent
1992Write-Only Disk Cache Experiments on Multiple Surface Disks.
Cyril U. Orji, Jon A. Solworth
1992Writing Sequential Programs for Parallel Processors: Implementation Experience.
Ramesh Subramonian