882 search results - page 119 / 177 » Local Search for Very Large SAT Problems |
112
click to vote
JMLR
2002
15 years 3 months ago
2002
A single signal processing algorithm can be represented by many mathematically equivalent formulas. However, when these formulas are implemented in code and run on real machines, ...
121
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We introduce MAGENTA’s commercial multi-agent systems technology, and illustrate its practical use by describing a field-tested application in the area of logistics/scheduling....
149
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Bug localization has attracted a lot of attention recently. Most existing methods focus on pinpointing a single statement or function call which is very likely to contain bugs. Al...
149
Voted
CIKM
2011
Springer
14 years 3 months ago
2011
Springer
Extracting information from web pages is an important problem; it has several applications such as providing improved search results and construction of databases to serve user qu...
158
click to vote
ENTCS
2007
15 years 3 months ago
2007
Poly-controlled partial evaluation (PCPE) is a flexible approach for specializing logic programs, which has been recently proposed. It takes into account repertoires of global co...