2335 search results - page 228 / 467 » Type Checking Type Classes |
ICDE
2011
IEEE
13 years 2 months ago
2011
IEEE
—It is increasingly common to find graphs in which edges bear different types, indicating a variety of relationships. For such graphs we propose a class of reachability queries ...
CVPR
2012
IEEE
12 years 1 months ago
2012
IEEE
ImageNet is a large-scale database of object classes with millions of images. Unfortunately only a small fraction of them is manually annotated with bounding-boxes. This prevents ...
ICML
2007
IEEE
14 years 11 months ago
2007
IEEE
We present a comprehensive suite of experimentation on the subject of learning from imbalanced data. When classes are imbalanced, many learning algorithms can suffer from the pers...
ICML
2002
IEEE
14 years 11 months ago
2002
IEEE
A new approach to ensemble learning is introduced that takes ranking rather than classification as fundamental, leading to models on the symmetric group and its cosets. The approa...
CADE
2004
Springer
14 years 11 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...