819 search results - page 79 / 164 » Using Assumptions to Distribute CTL Model Checking |
158
click to vote
IJCV
2008
15 years 4 months ago
2008
Supplying realistically textured 3D city models at ground level promises to be useful for pre-visualizing upcoming traffic situations in car navigation systems. Because this previs...
161
click to vote
FORMATS
2003
Springer
15 years 10 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
147
Voted
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
303
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
Cast shadows induced by moving objects often cause serious problems to many vision applications. We present in this paper an online statistical learning approach to model the backg...
180
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper, we tackle the problem of interference mitigation in ad hoc networks. In such context, the multiple access interference (MAI) is known to be of an impulsive nature. ...