5269 search results - page 344 / 1054 » order 2007 |
206
Voted
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
We describe a probabilistic framework for recognizing human activities in monocular video based on simple silhouette observations in this paper. The methodology combines kernel pr...
228
Voted
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
Occlusion reasoning, necessary for tasks such as navigation and object search, is an important aspect of everyday life and a fundamental problem in computer vision. We believe tha...
165
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
Models of the untyped λ-calculus may be defined either as applicative structures satisfying a bunch of first order axioms, known as “λ-models”, or as (structures arising fr...
188
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
In a realistic design flow, circuit and system optimizations must interact with physical aspects of the design. For example, improvements in timing and power may require replacing ...
215
Voted
DAGSTUHL
2007
15 years 9 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...