3028 search results - page 137 / 606 » Integrating Temporal Logics |
153
Voted
ECAI
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper studies algorithms for the Disjunctive Temporal Problem (DTP) a quite general temporal reasoning problem introduced in [12]. This problem involves the satisfac...
133
Voted
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a new blocking logic to block unknowns for temporal compactors. The proposed blocking logic can reduce data volume required to control the blocking logic and a...
123
Voted
BIOSTEC
2008
15 years 6 months ago
2008
Clinical trial protocols include schedule of clinical trial activities such as clinical tests, procedures, and medications. The schedule specifies temporal constraints on the seque...
119
click to vote
NETWORKING
2004
15 years 6 months ago
2004
Having in mind that real-time streams tolerate some deadline misses according to (m,k)-firm constraints [1], this paper presents a solution that consists in integrating (m,k)-firm ...
168
Voted
KDD
2012
ACM
13 years 7 months ago
2012
ACM
Temporal datasets, in which data evolves continuously, exist in a wide variety of applications, and identifying anomalous or outlying objects from temporal datasets is an importan...