4460 search results - page 842 / 892 » Formal methods for interactive systems |
ECIR
2008
Springer
13 years 9 months ago
2008
Springer
IR research has a strong tradition of laboratory evaluation of systems. Such research is based on test collections, pre-defined test topics, and standard evaluation metrics. While ...
HCI
2007
13 years 9 months ago
2007
The importance of individual characteristics has been emphasized in the human computer interaction and information visualization (IV) literature. However, decision style, which is...
CLIN
2001
13 years 9 months ago
2001
In this paper, we describe a method to enhance the readability of out-of-vocabulary items (OOVs) in the textual output in a large vocabulary continuous speech recognition system. ...
UAI
2004
13 years 9 months ago
2004
Bayesian learning in undirected graphical models--computing posterior distributions over parameters and predictive quantities-is exceptionally difficult. We conjecture that for ge...
VISSYM
2004
13 years 9 months ago
2004
This paper presents a novel framework for illustrating surfaces in a volume. Surfaces are illustrated by drawing only feature lines, such as silhouettes, valleys, ridges, and surf...