2976 search results - page 287 / 596 » On the bounded integer programming |
164
click to vote
ICML
2010
IEEE
15 years 6 months ago
2010
IEEE
Approximate dynamic programming has been used successfully in a large variety of domains, but it relies on a small set of provided approximation features to calculate solutions re...
221
Voted
POPL
2002
ACM
16 years 5 months ago
2002
ACM
An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...
149
click to vote
PPDP
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
138
Voted
IPPS
1995
IEEE
15 years 8 months ago
1995
IEEE
For better utilization of computing resources, it is important to consider parallel programming environments in which the number of available processors varies at runtime. In this...
172
click to vote
PODS
1991
ACM
15 years 8 months ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...