3690 search results - page 520 / 738 » Computation with classical sequents |
148
click to vote
SIGIR
2006
ACM
15 years 11 months ago
2006
ACM
Large scale learning is often realistic only in a semi-supervised setting where a small set of labeled examples is available together with a large collection of unlabeled data. In...
142
click to vote
ICSM
2005
IEEE
15 years 11 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
173
click to vote
WACV
2005
IEEE
15 years 11 months ago
2005
IEEE
Current two-dimensional image based face recognition systems encounter difficulties with large facial appearance variations due to the pose, illumination and expression changes. ...
190
click to vote
ICAIL
2005
ACM
15 years 11 months ago
2005
ACM
Computational resources for research in legal environments have historically implied remote access to large databases of legal documents such as case law, statutes, law reviews an...
138
click to vote
EUROCRYPT
2005
Springer
15 years 11 months ago
2005
Springer
It is a standard result in the theory of quantum error-correcting codes that no code of length n can fix more than n/4 arbitrary errors, regardless of the dimension of the coding ...