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...
This paper proposes a Distributed Vision System as a Perceptual Information Infrastructure for robot navigation in a dynamically changing world. The distributed vision system, con...
A proposed system for real-time modeling of wildfires is described. The system involves numerical weather and fire prediction, automated data acquisition from Internet sources, and...
Jan Mandel, Mingshi Chen, Leopoldo P. Franca, Crai...
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
—The digital emulation of analog audio effects and synthesis components, through the simulation of lumped circuit components has seen a large amount of activity in recent years; ...