A New Proof of the Wiener-Hopf Factorization via Basu's Theorem.

Brian H. Fralix Colin M. Gallagher

Published in: J. Appl. Probab. (2012)

Keyphrases

interactive theorem proving
semi supervised clustering
pairwise
semi supervised
metric learning
matrix factorization
linear logic
image processing
image segmentation
unsupervised clustering
active learning
multi class
background knowledge
semi supervised classification