882 search results - page 136 / 177 » Local Search for Very Large SAT Problems |
167
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: To date more than 2,1 million gene products from more than 100000 different species have been described specifying their function, the processes they are involved in a...
231
click to vote
VLDB
2003
ACM
16 years 4 months ago
2003
ACM
Due to their expressive power, Regular Expressions (REs) are quickly becoming an integral part of language specifications for several important application scenarios. Many of thes...
144
Voted
GIR
2006
ACM
15 years 9 months ago
2006
ACM
Most human activities occur around where the user is physically located. Knowing the geographical serving area of web resources, therefore, is very important for many web applicat...
146
click to vote
CORR
2010
Springer
15 years 15 days ago
2010
Springer
Max Restricted Path Consistency (maxRPC) is a local consistency for binary constraints that can achieve considerably stronger pruning than arc consistency. However, existing maxRPC...
140
click to vote
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
Detecting and segmenting free-form objects from cluttered backgrounds is a challenging problem in computer vision. Signature detection in document images is one classic example an...