Sciweavers

1095 search results - page 153 / 219
» Modeling High-Order Dependencies in Local Appearance Models
Sort
View
IROS
2007
IEEE
104views Robotics» more  IROS 2007»
15 years 11 months ago
Energy-field reconstruction for haptic-based molecular docking using energy minimization processes
— This paper presents a new method allowing haptic feedback in molecular docking simulations using a minimization process. These simulations, classically used by the pharmaceutic...
Bruno Daunay, Alain Micaelli, Stephane Régn...
CAV
2006
Springer
116views Hardware» more  CAV 2006»
15 years 8 months ago
Lazy Shape Analysis
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
ICCV
2009
IEEE
1042views Computer Vision» more  ICCV 2009»
16 years 9 months ago
Activity Recognition using the velocity histories of tracked keypoints
We present an activity recognition feature inspired by human psychophysical performance. This feature is based on the velocity history of tracked keypoints. We present a generat...
Ross Messing, Chris Pal, Henry Kautz
CVPR
2005
IEEE
16 years 6 months ago
Strike a Pose: Tracking People by Finding Stylized Poses
We develop an algorithm for finding and kinematically tracking multiple people in long sequences. Our basic assumption is that people tend to take on certain canonical poses, even...
Deva Ramanan, David A. Forsyth, Andrew Zisserman
ICPR
2006
IEEE
16 years 5 months ago
Using Specularities to Recover Multiple Light Sources in the Presence of Texture
Recovering multiple point light sources from a sparse set of photographs in which objects of unknown texture can move is challenging. This is because both diffuse and specular ref...
Pascal Lagger, Pascal Fua