Publications

Export 624 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is C  [Clear All Filters]
1991
Cleaveland R, Steffen B.  1991.  Computing behavioural relations, logically. Automata, Languages and Programming. :127-138.
Kao TC, Mount D.  1991.  Computing generalized Voronoi diagrams in improved time and space bounds.
Dorr BJ.  1991.  Conceptual Basis of the Lexicon in Machine Translation. Lexical acquisition: exploiting on-line resources to build a lexiconLexical acquisition: exploiting on-line resources to build a lexicon. :263-263.
Monahemi M, Barlow J, O'Leary DP.  1991.  Considerations on Loop Transfer Recovery for Non-minimum Phase Plants. Proceedings of the AIAA Aircraft Design Systems and Operations MeetingProceedings of the AIAA Aircraft Design Systems and Operations Meeting. AIAA-91-3086
Matias Y, Vishkin U.  1991.  Converting high probability into nearly-constant time—with applications to parallel hashing. Proceedings of the twenty-third annual ACM symposium on Theory of computing. :307-316.
1990
Herve J, Aloimonos Y.  1990.  Catastrophe theory and computational vision. Proc. AAAI-90 Workshop on Qualitative Vision. :96-100.
Peng XB, Mount SM.  1990.  Characterization of enhancer-of-white-apricot in Drosophila melanogaster.. GeneticsGenetics. 126(4):1061-1069.
Khuller S.  1990.  Coloring algorithms for K5-minor free graphs. Information Processing Letters. 34(4):203-208.
Sutton III GG, Reggia JA, Maisog JM.  1990.  Competitive learning using competitive activation rules. Neural Networks, 1990., 1990 IJCNN International Joint Conference on. :285-291.
O'Leary DP, Stewart G.W.  1990.  Computing the eigenvalues and eigenvectors of symmetric arrowhead matrices. Journal of Computational Physics. 90(2):497-505.
Cleaveland R, Parrow J, Steffen B.  1990.  The concurrency workbench. Automatic Verification Methods for Finite State Systems. :24-37.
Doszkocs TE, Reggia JA, others.  1990.  Connectionist models and information retrieval. Annual review of information science and technology. 25:209-262.
Dorr BJ.  1990.  A Cross-Linguistic Approach to Translation. Proceedings of the Third International Conference on Theoretical and Methodological Issues in Machine Translation of Natural Language. :13-33.
1989
Peng Y, Reggia JA.  1989.  A comfort measure for diagnostic problem solving. Information Sciences. 47(2):149-184.
Khuller S.  1989.  On computing graph closures. Information Processing Letters. 31(5):249-255.
Peng Y, Reggia JA.  1989.  A connectionist model for diagnostic problem solving. Systems, Man and Cybernetics, IEEE Transactions on. 19(2):285-298.
Whitfield KC, Goodall SM, Reggia JA.  1989.  A connectionist model for dynamic control. Telematics and Informatics. 6(3-4):375-390.
1987
Perlis D.  1987.  Circumscribing with sets. Artificial Intelligence. 31(2):201-211.
Perlis D.  1987.  Circumscription as introspection. Proceedings of the Second International Symposium on Methodologies for intelligent systems. :440-444.
Greif I, Curtis B, Krasner H, Malone TW, Shneiderman B.  1987.  Computer-supported cooperative work (panel): is this REALLY a new field of research? Proceedings of the SIGCHI/GI conference on Human factors in computing systems and graphics interface. :227-228.
Kang H, Roussopoulos N.  1987.  On Cost-effectiveness of a Semijoin in Distributed Query Processing.. ISR-TR-1987-38
1986
Norman KL, Weldon LJ, Shneiderman B.  1986.  Cognitive layouts of windows and multiple screens for user interfaces. International Journal of Man-Machine Studies. 25(2):229-248.

Pages