6693 search results - page 885 / 1339 » Methods of Automatic Algorithm Generation |
143
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
We propose a novel method, based on concepts from expander graphs, to sample communities in networks. We show that our sampling method, unlike previous techniques, produces subgra...
115
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
We develop a generic method for the review matching problem, which is to match unstructured text reviews to a list of objects, where each object has a set of attributes. To this e...
118
click to vote
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper addresses the problem of photo time-stamp detection and recognition, which is to determine the time a photo was taken. Since the time-stamp is exposed together with the...
137
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
181
click to vote
PLDI
1997
ACM
15 years 9 months ago
1997
ACM
This paper presents dynamic feedback, a technique that enables computations to adapt dynamically to different execution environments. A compiler that uses dynamic feedback produce...