11565 search results - page 1955 / 2313 » Computing Minimal Mappings |
164
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper addresses the problem of path planning for a class of deformable volumes under fairly general manipulation constraints. The underlying geometric model for the volume is...
175
Voted
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
Visual-servoing tasks for mobile robots characteristically require the processing of vast amounts of navigational information which can impede the performance of even the most wel...
192
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract—The problem of route address lookup has received much attention recently and several algorithms and data structures for performing address lookups at high speeds have be...
197
click to vote
ICECCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
177
click to vote
FPL
1999
Springer
15 years 11 months ago
1999
Springer
This paper details the development, implementation, and results of Synthia, a system for the synthesis of Finite State Machines (FSMs) to field-programmable logic. Our approach us...