Invariant and Type Inference for Matrices.

Thomas A. Henzinger Thibaud Hottelier Laura Kovács Andrei Voronkov

Published in: VMCAI (2010)

Keyphrases

artificial intelligence
bayesian networks
bayesian inference
affine invariant
data sets
case study
kronecker product
information systems
least squares
missing data
inference process