1071 search results - page 130 / 215 » Using Cell-DEVS for Modeling Complex Cell Spaces |
113
click to vote
SPIN
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
131
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents a novel approach to data fusion for stochastic processes that model spatial data. It addresses the problem of data fusion in the context of large scale terrain ...
147
Voted
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
Modern science is collecting massive amounts of data from sensors, instruments, and through computer simulation. It is widely believed that analysis of this data will hold the key ...
112
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
139
click to vote
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
In background subtraction, cast shadows induce silhouette distortions and object fusions hindering performance of high level algorithms in scene monitoring. We introduce a nonpara...