2502 search results - page 339 / 501 » Using probabilistic model checking in systems biology |
149
click to vote
TCAD
2008
15 years 4 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
152
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
169
click to vote
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
135
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper presents a new criterion for viewpoint selection in the context of active Bayesian object recognition and pose estimation. Recognition is performed by probabilistically...
139
click to vote
AAAI
2000
15 years 6 months ago
2000
We present a Bayesian clustering algorithm for multivariate time series. A clustering is regarded as a probabilistic model in which the unknown auto-correlation structure of a tim...