446 search results - page 31 / 90 » Modal Logics for Timed Control |
SI3D
2003
ACM
14 years 2 months ago
2003
ACM
Numerous real-time applications such computer games or flight simulators require non-repetitive high-resolution texturing on large landscapes. We propose an algorithm which proce...
JANCL
2002
13 years 8 months ago
2002
ABSTRACT. It has long been recognized that the concept of inconsistency is a central part of commonsense reasoning. In this issue, a number of authors have explored the idea of rea...
ICTAC
2004
Springer
14 years 2 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
ASYNC
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents a novel variation of wave pipelining that we call “surfing.” In previous wave pipelined designs, timing uncertainty grows monotonically as events propagat...
KI
1998
Springer
14 years 1 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...