2465 search results - page 302 / 493 » Automata on Linear Orderings |
145
click to vote
WG
2007
Springer
16 years 20 days ago
2007
Springer
Kelly-width is a parameter of directed graphs recently proposed by Hunter and Kreutzer as a directed analogue of treewidth. We give several alternative characterizations of direct...
169
click to vote
DEXAW
2006
IEEE
16 years 19 days ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
159
click to vote
IPPS
2006
IEEE
16 years 18 days ago
2006
IEEE
The unidirectional nature of propagation and predictable delays are two characteristics of optically pipelined buses that have made them popular in recent years. Many models have ...
147
click to vote
APSEC
2005
IEEE
16 years 5 days ago
2005
IEEE
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
165
click to vote
ISCAS
2005
IEEE
16 years 4 days ago
2005
IEEE
— This paper considers the application of the neural networks for the guaranteed cost control problem of discrete– time uncertain systems that have in both state and input dela...