Sciweavers

3775 search results - page 156 / 755
» The Expression Problem Revisited
Sort
View
129
Voted
ICTAI
2003
IEEE
15 years 9 months ago
Eliminating Redundancies in SAT Search Trees
Conflict analysis is a powerful paradigm of backtrack search algorithms, in particular for solving satisfiability problems arising from practical applications. Accordingly, most...
Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, ...
84
Voted
INFOCOM
2003
IEEE
15 years 9 months ago
cing: Measuring Network-Internal Delays using only Existing Infrastructure
Abstract— Several techniques have been proposed for measuring network-internal delays. However, those that rely on router responses have questionable performance, and all propose...
Kostas G. Anagnostakis, Michael Greenwald, Raphael...
124
Voted
ECCV
2010
Springer
15 years 8 months ago
Anisotropic Minimal Surfaces Integrating Photoconsistency and Normal Information for Multiview Stereo
Abstract. In this work the weighted minimal surface model traditionally used in multiview stereo is revisited. We propose to generalize the classical photoconsistency-weighted mini...
109
Voted
EMNETS
2007
15 years 7 months ago
SeeDTV: deployment-time validation for wireless sensor networks
Deployment of a wireless sensor network (WSN) system is a critical step because theoretical models and assumptions often differ from real environmental characteristics and perform...
H. Liu, Leo Selavo, John A. Stankovic
138
Voted
DCOSS
2006
Springer
15 years 7 months ago
An Optimal Data Propagation Algorithm for Maximizing the Lifespan of Sensor Networks
We consider the problem of data propagation in wireless sensor networks and revisit the family of mixed strategy routing schemes. We show that maximizing the lifespan, balancing th...
Aubin Jarry, Pierre Leone, Olivier Powell, Jos&eac...