445 search results - page 57 / 89 » A Call Abstraction for Component Coordination |
104
click to vote
INFOCOM
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract--CEDAR is an algorithm for QoS routing in ad hoc network environments. It has three key components: (a) the establishment and maintenance of a self-organizing routing infr...
106
click to vote
PRICAI
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. This article discusses automatic identifications of functional structures of artifacts from given behavioral models of components and their connection information (called...
SE
2007
15 years 1 months ago
2007
: Developing a speech-based application for mobile devices requires work upfront, since mobile devices and speech recognition systems vary dramatically in their capabilities. While...
100
click to vote
CADE
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
AI
2002
Springer
14 years 11 months ago
2002
Springer
Abstract In this paper, we describe our Question Answering (QA) system called QUANTUM. The goal of QUANTUM is to find the answer to a natural language question in a large document ...