Sciweavers

2609 search results - page 337 / 522
» Models for Global Constraint Applications
Sort
View
RC
2002
96views more  RC 2002»
15 years 3 months ago
Verification of Invertibility of Complicated Functions over Large Domains
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
Jens Hoefkens, Martin Berz
OR
2007
Springer
15 years 3 months ago
Hybrid heuristics for the probabilistic maximal covering location-allocation problem
The Maximal Covering Location Problem (MCLP) maximizes the population that has a facility within a maximum travel distance or time. Numerous extensions have been proposed to enhan...
Francisco de Assis Corrêa, Antonio Augusto C...
TMI
2008
149views more  TMI 2008»
15 years 4 months ago
Shape-Driven Three-Dimensional Watersnake Segmentation of Biological Membranes in Electron Tomography
Abstract--Due to the significant complexity of membrane morphology and the generally poor image quality in electron tomographic volumes, current automatic methods for segmentation ...
Hieu Tat Nguyen, Qiang Ji
CVPR
1998
IEEE
16 years 6 months ago
Interactive Sensor Planning
This paper describes an interactive sensor planning system that can be used to select viewpoints subject to camera visibility, field of view and task constraints. Application area...
Ioannis Stamos, Peter K. Allen
CVPR
2008
IEEE
16 years 6 months ago
Markerless motion capture of man-machine interaction
This work deals with modeling and markerless tracking of athletes interacting with sports gear. In contrast to classical markerless tracking, the interaction with sports gear come...
Bodo Rosenhahn, Christian Schmaltz, Thomas Brox, J...