A Complete Fragment of Higher-Order Duration µ-Calculus.

Dimitar P. Guelev

Published in: FSTTCS (2000)

Keyphrases

higher order
markov models
lambda calculus
natural images
markov random field
automated deduction
provably correct
artificial intelligence
conditional random fields
high order
learning algorithm
information systems
multiscale
search algorithm
programming language