79 search results - page 13 / 16 » An Analysis of Empirical Testing for Modal Decision Procedur... |
BMCBI
2010
13 years 7 months ago
2010
Background: The selection of genes that discriminate disease classes from microarray data is widely used for the identification of diagnostic biomarkers. Although various gene sel...
ICFEM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
ICA
2007
Springer
14 years 1 months ago
2007
Springer
A common problem in independent component analysis after prewhitening is to optimize some contrast on the orthogonal or unitary group. A popular approach is to optimize the contras...
SIGPRO
2010
13 years 2 months ago
2010
In this paper, we address the problem of determining the order of MISO channels by means of a series of hypothesis tests based on scalar statistics. Using estimated 4th-order outp...
CHI
2004
ACM
14 years 7 months ago
2004
ACM
Cell phone interfaces are now ubiquitous. In this paper, we describe concepts to support the analysis of cell phone menu hierarchies. We present an empirical study of user perform...