Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

15 results for Shai Fine

Probabilistic regression suites for functional verification
- - Shai Fine
  - Shmuel Ur
  - et al.
- 2004
- DAC 2004
Coverage directed test generation for functional verification using Bayesian networks
- - Shai Fine
  - Avi Ziv
- 2003
- DAC 2003
Harnessing machine learning to improve the success rate of stimuli generation
- - Shai Fine
  - Ari Freund
  - et al.
- 2006
- IEEE TC
A theory-based decision heuristic for DPLL(T)
- - Dan Goldwasser
  - Ofer Strichman
  - et al.
- 2008
- FMCAD 2008
Learning to estimate query difficulty: Including applications to missing content detection and distributed information retrieval
- - Elad Yom-Tov
  - Shai Fine
  - et al.
- 2005
- SIGIR 2005
Juru at TREC 2005: Query prediction in the terabyte and the robust tracks
- - Elad Yom-Tov
  - David Carmel
  - et al.
- 2005
- TREC 2005
Harnessing machine learning to improve the success rate of stimuli generation
- - Shai Fine
  - Ari Freund
  - et al.
- 2005
- HLDVT 2005
Enhancing the efficiency of bayesian network based Coverage Directed Test Generation
- - Markus Braun
  - Shai Fine
  - et al.
- 2004
- HLDVT 2004
Enhancing the control and efficiency of the covering process [logic verification]
- - S. Fine
  - A. Ziv
- 2003
- HLDVT 2003
Active sampling for multiple output identification
- - Shai Fine
  - Yishay Mansour
- 2007
- Machine Learning