Sciweavers

2639 search results - page 121 / 528
» Biological Systems as Reactive Systems
Sort
View
FOSSACS
2008
Springer
15 years 6 months ago
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
Guilherme Rangel, Barbara König, Hartmut Ehri...
FLAIRS
2006
15 years 6 months ago
Verbalization Enhanced Tutoring
Intelligent Tutoring Systems (ITS) typically contain elements of instruction, assessment, feedback and guidance for the trainee. Most of the time, the ITS is controlling the dialo...
Christel Kemke, Shamima Mithun
150
Voted
ALIFE
2008
15 years 4 months ago
Natural or Internal Selection? The Case of Canalization in Complex Evolutionary Systems
Using biological examples and theoretical arguments, the case is presented for extending the notion of natural selection to include internal selection in order to account for the e...
Alexander Riegler
CEC
2003
IEEE
15 years 9 months ago
AISEC: an artificial immune system for e-mail classification
With the increase in information on the Internet, the strive to find more effective tools for distinguishing between interesting and non-interesting material is increasing. Drawing...
Andrew Secker, Alex Alves Freitas, Jon Timmis
121
Voted
AB
2007
Springer
15 years 8 months ago
Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equations. ...
Alexandre Sedoglavic