2639 search results - page 113 / 528 » Biological Systems as Reactive Systems |
182
click to vote
TCS
2011
14 years 11 months ago
2011
Models of biological systems and phenomena are of high scientific interest and practical relevance, but not always easy to obtain due to their inherent complexity. To gain the re...
125
click to vote
IJNS
2007
15 years 4 months ago
2007
We present a biologically motivated architecture for object recognition that is capable of online learning of several objects based on interaction with a human teacher. The system...
134
click to vote
AMAST
2000
Springer
15 years 8 months ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
143
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
To investigate molecular-biological causes and effects of diseases and their therapies it becomes increasingly important to combine data from clinical trials with high volumes of e...
169
click to vote
MOVEP
2000
15 years 8 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...