Sciweavers

4273 search results - page 554 / 855
» User studies and the design of Natural Language Systems
Sort
View
IWCMC
2009
ACM
16 years 1 months ago
Multiple-antenna multiple-relay system with precoding for multiuser transmission
Multi-hop relaying will play a central role in next generation wireless systems. In this paper a novel relaying strategy that uses multiple-input multiple-output (MIMO) relays in ...
Arash Talebi, Witold A. Krzymien
INFOVIS
2005
IEEE
16 years 9 days ago
Visualizing Coordination In Situ
Exploratory visualization environments allow users to build and browse coordinated multiview visualizations interactively. As the number of views and amount of coordination increa...
Chris Weaver
TACAS
2000
Springer
151views Algorithms» more  TACAS 2000»
15 years 10 months ago
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
Ramesh Bharadwaj, Steve Sims
CLEF
2004
Springer
16 years 3 days ago
Question Answering Pilot Task at CLEF 2004
A Pilot Question Answering Task has been activated in the Cross-Language Evaluation Forum 2004 with a twofold objective. In the first place, the evaluation of Question Answering ...
Jesús Herrera, Anselmo Peñas, Felisa...
CONCUR
2004
Springer
16 years 3 days ago
Resource Control for Synchronous Cooperative Threads
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
Roberto M. Amadio, Silvano Dal-Zilio