1699 search results - page 167 / 340 » On the Expressive Power of QLTL |
197
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Non-negative matrix factorisation (NMF), a machine learning algorithm, has been applied to the analysis of microarray data. A key feature of NMF is the ability to iden...
176
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Recursive Feature Elimination is a common and well-studied method for reducing the number of attributes used for further analysis or development of prediction models. ...
190
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: With the development of DNA hybridization microarray technologies, nowadays it is possible to simultaneously assess the expression levels of thousands to tens of thous...
154
click to vote
LMCS
2007
15 years 6 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
208
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: A major goal of cancer research is to identify discrete biomarkers that specifically characterize a given malignancy. These markers are useful in diagnosis, may identi...