1860 search results - page 154 / 372 » A Temporal Logic of Robustness |
105
Voted
ICCV
2009
IEEE
14 years 10 months ago
2009
IEEE
This paper proposes a learnt data-driven approach for accurate, real-time tracking of facial features using only intensity information. Constraints such as a-priori shape models o...
CVPR
2006
IEEE
16 years 2 months ago
2006
IEEE
An activity consists of an actor performing a series of actions in a pre-defined temporal order. An action is an individual atomic unit of an activity. Different instances of the ...
106
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
119
click to vote
ECRTS
2008
IEEE
15 years 7 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
86
Voted
ICASSP
2010
IEEE
15 years 29 days ago
2010
IEEE
This paper presents a new approach for estimating the disparity search range in stereo video that enforces temporal consistency. Reliable search range estimation is very important...