3510 search results - page 237 / 702 » Searching with numbers |
180
click to vote
ILP
2005
Springer
16 years 6 days ago
2005
Springer
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...
172
click to vote
SAT
2005
Springer
16 years 5 days ago
2005
Springer
The utilization of cutting planes is a key technique in Integer Linear Programming (ILP). However, cutting planes have seldom been applied in Pseudo-Boolean Optimization (PBO) algo...
153
click to vote
SOCO
2005
Springer
16 years 5 days ago
2005
Springer
In an open environment populated by large numbers of services, automated service composition is a major challenge. In such a setting the efficient interaction of directory-based s...
195
click to vote
CP
2004
Springer
16 years 2 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...
199
Voted
FPL
2004
Springer
16 years 2 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...