Sciweavers

537 search results - page 24 / 108
» Connectivity Models for Optoelectronic Computing Systems
Sort
View
CVPR
2010
IEEE
13 years 12 months ago
Ray Markov Random Fields for Image-Based 3D Modeling: Model and Efficient Inference
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...
Shubao Liu, David Cooper
IJCAI
1997
13 years 10 months ago
Distributed Vision System: A Perceptual Information Infrastructure for Robot Navigation
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...
Hiroshi Ishiguro
ICCS
2004
Springer
14 years 2 months ago
A Note on Dynamic Data Driven Wildfire Modeling
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...
FMCAD
2008
Springer
13 years 10 months ago
Automatic Non-Interference Lemmas for Parameterized Model Checking
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...
Jesse D. Bingham
TASLP
2010
99views more  TASLP 2010»
13 years 7 months ago
A Virtual Model of Spring Reverberation
—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; ...
Stefan Bilbao, Julian Parker