10682 search results - page 378 / 2137 » A Graph Based Process Representation for Process Modeling |
175
click to vote
ICIAR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper presents an approach based on graph cuts initially used for motion segmentation that is being applied to the nonrigid registration problem. The main contributi...
210
Voted
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
211
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Subgraph patterns are widely used in graph classification, but their effectiveness is often hampered by large number of patterns or lack of discrimination power among individual p...
201
Voted
SOFSEM
2007
Springer
16 years 27 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
174
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
A representation for observing local image content is proposed for the purpose of considering the distinguishing characteristics of visual content that tends to draw a human obser...