1222 search results - page 19 / 245 » A Bayesian Approach to Model Checking Biological Systems |
CSB
2005
IEEE
15 years 5 months ago
2005
IEEE
The genome projects have provided comprehensive information about the basic building blocks of life. The next challenge is to understand how biological functions emerge from compl...
129
click to vote
ALIFE
1999
14 years 11 months ago
1999
A novel machine language genetic programming system that uses one-dimensional core memories is proposed and simulated. The core is compared to a biochemical reaction space, and in ...
107
click to vote
ANSS
2006
IEEE
15 years 5 months ago
2006
IEEE
With the availability of huge databases cataloguing the various molecular “parts” of complex biological systems, researchers from multiple disciplines have focused on developi...
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
— In this paper we present a novel method for visual scanning and target tracking by means of independent pan-tilt cameras which mimic the chameleon visual system. We present a s...
115
Voted
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...