5863 search results - page 183 / 1173 » Calculating Functional Programs |
171
click to vote
NIPS
1993
15 years 7 months ago
1993
Dynamic programming provides a methodology to develop planners and controllers for nonlinear systems. However, general dynamic programming is computationally intractable. We have ...
179
click to vote
APN
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
213
Voted
AMAI
1999
Springer
15 years 6 months ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
190
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can b...
147
click to vote
COLOGNETWENTE
2009
15 years 7 months ago
2009
We present an efficient algorithm to find an optimal integer solution of a given system of 2-variable equalities and 1-variable inequalities with respect to a given linear objectiv...