2639 search results - page 321 / 528 » Biological Systems as Reactive Systems |
226
click to vote
DLT
2009
15 years 4 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
164
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Clinical translation of stem cell research promises to revolutionize medicine. Challenges remain toward better understanding of stem cell biology and cost-effective strategies for...
152
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
188
click to vote
BVAI
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Binocular information about the structure of a scene is contained in the relative positions of corresponding points in the two views. If the eyes rotate, in order to fix...
164
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
Artificial Development Systems have been introduced as a technique aimed at increasing the scalability of evolutionary algorithms. Most commonly the development model is part of ...