4107 search results - page 754 / 822 » The Generalized Lambda Test |
169
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
In June and July 1997, Nomad, a planetary-relevant mobile robot, traversed more than 220 kilometers across the barren Atacama Desert in Chile, exploring a landscape analogous to t...
168
click to vote
RTSS
1998
IEEE
15 years 10 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
188
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
In this paper we introduce the Progressive Forest Split (PFS) representation, a new adaptive refinement scheme for storing and transmitting manifold triangular meshes in progress...
182
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
176
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
This paper introduces a 3D simulation environment for experiments with behavior-based autonomous agents. The virtual laboratory INSIGHT allows the user to design and run a great v...