Nested Hoare Triples and Frame Rules for Higher-order Store

Jan Schwinghammer Lars Birkedal Bernhard Reus Hongseok Yang

Published in: Log. Methods Comput. Sci. (2011)

Keyphrases

higher order
association rules
markov random field
natural images
rule sets
high order
video frames
low order
decision rules
classification rules
frame rate
association rule mining
lambda calculus
active databases
reference frame
neural network
rough sets
knowledge discovery
pairwise
expert systems
decision trees