1222 search results - page 72 / 245 » A Bayesian Approach to Model Checking Biological Systems |
140
click to vote
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
133
click to vote
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
162
click to vote
BIBE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper discusses an ontology based language modeling text mining approach to the annotation of protein community. Communities appear to play an important role in the functional...
105
click to vote
WSC
1998
15 years 5 months ago
1998
Bayesian forecasting models provide distributional estimates for random parameters, and relative to classical schemes, have the advantage that they can rapidly capture changes in ...
158
click to vote
PPSN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A key problem in designing artificial neural networks for visual object recognition tasks is the proper choice of the network architecture. Evolutionary optimization met...