589 search results - page 92 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
ICDE
2012
IEEE
12 years 6 days ago
2012
IEEE
—There is increasing interest in analyzing networks of all types including social, biological, sensor, computer, and transportation networks. Broadly speaking, we may be interest...
PVLDB
2011
13 years 4 months ago
2011
Studies find that at least 20% of web queries have local intent; and the fraction of queries with local intent that originate from mobile properties may be twice as high. The eme...
PAMI
2006
13 years 9 months ago
2006
We present a novel variational and statistical approach for shape registration. Shapes of interest are implicitly embedded in a higher dimensional space of distance transforms. In...
KDD
2010
ACM
13 years 7 months ago
2010
ACM
The problem of graph classification has attracted great interest in the last decade. Current research on graph classification assumes the existence of large amounts of labeled tra...
SIGIR
2005
ACM
14 years 3 months ago
2005
ACM
Information retrieval is, in general, an iterative search process, in which the user often has several interactions with a retrieval system for an information need. The retrieval ...