1054 search results - page 141 / 211 » Translation Validation of System Abstractions |
132
click to vote
SSDBM
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract— This paper presents LIVE, a complete DBMS designed for applications with many stored derived relations, and with a need for simple versioning capabilities when base dat...
157
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—A methodology for estimating the force distribution that occurs along a needle shaft during insertion is described. To validate the approach, an experimental system for ...
181
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a flight rnanageiiient system (FhIS) iinpleniented as on-board intelligence for rotorcraft-based unmanned aerial vehicles (RUAVs), in order to gradually ilen a...
180
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract — This paper addresses the problem of coordinating multiple mobile robots in a tightly coupled task by means of implicit communication. This approach allows the developm...
170
click to vote
EUROGP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper a new, general and exact schema theory for genetic programming is presented. The theory includes a microscopic schema theorem applicable to crossover operat...