732 search results - page 21 / 147 » Periodicity-Based Temporal Constraints |
83
Voted
JANCL
2006
15 years 1 months ago
2006
We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are welldesi...
119
click to vote
AICOM
2004
15 years 1 months ago
2004
Abstract. Dechter et al. [5] proposed solving the Temporal Constraint Satisfaction Problem (TCSP) by modeling it as a metaCSP, which is a finite CSP with a unique global constraint...
148
click to vote
DEBS
2008
ACM
15 years 3 months ago
2008
ACM
Complex Event Processing is an important technology for information systems with a broad application space ranging from supply chain management, systems monitoring, and stock mark...
122
Voted
ICIP
2004
IEEE
16 years 3 months ago
2004
IEEE
In this work, we propose an unsupervised Bayesian model for the detection of moving objects from dynamic scenes. This unsupervised solution is a three-step approach that uses a st...
111
click to vote
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...