3394 search results - page 20 / 679 » A Modal Model of Memory |
174
Voted
CALCO
2011
Springer
14 years 2 days ago
2011
Springer
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...
JLP
2008
15 years 2 days ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
94
Voted
TARK
2005
Springer
15 years 5 months ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
89
Voted
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
We present topic-regression multi-modal Latent Dirichlet Allocation (tr-mmLDA), a novel statistical topic model for the task of image and video annotation. At the heart of our new...
90
Voted
AIML
2006
15 years 1 months ago
2006
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...