17329 search results - page 3093 / 3466 » Improved non-approximability results |
171
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
Recent work has shown the promise in using local-search “probes” as a basis for directing a backtracking-based refinement search. In this approach, the decision about the next...
191
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
207
Voted
ER
2004
Springer
16 years 6 days ago
2004
Springer
The envisioned Semantic Web aims to provide richly annotated and explicitly structured Web pages in XML, RDF, or description logics, based upon underlying ontologies and thesauri. ...
190
click to vote
EWCBR
2004
Springer
16 years 6 days ago
2004
Springer
In industrial manufacturing rigorous testing is used to ensure that the delivered products meet their specifications. Mechanical maladjustment or faults often show their presence t...
209
click to vote
PPSN
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper discusses how preference information of the decision maker can in general be integrated into multiobjective search. The main idea is to first define the opti...