870 search results - page 91 / 174 » A New Approach to Modeling and Solving Minimal Perturbation ... |
AIMSA
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Constraint Satisfaction has been widely used to model static combinatorial problems. However, many AI problems are dynamic and take place in a distributed environment, i....
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
ESANN
2004
13 years 10 months ago
2004
This paper is based on a new way for determining the regularization trade-off in least squares support vector machines (LS-SVMs) via a mechanism of additive regularization which ha...
IPM
2002
13 years 9 months ago
2002
This paper proposes a new approach for classifying text documents into two disjoint classes. The new approach is based on extracting patterns, in the form of two logical expressio...
SDM
2008
SIAM
13 years 10 months ago
2008
SIAM
Optimally designing the location of training input points (active learning) and choosing the best model (model selection) are two important components of supervised learning and h...