Sciweavers

1215 search results - page 100 / 243
» A theory of Error-Rate Testing
Sort
View
IPL
2007
105views more  IPL 2007»
13 years 10 months ago
A new algorithm for testing if a regular language is locally threshold testable
A new algorithm is presented for testing if a regular language is locally threshold testable. The new algorithm is slower than existing algorithms, but its correctness proof is sh...
Mikolaj Bojanczyk
RTCSA
1999
IEEE
14 years 2 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
BMCBI
2010
158views more  BMCBI 2010»
13 years 10 months ago
Validation of differential gene expression algorithms: Application comparing fold-change estimation to hypothesis testing
Background: Sustained research on the problem of determining which genes are differentially expressed on the basis of microarray data has yielded a plethora of statistical algorit...
Corey M. Yanofsky, David R. Bickel
ECAL
2007
Springer
14 years 4 months ago
Simulation of the Evolution of Aging: Effects of Aggression and Kin-Recognition
Current biological theory has no commonly accepted view on the phenomenon of aging. On the one hand it is considered as an inescapable degradation immanent to complex biological sy...
Svetlana Krivenko, Mikhail S. Burtsev
IFSA
2007
Springer
158views Fuzzy Logic» more  IFSA 2007»
14 years 4 months ago
Fuzziness and Performance: An Empirical Study with Linguistic Decision Trees
Abstract. Generally, there are two main streams of theories for studying uncertainties. One is probability theory and the other is fuzzy set theory. One of the basic ideas of fuzzy...
Zengchang Qin, Jonathan Lawry