Ordered and Continuous Models of Higher-Order Specifications.

Bernhard Möller

Published in: HOA (1993)

Keyphrases

higher order
probabilistic model
mathematical models
complex systems
machine learning algorithms
low order
markov models
computational models
statistical models
statistical model
process model
real time
logic programs
markov random field
image segmentation
social networks
genetic algorithm