4806 search results - page 592 / 962 » Interactive uncertainty analysis |
166
click to vote
DPPI
2007
ACM
15 years 10 months ago
2007
ACM
In this research, we aim to explore meaningful design directions for future photography applications with a focus on the experiences around sharing. We review a wide-rage of photo-...
178
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
166
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
This paper summarizes the task design for iCLEF 2006 (the CLEF interactive track). Compared to previous years, we have proposed a radically new task: searching images in a natural...
215
click to vote
AWIC
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We present a dialogue system that enables the access in natural language to a web information retrieval system. We use a Web Semantic Language to model the knowledge conv...
182
click to vote
ACMSE
2008
ACM
15 years 8 months ago
2008
ACM
Indirection exists between the virtual objects that form the computer interface and the input devices through which the user interacts to manipulate these objects. This paper stud...