On generic context lemmas for higher-order calculi with sharing.

Manfred Schmidt-Schauß David Sabel

Published in: Theor. Comput. Sci. (2010)

Keyphrases

higher order
contextual information
markov random field
context aware
theorem prover
natural images
knowledge sharing
data sharing
data sets
theorem proving
conceptual framework
context sensitive
high order
probabilistic model
hidden markov models
pairwise
databases