263 search results - page 7 / 53 » Combinatorial Shape Decomposition |
116
Voted
TACAS
2007
Springer
15 years 9 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...
86
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
84
Voted
SMA
2006
ACM
15 years 9 months ago
2006
ACM
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
112
Voted
CG
2006
Springer
15 years 3 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;...