2203 search results - page 128 / 441 » Temporal Abstract Interpretation |
132
Voted
IJFCS
2006
15 years 3 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
159
Voted
ECCV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper presents a novel descriptor for human detection in video sequence. It is referred to as spatial-temporal granularity -tunable gradients partition (STGGP), whic...
348
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
The problem of recognizing actions in realistic videos
is challenging yet absorbing owing to its great potentials
in many practical applications. Most previous research is
limit...
131
Voted
ECCV
2000
Springer
16 years 5 months ago
2000
Springer
Abstract. The ability to learn from user interaction is an important asset for content-based image retrieval (CBIR) systems. Over short times scales, it enables the integration of ...
244
Voted
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
Content-based retrieval of spatio-temporal patterns from human motion databases is inherently nontrivial since finding effective distance measures for such data is difficult. These...