Type Isomorphisms for Module Signatures.

Maria-Virginia Aponte Roberto Di Cosmo

Published in: PLILP (1996)

Keyphrases

real time
decision making
preprocessing
signature verification
database
databases
multimedia
hidden markov models