132 search results - page 19 / 27 » Identifying Bullies with a Computer Game |
125
click to vote
CONCUR
2009
Springer
15 years 10 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 ...
104
click to vote
CIG
2006
IEEE
15 years 9 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 ...
123
Voted
TKDE
2008
15 years 3 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...
115
Voted
CVPR
2010
IEEE
15 years 11 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...
121
click to vote
ICPR
2008
IEEE
15 years 9 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...