1222 search results - page 24 / 245 » A Bayesian Approach to Model Checking Biological Systems |
107
click to vote
ICASSP
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper proposes a new framework of speech synthesis based on the Bayesian approach. The Bayesian method is a statistical technique for estimating reliable predictive distribut...
115
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Transcriptional modules (TM) consist of groups of co-regulated genes and transcription factors (TF) regulating their expression. Two high-throughput (HT) experimental ...
119
click to vote
EDBT
2004
ACM
16 years 2 months ago
2004
ACM
Molecular-biological annotation data is continuously being collected, curated and made accessible in numerous public data sources. Integration of this data is a major challenge in ...
120
click to vote
AIPS
2003
15 years 3 months ago
2003
As genomic and proteomic data is collected from highthroughput methods on a daily basis, subcellular components are identified and their in vitro behavior is characterized. Howev...
125
click to vote
ENTCS
2007
15 years 1 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...