956 search results - page 2 / 192 » Dimensions in program synthesis |
IJCAI
1989
13 years 6 months ago
1989
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adaptin...
ADS
2004
Springer
13 years 10 months ago
2004
Springer
Past attempts to model emotions for speech synthesis have focused on extreme, “basic” emotion categories. The present paper suggests an alternative representation of emotional ...
BIRTHDAY
2003
Springer
13 years 10 months ago
2003
Springer
Techniques that were developed for program synthesis are being applied to allow multiple agents to communicate with each other and cooperate to solve a single problem. We illustrat...
SERP
2004
13 years 6 months ago
2004
We describe ongoing work which aims to extend the schema-based program synthesis paradigm with explicit models. In this context, schemas can be considered as model-to-model transf...
ECBS
1999
IEEE
13 years 9 months ago
1999
IEEE
Model-Integrated Computing, specifically Model-Integrated Program Synthesis (MIPS) environments that include visual model building, constraint management, and automatic program sy...