156 search results - page 23 / 32 » Incorporating user control in automated interactive scheduli... |
MM
2003
ACM
14 years 22 days ago
2003
ACM
We present MuSA.RT, Opus 1, a multimodal interactive system for music analysis and visualization using the Spiral Array model. Real-time MIDI input from a live performance is proc...
TPHOL
1999
IEEE
13 years 11 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
JAIR
2010
13 years 6 months ago
2010
To tackle the vocabulary problem in conversational systems, previous work has applied unsupervised learning approaches on co-occurring speech and eye gaze during interaction to au...
ASPDAC
1998
ACM
13 years 11 months ago
1998
ACM
Functional debugging often dominates the time and cost of the ASIC system development, mainly due to the limited controllability and observability of the storage elements in desig...
HAPTICS
2006
IEEE
14 years 1 months ago
2006
IEEE
Conventional cell manipulation techniques do not have the ability to provide force feedback to an operator. Poor control of cell injection force is one of the primary reasons for l...