Shai Ben-David Michael Lindenbaum Localization vs. Identification of Semi-Algebraic Sets. 207-224 1998 32 Machine Learning 3 db/journals/ml/ml32.html#Ben-DavidL98