1743 search results - page 122 / 349 » Generalized Modal Satisfiability |
106
click to vote
ISM
2008
IEEE
15 years 7 months ago
2008
IEEE
We propose a multimodal speaker segmentation algorithm with two main contributions: First, we suggest a hidden Markov model architecture that performs fusion of the three modaliti...
112
click to vote
AH
2008
Springer
15 years 7 months ago
2008
Springer
Two groups of 8 participants experimented two enhancements of standard online help for the general public during one hour: adaptive proactive (AP) assistance and multimodal user su...
CALCO
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
122
Voted
ICALP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
ICMI
2007
Springer
15 years 7 months ago
2007
Springer
This paper explores using non-linguistic vocalization as an additional modality to augment digital pen input on a tablet computer. We investigated this through a set of novel inte...