89 search results - page 3 / 18 » Evidence for Invariants in Local Search |
SAT
2010
Springer
13 years 4 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
AUTOMATICA
2008
13 years 6 months ago
2008
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
ICTIR
2009
Springer
14 years 26 days ago
2009
Springer
Web information retrieval is best known for its use of the Web’s link structure as a source of evidence. Global link evidence is by nature query-independent, and is therefore no ...
GECCO
2003
Springer
13 years 11 months ago
2003
Springer
Several researchers are using evolutionary search methods to search for test data with which to test a program. The fitness or cost function depends on the test goal but almost in...
CIKM
2008
Springer
13 years 8 months ago
2008
Springer
The task addressed in this paper, finding experts in an enterprise setting, has gained in importance and interest over the past few years. Commonly, this task is approached as an ...