Showing 1998Show all
2 papers · 1 filter
cs.LG1998
Practical algorithms for on-line sampling
Carlos Domingo, Ricard Gavalda, Osamu Watanabe
One of the core applications of machine learning to knowledge discovery consists on building a function (a hypothesis) from a given amount of data (for instance a decision tree or…
cs.CC1998
Hard instance generation for SAT
Satoshi Horie, Osamu Watanabe
We propose an algorithm of generating hard instances for the Satisfying Assignment Search Problem (in short, SAT). The algorithm transforms instances of the integer factorization p…