1222 search results - page 46 / 245 » A Bayesian Approach to Model Checking Biological Systems |
161
Voted
COMPSYSTECH
2009
15 years 1 months ago
2009
: Facial expressions play an important role in human nonverbal communication. They can be generated by activation and dilatation of facial muscles. In this paper we describe a syst...
143
click to vote
ICML
2001
IEEE
16 years 4 months ago
2001
IEEE
Hard disk drive failures are rare but are often costly. The ability to predict failures is important to consumers, drive manufacturers, and computer system manufacturers alike. In...
138
click to vote
DALT
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
127
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
Numerous techniques exist which can be used for the task of behavioural analysis and recognition. Common amongst these are Bayesian networks and Hidden Markov Models. Although the...
157
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...