Sciweavers

1753 search results - page 151 / 351
» State Machines
Sort
View
FSKD
2007
Springer
277views Fuzzy Logic» more  FSKD 2007»
15 years 10 months ago
Autonomous Robot Control Using Evidential Reasoning
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...
Qingxiang Wu, David A. Bell, Rashid Hafeez Khokhar...
VTC
2006
IEEE
179views Communications» more  VTC 2006»
15 years 10 months ago
Design of a Joint Defense System for Mobile Ad Hoc Networks
— 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...
Huei-Wen Ferng, Chien-Liang Liu
ICML
2000
IEEE
15 years 9 months ago
A Bayesian Framework for Reinforcement Learning
The reinforcement learning problem can be decomposed into two parallel types of inference: (i) estimating the parameters of a model for the underlying process; (ii) determining be...
Malcolm J. A. Strens
ICCD
1995
IEEE
85views Hardware» more  ICCD 1995»
15 years 8 months ago
A high-performance asynchronous SCSI controller
We describe thedesign of a high performance asynchronous SCSI Small Computer Systems Interface controller data path and the associated control circuits. The data path is an asyn...
Kenneth Y. Yun, David L. Dill
ICSEA
2009
IEEE
15 years 2 months ago
Integrating Formal Methods with Model-Driven Engineering
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...