Sciweavers

4539 search results - page 557 / 908
» Approaches to Compute Workflow Complexity
Sort
View
ICRA
2000
IEEE
111views Robotics» more  ICRA 2000»
15 years 11 months ago
Learning Globally Consistent Maps by Relaxation
Mobile robots require the ability to build their own maps to operate in unknown environments. A fundamental problem is that odometry-based dead reckoning cannot be used to assign ...
Tom Duckett, Stephen Marsland, Jonathan Shapiro
ICIP
1999
IEEE
15 years 11 months ago
Local Wavelets Decomposition for 3-D Surfaces
We propose a wavelet based local subdivision of 3-D surfaces, which can be effectively applied to a mesh with complex and high curvature faces. The proposed approach is an extensi...
Yun-Sang Kim, Sébastien Valette, Ho-Youl Ju...
ECAL
1999
Springer
15 years 11 months ago
Arithmetic Operations on Self-Replicating Cellular Automata
In this paper, we present a possible implementation of arithmetic functions (notably, addition and multiplication) using self-replicating cellular automata. The operations are per...
Enrico Petraglio, Jean-Marc Henry, Gianluca Tempes...
EUROMICRO
1998
IEEE
15 years 11 months ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs
ATAL
1998
Springer
15 years 11 months ago
Goal Satisfaction in Large Scale Agent-Systems: A Transportation Example
Abstract. A framework for cooperative goal-satisfaction in large-scale MultiAgent Systems (MAS) is presented in this paper. This is performed by demonstrating the applicability of ...
Onn Shehory, Sarit Kraus, Osher Yadgar