1716 search results - page 216 / 344 » Proving Conditional Termination |
SIGIR
2005
ACM
15 years 6 months ago
2005
ACM
Support Vector Machines (SVMs) have been very successful in text classification. However, the intrinsic geometric structure of text data has been ignored by standard kernels commo...
105
click to vote
COCOON
2005
Springer
15 years 6 months ago
2005
Springer
The complexity, approximation and algorithmic issues of several clustering problems are studied. These non-traditional clustering problems arise from recent studies in microarray ...
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We consider exchange economies where the traders’ preferences are expressed in terms of the extensively used constant elasticity of substitution (CES) utility functions...
103
click to vote
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
IDEAL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Gaussian processes have been favourably compared to backpropagation neural networks as a tool for regression. We show that a recurrent neural network can implement exact ...