Sciweavers

319 search results - page 19 / 64
» Dynamically inferring temporal properties
Sort
View
CVPR
2007
IEEE
14 years 12 months ago
Leveraging temporal, contextual and ordering constraints for recognizing complex activities in video
We present a scalable approach to recognizing and describing complex activities in video sequences. We are interested in long-term, sequential activities that may have several par...
Benjamin Laxton, Jongwoo Lim, David J. Kriegman
TITS
2011
150views more  TITS 2011»
13 years 4 months ago
Online Spatio-Temporal Risk Assessment for Intelligent Transportation Systems
—Due to modern pervasive wireless technologies and high-performance monitoring systems, spatio-temporal information plays an important role in areas such as intelligent transport...
Ondrej Linda, Milos Manic
FSTTCS
2004
Springer
14 years 3 months ago
Who is Pointing When to Whom?
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
AUSAI
2010
Springer
13 years 8 months ago
Pushing the Envelope: General Game Players Prove Theorems
A general game player is a system that can play previously unknown games given nothing but their rules. A key to success in this endeavour is the ability to automatically gain know...
Sebastian Haufe, Michael Thielscher
ICCV
2005
IEEE
14 years 11 months ago
Avoiding the "Streetlight Effect": Tracking by Exploring Likelihood Modes
Classic methods for Bayesian inference effectively constrain search to lie within regions of significant probability of the temporal prior. This is efficient with an accurate dyna...
David Demirdjian, Leonid Taycher, Gregory Shakhnar...