1076 search results - page 51 / 216 » Operations on proofs and labels |
KDD
2003
ACM
14 years 8 months ago
2003
ACM
Classification is a well-established operation in text mining. Given a set of labels A and a set DA of training documents tagged with these labels, a classifier learns to assign l...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
In both commercial and defense sectors a compelling need is emerging for rapid, yet secure, dissemination of information to the concerned actors. Traditional approaches to informa...
COLT
2005
Springer
14 years 1 months ago
2005
Springer
We present a new generalization bound where the use of unlabeled examples results in a better ratio between training-set size and the resulting classifier’s quality and thus red...
ISMVL
1999
IEEE
13 years 12 months ago
1999
IEEE
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...