173 search results - page 21 / 35 » Remarks on Testing Probabilistic Processes |
BMCBI
2006
14 years 9 months ago
2006
Background: Phytochromes are photoreceptors, discovered in plants, that control a wide variety of developmental processes. They have also been found in bacteria and fungi, but for...
ISOLA
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
77
Voted
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract-In this paper we present a new scheme for brain imaginary movement invovles sophisticated spatial-temporalsignal processing and classification for electroencephalogram spe...
BMCBI
2007
14 years 9 months ago
2007
Background: Causal networks based on the vector autoregressive (VAR) process are a promising statistical tool for modeling regulatory interactions in a cell. However, learning the...
165
click to vote
POPL
2008
ACM
15 years 9 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...