3396 search results - page 486 / 680 » Tree representations of graphs |
188
click to vote
CALCO
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
137
click to vote
ESA
2009
Springer
16 years 25 days ago
2009
Springer
In this paper we show that iterative rounding is a powerful and flexible tool in the design of approximation algorithms for multiobjective optimization problems. We illustrate tha...
177
Voted
CSMR
2008
IEEE
16 years 22 days ago
2008
IEEE
Many C++ extractors exist that produce syntax trees, call graphs, and metrics from C++ code, yet few offer integrated querying, navigation, and visualization of sourcecode-level f...
156
click to vote
AINA
2007
IEEE
16 years 19 days ago
2007
IEEE
In hierarchical distributed systems, shared data access can be controlled by assigning user groups single cryptographic keys that allow high level users derive low level keys, but...
138
click to vote
ICRA
2007
IEEE
16 years 17 days ago
2007
IEEE
— The paper focuses on leader-follower formations of nonholonomic mobile robots. A formation control alternative to those existing in the literature is introduced. We show that t...