2790 search results - page 104 / 558 » A generative theory of relevance |
161
click to vote
CP
2007
Springer
16 years 18 days ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
143
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a new and innovative approach called mission-based just in time agent generation. The approach allows agents to be constructed on the fly, at run-time and just...
142
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, a genetic algorithm is introduced to generate variants of a choreographic sequence, which are then selected using different criteria. The mutation phase of the algo...
149
click to vote
TMRA
2005
Springer
15 years 12 months ago
2005
Springer
Topic Maps are means for representing sophisticated, conceptual indexes of any information collection for the purpose of semantic information integration. To properly fulfil this p...
140
click to vote
ITP
2010
15 years 10 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...