2573 search results - page 95 / 515 » Combinations of Modal Logics |
109
click to vote
AI
2007
Springer
15 years 4 months ago
2007
Springer
Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propo...
121
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
— A radiation hardening technique for combinational logic circuits is described. The key idea is to exploit the asymmetric logical masking probabilities of gates, hardening gates...
118
click to vote
CSL
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...
124
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Multi-modal person authentication systems can achieve higher performance and robustness by combining different modalities. The current fusion strategies of different modalities ar...
118
click to vote
FMOODS
2008
15 years 5 months ago
2008
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...