8828 search results - page 287 / 1766 » Formal methods in practice |
171
click to vote
HT
1997
ACM
15 years 11 months ago
1997
ACM
Information triage is the process of sorting through relevant materials, and organizing them to meet the needs of the task at hand. It is a practice that has become increasingly c...
175
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
In practical classification, there is often a mix of learnable and unlearnable classes and only a classifier above a minimum performance threshold can be deployed. This problem is...
202
click to vote
NIPS
2004
15 years 8 months ago
2004
Co-training is a method for combining labeled and unlabeled data when examples can be thought of as containing two distinct sets of features. It has had a number of practical succ...
176
click to vote
AAAI
1994
15 years 8 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...
170
Voted
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
This paper introduces a practical approach for superresolution, the process of reconstructing a high-resolution image from the low-resolution input ones. The emphasis of our work ...