263 search results - page 7 / 53 » Combinatorial Shape Decomposition |
TACAS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Programs commonly maintain multiple linked data structures. Correlations between multiple data structures may often be nonexistent or irrelevant to verifying that the pro...
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
SMA
2006
ACM
15 years 5 months ago
2006
ACM
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
CG
2006
Springer
14 years 11 months ago
2006
Springer
Blurred segments were introduced by Debled-Rennesson et al. [Segmentation of discrete curves into fuzzy segments. In: 9th IWCIA, Electronic notes in discrete mathematics, vol. 12;...