9284 search results - page 63 / 1857 » Knowledge State Algorithms |
ICDCS
1993
IEEE
15 years 4 months ago
1993
IEEE
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
SOFTWARE
2002
14 years 11 months ago
2002
tion. Patterns thus aim to capture and explicitly state abstract problem-solving knowledge that is usually implicit and gained only through experience.
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— This paper proposes a multiple robot control algorithm to approach the problem of patrolling an open or closed line. The algorithm is fully decentralized, i.e., no comm...
ECP
1999
Springer
15 years 4 months ago
1999
Springer
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...
ICCAD
1997
IEEE
15 years 4 months ago
1997
IEEE
We propose an algorithm for area optimisation of sequential circuits through redundancy removal. The algorithm finds compatible redundancies by implying values over nets in the c...