Sciweavers

7890 search results - page 475 / 1578
» The MathSAT 3 System
Sort
View
CBSE
2006
Springer
15 years 10 months ago
A Process for Resolving Performance Trade-Offs in Component-Based Architectures
Designing architectures requires the balancing of multiple system quality objectives. In this paper, we present techniques that support the exploration of the quality properties of...
Egor Bondarev, Michel R. V. Chaudron, Peter H. N. ...
ATAL
2008
Springer
15 years 9 months ago
AGENTFLY: a multi-agent airspace test-bed
The contribution presents a multi-agent technology in the domain of the air-traffic control of several autonomous aerial vehicles (manned as well as unmanned). The system has been...
David Sislák, Premysl Volf, Stepán K...
GRAPHICSINTERFACE
2004
15 years 8 months ago
Remote Collaboration Using Augmented Reality Videoconferencing
This paper describes an Augmented Reality (AR) Videoconferencing System, which is a novel remote collaboration tool combining a desktop-based AR system and a videoconference modul...
István Barakonyi, Tamer Fahmy, Dieter Schma...
CIDR
2003
150views Algorithms» more  CIDR 2003»
15 years 8 months ago
The Database Machine: Old Story, New Slant?
Current database management system technology is not well equipped to provide adequate support for what has been deemed the 3rd wave of computing -- Ubiquitous Computing. Such app...
Julie A. McCann
ICASSP
2010
IEEE
15 years 7 months ago
Information retrieval methods for automatic speech recognition
In this paper, we use information retrieval (IR) techniques to improve a speech recognition (ASR) system. The potential benefits include improved speed, accuracy, and scalability...
Xiaoqiang Xiao, Jasha Droppo, Alex Acero