2962 search results - page 535 / 593 » The Bunch-Active Shape Model |
184
click to vote
TPHOL
2009
IEEE
16 years 18 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
190
click to vote
CALCO
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
200
click to vote
ISVC
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. We present an approach for articulated motion detection and pose estimation that uses only motion information. To estimate the pose and viewpoint we introduce a novel mot...
168
click to vote
ISVC
2009
Springer
16 years 15 days ago
2009
Springer
While realistic illumination significantly improves the visual quality and perception of rendered images, it is often very expensive to compute. In this paper, we propose a new al...
178
click to vote
MM
2009
ACM
16 years 14 days ago
2009
ACM
This paper presents a novel motion localization approach for recognizing actions and events in real videos. Examples include StandUp and Kiss in Hollywood movies. The challenge ca...