Shai Ben-David
TitleCited byYear
Understanding machine learning: From theory to algorithms
S Shalev-Shwartz, S Ben-David
Cambridge university press, 2014
17642014
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
8792010
Analysis of representations for domain adaptation
S Ben-David, J Blitzer, K Crammer, F Pereira
Advances in neural information processing systems, 137-144, 2007
8042007
Detecting change in data streams
D Kifer, S Ben-David, J Gehrke
Proceedings of the Thirtieth international conference on Very large data …, 2004
7962004
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
5051994
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
4701997
Exploiting task relatedness for multiple task learning
S Ben-David, R Schuller
Learning Theory and Kernel Machines, 567-580, 2003
3602003
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
2901992
A sober look at clustering stability
S Ben-David, U Von Luxburg, D Pál
International Conference on Computational Learning Theory, 5-19, 2006
2292006
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
1971996
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
1932001
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
1652009
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
1561997
A new measure for the study of on-line algorithms
S Ben-David, A Borodin
Algorithmica 11 (1), 73-91, 1994
1531994
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
1472003
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
1352001
On-the-fly model checking of RCTL formulas
I Beer, S Ben-David, A Landver
International Conference on Computer Aided Verification, 184-194, 1998
1321998
Characterizations of Learnability for Classes of {0,..., n)-Valued Functions
S Ben-David, N Cesa-Bianchi, D Haussler, P Long
124*
Clusterability: A theoretical study
M Ackerman, S Ben-David
Artificial Intelligence and Statistics, 1-8, 2009
1202009
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
1142008
The system can't perform the operation now. Try again later.
Articles 1–20