1222 search results - page 118 / 245 » A Bayesian Approach to Model Checking Biological Systems |
148
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
135
click to vote
TCS
2008
15 years 4 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
131
click to vote
AAAI
1998
15 years 5 months ago
1998
Two of the most important threads of work in knowledge representation today are frame-based representation systems (FRS's) and Bayesian networks (BNs). FRS's provide an ...
129
click to vote
CRV
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes a surveillance system that uses a network of sensors of different kind for localizing and tracking people in an office environment. The sensor network consist...
134
click to vote
SSDBM
2003
IEEE
15 years 9 months ago
2003
IEEE
Current data management approaches can easily handle the relatively simple requirements for molecular biology research but not the more varied and sophisticated microscopy imaging...