2639 search results - page 137 / 528 » Biological Systems as Reactive Systems |
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
—We present experimental results of thrust produced by a robotic propulsor, the design of which is inspired by the ribbon fin of the South American black ghost knifefish (Apteron...
110
click to vote
SCALESPACE
2007
Springer
15 years 10 months ago
2007
Springer
A geometric model is proposed for an artificial foveal vision system, and its plausibility in the context of biological vision is explored. The model is based on an isotropic, sca...
169
Voted
FOSSACS
1999
Springer
15 years 9 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
148
Voted
TPDS
1998
15 years 4 months ago
1998
—A massive volume of biological sequence data is available in over 36 different databases worldwide, including the sequence data generated by the Human Genome project. These data...
163
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: The Distributed Annotation System (DAS) has proven to be a successful way to publish and share biological data. Although there are more than 750 active registered serv...