68 search results - page 3 / 14 » 2006 and 2007 Max-SAT Evaluations: Contributed Instances |
CP
2007
Springer
14 years 5 days ago
2007
Springer
Abstract. Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that a technique called randomi...
ICWE
2007
Springer
14 years 4 days ago
2007
Springer
In this paper we propose a framework for the creation of adaptive portal solutions for the Semantic Web. It supports different target domains in a single portal instance. We propo...
SLS
2007
Springer
14 years 3 days ago
2007
Springer
We consider a possible scenario of experimental analysis on heuristics for optimization: identifying the contribution of local search components when algorithms are evaluated on th...
CASCON
2006
13 years 7 months ago
2006
This research studies the characteristics of field usage patterns in the SpecJVM98 benchmarks. It finds that multiple object instances of the same class often exhibit different fi...
MMS
2006
13 years 6 months ago
2006
The selection of appropriate proximity measures is one of the crucial success factors of content-based visual information retrieval. In this area of research, proximity measures ar...