1860 search results - page 180 / 372 » A Temporal Logic of Robustness |
106
Voted
PAMI
2007
15 years 10 days ago
2007
This paper presents a robust object tracking method via a spatial bias appearance model learned dynamically in video. Motivated by the attention shifting among local regions of a ...
93
Voted
CORR
2010
Springer
15 years 28 days ago
2010
Springer
We study tree languages that can be defined in 2. These are tree languages definable by a first-order formula whose quantifier prefix is , and simultaneously by a first-order for...
158
click to vote
BIRTHDAY
2012
Springer
13 years 8 months ago
2012
Springer
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
107
click to vote
ICMCS
2006
IEEE
15 years 6 months ago
2006
IEEE
Most broadcast stations rely on TV logos to claim video content ownership or visually distinguish the broadcast from the interrupting commercial block. Detecting and tracking a TV...
131
Voted
ICIAR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Background updating is an important aspect of dynamic scene analysis. Two critical problems: sudden camera perturbation and the sleeping person problem, which arise frequ...