Shai Ben-David
Title
Cited by
Cited by
Year
Understanding machine learning: From theory to algorithms
S Shalev-Shwartz, S Ben-David
Cambridge university press, 2014
21992014
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
10692010
Analysis of representations for domain adaptation
S Ben-David, J Blitzer, K Crammer, F Pereira
Advances in neural information processing systems, 137-144, 2007
9312007
Detecting change in data streams
D Kifer, S Ben-David, J Gehrke
VLDB 4, 180-191, 2004
8382004
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
5191994
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
4831997
Exploiting task relatedness for multiple task learning
S Ben-David, R Schuller
Learning Theory and Kernel Machines, 567-580, 2003
3812003
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
2941992
A sober look at clustering stability
S Ben-David, U Von Luxburg, D Pál
International Conference on Computational Learning Theory, 5-19, 2006
2372006
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
2011996
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
1722009
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
1581997
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
1532003
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 temporal model checking
I Beer, S Ben-David, C Eisner, Y Rodeh
Formal Methods in System Design 18 (2), 141-163, 2001
1342001
On-the-fly model checking of RCTL formulas
I Beer, S Ben-David, A Landver
International Conference on Computer Aided Verification, 184-194, 1998
1331998
Clusterability: A theoretical study
M Ackerman, S Ben-David
Artificial intelligence and statistics, 1-8, 2009
1312009
Characterizations of Learnability for Classes of {0,..., n)-Valued Functions
S Ben-David, N Cesa-Bianchi, D Haussler, P Long
126*
A uniqueness theorem for clustering
RB Zadeh, S Ben-David
arXiv preprint arXiv:1205.2600, 2012
1182012
The system can't perform the operation now. Try again later.
Articles 1–20