2502 search results - page 218 / 501 » Using probabilistic model checking in systems biology |
175
click to vote
FDL
2011
IEEE
14 years 6 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
188
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
Previous efforts at facial expression recognition have been based on the Facial Action Coding System (FACS), a representation developed in order to allow human psychologists to co...
191
click to vote
ENTCS
2007
15 years 6 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
174
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Hidden Markov Models (HMMs) have been extensively used in computational molecular biology, for modelling protein and nucleic acid sequences. In many applications, such...
245
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Synthetic lethality experiments identify pairs of genes with complementary function. More direct functional associations (for example greater probability of membership...