Sciweavers

1583 search results - page 151 / 317
» Continuous Optimization
Sort
View
ECCV
2002
Springer
16 years 5 months ago
Real-Time Interactive Path Extraction with on-the-Fly Adaptation of the External Forces
The aim of this work is to propose an adaptation of optimal path based interactive tools for image segmentation (related to Live-Wire [12] and Intelligent Scissors [18] approaches)...
Olivier Gérard, Thomas Deschamps, Myriam Gr...
ICPR
2004
IEEE
16 years 4 months ago
Robust Carving for Non-Lambertian Objects
This paper presents a new surface reconstruction method that extends previous carving methods for non-Lambertian objects by integrating the smoothness and image information of dif...
Gang Zeng, Sylvain Paris, Long Quan
CP
2009
Springer
16 years 3 months ago
From Model-Checking to Temporal Logic Constraint Solving
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
Aurélien Rizk, François Fages
ICCS
2009
Springer
15 years 9 months ago
Automated Provenance Collection for CCA Component Assemblies
The problem of capturing provenance for computational tasks has recently received significant attention, due to the new set of beneficial uses (for optimization, debugging, etc.)...
Kostadin Damevski, Hui Chen
ICRA
2008
IEEE
137views Robotics» more  ICRA 2008»
15 years 9 months ago
Communication-aware trajectory tracking
— This paper investigates the scenario of a robot making a tradeoff between tracking a time-varying reference trajectory and stopping to communicate at points where the radio sig...
Magnus Lindhé, Karl Henrik Johansson