2639 search results - page 125 / 528 » Biological Systems as Reactive Systems |
154
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
140
click to vote
BMVC
2002
15 years 7 months ago
2002
The main purpose of this research is to develop methods for automatic identification of biological specimens in digital photographs and drawings held in a database. Incorporation ...
178
click to vote
ALIFE
1999
15 years 4 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 ...
123
click to vote
SIMPAR
2010
15 years 2 months ago
2010
A biologically inspired control algorithm for robot control was introduced in a previous work. The algorithm is robust to noisy sensor information and hardware failures. In this pa...
127
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Finding motifs — patterns of conserved residues — within nucleotide and protein sequences is a key part of understanding function and regulation within biological systems. Thi...