1261 search results - page 35 / 253 » A Hierarchy of Temporal Properties |
JSYML
2011
13 years 3 months ago
2011
We prove that for every Σ0 2 enumeration degree b there exists a noncuppable Σ0 2 degree a > 0e such that b ≤e a and a ≤e b . This allows us to deduce, from results on the...
GRAPHICSINTERFACE
2003
13 years 10 months ago
2003
We introduce the Camera Aware View-dEpendent Continuous Level Of Detail (CAVECLOD) polygon mesh representation. Several techniques recently have been developed that use a hierarch...
DBPL
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We are interested in the theoretical foundations of the optimization of conjunctive regular path queries (CRPQs). The basic problem here is deciding query containment bot...
SP
2006
IEEE
14 years 2 months ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
In many domains successful execution of plans requires careful monitoring and repair. Diagnosis of plan execution supports this process by identifying causes of plan failure. Most ...