1222 search results - page 227 / 245 » A Bayesian Approach to Model Checking Biological Systems |
114
click to vote
JAIR
2000
15 years 1 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
138
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: The reliable extraction of features from mass spectra is a fundamental step in the automated analysis of proteomic mass spectrometry (MS) experiments. Results: This co...
114
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: The epidermal physiology results from a complex regulated homeostasis of keratinocyte proliferation, differentiation and death and is tightly regulated by a specific p...
117
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
We describe a new encryption technique that is secure in the standard model against adaptive chosen ciphertext (CCA2) attacks. We base our method on two very efficient Identity-Ba...
119
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...