2989 search results - page 458 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
AAAI
2008
15 years 9 days ago
2008
Identifying maternal and paternal inheritance is essential to be able to find the set of genes responsible for a particular disease. Although we have access to genotype data (gene...
ICDM
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract--Recently, the following discrimination aware classification problem was introduced: given a labeled dataset and an attribute , find a classifier with high predictive accu...
117
click to vote
CVPR
2012
IEEE
13 years 12 days ago
2012
IEEE
In this paper we consider the problem of recovering the free space of an indoor scene from its single image. We show that exploiting the box like geometric structure of furniture ...
ICDM
2008
IEEE
15 years 4 months ago
2008
IEEE
When the number of labeled examples is limited, traditional supervised feature selection techniques often fail due to sample selection bias or unrepresentative sample problem. To ...
JAR
1998
14 years 9 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...