521 search results - page 48 / 105 » Inference of Order in Genetic Systems |
LOCA
2005
Springer
14 years 3 months ago
2005
Springer
Research in advanced context-aware systems has clearly shown a need to capture the inherent uncertainty in the physical world, especially in human behavior. Modelling approaches th...
ATVA
2004
Springer
14 years 3 months ago
2004
Springer
— This paper considers the state feedback control of parameterized discrete event systems consisting of N similar processes for the problem of maintaining a predicate on the stat...
TPHOL
2007
IEEE
14 years 4 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
AMAI
2004
Springer
13 years 9 months ago
2004
Springer
We address the topic of specifying multi-agent systems using the situation and state calculus (SSC). SSC has been proposed as an extension of the situation calculus to overcome so...
IBIS
2006
13 years 10 months ago
2006
In order to deal with the need of sharing learning objects within and across learning object repositories most of the recent work argue for the use of ontologies as a means for pro...