3169 search results - page 141 / 634 » Robust Timed Automata |
143
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Quantum dot Cellular Automata (QCA) is one of the promising technologies for nano scale implementation. The operation of QCA systems is based on a new paradigm generally referred ...
123
click to vote
DNA
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. For robust molecular implementation of tile-based algorithmic self-assembly, methods for reducing errors must be developed. Previous studies suggested that by control of ...
119
Voted
FLAIRS
2001
15 years 3 months ago
2001
Partially Observable Markov Decision Process models (POMDPs) have been applied to low-level robot control. We show how to use POMDPs differently, namely for sensorplanning in the ...
109
Voted
AUTOMATICA
2002
15 years 2 months ago
2002
In this paper, the problem concerning how to coordinate the contributions from concurrent controllers, when controlling mobile robots, is investigated. It is shown how a behavior ...
111
click to vote
ECLIPSE
2006
ACM
15 years 6 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...