1124 search results - page 59 / 225 » Mobile robot programming using natural language |
ISER
2004
Springer
14 years 3 months ago
2004
Springer
A virtual fence is created by applying an aversive stimulus to an animal when it approaches a predefined boundary. It is implemented by a small animal-borne computer system with a...
CLUSTER
2004
IEEE
13 years 10 months ago
2004
IEEE
This paper presents a framework for building and deploying protocols for migrating mobile agents over the Internet. The framework enables network protocols for agent migration to b...
PADO
2001
Springer
14 years 2 months ago
2001
Springer
Complex data dependencies can often be expressed concisely by defining a variable in terms of part of its own value. Such a circular reference can be naturally expressed in a lazy...
PLDI
2009
ACM
14 years 11 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
PUC
1998
13 years 10 months ago
1998
In this paper we describe a way to save and restore the state of a running Java program. We achieve this on the language level, without modifying the Java virtual machine, by instr...