Well-founded Functions and Extreme Predicates in Dafny: A Tutorial.

Published in: IWIL@LPAR (2015)

Keyphrases

database
real time
knowledge base
case study
genetic algorithm
learning algorithm
computer vision
decision trees
search algorithm
information technology
data model
hidden markov models
basis functions