1916 search results - page 192 / 384 » Reconfiguring a state machine |
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
ECML
2007
Springer
14 years 2 months ago
2007
Springer
In this article, we present an idea for solving deterministic partially observable markov decision processes (POMDPs) based on a history space containing sequences of past observat...
FSKD
2007
Springer
14 years 2 months ago
2007
Springer
Evidence theory has been widely applied to uncertainty reasoning. In this paper a finite state machine with evidential reasoning is proposed to control autonomous robots. The Khep...
VTC
2006
IEEE
14 years 2 months ago
2006
IEEE
— A mobile ad hoc network (MANET) is vulnerable to malicious attacks although it is suitable for various environments because of its rapid establishment. In order to set up a sec...
ICALT
2005
IEEE
14 years 1 months ago
2005
IEEE
The purpose of this paper is to present the current state and future development of the PLATINEA project. This project allows students and teachers to create and to consolidate kn...