153 search results - page 5 / 31 » Formal Methods and Testing: Hypotheses, and Correctness Appr... |
ICML
2005
IEEE
14 years 9 months ago
2005
IEEE
A significant challenge in developing planning systems for practical applications is the difficulty of acquiring the domain knowledge needed by such systems. One method for acquir...
BMCBI
2010
13 years 8 months ago
2010
Background: In high-dimensional data analysis such as differential gene expression analysis, people often use filtering methods like fold-change or variance filters in an attempt ...
BMCBI
2007
13 years 9 months ago
2007
Background: Multiple data-analytic methods have been proposed for evaluating gene-expression levels in specific biological pathways, assessing differential expression associated w...
IUI
2005
ACM
14 years 2 months ago
2005
ACM
A principal problem in speech recognition is distinguishing between words and phrases that sound similar but have different meanings. Speech recognition programs produce a list of...
FM
2006
Springer
14 years 13 days ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...