4341 search results - page 515 / 869 » Quantitative Model checking |
160
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The characterization of the relationship between a longitudinal response process and a time-to-event has been a pressing challenge in biostatistical research. This has...
231
click to vote
PROMISE
2010
15 years 1 months ago
2010
Background. Software defect prediction has been one of the central topics of software engineering. Predicted defect counts have been used mainly to assess software quality and est...
241
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
— Accurate query performance prediction (QPP) is central to effective resource management, query optimization and query scheduling. Analytical cost models, used in current genera...
201
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Gas distribution modelling constitutes an ideal application area for mobile robots, which – as intelligent mobile gas sensors – offer several advantages compared to station...
205
click to vote
CVPR
2008
IEEE
15 years 6 months ago
2008
IEEE
We propose a novel meshless deformable model for in vivo cardiac left ventricle (LV) 3D motion estimation. As a relatively new technology, tagged MRI (tMRI) provides a direct and ...