1222 search results - page 82 / 245 » A Bayesian Approach to Model Checking Biological Systems |
133
click to vote
SIBGRAPI
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a system that is being developed for the recognition of the handwritten legal amount in Brazilian bank checks. Our strategy used to approach the handwritten leg...
142
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper, we present an approach allowing a robot to learn a generative model of its own physical body from scratch using self-perception with a single monocular camera. O...
128
click to vote
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...
211
click to vote
JUCS
2010
14 years 10 months ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...
141
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
This paper describes a novel method for explaining Bayesian network (BN) inference when the network is modeling a population of conditionally independent agents, each of which is m...