157 search results - page 18 / 32 » Incremental Compilation-to-SAT Procedures |
FSS
2007
14 years 9 months ago
2007
In this work we will explore the theoretical connections existing between fuzzy rule-based systems (FRBS) applied on univariate time series and two statistical reference tools, th...
CONSTRAINTS
1998
14 years 9 months ago
1998
This paper presents an experimental study of constraint propagation algorithms for preemptive scheduling. We propose generalizations of non-preemptive constraint propagation techni...
84
Voted
PR
2002
14 years 9 months ago
2002
This paper introduces a novel nonlinear extension of Fisher's classical linear discriminant analysis (FDA) known as high-order Fisher's discriminant analysis (HOFDA). Th...
CORR
2008
Springer
14 years 8 months ago
2008
Springer
The article presents a local search approach for the solution of timetabling problems in general, with a particular implementation for competition track 3 of the International Time...
ICASSP
2010
IEEE
14 years 7 months ago
2010
IEEE
This paper describes the system submitted by Loquendo and Politecnico di Torino (LPT) for the 2009 NIST Language Recognition Evaluation. The system is a combination of classifiers...