649 search results - page 86 / 130 » An Improved Construction of Progression-Free Sets |
72
Voted
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
In this paper, a new method is proposed to detect abnormal regions in colonoscopic images by patch-based classifier ensemble. Through supervised learning from image patches of var...
CHI
2002
ACM
16 years 25 days ago
2002
ACM
We report on a diary study of how and why knowledge workers use the World Wide Web. By examining in detail a complete two-day set of Web activities from each of 24 people, we cons...
97
Voted
CADE
2008
Springer
16 years 23 days ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...
112
Voted
STOC
2005
ACM
16 years 23 days ago
2005
ACM
Abstract. We present a deterministic O(log n log log n) space algorithm for undirected stconnectivity. It is based on a space-efficient simulation of the deterministic EREW algorit...
137
Voted
Publication
We consider the computational problem of finding nearest neighbors in general metric spaces. Of particular interest are spaces that may not be conveniently embedded or approximate...