Sciweavers

4074 search results - page 23 / 815
» Abstract Graph Transformation
Sort
View
ECEASST
2006
123views more  ECEASST 2006»
14 years 9 months ago
Algebraic High-Level Nets as Weak Adhesive HLR Categories
Abstract. Adhesive high-level replacement (HLR) system have been recently introduced as a new categorical framework for graph transformation in the double pushout approach [1, 2]. ...
Ulrike Prange
ACCV
2009
Springer
15 years 2 months ago
Video Segmentation Using Iterated Graph Cuts Based on Spatio-temporal Volumes
Abstract. We present a novel approach to segmenting video using iterated graph cuts based on spatio-temporal volumes. We use the mean shift clustering algorithm to build the spatio...
Tomoyuki Nagahashi, Hironobu Fujiyoshi, Takeo Kana...
TIP
2011
164views more  TIP 2011»
14 years 4 months ago
Multiregion Image Segmentation by Parametric Kernel Graph Cuts
Abstract—The purpose of this study is to investigate multiregion graph cut image partitioning via kernel mapping of the image data. The image data is transformed implicitly by a ...
Mohamed Ben Salah, Amar Mitiche, Ismail Ben Ayed
APN
2005
Springer
15 years 3 months ago
High-Level Nets with Nets and Rules as Tokens
Abstract. High-Level net models following the paradigm “nets as tokens” have been studied already in the literature with several interesting applications. In this paper we prop...
Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski
ATVA
2008
Springer
111views Hardware» more  ATVA 2008»
14 years 11 months ago
Loop Summarization Using Abstract Transformers
marization using Abstract Transformers Daniel Kr
Daniel Kroening, Natasha Sharygina, Stefano Tonett...