Sciweavers

1222 search results - page 108 / 245
» A Bayesian Approach to Model Checking Biological Systems
Sort
View
BMCBI
2008
118views more  BMCBI 2008»
15 years 4 months ago
Inferring transcriptional compensation interactions in yeast via stepwise structure equation modeling
Background: With the abundant information produced by microarray technology, various approaches have been proposed to infer transcriptional regulatory networks. However, few appro...
Grace S. Shieh, Chung-Ming Chen, Ching-Yun Yu, Jui...
192
Voted
FMSB
2008
199views Formal Methods» more  FMSB 2008»
15 years 5 months ago
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu...
CCIA
2007
Springer
15 years 10 months ago
An Evaluation of an Object Recognition Schema Using Multiple Region Detectors
Abstract. Robust object recognition is one of the most challenging topics in computer vision. In the last years promising results have been obtained using local regions and descrip...
Meritxell Vinyals, Arnau Ramisa, Ricardo Toledo
ACL
2012
13 years 6 months ago
Learning to "Read Between the Lines" using Bayesian Logic Programs
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires â€...
Sindhu Raghavan, Raymond J. Mooney, Hyeonseo Ku
FTDCS
1997
IEEE
15 years 8 months ago
Analysing the behaviour of distributed software architectures: a case study
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou