4345 search results - page 23 / 869 » Temporal Constraint Networks |
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...
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
NJC
2002
15 years 1 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
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...
97
Voted
COLING
2010
14 years 9 months ago
2010
We describe a Chinese temporal annotation experiment that produced a sizable data set for the TempEval-2 evaluation campaign. We show that while we have achieved high inter-annota...