3657 search results - page 240 / 732 » A Study of Practical Deduplication |
200
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
154
click to vote
CHI
2008
ACM
15 years 8 months ago
2008
ACM
We present a novel system for notification management and report results from two studies testing its performance and impact. The system uses statistical models to realize defer-t...
175
click to vote
ICADL
2007
Springer
15 years 8 months ago
2007
Springer
Digitizing ancient books, especially those related to the humanities, is practiced in many countries. The number of full-text databases in the humanities is increasing. Studies hav...
151
click to vote
BCSHCI
2008
15 years 8 months ago
2008
The SenseCam is a passive capture wearable camera, worn around the neck and developed by Microsoft Research in the UK. When worn continuously it takes an average of 2,000 images p...
160
click to vote
LREC
2008
15 years 8 months ago
2008
This paper describes a study of the levels at which different rhetorical relations occur in rhetorical structure trees. In a previous empirical study (Williams and Reiter, 2003) o...