 | 2008 |
| 19 |  | Dan Goldwasser,
Ofer Strichman,
Shai Fine:
A Theory-Based Decision Heuristic for DPLL(T).
FMCAD 2008: 1-8 |
| 18 |  | Shady Copty,
Shai Fine,
Shmuel Ur,
Elad Yom-Tov,
Avi Ziv:
A probabilistic alternative to regression suites.
Theor. Comput. Sci. 404(3): 219-234 (2008) |
| 2007 |
| 17 |  | Shai Fine,
Yishay Mansour:
Active sampling for multiple output identification.
Machine Learning 69(2-3): 213-228 (2007) |
| 2006 |
| 16 |  | Shai Fine,
Yishay Mansour:
Active Sampling for Multiple Output Identification.
COLT 2006: 620-634 |
| 15 |  | Tzur Sayag,
Shai Fine,
Yishay Mansour:
Combining Multiple Heuristics.
STACS 2006: 242-253 |
| 14 |  | Shai Fine,
Ari Freund,
Itai Jaeger,
Yishay Mansour,
Yehuda Naveh,
Avi Ziv:
Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation.
IEEE Trans. Computers 55(11): 1344-1355 (2006) |
| 2005 |
| 13 |  | Elad Yom-Tov,
Shai Fine,
David Carmel,
Adam Darlow:
Learning to estimate query difficulty: including applications to missing content detection and distributed information retrieval.
SIGIR 2005: 512-519 |
| 12 |  | Elad Yom-Tov,
David Carmel,
Adam Darlow,
Dan Pelleg,
Shai Errera-Yaakov,
Shai Fine:
Juru at TREC 2005: Query Prediction in the Terabyte and the Robust Tracks.
TREC 2005 |
| 2004 |
| 11 |  | Shai Fine,
Shmuel Ur,
Avi Ziv:
Probabilistic regression suites for functional verification.
DAC 2004: 49-54 |
| 10 |  | Shady Copty,
Shai Fine,
Shmuel Ur,
Avi Ziv:
Probabilistic Alternative Regression Suites.
ISoLA (Preliminary proceedings) 2004: 89-91 |
| 9 |  | Elad Yom-Tov,
Shai Fine,
David Carmel,
Adam Darlow,
Einat Amitay:
Juru at TREC 2004: Experiments with Prediction of Query Difficulty.
TREC 2004 |
| 2003 |
| 8 |  | Shai Fine,
Avi Ziv:
Coverage directed test generation for functional verification using bayesian networks.
DAC 2003: 286-291 |
| 2002 |
| 7 |  | Noam Slonim,
Gill Bejerano,
Shai Fine,
Naftali Tishby:
Discriminative Feature Selection via Multiclass Variable Memory Markov Model.
ICML 2002: 578-585 |
| 6 |  | Shai Fine,
Ran Gilad-Bachrach,
Eli Shamir:
Query by committee, linear separation and random walks.
Theor. Comput. Sci. 284(1): 25-51 (2002) |
| 2001 |
| 5 |  | Shai Fine,
Katya Scheinberg:
Incremental Learning and Selective Sampling via Parametric Optimization Framework for SVM.
NIPS 2001: 705-711 |
| 4 |  | Shai Fine,
Katya Scheinberg:
Efficient SVM Training Using Low-Rank Kernel Representations.
Journal of Machine Learning Research 2: 243-264 (2001) |
| 1999 |
| 3 |  | Ran Bachrach,
Shai Fine,
Eli Shamir:
Query by Committee, Linear Separation and Random Walks.
EuroCOLT 1999: 34-49 |
| 1998 |
| 2 |  | Shai Fine,
Yoram Singer,
Naftali Tishby:
The Hierarchical Hidden Markov Model: Analysis and Applications.
Machine Learning 32(1): 41-62 (1998) |
| 1997 |
| 1 |  | Ran El-Yaniv,
Shai Fine,
Naftali Tishby:
Agnostic Classification of Markovian Sequences.
NIPS 1997 |