4486 search results - page 681 / 898 » Adaptable Boundary Sets |
222
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
181
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Pattern ordering is an important task in data mining because the number of patterns extracted by standard data mining algorithms often exceeds our capacity to manually analyze the...
196
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
This paper presents an approach to automatically optimizing the retrieval quality of search engines using clickthrough data. Intuitively, a good information retrieval system shoul...
181
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We present a search interface for large video collections with time-aligned text transcripts. The system is designed for users such as intelligence analysts that need to quickly f...
188
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Web usage mining, the analysis of user navigation paths through web sites, is a common technique for evaluating site designs or adaptive hypermedia techniques. However, often it i...