2488 search results - page 424 / 498 » An improvement in formal verification |
ICML
2009
IEEE
16 years 2 months ago
2009
IEEE
Humans and animals learn much better when the examples are not randomly presented but organized in a meaningful order which illustrates gradually more concepts, and gradually more ...
105
click to vote
ICML
2007
IEEE
16 years 2 months ago
2007
IEEE
In supervised learning, we commonly assume that training and test data are sampled from the same distribution. However, this assumption can be violated in practice and then standa...
102
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
In this paper, we describe a system that can extract record structures from web pages with no direct human supervision. Records are commonly occurring HTML-embedded data tuples th...
195
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
Contemporary refactoring tools for JAVA aiding in the restructuring of programs have problems with respecting access modifiers such as public and private: while some tools provide ...
115
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
Correlated or discriminative pattern mining is concerned with finding the highest scoring patterns w.r.t. a correlation measure (such as information gain). By reinterpreting corre...