3844 search results - page 24 / 769 » Modular interpreted systems |
ESANN
2001
13 years 9 months ago
2001
Time varying environments or model selection problems lead to crucial dilemmas in identification and control science. In this paper, we propose a modular prediction scheme consisti...
FLAIRS
2000
13 years 9 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
CACM
2002
13 years 8 months ago
2002
: We discuss the applications of modular self-reconfigurable robots to navigation. We show that greedy algorithms are complete for motion planning over a class of modular reconfigu...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
ICPR
2002
IEEE
14 years 9 months ago
2002
IEEE
