2713 search results - page 92 / 543 » Parameterized Tree Systems |
103
Voted
ENTCS
2006
15 years 25 days ago
2006
Graph traversals are in the basis of many distributed algorithms. In this paper, we use graph relabelling systems to encode two basic graph traversals which are the broadcast and ...
99
Voted
ANLP
2000
15 years 2 months ago
2000
This paper introduces a system for categorizing unknown words. The system is based on a multicomponent architecture where each component is responsible for identifying one class o...
108
Voted
CSR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We survey classical and selected recent work on the reachability problem over finitely presented infinite graphs. The problem has a history of 100 years, and it is centra...
88
Voted
ENTCS
2007
15 years 23 days ago
2007
Generation of labelled transition systems from system specifications is highly dependent on efficient rewriting (or related techniques). We give an account of the implementation ...
124
click to vote
AUTOMATICA
2010
15 years 28 days ago
2010
The spectral properties of the incidence matrix of the communication graph are exploited to provide solutions to two multiagent control problems. In particular, we consider the pr...