Omnisemantics: Smooth Handling of Nondeterminism.

Arthur Charguéraud Adam Chlipala Andres Erbsen Samuel Gruetter

Published in: ACM Trans. Program. Lang. Syst. (2023)

Keyphrases

situation calculus
data sets
real time
artificial intelligence
computer vision
wide range
support vector
multiresolution
hidden markov models