5863 search results - page 777 / 1173 » On Model-Checking of P Systems |
170
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— This paper presents a methodology for the decentralised control of multiple 3-dimensional nonholonomic agents. The proposed control scheme is based on Navigation Functi...
179
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
—TD learning and its refinements are powerful tools for approximating the solution to dynamic programming problems. However, the techniques provide the approximate solution only...
146
click to vote
COSPS
2001
Springer
15 years 11 months ago
2001
Springer
Programming massively-parallel machine is a daunting task for any human programmer and parallelization may even be impossible for any compiler. Instead, the functional programming ...
175
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
Reliable many-to-many multicasting of messages is an integral part of group communication systems. Such systems typically employ a reliable multicast protocol that operates below ...
180
Voted
NDSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Traditional Intrusion Detection Systems (IDSs) mostly work off-line, without any direct runtime interaction or coordination with the applications (and with other IDSs) that they a...