Name-Passing Calculi: From Fusions to Preorders and Types.

Daniel Hirschkoff Jean-Marie Madiot Davide Sangiorgi

Published in: LICS (2013)

Keyphrases

case study
special case
databases
data mining
information systems
decision making
metadata
image processing
bayesian networks
optimal solution
artificial neural networks
multiresolution
fuzzy logic