5683 search results - page 744 / 1137 » Interactive Schedulability Analysis |
165
click to vote
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Intrusion detection (ID) is one of network security engineers' most important tasks. Textual (command-line) and visual interfaces are two common modalities used to support en...
168
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-...
179
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...
167
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...
217
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...