4074 search results - page 616 / 815 » Defining Computational Aesthetics |
153
click to vote
AMAI
2004
Springer
15 years 12 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
156
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
QuickSet [6] is a multimodal system that gives users the capability to create and control map-based collaborative interactive simulations by supporting the simultaneous input from ...
181
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
The Knowledge Agent Mediation Language (KNAML) is designed for use in multi-agent reasoning systems. Like conceptual graphs, KNAML represents knowledge using concepts, relations, a...
185
click to vote
ICSOC
2004
Springer
15 years 12 months ago
2004
Springer
Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...
155
click to vote
ISMIR
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents the principles of a new approach aimed at automatically discovering motivic patterns in monodies. It is shown that, for the results to agree with the listenerâ...