997 search results - page 33 / 200 » Learning Rule Representations from Boolean Data |
82
Voted
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
120
click to vote
WWW
2010
ACM
15 years 7 months ago
2010
ACM
Duplicate URLs have brought serious troubles to the whole pipeline of a search engine, from crawling, indexing, to result serving. URL normalization is to transform duplicate URLs...
122
Voted
TCBB
2011
14 years 7 months ago
2011
Recent experimental advances facilitate the collection of time series data that indicate which genes in a cell are expressed. This paper proposes an efficient method to generate th...
104
Voted
ML
1998
ACM
15 years 5 days ago
1998
ACM
It is well known that prior knowledge or bias can speed up learning, at least in theory. It has proved di cult to make constructive use of prior knowledge, so that approximately c...
100
Voted
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
Current methods for learning visual categories work well when a large amount of labeled data is available, but can run into severe difficulties when the number of labeled examples...