1446 search results - page 179 / 290 » Testing for Concise Representations |
FORTE
2009
13 years 8 months 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...
ICB
2009
Springer
13 years 8 months 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...
ICIP
2009
IEEE
13 years 8 months 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...
ICMCS
2009
IEEE
13 years 8 months 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...
CVPR
2011
IEEE
13 years 6 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...