3333 search results - page 355 / 667 » Abstract Proof Search |
194
click to vote
CP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...
161
click to vote
ERCIMDL
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper presents the results of our study regarding the different facets and ways of using annotations in both digital libraries and collaboratories. This study repres...
196
click to vote
FPL
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Evolvable Hardware (EHW) is a scheme - inspired by natural evolution, for automatic design of hardware systems. By exploring a large design search space, EHW may find so...
192
click to vote
GECCO
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Training neural networks is a complex task of great importance in the supervised learning field of research. In this work we tackle this problem with five algorithms, a...
140
click to vote
ICCSA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. A number of individual bioinformatics applications (particularly BLAST and other sequence searching methods) have recently been implemented over clusters of workstations ...