2 search results - page 1 / 1 » Invariant measures via inverse limits of finite structures |
FOSSACS
2006
Springer
13 years 8 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
JMIV
2006
13 years 5 months ago
2006
In medical image analysis and high level computer vision, there is an intensive use of geometric features like orientations, lines, and geometric transformations ranging from simp...