1921 search results - page 245 / 385 » Making AC-3 an Optimal Algorithm |
178
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents the Real-coded Genetic Algorithms for high-dimensional ill-scaled structures, what is called, the ktablet structure. The k-tablet structure is the landscape th...
138
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes POPE-GP, a system that makes use of the NSGA-II multiobjective evolutionary algorithm as an alternative, parameter-free technique for eliminating program bloat...
152
click to vote
VLDB
2001
ACM
15 years 10 months ago
2001
ACM
This paper investigates the problem of incremental joins of multiple ranked data sets when the join condition is a list of arbitrary user-defined predicates on the input tuples. ...
171
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
182
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
Information diffusion, viral marketing, and collective classification all attempt to model and exploit the relationships in a network to make inferences about the labels of nodes....