1284 search results - page 49 / 257 » On Helping and Interactive Proof Systems |
CHI
1996
ACM
14 years 2 months ago
1996
ACM
MailCall is a telephone-based messaging system using speech recognition and synthesis. Its nonvisual interaction approaches the usability of visual systems through a combination o...
ICALT
2007
IEEE
14 years 4 months ago
2007
IEEE
We developed AirTransNote, an interactive learning system augmented by digital pens and PDAs for each student. All notes written on regular paper sheets are immediately digitized ...
CHI
2006
ACM
13 years 12 months ago
2006
ACM
Speech Graffiti is a standardized interaction protocol for spoken dialog systems designed to address some common difficulties with ASR. We have proposed a strategy of shaping to h...
DSVIS
2000
Springer
14 years 2 months ago
2000
Springer
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...
AAAI
1998
13 years 11 months ago
1998
Physical systemsoften exhibit complexnonlinear behaviors in continuoustime at multiple temporaland spatial scales. Abstractionssimplify behavioralanalysis and help focus on domina...