A simple proof of threshold saturation for coupled vector recursions.

Arvind Yedla Yung-Yih Jian Phong S. Nguyen Henry D. Pfister

Published in: ITW (2012)

Keyphrases

data sets
machine learning
information systems
multi agent
mobile robot
theorem prover
theorem proving
highly reliable
thresholding method