1743 search results - page 85 / 349 » Generalized Modal Satisfiability |
90
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
99
Voted
RSCTC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper focuses on the use and interpretation of approximate databases where both rough sets and indiscernibility partitions are generalized and replaced by approximat...
96
Voted
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We study the problem of multimodal dimensionality reduction assuming that data samples can be missing at training time, and not all data modalities may be present at appl...
115
Voted
ICMI
2009
Springer
15 years 5 months ago
2009
Springer
Multimodal interfaces combining natural modalities such as speech and touch with dynamic graphical user interfaces can make it easier and more effective for users to interact wit...
128
Voted
TABLEAUX
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...