An Algebraic Theory of Class Specification.

Francesco Parisi-Presicce Alfonso Pierantonio

Published in: ACM Trans. Softw. Eng. Methodol. (1994)

Keyphrases

formal methods
theoretical basis
high level
theoretical foundation
information theory
formal theory
database
computational model
class labels
theoretical framework
multi class classification
general theory
von neumann
provably correct