1446 search results - page 179 / 290 » Testing for Concise Representations |
124
Voted
FORTE
2009
15 years 5 days ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
135
click to vote
ICB
2009
Springer
15 years 4 days ago
2009
Springer
Abstract. We present a novel approach for human gait recognition that inherently combines appearance and motion. Dynamic texture descriptors, Local Binary Patterns from Three Ortho...
130
Voted
ICIP
2009
IEEE
15 years 4 days ago
2009
IEEE
By the guidance of attention, human visual system is able to locate objects of interest in complex scene. We propose a new visual saliency detection model for both image and video...
127
click to vote
ICMCS
2009
IEEE
15 years 4 days ago
2009
IEEE
Dynamic modeling of facial appearances and sight directions are demanded for HCI and multimedia applications. Traditional approaches for face tracking and eye tracking from 2D vid...
98
Voted
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
We use a simple modification to a conventional SLR camera to capture images of several hundred scenes in colour (RGB) and near-infrared (NIR). We show that the addition of near-i...