Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach.

Brigitte Pientka

Published in: IJCAR (2006)

Keyphrases

lightweight
higher order
high order
pairwise
natural images
markov random field
lower order
cost effective
development environments
communication infrastructure
data collection
rfid tags
handheld devices
dos attacks
anti unification