2715 search results - page 284 / 543 » An Implementation of Narrowing Strategies |
156
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
A three-level functional architecture for a team of mobile robots is described in detail, including the de nition of the role assigned to each level, the main concepts involved, a...
196
click to vote
RTAS
1998
IEEE
15 years 11 months ago
1998
IEEE
There is increasing demand to extend Object Request Broker (ORB) middleware to support distributed applications with stringent real-time requirements. However, conventional ORB im...
154
click to vote
CHI
1998
ACM
15 years 11 months ago
1998
ACM
This paper describes our exploration of a design space for an augmented reality prototype. We began by observing air traffic controllers and their interactions with paper flight s...
169
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
146
click to vote
DATE
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper describes a practical test approach for analog-to-digital converters (ADCs) based on the oscillation-test strategy. The oscillation-test is applied to convert the ADC u...