Sciweavers

3954 search results - page 45 / 791
» Image-based Model Completion
Sort
View
IROS
2008
IEEE
167views Robotics» more  IROS 2008»
15 years 8 months ago
Multi-robot complete exploration using hill climbing and topological recovery
— This article addresses the problem of autonomous map building and exploration of an unknown environment with mobile robots. The proposed method assumes that mobile robots use o...
Rui Rocha, João Filipe Ferreira, Jorge Dias
LICS
2007
IEEE
15 years 8 months ago
Light Logics and Optimal Reduction: Completeness and Complexity
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
Patrick Baillot, Paolo Coppola, Ugo Dal Lago
INFOCOM
2011
IEEE
14 years 5 months ago
Scheduling in mapreduce-like systems for fast completion time
Abstract—Large-scale data processing needs of enterprises today are primarily met with distributed and parallel computing in data centers. MapReduce has emerged as an important p...
Hyunseok Chang, Murali S. Kodialam, Ramana Rao Kom...
HYBRID
2009
Springer
15 years 8 months ago
Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems
Abstract. In this paper, we consider hybrid models of mechanical systems undergoing impacts — Lagrangian hybrid systems, and study their periodic orbits in the presence of Zeno b...
Yizhar Or, Aaron D. Ames
ICCV
2007
IEEE
15 years 8 months ago
Cortical Folding Development Study based on Over-Complete Spherical Wavelets
We introduce the use of over-complete spherical wavelets for shape analysis of 2D closed surfaces. Bi-orthogonal spherical wavelets have been shown to be powerful tools in the seg...
Peng Yu, B. T. Thomas Yeo, P. Ellen Grant, Bruce F...