1633 search results - page 106 / 327 » On the Verification of Temporal Properties |
147
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
A method for temporally integrating appearance-based body-part labelling is presented. We begin by modifying the silhouette labelling method of Ghost[4]; that system first determi...
159
click to vote
LORI
2009
Springer
16 years 26 days 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...
172
click to vote
LFCS
2009
Springer
16 years 26 days ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
158
click to vote
ATAL
2007
Springer
16 years 15 days ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
151
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. This paper presents a theory for constructing and computing velocity-adapted scale-space filters for spatio-temporal image data. Starting from basic criteria in terms of ...