2273 search results - page 335 / 455 » On the Expressiveness and Complexity of ATL |
SPATIALCOGNITION
2000
Springer
15 years 1 months ago
2000
Springer
Navigation has always been an interdisciplinary topic of research, because mobile agents of different types are inevitably faced with similar navigational problems. Therefore, huma...
ZUM
2000
Springer
15 years 1 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
SIGGRAPH
1997
ACM
15 years 1 months ago
1997
ACM
The InfiniteRealityTM graphics system is the first general-purpose workstation system specifically designed to deliver 60Hz steady frame rate high-quality rendering of complex sce...
SI3D
1995
ACM
15 years 1 months ago
1995
ACM
: We present an exact and interactive collision detection system, I-COLLIDE, for large-scale environments. Such environments are characterized by the number of objects undergoing r...
LICS
1989
IEEE
15 years 1 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...