613 search results - page 45 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
Lab
VIMS Lab is situated in Department of Computer & Information Sc, University of Delaware, Newark, DE. USA.
At VIMS we work on various problems related to image/video processing...
CVPR
2010
IEEE
13 years 10 months ago
2010
IEEE
In this paper, we present an approach to multi-view image-based 3D reconstruction by statistically inversing the ray-tracing based image generation process. The proposed algorithm...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
HYBRID
2010
Springer
14 years 2 months ago
2010
Springer
Mixture-of-Experts (MoE) systems solve intricate problems by combining results generated independently by multiple computational models (the “experts”). Given an instance of a...
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...