Sciweavers

962 search results - page 89 / 193
» Some Reducibilities on Regular Sets
Sort
View
CMMR
2004
Springer
97views Music» more  CMMR 2004»
14 years 3 months ago
Evolutionary Optimization of Music Performance Annotation
In this paper we present an enhancement of edit distance based music performance annotation. The annotation captures musical expressivity not only in terms of timing deviations but...
Maarten Grachten, Josep Lluís Arcos, Ramon ...
GECCO
2004
Springer
134views Optimization» more  GECCO 2004»
14 years 3 months ago
Analysis and Improvements of the Adaptive Discretization Intervals Knowledge Representation
In order to handle classification problems with real-valued attributes using discretization algorithms it is necessary to obtain a good and reduced set of cut points in order to l...
Jaume Bacardit, Josep Maria Garrell i Guiu
SAT
2004
Springer
95views Hardware» more  SAT 2004»
14 years 3 months ago
Local Search for Very Large SAT Problems
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
Steven David Prestwich, Colin Quirke
ACSC
2004
IEEE
14 years 1 months ago
Learning Models for English Speech Recognition
This paper reports on an experiment to determine the optimal parameters for a speech recogniser that is part of a computer aided instruction system for assisting learners of Engli...
Huayang Xie, Peter Andreae, Mengjie Zhang, Paul Wa...
CP
2006
Springer
14 years 1 months ago
Global Optimization of Probabilistically Constrained Linear Programs
We consider probabilistic constrained linear programs with general distributions for the uncertain parameters. These problems generally involve non-convex feasible sets. We develo...
Shabbir Ahmed