Quasi-interpretation Synthesis by Decomposition.
Guillaume BonfanteJean-Yves MarionRomain PéchouxPublished in: ICTAC (2007)
Keyphrases
- program synthesis
- functional decomposition
- high level
- decomposition methods
- semantic interpretation
- case study
- expert systems
- image interpretation
- functional programs
- database
- image decomposition
- differential equations
- digital libraries
- natural language
- multi agent
- database systems
- image segmentation
- artificial intelligence