Belief, awareness, and limited reasoning
- Ronald Fagin
- Joseph Y. Halpern
- 1987
- Artificial Intelligence
Publications
8149 results for AI
Projection-Based Geometrical Feature Extraction for Computer Vision: Algorithms in Pipeline Architectures
- Jorge L. Sanz
- Its Hak Dinstein
- 1987
- IEEE Transactions on Pattern Analysis and Machine Intelligence
Mathematics and beauty V: Turbulent complex curls
- Clifford A. Pickover
- 1987
- Computers and Graphics
A Rule-Based System for Verifying Engineering Specifications in Industrial Visual Inspection Applications
- Dragutin Petkovic
- Eric B. Hinkle
- 1987
- IEEE Transactions on Pattern Analysis and Machine Intelligence
Mathematics and beauty: Time-discrete phase planes associated with the cyclic system, { x ̇(t) = -f(y(t)), ẏ(t) = f(x(t))}
- Clifford A. Pickover
- 1987
- Computers and Graphics
A probabilistic approach to the load-sharing problem in distributed systems
- Eli Shamir
- Eli Upfal
- 1987
- Journal of Parallel and Distributed Computing
A logic to reason about likelihood
- Joseph Y. Halpern
- Michael O. Rabin
- 1987
- Artificial Intelligence
On the minimal synchronism needed for distributed consensus
- Danny Dolev
- Cynthia Dwork
- et al.
- 1987
- Journal of the ACM
P3E: New life for projection-based image processing
- Eric B. Hinkle
- Jorge L.C. Sanz
- et al.
- 1987
- Journal of Parallel and Distributed Computing
Graphic applications of the Standard Generalized Markup Language (SGML)
- Donald D. Chamberlin
- Charles Goldfarb
- 1987
- Computers and Graphics