Sciweavers

1511 search results - page 83 / 303
» Hierarchical Graph Transformation
Sort
View
GD
2005
Springer
15 years 11 months ago
Visualizing Graphs as Trees: Plant a Seed and Watch it Grow
TreePlus is a graph browsing technique based on a tree-style layout. It shows the missing graph structure using interaction techniques and enables users to start with a specific no...
Bongshin Lee, Cynthia Sims Parr, Catherine Plaisan...
VL
1999
IEEE
104views Visual Languages» more  VL 1999»
15 years 10 months ago
Pragmatic Graph Rewriting Modifications
We present new pragmatic constructs for easing programming in visual graph rewriting programming languages. The first is a modification to the rewriting process for nodes the host...
Peter J. Rodgers, Natalia Vidal
ESCAPE
2007
Springer
256views Algorithms» more  ESCAPE 2007»
15 years 10 months ago
A More Effective Linear Kernelization for Cluster Editing
In the NP-hard Cluster Editing problem, we have as input an undirected graph G and an integer k 0. The question is whether we can transform G, by inserting and deleting at most k ...
Jiong Guo
ICIP
2009
IEEE
15 years 4 months ago
A 3D discrete curvelet based method for segmenting dynamic textures
This paper presents a new approach for segmenting a video sequence containing dynamic textures. The proposed method is based on a 2D+T curvelet transform and an octree hierarchica...
Sloven Dubois, Renaud Péteri, Michel M&eacu...
VMCAI
2010
Springer
16 years 3 months ago
Improved Model Checking of Hierarchical Systems
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...
Benjamin Aminof, Orna Kupferman, Aniello Murano