Sciweavers

1494 search results - page 49 / 299
» Bottom-Up Shape Analysis
Sort
View
88
Voted
POPL
1996
ACM
15 years 7 months ago
Solving Shape-Analysis Problems in Languages with Destructive Updating
Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
99
Voted
TLCA
1997
Springer
15 years 7 months ago
Typed Intermediate Languages for Shape Analysis
Gianna Bellè, Eugenio Moggi
128
Voted
ICIAP
2007
ACM
15 years 7 months ago
Computation of Binary Objects Sides Number using Discrete Geometry, Application to Automatic Pebbles Shape Analysis
We are working in collaboration with geographers to study a set of pebbles digital images. Among the features geographers want to get automatically, pebble sides number is intuiti...
Tristan Roussillon, Laure Tougne, Isabelle Sivigno...
68
Voted
3DPVT
2004
IEEE
127views Visualization» more  3DPVT 2004»
15 years 7 months ago
Applying Mesh Conformation on Shape Analysis with Missing Data
Xiangyang Ju, Zhili Mao, J. Paul Siebert, Nigel J....