3394 search results - page 42 / 679 » A Modal Model of Memory |
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
Being able to animate a speech production model with articulatory data would open applications in many domains. In this paper, we first consider the problem of acquiring articula...
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...
NIPS
2001
13 years 11 months ago
2001
The deep layers of the superior colliculus (DSC) integrate multisensory input and initiate an orienting response toward the source of stimulation. Multisensory response enhancemen...
AAI
2004
13 years 9 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
STACS
2010
Springer
14 years 4 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...