1420 search results - page 95 / 284 » Representation of Graphs by OBDDs |
138
click to vote
RSA
2010
15 years 4 months ago
2010
We show that the number of vertices of a given degree k in several kinds of series-parallel labelled graphs of size n satisfy a central limit theorem with mean and variance proport...
205
click to vote
VL
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper outlines DIAPLAN, a visual rule-based programming language and environment that is based on the computational model of graph transformation. Thanks to its genericity, D...
169
click to vote
IV
2005
IEEE
15 years 12 months ago
2005
IEEE
Transition systems are graphs and it is natural to consider their visual representation as a graph visualization problem. They also pose an interesting multidimensional visualizat...
158
click to vote
ISCIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Given a set of observations of an existing concurrent system with repetitive sub-functions, we consider the construction of an MSC graph representing the functionality of...
191
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
A machine learning technique for handling scenarios of interaction between conflicting agents is suggested. Scenarios are represented by directed graphs with labeled vertices (for ...