1420 search results - page 166 / 284 » Representation of Graphs by OBDDs |
148
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This work presents an H2 performance analysis of the agreement protocol in the presence of noise. The agreement protocol is first transformed into an equivalent system induced...
149
click to vote
ENTER
2009
Springer
15 years 11 months ago
2009
Springer
Hyperlinks are the essence of the World Wide Web. Their importance is very high due to their ability to provide a visitor with a wealth of good quality information and for the rol...
193
click to vote
VL
2000
IEEE
15 years 11 months ago
2000
IEEE
The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation...
197
click to vote
IFIP
1992
Springer
15 years 10 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
188
click to vote
DEXA
2006
Springer
15 years 10 months ago
2006
Springer
Ontology alignment (or matching) is the operation that takes two ontologies and produces a set of semantic correspondences (usually semantic similarities) between some elements of ...