1063 search results - page 10 / 213 » Order and Negation as Failure |
ICANN
2009
Springer
2009
Springer
Profiling of Mass Spectrometry Data for Ovarian Cancer Detection Using Negative Correlation Learning
14 years 1 months ago
This paper proposes a novel Mass Spectrometry data profiling method for ovarian cancer detection based on negative correlation learning (NCL). A modified Smoothed Nonlinear Energy ...
FOSSACS
2008
Springer
13 years 11 months ago
2008
Springer
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
DSS
2007
13 years 9 months ago
2007
The use of positive and negative reasons in inference and decision aiding is a recurrent issue of investigation as far as the type of formal language to use within a DSS is concer...
FSTTCS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
Features generated by Non-Negative Matrix Factorization (NMF) have successfully been introduced into robust speech processing, including noise-robust speech recognition and detect...