4074 search results - page 157 / 815 » Defining Computational Aesthetics |
AGENTCL
2000
Springer
14 years 2 months ago
2000
Springer
In this paper we define the concept of conversation policies: declarative specifications that govern communications between software agents using an agent communication language. ...
EH
1999
IEEE
14 years 2 months ago
1999
IEEE
A small gate array is evolved extrinsically to carry out a low pass filtering task defined over fifteen different frequencies. The circuit is evolved by assessing its response to ...
LFCS
1994
Springer
14 years 2 months ago
1994
Springer
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...
LOPSTR
1994
Springer
14 years 2 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
VLDB
1992
ACM
14 years 2 months ago
1992
ACM
The integration of object-oriented concepts into deductive databases has been investigated for a certain time now. Various approaches to incorporate updates into deduction have be...