default search action
4. ICCI 1992: Toronto, Ontario, Canada
- Waldemar W. Koczkodaj, Peter E. Lauer, Anestis A. Toptsis:
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. ICCI 1992: 2-5 - Olaf S. Schoepke:
Using the Entropy in the SPARC Instruction Set. ICCI 1992: 6-9 - Dwight D. Griffin, Erich Schmitt:
Domain Compression of Incompletely Specified Boolean Functions. ICCI 1992: 10-13 - Shih-Yih Wang, Lih-Hsing Hsu:
Maximum and Minimum Matchings for Series-Parallel Networks. ICCI 1992: 14-17 - Natasa Jonoska:
Spinal Cellular Automata. ICCI 1992: 18-21 - Guoliang Xue, Shangzhi Sun, J. Ben Rosen:
Minimum Time Message Transmission in Networks. ICCI 1992: 22-25 - Bertrand M. T. Lin, Shian-Shyong Tseng:
Resource-Requirment Minimization in Relocation Problems with Precedence Constraints. ICCI 1992: 26-29 - Bengt J. Nilsson, Sven Schuierer:
Shortest m-Watchmen Routes for Histograms: The MinMax Case. ICCI 1992: 30-33 - Y. H. Chang, Jia-Shung Wang, Richard C. T. Lee:
Generating All Maximal Independent Sets on Trees in Lexicographic Order. ICCI 1992: 34-37 - Shietung Peng, A. B. Stephens, Yelena Yesha:
Algorithms for a K-Tree Core of a Tree. ICCI 1992: 38-41 - N. Chandrasekharan, Sridhar Hannenhalli:
Efficient Algorithms for Computing Matching and Chromatic Polynominals on Series-Parallel Graphs. ICCI 1992: 42-45 - Bart Vergauwen, Johan Lewi:
Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language. ICCI 1992: 46-49 - Si-Qing Zheng:
An Optimal Algorithm for Finding Maximum Induced Bipartitie Subgraphs of Circular-Arc Graphs. ICCI 1992: 50-53 - Laura A. Sanchis:
Counting and Generating Integer Partitions in Parallel. ICCI 1992: 54-57 - Ching-Ho Huang, Nen-Fu Huang, Wen-Tsuen Chen:
Finding Strongly Connected Components of Circle Cover Graph in One-Dimensional. ICCI 1992: 58-61 - Wlodzimierz Drabent:
What is Failure? Or: Constructive Negation by Fail Answers. ICCI 1992: 62-66 - Karl R. Abrahamson, Michael R. Fellows, Christopher B. Wilson:
Parallel Self-Reducibility. ICCI 1992: 67-70 - Errol L. Lloyd, Subramanian Ramanathan:
On the Complexity of Distance-2 Coloring. ICCI 1992: 71-74 - James A. Foster:
The Generic Oracle Hypothesis Fails. ICCI 1992: 75-78 - Amiya Nayak, Linda Pagli, Nicola Santoro:
Efficient Construction of Catastrophic Patterns for VLSI Reconfigurable Arrays with Bidirectional Links. ICCI 1992: 79-83 - Vladimir Estivill-Castro:
Move-to-End is Best for Double-Linked Lists. ICCI 1992: 84-87 - Jie Wang, Luc Longpré:
Nondeterministic and Alternating Computations. ICCI 1992: 88-91 - Duncan Innes:
Searching with a Lie Using Only Comparison Questions. ICCI 1992: 92-95 - Hamdy S. Soliman, John B. Johnston:
Dynamic Genericity in Imperative Languages: Example in CML. ICCI 1992: 96-99 - Sheng Yu, Qingyu Zhuang, Kai Salomaa:
Obtaining Tight Upper Bounds for the State Complexities of DFA Operations. ICCI 1992: 100-104
Concurrency and Parallelism
- Stephan Olariu, Wenhui Shen, Larry Wilson:
Sub-Logarithmic Algorithms for the Largest Empty Rectangle Problem. ICCI 1992: 106-109 - Constantine N. K. Osiakwan, Selim G. Akl:
An Efficient Parallel Algorithm for the Assignment Problem on the Plane. ICCI 1992: 110-113 - Kam-Wing Ng, Hong Va Leong:
A Visual Concurrent LISP Environment and Its Application. ICCI 1992: 114-117 - Xiaohua Jia:
Efficient Directory Management for Distributed Naming. ICCI 1992: 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. ICCI 1992: 123-127 - Theodore Johnson, Timothy A. Davis:
Space Efficient Parallel Buddy Memory Management. ICCI 1992: 128-132 - Johan Fagerström, Peter Fritzson, Johan Ringström, Mikael Pettersson:
A Data-Parallel Language and Its Compilation to a Formally Defined Intermediate Language. ICCI 1992: 133-134 - Sajal K. Das, Amit K. Banerjee:
Hyper Petersen Network: A Fault-Tolerant Multiprocessor Topology. ICCI 1992: 135-138 - Brian A. Malloy, Errol L. Lloyd, Mary Lou Soffa:
A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors. ICCI 1992: 139-142 - Weiren Ding, Laurie J. Hendren:
SELSYN-C: A Self-Synchronizing Parallel Programming Language. ICCI 1992: 143-146 - Dariusz Turlej, Roman Podraza, Krzysztof Piorun:
Unraveling Mechanisms in Vesicular Dataflow Model. ICCI 1992: 147-152 - Zhiyong Liu, Jia-Huai You, Xiaobo Li:
Conflict-Free Routing on Hypercubes. ICCI 1992: 153-158 - Ramesh Subramonian:
Writing Sequential Programs for Parallel Processors: Implementation Experience. ICCI 1992: 159-163 - Pascal Berthomé:
K-Selection in Hypercubes. ICCI 1992: 164-167 - Toru Imai:
Detecting More Independent Loops across Hierarchical Structures. ICCI 1992: 168-172 - C. S. Yang, Y. M. Tsai, C. Y. Liu:
Performance Evaluation of Multicast Wormhole Routing in 2D-Torus Multicomputers. ICCI 1992: 173-178 - Selim G. Akl, Michel Cosnard, Afonso Ferreira:
Revisiting Parallel Speedup Complexity. ICCI 1992: 179-182 - Shashank S. Nemawarkar, Ramaswamy Govindarajan, Guang R. Gao, Vinod K. Agarwal:
Performance Evaluation of Latency Tolerant Architectures. ICCI 1992: 183-186 - Wayne Patterson:
Matrix Multiplication on a Toroidal Parallel Architecture. ICCI 1992: 187-190 - Piotr W. Prószynski:
On Operational Equivalence of COSY Programs. ICCI 1992: 191-196 - Farhad Arbab, Ivan Herman, Pål Spilling:
Interaction Management of a Window Manager in Manifold. ICCI 1992: 197-202
AI Methodologies, Expert Systems, Knowledge Engineering, and Machine Learning
- Moon-Chuen Lee, Hong Va Leong:
NLUS - A Prolog-Based Natural Language Understanding System. ICCI 1992: 204-207 - Gwo-Jen Hwang:
Knowledge Elicitation and Integration from Multiple Experts. ICCI 1992: 208-211 - Bronislaw M. Wawrzynkiewicz:
Application of Expert System to the Evaluation of Project Alternatives. ICCI 1992: 212-215 - Krzysztof Grysa, Andrzej Lenarcik, Zdzislaw Piasta, Ewa Ramocka, Maciej Sekalski:
Questionnaire Analysis by Decision Algorithm Generation. ICCI 1992: 216-219 - Andrzej Lenarcik, Zdzislaw Piasta, Mateusz Masternak:
Probabilistic Approach to Attributes Coding in the Rough Sets Theory. ICCI 1992: 220-223 - V. Richard Benjamins, Ameen Abu-Hanna, Wouter N. H. Jansweijer:
Criteria for Dynamic Method Selection in Diagnostic Reasoning. ICCI 1992: 224-227 - Shie-Jue Lee, David A. Plaisted:
Use of Unit Clauses and Clause Splitting in Automatic Deduction. ICCI 1992: 228-232 - Xiaoyou Zhou:
Construct an Object-Oriented Constraint Logic for Explanation Based Learning. ICCI 1992: 233-236 - Rattikorn Hewett, Krishnamurthy Ganesan:
Consistent Linear Speedup in Parallel Alpha-Beta Search. ICCI 1992: 237-240 - Tzung-Pei Hong, Shian-Shyong Tseng:
Comparison of ID3 and Its Generalized Version. ICCI 1992: 241-244 - M. Wilscy, N. Parameswaran:
A Distributed Production System for Problem Solving. ICCI 1992: 245-248 - Kumar Tadepalli, N. Parameswaran:
Multiagent Planning Using a Reason Maintenance System. ICCI 1992: 249-252 - Pavel Brazdil, Ivan Bruha:
A Method of Processing Unknown Attribute Values by ID3. ICCI 1992: 253-256 - Coco Djossou:
A Client-Server Based Architecture for Communication between Expert Systems. ICCI 1992: 257-261 - Scott D. Goodwin:
Inheritance and Specificity II: Reference Class Selection. ICCI 1992: 262-265 - Howard J. Hamilton, J. Michael Dyck:
Using the IIPS Framework to Specify Machine-Discovery Problems. ICCI 1992: 266-269 - Jian-Yun Nie:
Integrating Semantic Inference in a Probabilistic Approach to Information Retrieval II. ICCI 1992: 270-273 - S. K. Michael Wong, Lusheng Wang, Yiyu Yao:
Non-Numeric Belief Structures. ICCI 1992: 274-277 - Benjamin L. Chen, Von-Wun Soo:
An Incremental Concept Formation Approach to Acquisition of Anaphoric Regularity in Mandarin Chinese. ICCI 1992: 278-281 - Li An Yuan, Abdel Aziz Farrag:
Reduction of Constraint Networks Based on Local Consistency. ICCI 1992: 282-285 - Janusz Zalewski:
AI in Real Time: Is This Feasible? ICCI 1992: 286-289 - Bruce R. Ebanks, Waldemar Karwowski, Krzysztof Ostaszewski:
Application of Measures of Fuzziness to Risk Classification in Insurance. ICCI 1992: 290-291 - Rattikorn Hewett:
Aggregation in Model-Based Reasoning Using Prime Models: A Preliminary Report. ICCI 1992: 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. ICCI 1992: 297-300 - M. Tamer Özsu, Youping Niu:
Effects of Network Protocols on Distributed Concurrency Control Algorithm Performance. ICCI 1992: 301-306 - Y. Kane-Esrig, Lynn A. Streeter, G. Casella, W. Keese:
The Relevance Density Method in Information Retrieval. ICCI 1992: 307-311 - Wouter B. Teeuw, Henk M. Blanken:
Methodology to Implement an Amoeba Complex Object Server. ICCI 1992: 312-315 - Rodolfo F. Resende, Amr El Abbadi:
A Graph Testing Concurrency Control Protocol for Object Bases. ICCI 1992: 316-319 - Ken Barker:
A Logical Model and Schema Integration Architecture for Determining Equivalence in ER-Diagrams. ICCI 1992: 320-324 - Fuyau Lin, Rob Langsner:
Integrating CASE Tools with Knowledge-Base by Object Orientation. ICCI 1992: 325-328 - Shie-Jue Lee:
A Self-Guided Theorem Proving System. ICCI 1992: 329-333 - Walcélio L. Melo, Noureddine Belkhatir, Jacky Estublier:
Using Modeling and Control in Adele System. ICCI 1992: 334-337 - Soon Myoung Chung, Khalid A. Elghayesh:
A Heterogeneous Distributed Database System Based on Extended Relational Model. ICCI 1992: 338-341 - Peter J. Looges:
High-Speed Querying with the DAP 510. ICCI 1992: 342-345 - Gerhard Steinke:
An Approach to Achieving Multiuser Integrity in a Knowledge Base System. ICCI 1992: 346-349 - Kazuhisa Yokota, Masaaki Hashimoto, Masakazu Sato:
An Experiment on Reusing Program Specifications Described with Conceptual Data Model- and Dependency Constraint-Based Language. ICCI 1992: 350-354 - Sergio Antoy, Richard G. Hamlet:
Self-Checking against Formal Specifications. ICCI 1992: 355-360 - Nader H. Bshouty, Geoffrey T. Falk:
Compression of Dictionaries via Extensions to Front Coding. ICCI 1992: 361-364 - Bogdan D. Czejdo, Christoph F. Eick:
Rules in an Extended C++. ICCI 1992: 365-368 - Tetsuji Kobayashi:
A Fingerprint Image Recognition Method for Network User Identification. ICCI 1992: 369-372 - Young Man Kim, Dik Lun Lee:
An Optimal Multilevel Signature File for Large Databases. ICCI 1992: 373-376 - M. W. Orlowski:
An Algorithm for Maintenance of Functional Relationships. ICCI 1992: 377-380 - Farshad Fotouhi, Abad A. Shah, William I. Grosky:
Complex Objects in the Temporal Object System. ICCI 1992: 381-384 - Cyril U. Orji, Jon A. Solworth:
Write-Only Disk Cache Experiments on Multiple Surface Disks. ICCI 1992: 385-388 - Rudolf Freund, Brigitte Haberstroh, Christian Stary:
Applying Graph Grammars for Task-Oriented User Interface Development. ICCI 1992: 389-392 - Keng Siau, K. P. Tan, Hock Chuan Chan:
Visual Database Interface for End User Computing. ICCI 1992: 393-396 - Ke Wang, Li-Yan Yuan:
Enforce Constraints in Archival Databases. ICCI 1992: 397-400 - M. V. Ramakrishna:
A Simple Perfect Hashing Method for Static Sets. ICCI 1992: 401-404
Distributed Computing and Communication
- Anna Hac:
A Switching Architecture for Congestion Control in High-Speed Networks. ICCI 1992: 406-409 - Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche:
Using ECATNets for Specifying Communication Software in the OSI Framework. ICCI 1992: 410-413 - Alois P. Heinz:
On the Complexity of Maintaining Fault-Tolerant Distributed Systems. ICCI 1992: 414-417 - Khaled A. Aly, Patrick W. Dowd:
Reconfigurable Optically-Interconnected Parallel Computer Architecture. ICCI 1992: 418-421 - Xiaobo Li, Richard Lai, Tharam S. Dillon:
Theory of Deductive Systems for Protocol Verification. ICCI 1992: 422-425 - Constantine Stivaros:
A Measure of Fault Tolerance for Distributed Networks. ICCI 1992: 426-429 - Siu-Cheung Chau, Weining Zhang, Arthur L. Liestman:
Fault Tolerance for Multistage Interconnection Networks. ICCI 1992: 430-435 - Zhonghua Yang, T. Anthony Marsland:
Global Snapshots for Distributed Debugging. ICCI 1992: 436-440 - Eric E. Johnson, Roy S. Moore, John T. Polson:
Evaluation of Futurebus+ for a GMMP Multiprocessor. ICCI 1992: 441-444 - Michael Bauer, Arin Zahalka:
Search Operations on Distributed Directories. ICCI 1992: 445-448 - Kurt Maly, Frank Paterra, C. Michael Overstreet, Ravi Mukkamala, Sanjeev Khanna:
Concurrent Use of Parallel Communication to Enable Remote Visualization. ICCI 1992: 449-452 - Yanchun Zhang, Maria E. Orlowska:
Parallel Reduction of a Chain Query in Distributed Databases. ICCI 1992: 453-456 - Philippe Ingels, Carlos Maziero, Michel Raynal:
A Distributed Kernel for Virtual Time Driven Applications. ICCI 1992: 457-460 - Richard T. Hurley, James P. Black, Johnny W. Wong:
Modeling and Investigation of a Primitive File Transfer Operation. ICCI 1992: 461-465 - Mahender Nelakonda, Masaaki Mizuno, Mitchell L. Neilsen:
A Distributed Algorithm for Parameterized Semaphore Operations. ICCI 1992: 466-469 - A. B. Stephens, Yelena Yesha, Keith E. Humenik:
Optimal Allocation for Partially Replicated Database Systems on Ring Networks. ICCI 1992: 470-473 - Shyan-Ming Yuan, Chin-Juan Chen:
Fault-tolerant CSP. ICCI 1992: 474-477 - Jürgen Becher, G. M. Solvie:
An Integrate Approach to Satisfy Application Requirements. ICCI 1992: 478-481
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: