9572 search results - page 1558 / 1915 » Cover Algorithms and Their Combination |
191
click to vote
PPDP
2004
Springer
16 years 4 days ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
181
click to vote
SAMOS
2004
Springer
16 years 4 days ago
2004
Springer
A high-performance data-path to implement DSP kernels is proposed in this paper. The data-path is based on a flexible, universal, and regular component to optimally exploiting both...
154
click to vote
SBIA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Enterprise delegates Agents’ Negotiation is a simpler task if the enterprises involved in the transaction have homogeneous representation structures as well as the same...
181
click to vote
SETN
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In order to obtain a solution to a constraint satisfaction problem, constructive methods iteratively extend a consistent partial assignment until all problem variables ar...
236
click to vote
VECPAR
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Optimization problems constrained by nonlinear partial differential equations have been the focus of intense research in scientific computing lately. Current methods for...