1749 search results - page 146 / 350 » Logic, Optimization, and Constraint Programming |
131
click to vote
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
Over the last few years, a few approaches have been proposed aiming to combine genetic and evolutionary computation (GECCO) with inductive logic programming (ILP). The underlying r...
141
click to vote
SAC
2010
ACM
15 years 1 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
117
click to vote
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
171
click to vote
CPAIOR
2011
Springer
14 years 6 months ago
2011
Springer
In this work we present the Partner Units Problem as a novel challenge for optimization methods. It captures a certain type of configuration problem that frequently occurs in indu...
109
click to vote
ACL
2004
15 years 4 months ago
2004
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resourc...