420 search results - page 62 / 84 » Temporal reasoning in process planning |
AIME
2005
Springer
14 years 3 months ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...
UML
2004
Springer
14 years 3 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
CORR
2002
Springer
13 years 9 months ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...
VLDB
2002
ACM
13 years 9 months ago
2002
ACM
RTMonitor is a real-time data management system for traffic navigation applications. In our system, mobile vehicles initiate time-constrained navigation requests and RTMonitor cal...
ICCV
2009
IEEE
13 years 7 months ago
2009
IEEE
Underwater, natural illumination typically varies strongly temporally and spatially. The reason is that waves on the water surface refract light into the water in a spatiotemporal...