4107 search results - page 754 / 822 » The Generalized Lambda Test |
117
click to vote
ICRA
1998
IEEE
15 years 5 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...
109
click to vote
RTSS
1998
IEEE
15 years 5 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...
130
click to vote
SIGGRAPH
1998
ACM
15 years 5 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...
117
click to vote
SAFECOMP
1998
Springer
15 years 5 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...
124
click to vote
AGENTS
1997
Springer
15 years 5 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...