Shai Ben-David
TitleCited byYear
Understanding machine learning: From theory to algorithms
S Shalev-Shwartz, S Ben-David
Cambridge university press, 2014
14812014
A theory of learning from different domains
S Ben-David, J Blitzer, K Crammer, A Kulesza, F Pereira, JW Vaughan
Machine learning 79 (1-2), 151-175, 2010
7812010
Detecting change in data streams
D Kifer, S Ben-David, J Gehrke
Proceedings of the Thirtieth international conference on Very large data …, 2004
7652004
Analysis of representations for domain adaptation
S Ben-David, J Blitzer, K Crammer, F Pereira
Advances in neural information processing systems, 137-144, 2007
7562007
On the power of randomization in on-line algorithms
S Ben-David, A Borodin, R Karp, G Tardos, A Wigderson
Algorithmica 11 (1), 2-14, 1994
4961994
Scale-sensitive dimensions, uniform convergence, and learnability
N Alon, S Ben-David, N Cesa-Bianchi, D Haussler
Journal of the ACM (JACM) 44 (4), 615-631, 1997
4631997
Exploiting task relatedness for multiple task learning
S Ben-David, R Schuller
Learning Theory and Kernel Machines, 567-580, 2003
3502003
On the theory of average case complexity
S Ben-David, B Chor, O Goldreich, M Luby
Journal of Computer and system Sciences 44 (2), 193-219, 1992
2881992
A sober look at clustering stability
S Ben-David, U Von Luxburg, D Pál
International Conference on Computational Learning Theory, 5-19, 2006
2182006
RuleBase: an industry-oriented formal verification tool
I Beer, S Ben-David, C Eisner, A Landver
33rd Design Automation Conference Proceedings, 1996, 655-660, 1996
1951996
The temporal logic Sugar
I Beer, S Ben-David, C Eisner, D Fisman, A Gringauze, Y Rodeh
International Conference on Computer Aided Verification, 363-367, 2001
1922001
Measures of clustering quality: A working set of axioms for clustering
S Ben-David, M Ackerman
Advances in neural information processing systems, 121-128, 2009
1602009
A new measure for the study of on-line algorithms
S Ben-David, A Borodin
Algorithmica 11 (1), 73-91, 1994
1531994
Efficient detection of vacuity in ACTL formulas
I Beer, S Ben-David, C Eisner, Y Rodeh
International Conference on Computer Aided Verification, 279-290, 1997
1521997
On the difficulty of approximately maximizing agreements
S Ben-David, N Eiron, PM Long
Journal of Computer and System Sciences 66 (3), 496-514, 2003
1342003
Efficient detection of vacuity in temporal model checking
I Beer, S Ben-David, C Eisner, Y Rodeh
Formal Methods in System Design 18 (2), 141-163, 2001
1312001
On-the-fly model checking of RCTL formulas
I Beer, S Ben-David, A Landver
International Conference on Computer Aided Verification, 184-194, 1998
1291998
Characterizations of Learnability for Classes of {0,..., n)-Valued Functions
S Ben-David, N Cesa-Bianchi, D Haussler, P Long
120*
Clusterability: A theoretical study
M Ackerman, S Ben-David
Artificial Intelligence and Statistics, 1-8, 2009
1142009
Does Unlabeled Data Provably Help? Worst-case Analysis of the Sample Complexity of Semi-Supervised Learning.
S Ben-David, T Lu, D Pál
COLT, 33-44, 2008
1092008
The system can't perform the operation now. Try again later.
Articles 1–20