304 search results - page 8 / 61 » A Multi-Context System Computing Modalities |
CHI
1993
ACM
13 years 12 months ago
1993
ACM
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
Due to its semi-rigid shape and robustness against change over time, the ear has become an increasingly popular biometric feature. It has been shown that combining individual biom...
STACS
2001
Springer
14 years 5 days ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
ICPR
2010
IEEE
14 years 1 months ago
2010
IEEE
The information of the psycho-physical state of the subject is becoming a valuable addition to the modern audio or video recognition systems. As well as enabling a better user exp...
STACS
1999
Springer
14 years 12 hour ago
1999
Springer
This paper presents a completeness result for a first-order interval temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities. NL can support the spe...