Improving the Register Allocation of WAM by Recording Unification.
Gerda JanssensBart DemoenAndré MariënPublished in: ICLP/SLP (1988)
Keyphrases
- higher order
- information retrieval
- theorem prover
- data mining
- data sets
- dynamic allocation
- probabilistic model
- optimal allocation
- allocation problems
- resource allocation problems
- automated theorem proving
- combinatorial auctions
- theorem proving
- resource allocation
- scheduling problem
- multiresolution
- image segmentation
- machine learning