888 search results - page 31 / 178 » The Power of Temporal Proofs |
EMMCVPR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Tracking is usually interpreted as finding an object in single consecutive frames. Regularization is done by enforcing temporal smoothness of appearance, shape and motio...
CSL
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Establishing local consistency is one of the main algorithmic techniques in temporal and spatial reasoning. In this area, one of the central questions for the various pro...
SSD
2009
Springer
15 years 2 months ago
2009
Springer
We introduce TOQL, a query language for querying time information in ontologies. TOQL is a high level query language that handles ontologies almost like relational databases. Queri...
104
click to vote
JOLLI
2008
14 years 9 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
NIPS
2007
14 years 11 months ago
2007
We present four new reinforcement learning algorithms based on actor-critic and natural-gradient ideas, and provide their convergence proofs. Actor-critic reinforcement learning m...