Checklist

Neural Information Processing Systems 

The proof of Proposition 1 is constructive, we need to introduce the Signed Distance Function, already popularized in shape processing [25]. Definition 6 Signed Distance Function associated to decision boundary. Let c: X { 1, +1} be any classifier with closed pre-images.