2502 search results - page 56 / 501 » Using probabilistic model checking in systems biology |
CIBSE
2008
ACM
13 years 11 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
FMCO
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
3DPVT
2006
IEEE
14 years 24 days ago
2006
IEEE
We present a novel method for detecting and quantifying 3D structure in stacks of microscopic images captured at incremental focal lengths. We express the image data as stochastic...
CVPR
2011
IEEE
13 years 6 months ago
2011
IEEE
Unsupervised learning can be used to extract image representations that are useful for various and diverse vision tasks. After noticing that most biological vision systems for int...
GECCO
2007
Springer
14 years 28 days ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...