1818 search results - page 271 / 364 » Granularity-Adaptive Proof Presentation |
262
click to vote
DAGM
2009
Springer
16 years 27 days 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...
148
click to vote
FM
2009
Springer
16 years 27 days 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...
188
click to vote
IFM
2009
Springer
16 years 27 days 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 ...
186
click to vote
LOPSTR
2009
Springer
16 years 27 days 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 ...
149
click to vote
LPNMR
2009
Springer
16 years 27 days 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...