1222 search results - page 39 / 245 » A Bayesian Approach to Model Checking Biological Systems |
VMCAI
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
105
click to vote
CIBCB
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— This paper presents a parametric model to estimate the DNA-protein binding time using the DNA and protein structures and details of the binding site. To understand the ...
MMSEC
2005
ACM
15 years 5 months ago
2005
ACM
Image steganalysis so far has dealt only with detection of a hidden message and estimation of some of its parameters (e.g., message length and secret key). To our knowledge, so fa...
102
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: Identifying genes and pathways associated with diseases such as cancer has been a subject of considerable research in recent years in the area of bioinformatics and co...
100
click to vote
ROBOCUP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...