689 search results - page 35 / 138 » A Modal-Logic Based Graph Abstraction |
139
click to vote
FMCO
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
103
click to vote
FORTE
2010
15 years 3 months ago
2010
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...
119
click to vote
GPCE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...
ECCV
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The decomposition of images into their meaningful components is one of the major tasks in computer vision. Tadmor, Nezzar and Vese [1] have proposed a general approach fo...
137
click to vote
EMMCVPR
2005
Springer
15 years 7 months ago
2005
Springer
We consider the use of medial surfaces to represent symmetries of cts. This allows for a qualitative abstraction based on a directed acyclic graph of components and also a degree o...