1202 search results - page 78 / 241 » Sortings for Reactive Systems |
170
click to vote
AIME
2001
Springer
15 years 8 months ago
2001
Springer
Medical information systems and standards are increasingly based on principled models of at least three distinct sorts of information – patient data, concepts (terminology), and ...
153
click to vote
ANOR
2010
15 years 1 months ago
2010
We present a methodology to automatically generate an online job scheduling method for a custom-made objective and real workloads. The scheduling problem comprises independent para...
126
click to vote
KES
2004
Springer
15 years 9 months ago
2004
Springer
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
114
click to vote
AUTOMATICA
2004
15 years 4 months ago
2004
Perspective dynamical systems arise in machine vision, in which only perspective observation is available. This paper proposes and studies a Luenberger-type nonlinear observer for...
156
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...