Publications
Export 1389 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is P [Clear All Filters]
1993. The concurrency workbench: a semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems. 15:36-72.
1993. A connectionist approach to diagnostic problem solving using causal networks. Information sciences. 70(1-2):27-48.
1993. A distributed algorithm for ear decomposition. , Fifth International Conference on Computing and Information, 1993. Proceedings ICCI '93. :180-184.
1993. Evaluating three museum installations of a hypertext system. Sparks of innovation in human-computer interaction. 40:404-404.
1993. Evaluating three museum installations of a hypertext system. Sparks of innovation in human-computer interaction. 40:404-404.
1993. Exploring remote images: a telepathology workstation. Proceedings of the INTERACT '93 and CHI '93 conference on Human factors in computing systems. :518–-518–.
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.
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.
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.
1993. Improving the accuracy of touchscreens: an experimental evaluation of three strategies. Sparks of innovation in human-computer interaction. :161-161.
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.
1993. Local conditions for phase transitions in neural networks with variable connection strengths. Neural networks. 6(5):667-676.
1993. Logic and Artificial Intelligence: A New Synthesis? ANNALES-SOCIETATIS MATHEMATICAE POLONAE SERIES 4. 18:297-297.
1993. Point probe decision trees for geometric concept classes. Algorithms and Data Structures. :95-106.
1993. Presentations and this and that: logic in action. Proceedings of the 15th Annual Conference of the Cognitive Science Society, Boulder, Colorado. 251
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.
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.
1993. Situated reasoning within tight deadlines and realistic space and computation bounds. Proc. Common Sense. 93
1993. Speech versus mouse commands for word processing: an empirical evaluation. International Journal of Man-Machine Studies. 39(4):667-687.
1993. Using measurement-driven modeling to provide empirical feedback to software developers. Journal of Systems and Software. 20(3):237-243.
1993. Vacuum-logic. Proceedings of AAAI 1993 Fall Symposium Series: Instantiating Real-World Agents. :51-54.
1994. Concept-based lexical selection. Proceedings of the AAAI-94 Fall Symposium on Knowledge Representation for Natural Language Processing in Implemented Systems.