2502 search results - page 342 / 501 » Using probabilistic model checking in systems biology |
149
click to vote
3DPVT
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper the problem of building and reconstructing geometrical surface models from multiple calibrated images is considered. We build an appropriate statistical 3D model fro...
172
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
The use of statistical pattern recognition models to segment the left ventricle of the heart in ultrasound images has gained substantial attention over the last few years. The mai...
158
click to vote
CIKM
2010
Springer
15 years 3 months ago
2010
Springer
This work presents a general rank-learning framework for passage ranking within Question Answering (QA) systems using linguistic and semantic features. The framework enables query...
116
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Flux variability analysis is often used to determine robustness of metabolic models in various simulation conditions. However, its use has been somehow limited by the ...
155
click to vote
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...