955 search results - page 97 / 191 » Tractable Temporal Reasoning |
122
click to vote
LORI
2009
Springer
15 years 10 months ago
2009
Springer
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in m...
145
Voted
ICCV
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper contributes a new boosting paradigm to achieve detection of events in video. Previous boosting paradigms in vision focus on single frame detection and do not scale to v...
114
click to vote
HAIS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Accurate and swift responses are crucial to Intrusion Detection Systems (IDSs), especially if automatic abortion mechanisms are running. In keeping with this idea, this w...
110
Voted
CIB
2002
15 years 3 months ago
2002
The web log data embed much of web users' browsing behavior. From the web logs, one can discover patterns that predict the users' future requests based on their current b...
120
Voted
JOLLI
2002
15 years 3 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...