1222 search results - page 219 / 245 » A Bayesian Approach to Model Checking Biological Systems |
115
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
132
click to vote
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
145
click to vote
FORTE
2008
15 years 3 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
210
click to vote
ICDE
2004
IEEE
16 years 3 months ago
2004
IEEE
DNA Microarray provides a powerful basis for analysis of gene expression. Data mining methods such as clustering have been widely applied to microarray data to link genes that sho...
132
click to vote
ICCV
2003
IEEE
16 years 3 months ago
2003
IEEE
Statistical background modelling and subtraction has proved to be a popular and effective class of algorithms for segmenting independently moving foreground objects out from a sta...