3105 search results - page 418 / 621 » The Path-Packing Structure of Graphs |
114
click to vote
ICALT
2003
IEEE
15 years 9 months ago
2003
IEEE
Visualization of the learning processes is a powerful way to help students to understand their curricula and the structure behind them. CME2 is a prototype software of this favour...
136
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— Rigidity of formation is an importance concept in multi-agent localization and control problems. There are welldeveloped existing methods to test the rigidity of a given graph....
123
Voted
DIAGRAMS
2000
Springer
15 years 8 months ago
2000
Springer
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the d...
166
click to vote
DATE
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper describes new algorithms for systemlevel software synthesis, namely the scheduling and allocation of a set of complex tasks running at multiple rates on a heterogeneous...
110
click to vote
FSTTCS
1992
Springer
15 years 8 months ago
1992
Springer
The branching bisimulation de ned by Van Glabbeek and Weijland takes care of preserving the branching structure of processes even though silent actions are taken. Branching bisimu...