This paper discusses the motivation, design and construction of a generative music system, 'MusicBlox', (by the author) that utilises a domain specific, knowledge rich Ge...
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
We describe a mechanism which recognizes a user's intentions from short-form rejoinders to arguments generated from Bayesian networks. The mechanism builds candidate reasoning...
Ingrid Zukerman, Nathalie Jitnah, Richard McConach...
This paper presents a preliminary analysis of the role of some discourse markers and the vocalic hesitation euh in a corpus of spoken human utterances collected with the RITEL sys...
Ioana Vasilescu, Sophie Rosset, Martine Adda-Decke...
As human computer interface gets more immersive, it will need to explicitly draw upon cognitive science as a basis for understanding what people are capable of doing. User experie...