Sequential Generation of Structured Arrays and Its Deductive Verification.
Richard GenestierAlain GiorgettiGuillaume PetiotPublished in: TAP@STAF (2015)
Keyphrases
- model checking
- structured data
- information systems
- machine learning
- linear array
- computer vision
- generation method
- generation process
- object oriented
- hypothesis formation
- databases
- verification method
- face verification
- explanation based learning
- relational databases
- case study
- decision trees
- information retrieval
- real world