882 search results - page 65 / 177 » Local Search for Very Large SAT Problems |
108
click to vote
HM
2005
Springer
15 years 5 months ago
2005
Springer
Image registration is a very active research area in computer vision, namely it is used to find a transformation between two images taken under different conditions. Point matchi...
113
click to vote
TPDS
2010
14 years 10 months ago
2010
This paper studies the problem of realizing a common software clock among a large set of nodes without an external time reference (i.e., internal clock synchronization), any centr...
HM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper introduces a new algorithm, based on the concept of ejection chains, to effectively target vehicle routing problems with time window constraints (VRPTW). Ejec...
103
click to vote
WWW
2007
ACM
16 years 15 days ago
2007
ACM
Given a document repository, search engine is very helpful to retrieve information. Currently, vertical search is a hot topic, and Google Scholar [4] is an example for academic se...
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we study approximate landmark-based methods for point-to-point distance estimation in very large networks. These methods involve selecting a subset of nodes as landm...