Sciweavers

1710 search results - page 291 / 342
» Parallelism in Structured Newton Computations
Sort
View
ACCV
2007
Springer
14 years 4 months ago
Depth from Stationary Blur with Adaptive Filtering
This work achieves an efficient acquisition of scenes and their depths along long streets. A camera is mounted on a vehicle moving along a path and a sampling line properly set in ...
Jiang Yu Zheng, Min Shi
COCOA
2007
Springer
14 years 4 months ago
On Threshold BDDs and the Optimal Variable Ordering Problem
Abstract. Many combinatorial optimization problems can be formulated as 0/1 integer programs (0/1 IPs). The investigation of the structure of these problems raises the following ta...
Markus Behle
CONCUR
2007
Springer
14 years 4 months ago
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
Peter Lammich, Markus Müller-Olm
IMR
2007
Springer
14 years 4 months ago
CUBIT and Seismic Wave Propagation Based Upon the Spectral-Element Method: An Advanced Unstructured Mesher for Complex 3D Geolog
Unstructured hexahedral mesh generation is a critical part of the modeling process in the Spectral-Element Method (SEM). We present some examples of seismic wave propagation in co...
Emanuele Casarotti, Marco Stupazzini, Shiann Lee, ...
MIDDLEWARE
2007
Springer
14 years 4 months ago
SPS: a middleware for multi-user sensor systems
With the increased realisation of the benefits of studying environmental data, sensor networks are rapidly scaling in size, heterogeneity of data, and applications. In this paper...
Salman Taherian, Jean Bacon