2639 search results - page 312 / 528 » Biological Systems as Reactive Systems |
216
click to vote
TITS
2010
15 years 1 months ago
2010
Visual surveillance is an active research topic in image processing. Transit systems are actively seeking new or improved ways to use technology to deter and respond to accidents, ...
232
click to vote
ATVA
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
196
click to vote
ATVA
2011
Springer
14 years 6 months ago
2011
Springer
In [AKL10], we showed how viewing online algorithms as reactive systems enables the application of ideas from formal verification to the competitive analysis of online algorithms....
213
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
234
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Structure identification of dynamic models for complex biological systems is the cornerstone of their reverse engineering. Biochemical Systems Theory (BST) offers a pa...