2502 search results - page 428 / 501 » Using probabilistic model checking in systems biology |
117
click to vote
ISBI
2008
IEEE
16 years 6 months 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...
171
click to vote
BMCBI
2011
15 years 9 days 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...
151
click to vote
CVPR
2003
IEEE
16 years 7 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...
140
click to vote
IEEESCC
2006
IEEE
15 years 11 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...
168
click to vote
JSSPP
2005
Springer
15 years 10 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...