9626 search results - page 128 / 1926 » Invariant Based Programming |
108
click to vote
ICPR
2008
IEEE
16 years 6 months ago
2008
IEEE
We introduce a new shape normalization method based on implicit shape representations. The proposed method is robust with respect to deformations and invariant to similarity trans...
121
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper focuses on checking safety properties for sequential circuits specified on the RT-level. We study how different state encodings can be used to create a gate-level repr...
128
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
171
click to vote
IJCV
2006
15 years 5 months ago
2006
In this paper, we make two contributions to the field of level set based image segmentation. Firstly, we propose shape dissimilarity measures on the space of level set functions wh...
130
click to vote
CVPR
2007
IEEE
16 years 7 months ago
2007
IEEE
A novel algorithm for robustly segmenting changes between different images of a scene is presented. This computationally efficient algorithm is based on a non-linear comparison of...