Sciweavers

3394 search results - page 15 / 679
» A Modal Model of Memory
Sort
View
TASLP
2010
95views more  TASLP 2010»
13 years 8 months ago
A Modal-Based Real-Time Piano Synthesizer
—This paper presents a real-time piano synthesizer where both the transverse and longitudinal motion of the string is modeled by modal synthesis, resulting in a coherent and high...
Balázs Bank, Stefano Zambon, Federico Fonta...
CSL
2001
Springer
14 years 2 months ago
Categorical and Kripke Semantics for Constructive S4 Modal Logic
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
Natasha Alechina, Michael Mendler, Valeria de Paiv...
SLP
1994
77views more  SLP 1994»
13 years 11 months ago
Modal Event Calculus
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
Iliano Cervesato, Luca Chittaro, Angelo Montanari
CONTEXT
2005
Springer
14 years 3 months ago
Contextual Modals
In a series of recent articles Angelika Kratzer has argued that the standard account of modality along Kripkean lines is inadequate in order to represent context-dependent modals. ...
Horacio L. Arló-Costa, William Taysom
ICMCS
2005
IEEE
173views Multimedia» more  ICMCS 2005»
14 years 3 months ago
A Multi-Modal Mixed-State Dynamic Bayesian Network for Robust Meeting Event Recognition from Disturbed Data
In this work we present a novel multi-modal mixed-state dynamic Bayesian network (DBN) for robust meeting event classification. The model uses information from lapel microphones,...
Marc Al-Hames, Gerhard Rigoll