Publications

Export 1389 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is P  [Clear All Filters]
1993
Cleaveland R, Parrow J, Steffen B.  1993.  The concurrency workbench: a semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems. 15:36-72.
Reggia JA, Peng Y, Tuhrim S.  1993.  A connectionist approach to diagnostic problem solving using causal networks. Information sciences. 70(1-2):27-48.
Hannenhalli S, Perumalla K, Chandrasekharan N, Sridhar R.  1993.  A distributed algorithm for ear decomposition. , Fifth International Conference on Computing and Information, 1993. Proceedings ICCI '93. :180-184.
Shneiderman B, Brethauer D, Plaisant C, Potter R.  1993.  Evaluating three museum installations of a hypertext system. Sparks of innovation in human-computer interaction. 40:404-404.
Shneiderman B, Brethauer D, Plaisant C, Potter R.  1993.  Evaluating three museum installations of a hypertext system. Sparks of innovation in human-computer interaction. 40:404-404.
Plaisant C, Carr DA, Hasegawa H.  1993.  Exploring remote images: a telepathology workstation. Proceedings of the INTERACT '93 and CHI '93 conference on Human factors in computing systems. :518–-518–.
Plaisant C, Laboratory H-computer I.  1993.  Facilitating Data Exploration: Dynamic Queries On A Health Statistics Map. Proc. of the Government Statistics Section, Annual Meeting of the American Statistical Assoc. Conf. Proc, pg. :18-23.
Arya S, Phamdo N, Farvardin N, Mount D.  1993.  Fast search algorithms with applications to split and multi-stage vector quantization of speech lsp parameters. Speech Coding for Telecommunications, 1993. Proceedings., IEEE Workshop on. :65-66.
Plaisant C.  1993.  Guide to Opportunities in Volunteer Archaeology: case study on the use of a hypertext system in a museum exhibit. Sparks of innovation in human-computer interactionSparks of innovation in human-computer interaction. :223-223.
Potter RL, Weldon LJ, Shneiderman B.  1993.  Improving the accuracy of touchscreens: an experimental evaluation of three strategies. Sparks of innovation in human-computer interaction. :161-161.
O'Leary DP.  1993.  Iterative Methods for Finding the Stationary Vector for Markov Chains. Linear Algebra, Markov Chains, and Queuing ModelsLinear Algebra, Markov Chains, and Queuing Models. 48:125-136.
McFadden FE, Peng Y, Reggia JA.  1993.  Local conditions for phase transitions in neural networks with variable connection strengths. Neural networks. 6(5):667-676.
Perlis D.  1993.  Logic and Artificial Intelligence: A New Synthesis? ANNALES-SOCIETATIS MATHEMATICAE POLONAE SERIES 4. 18:297-297.
Nirkhe V, Pugh W.  1993.  A partial evaluator for the Maruti hard real-time system. Real-Time Systems. 5(1):13-30.
Arkin E, Goodrich M, Mitchell J, Mount D, Piatko C, Skiena S.  1993.  Point probe decision trees for geometric concept classes. Algorithms and Data Structures. :95-106.
Miller M, Perlis D.  1993.  Presentations and this and that: logic in action. Proceedings of the 15th Annual Conference of the Cognitive Science Society, Boulder, Colorado. 251
Keil-Slawik R, Plaisant C, Shneiderman B.  1993.  Remote direct manipulation: A case study of a telemedicine workstation. Sparks of innovation in human-computer interactionSparks of innovation in human-computer interaction. :51-51.
Plaisant C, Shneiderman B, Battagtia J.  1993.  Scheduling home control devices: a case study of the transition from the research project to a product. Sparks of innovation in human-computer interactionSparks of innovation in human-computer interaction. :205-205.
Reggia JA, Armentrout SL, Chou HH, Peng Y.  1993.  Simple systems that exhibit template-directed replication. Science. 259:1282-1287.
Nirkhe M, Kraus S, Perlis D.  1993.  Situated reasoning within tight deadlines and realistic space and computation bounds. Proc. Common Sense. 93
Karl LR, Pettey M, Shneiderman B.  1993.  Speech versus mouse commands for word processing: an empirical evaluation. International Journal of Man-Machine Studies. 39(4):667-687.
Porter A.  1993.  Using measurement-driven modeling to provide empirical feedback to software developers. Journal of Systems and Software. 20(3):237-243.
Elgot-drapkin J, Kraus S, Miller M, Nirkhe M, Perlis D.  1993.  Vacuum-logic. Proceedings of AAAI 1993 Fall Symposium Series: Instantiating Real-World Agents. :51-54.
1994
Elgot-drapkin J, Gordon D, Kraus S, Miller M, Nirkhe M, Perlis D.  1994.  Calibrating, Counting, Grounding, Grouping. FS-94-03
Dorr BJ, Voss C, Peterson E, Kiker M.  1994.  Concept-based lexical selection. Proceedings of the AAAI-94 Fall Symposium on Knowledge Representation for Natural Language Processing in Implemented Systems.

Pages