Sciweavers

1483 search results - page 151 / 297
» Geometric constraint satisfaction using optimization methods
Sort
View
MICCAI
2009
Springer
16 years 2 months ago
Real-Time Prediction of Brain Shift Using Nonlinear Finite Element Algorithms
Patient-specific biomechanical models implemented using specialized nonlinear (i.e. taking into account material and geometric nonlinearities) finite element procedures were applie...
Grand Roman Joldes, Adam Wittek, Mathieu Couton,...
ECCV
1994
Springer
15 years 5 months ago
3-D Stereo Using Photometric Ratios
We present a novel robust methodology for corresponding a dense set of points on an object surface from photometric values, for 3-D stereo computation of depth. We use two stereo p...
Lawrence B. Wolff, Elli Angelopoulou
CP
2007
Springer
15 years 7 months ago
The Log-Support Encoding of CSP into SAT
It is known that Constraint Satisfaction Problems (CSP) can be converted into Boolean Satisfiability problems (SAT); however how to encode a CSP into a SAT problem such that a SAT...
Marco Gavanelli
CSCLP
2004
Springer
15 years 6 months ago
A Value Ordering Heuristic for Local Search in Distributed Resource Allocation
Abstract. In this paper we develop a localized value-ordering heuristic for distributed resource allocation problems. We show how this value ordering heuristics can be used to achi...
Adrian Petcu, Boi Faltings
ICRA
2006
IEEE
150views Robotics» more  ICRA 2006»
15 years 7 months ago
Navigation of Unmanned Marine Vehicles in Accordance with the Rules of the Road
Abstract— This paper is concerned with the in-field autonomous operation of unmanned marine vehicles in accordance with convention for safe and proper collision avoidance as pre...
Michael R. Benjamin, Joseph A. Curcio, John J. Leo...