Sign in

Omnisemantics: Smooth Handling of Nondeterminism.

Arthur CharguéraudAdam ChlipalaAndres ErbsenSamuel 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