32607 search results - page 290 / 6522 » Supporting |
160
click to vote
EPIA
1999
Springer
15 years 11 months ago
1999
Springer
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...
174
click to vote
WAN
1998
Springer
15 years 11 months ago
1998
Springer
This paper discusses the research initiatives and programs supported by the National Science Foundation to promote high-end computing and largescale networking. This work mainly fa...
167
Voted
EURODAC
1990
IEEE
15 years 10 months ago
1990
IEEE
: In this paper logical cells and algorithms are presented supporting the design of pseudo-exhaustively testable circuits. The approach is based on real hardware segmentation, inst...
186
Voted
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
Wireless communications support a new form of data delivery in which servers broadcast data to a number of clients that listen to the broadcast channel and retrieve data of intere...
331
click to vote
AMS
2007
Springer
15 years 10 months ago
2007
Springer
Navigation and application functionality of mobile robots rely on their collision-avoiding capabilities, also known as local navigation. We present the mobile robot ARTOS (Autonomo...