4. ICCI 1992: Toronto, Ontario, Canada
Waldemar W. Koczkodaj, Peter E. Lauer, Anestis A. Toptsis (Eds.): Computing and Information - ICCI'92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings. IEEE Computer Society 1992 ISBN 0-8186-2812-X
Data Theory, Theory of Programming, Algorithms, and Computations
- David E. Muller, Paul E. Schupp, Ahmed Saoudi: On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory. 2-5
- Olaf S. Schoepke: Using the Entropy in the SPARC Instruction Set. 6-9
- Dwight D. Griffin, Erich Schmitt: Domain Compression of Incompletely Specified Boolean Functions. 10-13
- Natasa Jonoska: Spinal Cellular Automata. 18-21
- Bertrand M. T. Lin, Shian-Shyong Tseng: Resource-Requirment Minimization in Relocation Problems with Precedence Constraints. 26-29
- Y. H. Chang, Jia-Shung Wang, Richard C. T. Lee: Generating All Maximal Independent Sets on Trees in Lexicographic Order. 34-37
- N. Chandrasekharan, Sridhar Hannenhalli: Efficient Algorithms for Computing Matching and Chromatic Polynominals on Series-Parallel Graphs. 42-45
- Bart Vergauwen, Johan Lewi: Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language. 46-49
- Si-Qing Zheng: An Optimal Algorithm for Finding Maximum Induced Bipartitie Subgraphs of Circular-Arc Graphs. 50-53
- Laura A. Sanchis: Counting and Generating Integer Partitions in Parallel. 54-57
- Ching-Ho Huang, Nen-Fu Huang, Wen-Tsuen Chen: Finding Strongly Connected Components of Circle Cover Graph in One-Dimensional. 58-61
- Wlodzimierz Drabent: What is Failure? Or: Constructive Negation by Fail Answers. 62-66
- James A. Foster: The Generic Oracle Hypothesis Fails. 75-78
- Amiya Nayak, Linda Pagli, Nicola Santoro: Efficient Construction of Catastrophic Patterns for VLSI Reconfigurable Arrays with Bidirectional Links. 79-83
- Vladimir Estivill-Castro: Move-to-End is Best for Double-Linked Lists. 84-87
- Duncan Innes: Searching with a Lie Using Only Comparison Questions. 92-95
- Hamdy S. Soliman, John B. Johnston: Dynamic Genericity in Imperative Languages: Example in CML. 96-99
- Sheng Yu, Qingyu Zhuang, Kai Salomaa: Obtaining Tight Upper Bounds for the State Complexities of DFA Operations. 100-104
Concurrency and Parallelism
- Stephan Olariu, W. Shen, Larry Wilson: Sub-Logarithmic Algorithms for the Largest Empty Rectangle Problem. 106-109
- Constantine N. K. Osiakwan, Selim G. Akl: An Efficient Parallel Algorithm for the Assignment Problem on the Plane. 110-113
- Xiaohua Jia: Efficient Directory Management for Distributed Naming. 118-122
- Mohamad R. Neilforoshan-Dardashti, Reda A. Ammar, Tahany A. Fergany: Optimizing the Time Cost of Parallel Structures by Scheduling Parallel Processes to Access the Critical Section. 123-127
- Johan Fagerström, Peter Fritzson, Johan Ringström, Mikael Pettersson: A Data-Parallel Language and Its Compilation to a Formally Defined Intermediate Language. 133-134
- Sajal K. Das, Amit K. Banerjee: Hyper Petersen Network: A Fault-Tolerant Multiprocessor Topology. 135-138
- Brian A. Malloy, Errol L. Lloyd, Mary Lou Soffa: A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors. 139-142
- Weiren Ding, Laurie J. Hendren: SELSYN-C: A Self-Synchronizing Parallel Programming Language. 143-146
- Dariusz Turlej, Roman Podraza, Krzysztof Piorun: Unraveling Mechanisms in Vesicular Dataflow Model. 147-152
- Ramesh Subramonian: Writing Sequential Programs for Parallel Processors: Implementation Experience. 159-163
- Pascal Berthomé: K-Selection in Hypercubes. 164-167
- Toru Imai: Detecting More Independent Loops across Hierarchical Structures. 168-172
- C. S. Yang, Y. M. Tsai, C. Y. Liu: Performance Evaluation of Multicast Wormhole Routing in 2D-Torus Multicomputers. 173-178
- Shashank S. Nemawarkar, Ramaswamy Govindarajan, Guang R. Gao, Vinod K. Agarwal: Performance Evaluation of Latency Tolerant Architectures. 183-186
- Wayne Patterson: Matrix Multiplication on a Toroidal Parallel Architecture. 187-190
- Piotr W. Prószynski: On Operational Equivalence of COSY Programs. 191-196
- Farhad Arbab, Ivan Herman, Pål Spilling: Interaction Management of a Window Manager in Manifold. 197-202
AI Methodologies, Expert Systems, Knowledge Engineering, and Machine Learning
- Gwo-Jen Hwang: Knowledge Elicitation and Integration from Multiple Experts. 208-211
- Bronislaw M. Wawrzynkiewicz: Application of Expert System to the Evaluation of Project Alternatives. 212-215
- Krzysztof Grysa, Andrzej Lenarcik, Zdzislaw Piasta, Ewa Ramocka, Maciej Sekalski: Questionnaire Analysis by Decision Algorithm Generation. 216-219
- Andrzej Lenarcik, Zdzislaw Piasta, Mateusz Masternak: Probabilistic Approach to Attributes Coding in the Rough Sets Theory. 220-223
- V. Richard Benjamins, Ameen Abu-Hanna, Wouter N. H. Jansweijer: Criteria for Dynamic Method Selection in Diagnostic Reasoning. 224-227
- Shie-Jue Lee, David A. Plaisted: Use of Unit Clauses and Clause Splitting in Automatic Deduction. 228-232
- Xiaoyou Zhou: Construct an Object-Oriented Constraint Logic for Explanation Based Learning. 233-236
- Rattikorn Hewett, Krishnamurthy Ganesan: Consistent Linear Speedup in Parallel Alpha-Beta Search. 237-240
- Coco Djossou: A Client-Server Based Architecture for Communication between Expert Systems. 257-261
- Scott D. Goodwin: Inheritance and Specificity II: Reference Class Selection. 262-265
- Howard J. Hamilton, J. Michael Dyck: Using the IIPS Framework to Specify Machine-Discovery Problems. 266-269
- Jian-Yun Nie: Integrating Semantic Inference in a Probabilistic Approach to Information Retrieval II. 270-273
- Benjamin L. Chen, Von-Wun Soo: An Incremental Concept Formation Approach to Acquisition of Anaphoric Regularity in Mandarin Chinese. 278-281
- Janusz Zalewski: AI in Real Time: Is This Feasible? 286-289
- Bruce R. Ebanks, Waldemar Karwowski, Krzysztof Ostaszewski: Application of Measures of Fuzziness to Risk Classification in Insurance. 290-291
- Rattikorn Hewett: Aggregation in Model-Based Reasoning Using Prime Models: A Preliminary Report. 292-295
Software and Data Engineering, CASE Methodologies, and Database Information Systems
- Chien-Tsai Liu, Shi-Kuo Chang: A Visual Specification Model for Evolutionary Information Systems. 297-300
- M. Tamer Özsu, Youping Niu: Effects of Network Protocols on Distributed Concurrency Control Algorithm Performance. 301-306
- Y. Kane-Esrig, Lynn A. Streeter, G. Casella, W. Keese: The Relevance Density Method in Information Retrieval. 307-311
- Rodolfo F. Resende, Amr El Abbadi: A Graph Testing Concurrency Control Protocol for Object Bases. 316-319
- Ken Barker: A Logical Model and Schema Integration Architecture for Determining Equivalence in ER-Diagrams. 320-324
- Shie-Jue Lee: A Self-Guided Theorem Proving System. 329-333
- Walcélio L. Melo, Noureddine Belkhatir, Jacky Estublier: Using Modeling and Control in Adele System. 334-337
- Soon Myoung Chung, Khalid A. Elghayesh: A Heterogeneous Distributed Database System Based on Extended Relational Model. 338-341
- Peter J. Looges: High-Speed Querying with the DAP 510. 342-345
- Gerhard Steinke: An Approach to Achieving Multiuser Integrity in a Knowledge Base System. 346-349
- Kazuhisa Yokota, Masaaki Hashimoto, Masakazu Sato: An Experiment on Reusing Program Specifications Described with Conceptual Data Model- and Dependency Constraint-Based Language. 350-354
- Nader H. Bshouty, Geoffrey T. Falk: Compression of Dictionaries via Extensions to Front Coding. 361-364
- Tetsuji Kobayashi: A Fingerprint Image Recognition Method for Network User Identification. 369-372
- M. W. Orlowski: An Algorithm for Maintenance of Functional Relationships. 377-380
- Farshad Fotouhi, Abad A. Shah, William I. Grosky: Complex Objects in the Temporal Object System. 381-384
- Cyril U. Orji, Jon A. Solworth: Write-Only Disk Cache Experiments on Multiple Surface Disks. 385-388
- Rudolf Freund, Brigitte Haberstroh, Christian Stary: Applying Graph Grammars for Task-Oriented User Interface Development. 389-392
- M. V. Ramakrishna: A Simple Perfect Hashing Method for Static Sets. 401-404
Distributed Computing and Communication
- Anna Hac: A Switching Architecture for Congestion Control in High-Speed Networks. 406-409
- Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche: Using ECATNets for Specifying Communication Software in the OSI Framework. 410-413
- Alois P. Heinz: On the Complexity of Maintaining Fault-Tolerant Distributed Systems. 414-417
- Khaled A. Aly, Patrick W. Dowd: Reconfigurable Optically-Interconnected Parallel Computer Architecture. 418-421
- X. Li, Richard Lai, Tharam S. Dillon: Theory of Deductive Systems for Protocol Verification. 422-425
- Constantine Stivaros: A Measure of Fault Tolerance for Distributed Networks. 426-429
- Siu-Cheung Chau, Weining Zhang, Arthur L. Liestman: Fault Tolerance for Multistage Interconnection Networks. 430-435
- Eric E. Johnson, Roy S. Moore, John T. Polson: Evaluation of Futurebus+ for a GMMP Multiprocessor. 441-444
- Kurt Maly, Frank Paterra, C. Michael Overstreet, Ravi Mukkamala, Sanjeev Khanna: Concurrent Use of Parallel Communication to Enable Remote Visualization. 449-452
- Yanchun Zhang, Maria E. Orlowska: Parallel Reduction of a Chain Query in Distributed Databases. 453-456
- Philippe Ingels, Carlos Maziero, Michel Raynal: A Distributed Kernel for Virtual Time Driven Applications. 457-460
- Richard T. Hurley, James P. Black, J. W. Wong: Modeling and Investigation of a Primitive File Transfer Operation. 461-465
- Mahender Nelakonda, Masaaki Mizuno, Mitchell L. Neilsen: A Distributed Algorithm for Parameterized Semaphore Operations. 466-469
- A. B. Stephens, Yelena Yesha, Keith E. Humenik: Optimal Allocation for Partially Replicated Database Systems on Ring Networks. 470-473
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team