1357 search results - page 96 / 272 » Compositionality in Graph Transformation |
133
click to vote
ICCAD
2005
IEEE
16 years 10 days ago
2005
IEEE
We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...
123
Voted
VL
2007
IEEE
15 years 9 months ago
2007
IEEE
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate lo...
142
Voted
GBRPR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper, we propose a novel method for the unsupervised clustering of graphs in the context of the constellation approach to object recognition. Such method is an E...
128
click to vote
CGVR
2008
15 years 4 months ago
2008
- A graph drawing algorithm for the Game of Sprouts is presented. The algorithm guarantees that the polylines that connect graph nodes are drawn smoothly and that they maintain rea...
108
click to vote
ECEASST
2010
15 years 25 days ago
2010
In this talk we will present a new approach to deal with attributed graphs and attributed graph transformation. The approach is based on working with what we call symbolic graphs, ...