Sciweavers

18090 search results - page 276 / 3618
» Computing by Only Observing
Sort
View
ICRA
2007
IEEE
134views Robotics» more  ICRA 2007»
16 years 25 days ago
Locally Computable Navigation Functions for Sphere Worlds
Abstract— In this paper we present a new Navigation Function for a sphere world that can be computed locally with limited knowledge of the environment. By requiring smooth and no...
Grigoris Lionis, Xanthi Papageorgiou, Kostas J. Ky...
WOLLIC
2007
Springer
16 years 19 days ago
Computational Interpretations of Classical Linear Logic
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...
Paulo Oliva
CEC
2005
IEEE
16 years 4 days ago
Evolutionary computation variants for cooperative spatial coordination
Abstract- This paper presents a comparative study between genetic and probabilistic search approaches of evolutionary computation. They are both applied for optimizing the behavior...
Georgios N. Yannakakis, John Hallam, John Levine
IFL
2004
Springer
15 years 12 months ago
A Virtual Machine for Functional Logic Computations
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P....
AINA
2003
IEEE
15 years 11 months ago
Validation-Based Reprocessing Scheme for Updating Spatial Data in Mobile Computing Environments
This paper introduces a novel reprocessingtransaction model that handles the update conflicts between mobile transactions without abortion. The proposed model executes a new subtr...
Donghyun Kim, Bonghee Hong, Byunggu Yu, Eun Suk Ho...