1818 search results - page 271 / 364 » Granularity-Adaptive Proof Presentation |
184
Voted
DAGM
2009
Springer
15 years 10 months ago
2009
Springer
The purpose of image segmentation is to partition the pixel grid of an image into connected components termed segments such that (i) each segment is homogenous and (ii) for any pai...
110
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
e Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA Department of Computer Science, National University of Singapore Singapore 117590 {joxan,andrews}comp.nu...
154
Voted
IFM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
147
click to vote
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
113
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, w...