1743 search results - page 159 / 349 » Generalized Modal Satisfiability |
120
click to vote
ISIPTA
2003
IEEE
15 years 8 months ago
2003
IEEE
Independence models induced by some uncertainty measures (e.g. conditional probability, possibility) do not obey the usual graphoid properties, since they do not satisfy the symme...
116
Voted
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...
145
click to vote
SSIAI
2002
IEEE
15 years 8 months ago
2002
IEEE
We develop a novel measure of joint time-frequency localization applicable to equivalence classes of finite-length discrete signals, which are of increasing importance in modern ...
139
Voted
ICAISC
2010
Springer
15 years 8 months ago
2010
Springer
Recently, the distributivity of fuzzy implications over t-norms, t-conorms and uninorms was studied in many articles. In this paper we characterize functions which satisfy one of ...
110
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— We consider the problem of attitude stabilization using exclusively visual sensory input, and we look for a solution which can satisfy the constraints of a “bio-plausible” ...