Sciweavers

37 search results - page 8 / 8
» A New Framework for Approximate Labeling via Graph Cuts
Sort
View
ACSD
1998
IEEE
121views Hardware» more  ACSD 1998»
13 years 12 months ago
Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...
Alex Kondratyev, Jordi Cortadella, Michael Kishine...
IJCV
2007
115views more  IJCV 2007»
13 years 7 months ago
Discovering Shape Classes using Tree Edit-Distance and Pairwise Clustering
This paper describes work aimed at the unsupervised learning of shape-classes from shock trees. We commence by considering how to compute the edit distance between weighted trees. ...
Andrea Torsello, Antonio Robles-Kelly, Edwin R. Ha...