Development of automatically verifiable systems using data representation synthesis.
Bryce W. Cronkite-RatcliffPublished in: SPLASH (Companion Volume) (2013)
Keyphrases
- data representation
- knowledge based systems
- technical issues
- case study
- building blocks
- software engineering
- representational power
- distributed systems
- dimensionality reduction
- image processing
- sufficient conditions
- computer systems
- support systems
- feature construction
- computer vision
- co occurrence
- data model
- data types
- domain ontology
- data analysis
- subspace learning
- discriminative information
- data representations