5393 search results - page 142 / 1079 » Spatial Computing with Labels |
105
Voted
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
Interactive graph cuts are widely used in object segmentation but with some disadvantages: 1) Manual interactions may cause inaccurate or even incorrect segmentation results and i...
108
Voted
CALCO
2009
Springer
15 years 8 months ago
2009
Springer
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the cate...
92
Voted
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
A modified version for semi-supervised learning algorithm with local and global consistency was proposed in this paper. The new method adds the label information, and adopts the g...
97
Voted
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
We study the construction of labelled transition systems from reactive systems defined over directed bigraphs, a computational meta-model which subsumes other variants of bigraphs...
111
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...