Sciweavers

10051 search results - page 1814 / 2011
» A Dynamic Separator Algorithm
Sort
View
3DPVT
2006
IEEE
197views Visualization» more  3DPVT 2006»
15 years 5 months ago
Structured Light Based Reconstruction under Local Spatial Coherence Assumption
3D scanning techniques based on structured light usually achieve robustness against outliers by performing multiple projections to simplify correspondence. However, for cases such...
Hao Li, Raphael Straub, Hartmut Prautzsch
DCOSS
2008
Springer
15 years 5 months ago
Efficient Node Discovery in Mobile Wireless Sensor Networks
Energy is one of the most crucial aspects in real deployments of mobile sensor networks. As a result of scarce resources, the duration of most real deployments can be limited to ju...
Vladimir Dyo, Cecilia Mascolo
DLS
2008
213views Languages» more  DLS 2008»
15 years 5 months ago
A parsing machine for PEGs
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...
Sérgio Medeiros, Roberto Ierusalimschy
ECAI
2008
Springer
15 years 5 months ago
A Decomposition Technique for Max-CSP
The objective of the Maximal Constraint Satisfaction Problem (Max-CSP) is to find an instantiation which minimizes the number of constraint violations in a constraint network. In t...
Hachemi Bennaceur, Christophe Lecoutre, Olivier Ro...
ISSRE
2007
IEEE
15 years 4 months ago
Generating Trace-Sets for Model-based Testing
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
Birgitta Lindström, Paul Pettersson, Jeff Off...
« Prev « First page 1814 / 2011 Last » Next »