Sciweavers

3718 search results - page 191 / 744
» Programming by Integration in Robotics
Sort
View
MATES
2004
Springer
15 years 12 months ago
The Emergence of Social Order in a Robotic Society.
The article presents a general model of the emergence of social order in multi-agent-systems (MAS). The agents consist of two types of neural networks that have the task to generat...
Jürgen Klüver, Maarten Sierhuis, Christi...
AIS
2008
Springer
15 years 6 months ago
Asimov's "three laws of robotics" and machine metaethics
Using Asimov's "Bicentennial Man" as a springboard, a number of metaethical issues concerning the emerging field of Machine Ethics are discussed. Although the ultim...
Susan Leigh Anderson
CORR
2008
Springer
93views Education» more  CORR 2008»
15 years 6 months ago
A computer verified, monadic, functional implementation of the integral
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
Russell O'Connor, Bas Spitters
ICPR
2008
IEEE
16 years 7 months ago
Solving quadratically constrained geometrical problems using lagrangian duality
In this paper we consider the problem of solving different pose and registration problems under rotational constraints. Traditionally, methods such as the iterative closest point ...
Carl Olsson, Anders Eriksson
ATAL
2003
Springer
15 years 11 months ago
MONAD: a flexible architecture for multi-agent control
Research in multi-agent systems has led to the development of many multi-agent control architectures. However, we believe that there is currently no known optimal structure for mu...
Thuc Vu, Jared Go, Gal A. Kaminka, Manuela M. Velo...