A formal approach for the specification of digital complex objects.
Ticiana Oniki ToffoliNádia Puchalski KozievitchMarcos André GonçalvesRicardo da Silva TorresPublished in: WebMedia (2013)
Keyphrases
- complex objects
- formal specification
- formal methods
- relational model
- digital objects
- formal language
- query language
- computationally simple
- relational algebra
- object representations
- multiple range images
- invariant recognition
- nested relations
- reactive systems
- distance function
- conceptual model
- feature space
- decision trees