Search results for "ICCI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jie Wang 0002, Luc Longpré	Nondeterministic and Alternating Computations.	ICCI	1992	DBLP BibTeX RDF
1	Farhad Arbab, Ivan Herman, Pål Spilling	Interaction Management of a Window Manager in Manifold.	ICCI	1992	DBLP BibTeX RDF
1	Laura A. Sanchis	Counting and Generating Integer Partitions in Parallel.	ICCI	1992	DBLP BibTeX RDF
1	Scott D. Goodwin	Inheritance and Specificity II: Reference Class Selection.	ICCI	1992	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	Dwight D. Griffin, Erich Schmitt	Domain Compression of Incompletely Specified Boolean Functions.	ICCI	1992	DBLP BibTeX RDF
1	Janusz Zalewski	AI in Real Time: Is This Feasible?	ICCI	1992	DBLP BibTeX RDF
1	Jian-Yun Nie	Integrating Semantic Inference in a Probabilistic Approach to Information Retrieval II.	ICCI	1992	DBLP BibTeX RDF
1	Anna Hac	A Switching Architecture for Congestion Control in High-Speed Networks.	ICCI	1992	DBLP BibTeX RDF
1	Natasa Jonoska	Spinal Cellular Automata.	ICCI	1992	DBLP BibTeX RDF
1	Rattikorn Hewett	Aggregation in Model-Based Reasoning Using Prime Models: A Preliminary Report.	ICCI	1992	DBLP BibTeX RDF
1	Dariusz Turlej, Roman Podraza, Krzysztof Piorun	Unraveling Mechanisms in Vesicular Dataflow Model.	ICCI	1992	DBLP BibTeX RDF
1	Yanchun Zhang, Maria E. Orlowska	Parallel Reduction of a Chain Query in Distributed Databases.	ICCI	1992	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	Ke Wang, Li-Yan Yuan	Enforce Constraints in Archival Databases.	ICCI	1992	DBLP BibTeX RDF
1	A. B. Stephens, Yelena Yesha, Keith E. Humenik	Optimal Allocation for Partially Replicated Database Systems on Ring Networks.	ICCI	1992	DBLP BibTeX RDF
1	Siu-Cheung Chau, Weining Zhang, Arthur L. Liestman	Fault Tolerance for Multistage Interconnection Networks.	ICCI	1992	DBLP BibTeX RDF
1	Sergio Antoy, Richard G. Hamlet	Self-Checking against Formal Specifications.	ICCI	1992	DBLP BibTeX RDF
1	Wlodzimierz Drabent	What is Failure? Or: Constructive Negation by Fail Answers.	ICCI	1992	DBLP BibTeX RDF
1	Selim G. Akl, Michel Cosnard, Afonso Ferreira	Revisiting Parallel Speedup Complexity.	ICCI	1992	DBLP BibTeX RDF
1	Amiya Nayak, Linda Pagli, Nicola Santoro	Efficient Construction of Catastrophic Patterns for VLSI Reconfigurable Arrays with Bidirectional Links.	ICCI	1992	DBLP BibTeX RDF
1	Andrzej Lenarcik, Zdzislaw Piasta, Mateusz Masternak	Probabilistic Approach to Attributes Coding in the Rough Sets Theory.	ICCI	1992	DBLP BibTeX RDF
1	Tzung-Pei Hong, Shian-Shyong Tseng	Comparison of ID3 and Its Generalized Version.	ICCI	1992	DBLP BibTeX RDF
1	Nader H. Bshouty, Geoffrey T. Falk	Compression of Dictionaries via Extensions to Front Coding.	ICCI	1992	DBLP BibTeX RDF
1	Moon-Chuen Lee, Hong Va Leong	NLUS - A Prolog-Based Natural Language Understanding System.	ICCI	1992	DBLP BibTeX RDF
1	Guoliang Xue, Shangzhi Sun, J. Ben Rosen	Minimum Time Message Transmission in Networks.	ICCI	1992	DBLP BibTeX RDF
1	Mahender Nelakonda, Masaaki Mizuno, Mitchell L. Neilsen	A Distributed Algorithm for Parameterized Semaphore Operations.	ICCI	1992	DBLP BibTeX RDF
1	C. Murray Woodside, Shikharesh Majumdar, John E. Neilson	Interval Arithmetic for Computing Performance Guarantees in Client-Server Software.	ICCI	1991	DBLP DOI BibTeX RDF
1	Jindong Chen, Yijie Han	Storing Shortest Paths for a Polyhedron.	ICCI	1991	DBLP DOI BibTeX RDF
1	Frank K. H. A. Dehne, Frantisek Fiala, Waldemar W. Koczkodaj (eds.)	Advances in Computing and Information - ICCI'91, International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991, Proceedings	ICCI	1991	DBLP DOI BibTeX RDF
1	Bogdan D. Czejdo, Ralph P. Tucci, David W. Embley	Graphical Specification of Recursive Queries.	ICCI	1991	DBLP DOI BibTeX RDF
1	Hee Yong Youn	An Efficient Multiprocessor Architecture for Image Processing in VLSI.	ICCI	1991	DBLP DOI BibTeX RDF
1	Jean Frédéric Myoupo	A Fully-Pipelined Solutions Constructor for Dynamic Programming Problems.	ICCI	1991	DBLP DOI BibTeX RDF	Modular Arrays, Parallel Algorithms, Complexity, Dynamic Programming, Design of Algorithms, Linear Systolic Arrays
1	Anestis A. Toptsis	Parallel Transitive Closure Computation in Highly Scalable Multiprocessors.	ICCI	1991	DBLP DOI BibTeX RDF
1	Eric S. Kirsch, Jean R. S. Blair	Practical Parallel Algorithms for Chordal Graphs.	ICCI	1991	DBLP DOI BibTeX RDF
1	Eugeniusz Eberbach	Neural Network Processing Elements as a New Generation of "Flip-Flops".	ICCI	1991	DBLP DOI BibTeX RDF
1	Helen Cameron, Derick Wood	How Costly Can Red-Black Trees Be?	ICCI	1991	DBLP DOI BibTeX RDF
1	Abhay B. Bulsari, Henrik Saxén	Artificial Neural Networks for Predicting Silicon Content in Raw Iron From Blast Furnaces.	ICCI	1991	DBLP DOI BibTeX RDF
1	Daniel Herman, Laurent Trilling	Programming a Parallel Sort Using Distributed Procedure Calls.	ICCI	1991	DBLP DOI BibTeX RDF
1	Stephan Olariu, C. Michael Overstreet, Zhaofang Wen	An Optimal Parallel Algorithm to Reconstruct a Binary Tree from its Traversals.	ICCI	1991	DBLP DOI BibTeX RDF	Algorithms, Parallel algorithms, PRAM, Binary trees, Traversals, Ordered trees
1	Dik Lun Lee, Wai Yee Peter Wong	Partial Document Ranking by Heuristic Methods.	ICCI	1991	DBLP DOI BibTeX RDF
1	Tony W. Lai, Derick Wood	A Relationship Between Self-Organizing Lists and Binary Search Trees.	ICCI	1991	DBLP DOI BibTeX RDF
1	Martin C. Carlisle, Errol L. Lloyd	On the k-Coloring of Intervals.	ICCI	1991	DBLP DOI BibTeX RDF
1	Robert L. Probert	Computer Science and Communications Protocols: Research Relationships.	ICCI	1991	DBLP DOI BibTeX RDF
1	B. Gopinath, Ambuj K. Singh, Prem Uppaluru	A Formal Description of the IC* Model of Parallel Computation.	ICCI	1991	DBLP DOI BibTeX RDF
1	J. Ben Rosen, Guoliang Xue	Sequential and Distributed Algorithms for the All Pairs Quickest Path Problem.	ICCI	1991	DBLP DOI BibTeX RDF
1	Michel Raynal	A Distributed Solution to the k-out of-M Resources Allocation Problem.	ICCI	1991	DBLP DOI BibTeX RDF	k-out of-M resources allocation, and-synchronization, permission-based algorithms, distributed mutual exclusion, distributed synchronization
1	Lefteris M. Kirousis, Paul G. Spirakis, Philippas Tsigas	Simple Atomic Snapshots: A Linear Complexity Solution with Unbounded Time-Stamps.	ICCI	1991	DBLP DOI BibTeX RDF
1	Alfred J. Boals, Ajay Gupta 0001, Jahangir A. Hashmi, Naveed A. Sherwani	An Efficient Approximation Algorithm for Hypercube Scheduling.	ICCI	1991	DBLP DOI BibTeX RDF
1	Ali A. Kooshesh, Bernard M. E. Moret	Folding a Triangulated Simple Polygon: Structural and Algorithmic Results.	ICCI	1991	DBLP DOI BibTeX RDF
1	Ghasem S. Alijani, Horst F. Wedde	Enhanced Reliability in Scheduling Critical Tasks for Hard Real-Time Distributed Systems.	ICCI	1991	DBLP DOI BibTeX RDF
1	Horst F. Wedde, Douglas C. Daniels, Dorota M. Huizinga	Efficient Distributed Resource Scheduling for Adaptive Real-Time Operation Support.	ICCI	1991	DBLP DOI BibTeX RDF
1	Anup Basu, Xiaobo Li 0001	A Framework for Variable -Resolution Vision.	ICCI	1991	DBLP DOI BibTeX RDF
1	Wanlei Zhou 0001, Brian Molinari	On the Management of Remote Procedure Call Transactions.	ICCI	1991	DBLP DOI BibTeX RDF	Remote Procedure Call (RPC), Distributed Computing, Transaction Management
1	Eric C. R. Hehner	What's Wrong With Formal Programming Methods?	ICCI	1991	DBLP DOI BibTeX RDF
1	Budi Yuwono, Dik Lun Lee	A Backend Text Retrieval Machine for Signature-Based Document Ranking.	ICCI	1991	DBLP DOI BibTeX RDF
1	Rong Lin, Stephan Olariu	A Simple Optimal Parallel Algorithm to Solve the Lowest Common Ancestor Problem.	ICCI	1991	DBLP DOI BibTeX RDF	parallel algorithms, EREW-PRAM, list ranking, lowest common ancestors, ordered trees, Euler tour
1	Li Yu, Sylvia L. Osborn	Context Inheritance and Content Inheritance in an Object-Oriented Data Model.	ICCI	1991	DBLP DOI BibTeX RDF
1	Nader H. Bshouty	Lower Bounds for Algebraic Computation Trees of Functions with Finite Domains.	ICCI	1991	DBLP DOI BibTeX RDF
1	Satyendra P. Rana	An Efficient Algorithm for Quiescence Detection in a Distributed System.	ICCI	1991	DBLP DOI BibTeX RDF	quiescence detection, distributed algorithms, asynchronous communication
1	Michio Nakanishi, Yoshiki Katsuyama, Minoru Ito, Akihiro Hashimoto	On Designing Relational Database Schemes for Efficient Query Processing.	ICCI	1991	DBLP DOI BibTeX RDF
1	Supratim Biswas, Amitabha Sanyal, L. M. Tewari	Extended Cycle Shrinking: A Restructuring Method for Parallel Compilation.	ICCI	1991	DBLP DOI BibTeX RDF
1	Ip-Wang Chan, Donald K. Friesen	An Optimal Parallel Algorithm for the Vertical Segment Visibility Reporting Problem.	ICCI	1991	DBLP DOI BibTeX RDF
1	Chang-Biau Yang, Richard C. T. Lee, Wen-Tsuen Chen	Conflict-Free Sorting Algorithms Under Single-Channel and Multi-Channel Broadcast Communication Models.	ICCI	1991	DBLP DOI BibTeX RDF
1	Rajeev Raman	Generating Random Graphs Efficiently.	ICCI	1991	DBLP DOI BibTeX RDF
1	Stephen J. Smith	Reaping the Benefits of Mass Production with Massively Parallel Computing - Four Example Applications.	ICCI	1991	DBLP DOI BibTeX RDF
1	Leixuan Yang, Stan Szpakowicz	Planning in Conceptual Networks.	ICCI	1991	DBLP DOI BibTeX RDF
1	Osman ZeinElDine, Mohamed Eltoweissy, Ravi Mukkamala	A Distributed Scheduling Algorithm for Heterogeneous Real-Time Systems.	ICCI	1991	DBLP DOI BibTeX RDF
1	M. A. Nait Abdallah	Kernel Knowledge Versus Belt Knowledge in Default Reasoning: a Logical Approach.	ICCI	1991	DBLP DOI BibTeX RDF
1	Zhiyong Liu, Jia-Huai You	Increasing Communication Bandwidth on Hypercube.	ICCI	1991	DBLP DOI BibTeX RDF	complexity, interconnection network, hypercube, permutations, Parallel and distributed processing, communication bandwidth
1	James Haralambides, Fillia Makedon	Approximation Algorithms for the Bandwidth Minimization Problem for a Large Class of Trees.	ICCI	1991	DBLP DOI BibTeX RDF
1	Ravi Mittal, Bijendra N. Jain, Rakesh K. Patney	Subtree Availability in Binary Tree Architectures.	ICCI	1991	DBLP DOI BibTeX RDF
1	Kok-Phuang Tan, T. C. Tan	An Improved Join Dependency for Efficient Constraint Checking.	ICCI	1991	DBLP DOI BibTeX RDF	Database design, join dependency, constraint checking
1	Jiawei Han 0001	On the Power of Query-Independent Compilation.	ICCI	1991	DBLP DOI BibTeX RDF
1	Ivan Rival, Siming Zhan	Linear Extensions with Backtracking.	ICCI	1991	DBLP DOI BibTeX RDF
1	Danny Krizanc	A Note on Off-Line Permutation Routing on a Mesh-Connected Processor Array.	ICCI	1991	DBLP DOI BibTeX RDF
1	Piyush Maheshwari	Partitioning and Scheduling of Parallel Functional Programs Using Complexity Information.	ICCI	1991	DBLP DOI BibTeX RDF	time and communication complexity functions, scheduling, partitioning, Functional programming, granularity
1	Patricia Cerrito, Waldemar Karwowski, Krzysztof Ostaszewski	Empirical Study of the Meaning of the Hedge "VERY".	ICCI	1991	DBLP DOI BibTeX RDF
1	Abhay B. Bulsari, Björn Saxén, Henrik Saxén	A Chemical Reactor Selection Expert System Created by Training an Artificial Neural Network.	ICCI	1991	DBLP DOI BibTeX RDF	chemical reactor selection, neural networks, knowledge acquisition
1	Lih-Hsing Hsu, Jones J. J. Wang	Undordered Tree Contraction.	ICCI	1991	DBLP DOI BibTeX RDF
1	Sajal K. Das 0001, Calvin Ching-Yuen Chen, Gene Lewis, Sushil K. Prasad	Some Fast Parallel Algorithms for Parentheses Matching.	ICCI	1991	DBLP DOI BibTeX RDF
1	Marc Baumslag	On the Fault-Tolerance of Quasi-Minimal Cayley Networks.	ICCI	1991	DBLP DOI BibTeX RDF
1	Siu-Cheung Chau, Arthur L. Liestman	A Fault-Tolerant Binary Tree Architecture.	ICCI	1991	DBLP DOI BibTeX RDF
1	Aris M. Ouksel, Anan Yaagoub	The Interpolation-Based Bintree and its Application to Graphics.	ICCI	1991	DBLP DOI BibTeX RDF
1	Alfred J. Boals, Ajay K. Gupta 0001, Jahangir A. Hashmi, Naveed A. Sherwani	Compact Hypercubes: Properties and Recognition.	ICCI	1991	DBLP DOI BibTeX RDF
1	Pradip K. Srimani	Generalized Fault Tolerance Properties of Star Graphs.	ICCI	1991	DBLP DOI BibTeX RDF
1	Rattikorn Hewett	A Modeling Technique for Generating Causal Explanations of Physical Systems.	ICCI	1991	DBLP DOI BibTeX RDF
1	Vladimir Estivill-Castro, Derick Wood	Practical Adaptive Sorting.	ICCI	1991	DBLP DOI BibTeX RDF
1	Michel Cosnard, Afonso Ferreira	A Tight Lower Bound for Selection in Sorted X+Y.	ICCI	1991	DBLP DOI BibTeX RDF
1	Helen Cameron, Derick Wood	Balance in AVL Trees.	ICCI	1991	DBLP DOI BibTeX RDF
1	Ke Wang, Li-Yan Yuan	Incremental Database Design Revisited.	ICCI	1991	DBLP DOI BibTeX RDF
1	Yung-Chen Hung, Gen-Huey Chen	On the Quickest Path Problem.	ICCI	1991	DBLP DOI BibTeX RDF
1	Uma Bhattacharya, Swapan Bhattacharya	Mapping of Fault-Tolerant Permutations in Omega.	ICCI	1991	DBLP DOI BibTeX RDF
1	V. Sundararajan, Hitesh N. Dholakia, N. Parameswaran	An RMS for Temporal Reasoning with Abstraction.	ICCI	1991	DBLP DOI BibTeX RDF	Causal and Temporal Reasoning, Reason Maintenance Systems, Representation of Action and Time
1	Christos Levcopoulos, Andrzej Lingas	Greedy Triangulation Approximates the Optimum and Can Be Implemented in Linear Time in the Average Case.	ICCI	1991	DBLP DOI BibTeX RDF
1	Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang	A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming.	ICCI	1991	DBLP DOI BibTeX RDF
1	Reda A. Ammar, Ping Zhang	A Design and Modeling Environment to Develop Real-Time, Distributed Software Systems.	ICCI	1991	DBLP DOI BibTeX RDF
1	Mohamed Eltoweissy, Nagwa M. El-Makky, M. Abougabal, Souheir A. Fouad	The Mean Value Approach to Performance Evaluation of Time-Stamp Ordering Algorithms.	ICCI	1991	DBLP DOI BibTeX RDF
1	Ke Qiu 0001, Henk Meijer, Selim G. Akl	Parallel Routing and Sorting of the Pancake Network.	ICCI	1991	DBLP DOI BibTeX RDF
1	Li-Yan Yuan	On Semantics, Syntactics and Fixpoints of General Programs.	ICCI	1991	DBLP DOI BibTeX RDF

Publications at "ICCI"( http://dblp.L3S.de/Venues/ICCI )