Publications

6795 results for AI

Biped gait transitions
- - Jessica K. Hodgins
- 1991
- ICRA 1991
Building an object-oriented environment for distributed manufacturing software
- - Martin C. Sturzenbecker
- 1991
- ICRA 1991
Relational-grammar-based generation in the JETS Japanese-English machine translation system
- - David E. Johnson
  - Hideo Watanabe
- 1991
- Machine Translation
Nonmonotonic Default Modal Logics
- - Michael Tiomkin
  - Michael Kaminski
- 1991
- Journal of the ACM
A Propositional Modal Logic of Time Intervals
- - Joseph Y. Halpern
  - Yoav Shoham
- 1991
- Journal of the ACM
A Lower Bound for Integer Greatest Common Divisor Computations
- - Yishay Mansour
  - Baruch Schieber
  - et al.
- 1991
- Journal of the ACM
A Model-Theoretic Analysis of Knowledge
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1991
- Journal of the ACM
The power of reconfiguration
- - Y. Ben-Asher
  - David Peleg
  - et al.
- 1991
- Journal of Parallel and Distributed Computing
Optimal broadcasting on SIMD hypercubes without indirect addressing capability
- - Ching-Tien Ho
- 1991
- Journal of Parallel and Distributed Computing
A descriptive study of mental models†
- - Stephen J. Payne
- 1991
- Behaviour and Information Technology