2502 search results - page 428 / 501 » Using probabilistic model checking in systems biology |
ISBI
2008
IEEE
16 years 17 days ago
2008
IEEE
Animal development can be described as a complex, threedimensional cellular system that changes dramatically across time as a consequence of cell proliferation, differentiation an...
124
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: Methods of determining whether or not any particular HIV-1 sequence stems - completely or in part - from some unknown HIV-1 subtype are important for the design of vac...
CVPR
2003
IEEE
16 years 1 months ago
2003
IEEE
Video-based recognition and prediction of a temporally extended activity can benefit from a detailed description of high-level expectations about the activity. Stochastic grammars...
IEEESCC
2006
IEEE
15 years 5 months ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
120
click to vote
JSSPP
2005
Springer
15 years 5 months ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...