1671 search results - page 181 / 335 » Hierarchical graph maps |
125
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
128
Voted
SCAM
2003
IEEE
15 years 8 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
170
click to vote
VISSOFT
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper a new approach for a metrics based software visualization is presented which supports an efficient and effective quality assessment of large object-oriented software...
158
Voted
PODC
2010
ACM
15 years 7 months ago
2010
ACM
We show how to partition data structures representable by directed acyclic graphs, i.e. rooted trees, to allow for efficient complex operations, which lie beyond inserts, deletes ...
127
Voted
FGR
2004
IEEE
15 years 7 months ago
2004
IEEE
We present an algorithm for automatic inference of human upper body motion. A graph model is proposed for inferring human motion, and motion inference is posed as a mapping proble...