521 search results - page 48 / 105 » Inference of Order in Genetic Systems |
112
Voted
LOCA
2005
Springer
15 years 6 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...
101
Voted
ATVA
2004
Springer
15 years 6 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...
117
Voted
TPHOL
2007
IEEE
15 years 7 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...
103
Voted
AMAI
2004
Springer
15 years 16 days 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...
96
Voted
IBIS
2006
15 years 20 days 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...