3394 search results - page 107 / 679 » A Modal Model of Memory |
LICS
2009
IEEE
14 years 4 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
The fusion of information from heterogenous sensors is crucial to the effectiveness of a multimodal system. Noise affect the sensors of different modalities independently. A good ...
VL
2006
IEEE
14 years 4 months ago
2006
IEEE
Reality-based interfaces (RBIs) offer the promise of natural interfaces that are intuitive to use. By allowing users to leverage their innate skills and knowledge about the real-p...
ICMCS
2005
IEEE
14 years 3 months ago
2005
IEEE
The paper presents the framework of a special session that aims at investigating the best possible techniques for multimodal emotion recognition and expressivity analysis in human...
TABLEAUX
1999
Springer
14 years 2 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...