732 search results - page 56 / 147 » Periodicity-Based Temporal Constraints |
STDBM
2004
Springer
14 years 3 months ago
2004
Springer
With the recent progress of spatial information technologies and mobile computing technologies, spatio-temporal databases which store information on moving objects including vehicl...
AAAI
2007
14 years 11 days ago
2007
In many sensing applications we must continuously gather information to provide a good estimate of the state of the environment at every point in time. A robot may tour an environ...
AUSAI
2009
Springer
14 years 4 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
B
2007
Springer
14 years 4 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
DIMEA
2008
13 years 11 months ago
2008
In this article, we present the development of research carried out to design a system of interactive scores for composition and execution, based on temporal constraints called Is...