1743 search results - page 36 / 349 » Generalized Modal Satisfiability |
CHI
2004
ACM
14 years 10 months ago
2004
ACM
This chapter introduces the concept of multi-modal interaction and our findings related to the development of biomedical applications for two different projection modalities: virtu...
CHI
2010
ACM
14 years 4 months ago
2010
ACM
Most interactive tasks engage more than one of the user’s exteroceptive senses and are therefore multimodal. In real-world situations with multitasking and distractions, the key...
FOSSACS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
EUSFLAT
2003
13 years 11 months ago
2003
Intuitionistic Fuzzy Sets Theory is based on a wrong nominalistic (terminological) assumption. It is defined as “intuitionistic” a negation which does not satisfy usual prope...
TIT
1998
13 years 9 months ago
1998
The order bound on generalized Hamming weights is introduced in a general setting of codes on varieties which comprises both the one point geometric Goppa codes as the q-ary Reed-M...