Sciweavers

6906 search results - page 383 / 1382
» An algorithm for modelling key terms
Sort
View
ICLP
2009
Springer
16 years 7 months ago
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
Martin Gebser, Roland Kaminski, Benjamin Kaufmann,...
ICCAD
2008
IEEE
80views Hardware» more  ICCAD 2008»
16 years 3 months ago
Advancing supercomputer performance through interconnection topology synthesis
—In today’s many-core era, the interconnection networks have been the key factor that dominates the performance of a computer system. In this paper, we propose a design flow t...
Yi Zhu, Michael Taylor, Scott B. Baden, Chung-Kuan...
AAECC
2009
Springer
150views Algorithms» more  AAECC 2009»
16 years 1 months ago
Rooted Trees Searching for Cocyclic Hadamard Matrices over D4t
A new reduction on the size of the search space for cocyclic Hadamard matrices over dihedral groups D4t is described, in terms of the so called central distribution. This new searc...
Víctor Álvarez, José Á...
AAIM
2006
Springer
94views Algorithms» more  AAIM 2006»
16 years 24 days ago
Some Basics on Tolerances
In this note we deal with sensitivity analysis of combinatorial optimization problems and its fundamental term, the tolerance. For three classes of objective functions (Σ, Π, MA...
Boris Goldengorin, Gerold Jäger, Paul Molitor
GECCO
2005
Springer
110views Optimization» more  GECCO 2005»
16 years 9 days ago
Understanding cooperative co-evolutionary dynamics via simple fitness landscapes
Cooperative co-evolution is often used to solve difficult optimization problems by means of problem decomposition. Its performance for such tasks can vary widely from good to disa...
Elena Popovici, Kenneth A. De Jong