Parametric shape analysis via 3-valued logic.
Shmuel SagivThomas W. RepsReinhard WilhelmPublished in: ACM Trans. Program. Lang. Syst. (2002)
Keyphrases
- shape analysis
- valued logic
- propositional logic
- classical logic
- fuzzy logic
- shape descriptors
- shape representation
- fuzzy sets
- logic programs
- truth values
- first order logic
- medical imaging
- image analysis and pattern recognition
- multi valued
- automated reasoning
- datalog programs
- shape space
- boolean functions
- programming language
- geodesic paths
- pattern recognition
- genetic algorithm