132 search results - page 19 / 27 » Identifying Bullies with a Computer Game |
CONCUR
2009
Springer
14 years 4 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
CIG
2006
IEEE
14 years 3 months ago
2006
IEEE
— Over recent years, the fall in cost, and increased availability of motion capture equipment has led to an increase in non-specialist companies being able to use motion capture ...
TKDE
2008
13 years 9 months ago
2008
Mixed-drove spatiotemporal co-occurrence patterns (MDCOPs) represent subsets of two or more different object-types whose instances are often located in spatial and temporal proximi...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
We present a novel approach to the causal temporal analysis of event data from video content. Our key observation is that the sequence of visual words produced by a space-time dic...
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper proposes a method to estimate the trajectories of soccer players by using two cameras set in a large-scale outdoor space such as a soccer stadium, which is normally not...