600 search results - page 50 / 120 » Solving Distributed Constraint Optimization Problems Using L... |
140
Voted
CCE
2005
15 years 2 months ago
2005
Process network problems can be formulated as Generalized Disjunctive Programs where a logicbased representation is used to deal with the discrete and continuous decisions. A new ...
112
click to vote
EOR
2008
15 years 2 months ago
2008
We suggest a new heuristic for solving unconstrained continuous optimization problems. It is based on a generalized version of the variable neighborhood search metaheuristic. Diff...
137
click to vote
PPDP
2010
Springer
15 years 16 days ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
155
click to vote
PPDP
2010
Springer
15 years 16 days ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
132
Voted
GECCO
2010
Springer
15 years 3 months ago
2010
Springer
Evolutionary algorithms (EAs) are increasingly being applied to solve real-parameter optimization problems due to their flexibility in handling complexities such as non-convexity,...