762 search results - page 55 / 153 » Conditionally correct superoptimization |
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
We show how Embedded Graph Grammars (EGGs) are used to specify local interaction rules between mobile robots in a natural manner. This formalism allows us to treat local network to...
DGCI
2006
Springer
14 years 1 months ago
2006
Springer
A sequential algorithm for computing the distance map using distances based on neighbourhood sequences (of any length) in the 2D square grid; and 3D cubic, face-centered cubic, and...
ICALP
1997
Springer
14 years 1 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
ICRA
1995
IEEE
14 years 1 months ago
1995
IEEE
This paper reports preliminary experiments with a provably correct model-based adaptive robot control algorithm for simultaneous position and force trajectory tracking of a robot ...
AIML
2008
13 years 11 months ago
2008
There are two reasons why medieval logic is of interest to modern logician: One is to see how similar it is to modern logic and the other is to see how different it is. We study th...