Sciweavers

3394 search results - page 466 / 679
» A Modal Model of Memory
Sort
View
ISVC
2009
Springer
16 years 1 months ago
Parallel Poisson Surface Reconstruction
In this work we describe a parallel implementation of the Poisson Surface Reconstruction algorithm based on multigrid domain decomposition. We compare implementations using differ...
Matthew Bolitho, Michael M. Kazhdan, Randal C. Bur...
RR
2009
Springer
16 years 1 months ago
A Logic Based Approach to the Static Analysis of Production Systems
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
Jos de Bruijn, Martín Rezk
RTSS
2007
IEEE
16 years 24 days ago
Toward the Predictable Integration of Real-Time COTS Based Systems
The integration phase of real-time COTS-based systems is often problematic because when multiple tasks run concurrently, the interference at the bus level between cache fetching a...
Rodolfo Pellizzoni, Marco Caccamo
EMMCVPR
2007
Springer
16 years 21 days ago
Continuous Global Optimization in Multiview 3D Reconstruction
Abstract. In this work, we introduce a robust energy model for multiview 3D reconstruction that fuses silhouette- and stereo-based image information. It allows to cope with signi...
Kalin Kolev, Maria Klodt, Thomas Brox, Selim Esedo...
WDAG
2007
Springer
92views Algorithms» more  WDAG 2007»
16 years 19 days ago
Self-stabilizing Counting in Mobile Sensor Networks with a Base Station
Abstract. Distributed computing must adapt its techniques to networks of mobile agents. Indeed, we are facing new problems like the small size of memory and the lack of computation...
Joffroy Beauquier, Julien Clement, Stéphane...