3028 search results - page 369 / 606 » Integrating Temporal Logics |
177
click to vote
ICMCS
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper presents a principled and practical method for the computation of visual saliency of spatiotemporal events in full motion videos. Based on the assumption that uniquenes...
142
click to vote
ISMAR
2007
IEEE
16 years 28 days 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...
181
click to vote
B
2007
Springer
16 years 25 days ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
149
click to vote
ICCS
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we discuss variational data assimilation using the STEM atmospheric Chemical Transport Model. STEM is a multiscale model and can perform air quality simulations and p...
165
click to vote
GLVLSI
2006
IEEE
16 years 21 days ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...