Sciweavers

27 search results - page 1 / 6
» Contextual Modals
Sort
View
CONTEXT
2005
Springer
14 years 1 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
TOCL
2008
78views more  TOCL 2008»
13 years 7 months ago
Contextual modal type theory
Aleksandar Nanevski, Frank Pfenning, Brigitte Pien...
ENTCS
2007
102views more  ENTCS 2007»
13 years 7 months ago
Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
Brigitte Pientka
CORR
2011
Springer
166views Education» more  CORR 2011»
13 years 2 months ago
Reduction of Many-valued into Two-valued Modal Logics
In this paper we develop a 2-valued reduction of many-valued logics, into 2-valued multi-modal logics. Such an approach is based on the contextu
Zoran Majkic
ICIP
2009
IEEE
14 years 8 months ago
Combining Multimodal And Temporal Contextual Information For Semantic Video Analysis
In this paper, a graphical modeling-based approach to semantic video analysis is presented for jointly realizing modality fusion and temporal context exploitation. Overall, the ex...