112 search results - page 18 / 23 » AI and Music: From Composition to Expressive Performance |
KBSE
1999
IEEE
13 years 11 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
PLDI
1997
ACM
13 years 11 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
AI
2006
Springer
13 years 7 months ago
2006
Springer
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
The canon is a composition pattern with a long history and many forms. The concept of the canon has also been applied to experimental film making and on Japanese television. We de...
BMCBI
2008
13 years 7 months ago
2008
Background: Illumina bead-based arrays are becoming increasingly popular due to their high degree of replication and reported high data quality. However, little attention has been...