3690 search results - page 171 / 738 » Computation with classical sequents |
105
Voted
SDM
2009
SIAM
15 years 9 months ago
2009
SIAM
Support Vector Machines (SVMs) are a leading tool in classification and pattern recognition and the kernel function is one of its most important components. This function is used...
HT
2009
ACM
15 years 7 months ago
2009
ACM
Annals and chronicles may be the foundation of accounting, but writers of stories and histories have long known that they seldom render a satisfactory account of complex events. I...
91
Voted
CISS
2008
IEEE
15 years 7 months ago
2008
IEEE
We survey our work on adaptive multiresolution (MR) approaches to the classification of biological images. The system adds MR decomposition in front of a generic classifier cons...
102
click to vote
COCO
2007
Springer
15 years 6 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
105
click to vote
CRV
2005
IEEE
15 years 6 months ago
2005
IEEE
We present a refinement of histogram equalization which uses both global and local information to remap the image greylevels. Local image properties, which we generally call neig...