9572 search results - page 126 / 1915 » Cover Algorithms and Their Combination |
171
click to vote
ENTCS
2007
15 years 5 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
130
click to vote
ISMIR
2005
Springer
15 years 10 months ago
2005
Springer
Music classification continues to be an important component of music information retrieval research. An underutilized tool for improving the performance of classifiers is feature ...
159
click to vote
AAAI
2007
15 years 7 months ago
2007
We introduce a new collaborative machine learning paradigm in which the user directs a learning algorithm by manually editing the automatically induced model. We identify a generi...
132
click to vote
COLT
2008
Springer
15 years 7 months ago
2008
Springer
We show how models for prediction with expert advice can be defined concisely and clearly using hidden Markov models (HMMs); standard HMM algorithms can then be used to efficientl...
140
click to vote
AAAI
2010
15 years 6 months ago
2010
For many election systems, bribery (and related) attacks have been shown NP-hard using constructions on combinatorially rich structures such as partitions and covers. It is import...