A formal framework for deliberated judgment.

Olivier Cailloux Yves Meinard

Published in: CoRR (2018)

Keyphrases

database
learning algorithm
search engine

information systems
multimedia
similarity measure

learning environment
data model
hidden markov models

main contribution
model checking
formal specification