392 search results - page 5 / 79 » Conversion by Evaluation |
ICASSP
2008
IEEE
14 years 1 months ago
2008
IEEE
There has been little work that attempts to improve the recognition of spontaneous, conversational speech by adding information from a loosely-coupled modality. This study investi...
ICMI
2004
Springer
14 years 22 days ago
2004
Springer
One of the implicit assumptions of multi-modal interfaces is that human-computer interaction is significantly facilitated by providing multiple input and output modalities. Surpri...
PADL
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
DSVIS
2003
Springer
14 years 17 days ago
2003
Springer
A number of design models have been proposed in the area of Human-Computer Interaction (HCI) to support user-centered system design. el, abstract task models and detailed interface...
LREC
2008
13 years 8 months ago
2008