3690 search results - page 362 / 738 » Computation with classical sequents |
154
click to vote
SDM
2010
SIAM
15 years 8 months ago
2010
SIAM
The high computational cost of nonlinear support vector machines has limited their usability for large-scale problems. We propose two novel stochastic algorithms to tackle this pr...
148
click to vote
GRAPHICSINTERFACE
2007
15 years 8 months ago
2007
Isochords is a visualization of music that aids in the classification of musical structure. The Isochords visualization highlights the consonant intervals between notes and commo...
159
click to vote
HCI
2007
15 years 8 months ago
2007
In this paper, we present a survey of challenges and solutions of multilingual and translingual information service systems. In contrast to the computational linguistics literature...
163
click to vote
IJCAI
2007
15 years 8 months ago
2007
In order to evaluate ontology matching algorithms it is necessary to confront them with test ontologies and to compare the results with some reference. The most prominent comparis...
168
click to vote
NIPS
2007
15 years 8 months ago
2007
This paper1 explores the use of a Maximal Average Margin (MAM) optimality principle for the design of learning algorithms. It is shown that the application of this risk minimizati...