Partial Applicative Theories and Explicit Substitutions.

Published in: J. Log. Comput. (1996)

Keyphrases

case study
real world
image segmentation
theoretical framework
legal knowledge
databases
clustering algorithm
multiscale
video sequences
digital libraries
probabilistic model