482 search results - page 22 / 97 » Modelling Search Strategies in Rules2CP |
142
Voted
ASC
2006
15 years 5 months ago
2006
This paper presents a new algorithm for enhancing the efficiency of simulation-based optimisation using local search and neural network metamodels. The local search strategy is ba...
122
Voted
SIGIR
2002
ACM
15 years 3 months ago
2002
ACM
This paper follows a formal approach to information retrieval based on statistical language models. By introducing some simple reformulations of the basic language modeling approa...
133
Voted
SBMF
2010
Springer
14 years 10 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
131
Voted
ISAMI
2010
15 years 1 months ago
2010
Abstract Medical data sets consist of a huge amount of data organized in instances, where each one contains several attributes. The quality of the models obtained from a database s...
120
Voted
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We devise a theoretical model for dichotomic search algorithms for constrained optimization. We show that, within our model, a certain way of choosing the breaking point ...