956 search results - page 115 / 192 » Dimensions in program synthesis |
127
Voted
CTCS
1987
Springer
15 years 6 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
112
Voted
IJCAI
1993
15 years 4 months ago
1993
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
147
Voted
SAC
2005
ACM
15 years 8 months ago
2005
ACM
Simulations of complex scientific phenomena involve the execution of massively parallel computer programs. These simulation programs generate large-scale multidimensional data set...
111
Voted
RTSS
1999
IEEE
15 years 7 months ago
1999
IEEE
The problem of maximizing system utility by allocating a single finite resource to satisfy discrete Quality of Service (QoS) requirements of multiple applications along multiple Q...
145
Voted
IJCAI
1997
15 years 4 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...