12981 search results - page 2074 / 2597 » Model Checking (Abstract) |
205
click to vote
ECML
2006
Springer
15 years 11 months ago
2006
Springer
Abstract We propose in this paper a novel approach to the classification of discrete sequences. This approach builds a model fitting some dynamical features deduced from the learni...
192
Voted
ECML
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Designs of micro electro-mechanical devices need to be robust against fluctuations in mass production. Computer experiments with tens of parameters are used to explore th...
187
click to vote
ECML
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In this paper, we propose a new method for learning to rank. `Ranking SVM' is a method for performing the task. It formulizes the problem as that of binary classific...
179
click to vote
ECTEL
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The libre software development model has shown how combining collective intelligence can lead to revolutionary methods that underpin major software advancements. This pap...
175
click to vote
EDBTW
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...