Sign in
Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings.
Elvira Albert
Antonio Flores-Montoya
Samir Genaim
Enrique Martin-Martin
Published in:
J. Autom. Reason. (2017)
Keyphrases
</>
high cost
real world
learning algorithm
artificial intelligence
dynamic programming
total cost
expected cost
data sets
data mining
machine learning
image sequences
expert systems
multi objective
cost function
cost sensitive
cost reduction