Sciweavers

2219 search results - page 356 / 444
» Dynamic Programming and Graph Algorithms in Computer Vision
Sort
View
FGR
2004
IEEE
127views Biometrics» more  FGR 2004»
15 years 6 months ago
Gait Style and Gait Content: Bilinear Models for Gait Recognition Using Gait Re-sampling
Human Identification using gait is a challenging computer vision task due to the dynamic motion of gait and the existence of various sources of variations such as viewpoint, walki...
Chan-Su Lee, Ahmed M. Elgammal
CGF
2008
89views more  CGF 2008»
15 years 2 months ago
Enhancement of Bright Video Features for HDR Displays
To utilize the full potential of new high dynamic range (HDR) displays, a system for the enhancement of bright luminous objects in video sequences is proposed. The system classifi...
Piotr Didyk, Rafal Mantiuk, Matthias Hein, Hans-Pe...
CVPR
2009
IEEE
16 years 9 months ago
Active Volume Models for 3D Medical Image Segmentation
In this paper, we propose a novel predictive model for object boundary, which can integrate information from any sources. The model is a dynamic “object” model whose manifes...
Tian Shen (Lehigh University), Hongsheng Li (Lehig...
135
Voted
SAS
2009
Springer
281views Formal Methods» more  SAS 2009»
16 years 3 months ago
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
David Niedzielski, Jeffery von Ronne, Andreas Gamp...
216
Voted
POPL
2005
ACM
16 years 2 months ago
Synthesis of interface specifications for Java classes
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
P. Madhusudan, Pavol Cerný, Rajeev Alur, Wo...