785 search results - page 56 / 157 » An Algebra of Hierarchical Graphs |
116
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a...
121
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
103
Voted
CIARP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we introduce a general framework for hierarchical clustering that deals with both static and dynamic data sets. From this framework, different hierarchical...
107
Voted
ECCV
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. Mathematical Morphology (MM) offers a wide range of operators to address various image processing problems. These processing can be defined in terms of algebraic set or a...
105
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, , ) such that L and R are termgraphs representing...