292 search results - page 34 / 59 » Dead-End Driven Learning |
145
Voted
FROCOS
2011
Springer
14 years 7 days ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
129
Voted
WIDM
2012
ACM
13 years 8 months ago
2012
ACM
Process mining techniques use event data to discover process models, to check the conformance of predefined process models, and to extend such models with information about bottl...
123
Voted
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
—There has been a recent trend that video-on-demand (VoD) providers such as Netflix are leveraging resources from cloud services for multimedia streaming. In this paper, we cons...
95
Voted
CAV
2012
Springer
13 years 3 months ago
2012
Springer
elor Thesis: Demand Driven Abstraction Refinement Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, May 2004 • Secured 97.6 % marks in...
371
Voted
CVPR
2012
IEEE
13 years 2 months ago
2012
IEEE
A novel approach for event summarization and rare event detection is proposed. Unlike conventional methods that deal with event summarization and rare event detection independently...