2203 search results - page 136 / 441 » Temporal Abstract Interpretation |
175
Voted
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
This paper addresses the discovery of activities and learns the underlying processes that govern their occurrences over time in complex surveillance scenes. To this end, we propos...
139
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...
133
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
138
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
Abstract. The talk focused on a grammar-based technique for identifying redundancy in program code and taking advantage of that redundancy to reduce the memory required to store an...
120
Voted
ECCV
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. This paper addresses the problem of how to learn an appropriate feature representation from video to benefit video-based face recognition. By simultaneously exploiting th...