436 search results - page 14 / 88 » Temporal Preprocessor: Towards Temporal Applications Develop... |
105
click to vote
EUROPLOP
2006
15 years 4 months ago
2006
With the incresing presence on the Web of hypermedia contents with temporal constraints (time-based hypermedia), such as multimedia presentations, there must be a precise form to ...
125
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
—We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics. These i...
129
Voted
ASE
2004
15 years 2 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
102
Voted
AR
2008
15 years 2 months ago
2008
Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its clo...
135
Voted
CSB
2005
IEEE
15 years 8 months ago
2005
IEEE
With the rapid growth of biomedical research databases, opportunities for scientific inquiry have expanded quickly and led to a demand for computational methods that can extract b...