Formal specification and proofs for the topology and classification of combinatorial surfaces.
Christophe DehlingerJean-François DufourdPublished in: Comput. Geom. (2014)
Keyphrases
- formal specification
- specification languages
- classification accuracy
- process algebra
- object oriented design
- decision trees
- support vector
- support vector machine
- real world
- data abstraction
- specification language
- classification rules
- classification algorithm
- feature selection
- reverse engineering
- fine grained
- knowledge base
- machine learning
- databases