2138 search results - page 121 / 428 » Logical Step-Indexed Logical Relations |
CONCUR
2010
Springer
14 years 11 months ago
2010
Springer
We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history p...
89
Voted
SEFM
2009
IEEE
15 years 5 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...
ICASSP
2007
IEEE
15 years 4 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...
126
Voted
ICNC
2005
Springer
15 years 3 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...
81
Voted
RTA
2005
Springer
15 years 3 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...