Sciweavers

2914 search results - page 382 / 583
» Optimization by Stochastic Continuation
Sort
View
ICPR
2004
IEEE
16 years 7 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 7 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
16 years 1 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»
16 years 29 days 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
ISM
2008
IEEE
140views Multimedia» more  ISM 2008»
16 years 28 days ago
SAM: A Simplified Seasonal ARIMA Model for Mobile Video over Wireless Broadband Networks
1 Wireless broadband technologies like WiMAX2 are spreading especially in areas where wired broadband is not expected to reach. Video streaming is continuously acquiring a larger s...
Abdel Karim Al Tamimi, Raj Jain, Chakchai So-In