Sciweavers

22909 search results - page 273 / 4582
» A System of Interaction and Structure
Sort
View
EVOW
2003
Springer
16 years 14 days ago
MusicBlox: A Real-Time Algorithmic Composition System Incorporating a Distributed Interactive Genetic Algorithm
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...
Andrew Gartland-Jones
ARTS
1999
Springer
15 years 11 months ago
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
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...
Paul Z. Kolano
PRICAI
2000
Springer
15 years 10 months ago
Recognizing Intentions from Rejoinders in a Bayesian Interactive Argumentation System
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...
LREC
2010
167views Education» more  LREC 2010»
15 years 8 months ago
On the Role of Discourse Markers in Interactive Spoken Question Answering Systems
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...
IBMSJ
2000
108views more  IBMSJ 2000»
15 years 7 months ago
Context-aware design and interaction in computer systems
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...
Ted Selker, Winslow Burleson