2432 search results - page 168 / 487 » Cryptographic logical relations |
105
Voted
SEFM
2009
IEEE
15 years 7 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
104
Voted
ICASSP
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper describes a multi-biometric verification system that is fully adaptive to variability in data acquisition using fuzzy logic decision fusion. The system uses fuzzy logic...
105
click to vote
LPAR
2007
Springer
15 years 7 months ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
149
click to vote
ICNC
2005
Springer
15 years 6 months ago
2005
Springer
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
96
Voted
RTA
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we consider the monadic second order logic (MSO) and two of its extensions, namely Counting MSO (CMSO) and Presburger MSO (PMSO), interpreted over unranked and unord...