111 search results - page 14 / 23 » The virtual reference experience: Integrating theory into pr... |
VEE
2009
ACM
14 years 2 months ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
IROS
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper presents a solution to the problem of steering a group of real omnidirectional mobile robots along a given path, while maintaining a desired formation pattern. This ...
CEC
2009
IEEE
14 years 2 months ago
2009
IEEE
Differential evolution (DE) is a powerful yet simple evolutionary algorithm for optimizing real valued optimization problems. Traditional investigations with differential evolution...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
ACMDIS
2006
ACM
14 years 1 months ago
2006
ACM
Our physical bodies play a central role in shaping human experience in the world, understanding of the world, and interactions in the world. This paper draws on theories of embodi...