4457 search results - page 254 / 892 » Tests of Machine Intelligence |
134
click to vote
AUSAI
2005
Springer
16 years 7 days ago
2005
Springer
In this work, we develop a multi-exchange heuristic based on an estimation improvement graph embedded in a simulated annealing to solve a problem arising in plant location planning...
184
click to vote
TABLEAUX
2005
Springer
16 years 5 days ago
2005
Springer
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...
145
click to vote
AGP
1998
IEEE
15 years 11 months ago
1998
IEEE
We compare two (apparently) rather different set-based constraint languages, and we show that, in spite of their different origins and aims, there are large classes of constraint ...
154
click to vote
ISMIS
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Our unique approach for learning English grapheme segmentation (LE-GS) rules using the Iterated Version Space Algorithm (IVSA) is presented. After de ning the problem and...
176
Voted
CP
2007
Springer
15 years 10 months ago
2007
Springer
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...