7303 search results - page 175 / 1461 » Optimality for dynamic patterns |
98
Voted
ATS
2009
IEEE
15 years 10 months ago
2009
IEEE
SAT-based automatic test pattern generation has several advantages compared to conventional structural procedures, yet often yields too large test sets. We present a dynamic compa...
148
click to vote
ISMAR
2008
IEEE
15 years 9 months ago
2008
IEEE
Ubiquitous Tracking (Ubitrack) setups, consisting of many previously unknown sensors, offer many possibilities to perform sensor fusion in order to increase robustness and accurac...
ISMAR
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we present an innovative adaptive imperceptible pattern projection technique that takes into account parameters of human visual perception. A coded image is temporal...
127
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
A novel framework is introduced for visual event detection. Visual events are viewed as stochastic temporal processes in the semantic concept space. In this concept-centered appro...
119
click to vote
PASTE
2004
ACM
15 years 8 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...