816 search results - page 41 / 164 » SAT-Based Image Computation with Application in Reachability... |
151
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
We have established a novel control system for combining the parallel execution of deterministic and non-deterministic medical imaging applications on a single platform, sharing t...
193
click to vote
CONCUR
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
152
click to vote
ICNP
1998
IEEE
15 years 10 months ago
1998
IEEE
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
137
click to vote
ICIAP
2003
ACM
16 years 6 months ago
2003
ACM
This paper deals with the problem of error estimation in 3D reconstruction. It shows how interval analysis can be used in this way for 3D vision applications. The description of a...
143
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Transformation manifolds are quite attractive for image analysis applications that require transformation invariance properties. The geometric structure of a transformation manifo...