348 search results - page 37 / 70 » Using Case-Based Reasoning to Write Constraint Programs |
210
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
The Valued Constraint Satisfaction Problem (VCSP) is a general framework encompassing many optimisation problems. We discuss precisely what it means for a problem to be modelled in...
110
click to vote
ICCBR
2001
Springer
15 years 6 months ago
2001
Springer
Case-based reasoning aims to use past experience to solve new problems. A strong requirement for its application is that extensive experience base exists that provides statisticall...
100
Voted
CEC
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we introduce an evolutionary algorithm for solving a copper mine planning problem. In the last 10 years this realworld problem has been tackled using linear integer p...
138
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
195
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...