Sciweavers

3394 search results - page 21 / 679
» A Modal Model of Memory
Sort
View
LICS
2006
IEEE
14 years 3 months ago
PSPACE Bounds for Rank-1 Modal Logics
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
Lutz Schröder, Dirk Pattinson
TARK
1998
Springer
14 years 2 months ago
A Modal Logic of Information Change
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
Joeri Engelfriet, Yde Venema
SOSYM
2011
13 years 4 months ago
Exploring inconsistencies between modal transition systems
In this document I present the work done under the supervision of Sebastian Uchitel between March and July 2008, in the research team of the Laboratorio de Fundamentos y Herramien...
Mathieu Sassolas, Marsha Chechik, Sebastián...
ICASSP
2009
IEEE
14 years 4 months ago
Modal expansion of HRTFs: Continuous representation in frequency-range-angle
This paper proposes a continuous HRTF representation in both 3D spatial and frequency domains. The method is based on the acoustic reciprocity principle and a modal expansion of t...
Wen Zhang, Thushara D. Abhayapala, Rodney A. Kenne...
AMDO
2004
Springer
14 years 3 months ago
Improvement of Modal Matching Image Objects in Dynamic Pedobarography Using Optimization Techniques
Abstract. The paper presents an approach for matching objects in dynamic pedobarography image sequences, based on finite element modeling and modal analysis. The determination of c...
Luísa Ferreira Bastos, João Manuel R...