956 search results - page 168 / 192 » Dimensions in program synthesis |
CP
2007
Springer
14 years 4 months ago
2007
Springer
: This report introduces a geometrical constraint kernel for handling the location in space and time of polymorphic k-dimensional objects subject to various geometrical and time co...
ICALP
2007
Springer
14 years 4 months ago
2007
Springer
While data compression and Kolmogorov complexity are both about effective coding of words, the two settings differ in the following respect. A compression algorithm or compressor...
IVA
2007
Springer
14 years 4 months ago
2007
Springer
The goal of this paper is to open discussion about industrial creativity as a potential application field for Embodied Conversational Agents. We introduce the domain of creativity ...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents an architecture for solving generically the problem of extracting the constraints of a given task in a programming by demonstration framework and the problem...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
Applications for constrained embedded systems are subject to strict time constraints and restrictive resource utilization. With soft core processors, application developers can cu...