Sciweavers

1157 search results - page 138 / 232
» Solving iterated functions using genetic programming
Sort
View
136
Voted
CP
2004
Springer
15 years 7 months ago
Set Variables and Local Search
Many combinatorial (optimisation) problems have natural models based on, or including, set variables and set constraints. This was already known to the constraint programming commu...
Magnus Ågren
131
Voted
ESOP
2010
Springer
16 years 1 months ago
Formal Verification of Coalescing Graph-Coloring Register Allocation
Iterated Register Coalescing (IRC) is a widely used heuristic for performing register allocation via graph coloring. Many implementations in existing compilers follow (more or less...
Andrew W. Appel, Benoît Robillard, Sandrine ...
186
Voted
BMCBI
2011
14 years 7 months ago
Acorn: A grid computing system for constraint based modeling and visualization of the genome scale metabolic reaction networks v
Background: Constraint-based approaches facilitate the prediction of cellular metabolic capabilities, based, in turn on predictions of the repertoire of enzymes encoded in the gen...
Jacek Sroka, Lukasz Bieniasz-Krzywiec, Szymon Gwoz...
123
Voted
TACAS
2009
Springer
136views Algorithms» more  TACAS 2009»
15 years 10 months ago
Path Feasibility Analysis for String-Manipulating Programs
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
Nikolaj Bjørner, Nikolai Tillmann, Andrei V...
136
Voted
JAIR
2006
113views more  JAIR 2006»
15 years 3 months ago
Generative Prior Knowledge for Discriminative Classification
We present a novel framework for integrating prior knowledge into discriminative classifiers. Our framework allows discriminative classifiers such as Support Vector Machines (SVMs...
Arkady Epshteyn, Gerald DeJong