551 search results - page 30 / 111 » Realizability of Real-Time Logics |
205
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
: Speech recognition is always looked upon as a fascinating field in human computer interaction. It is one of the fundamental steps towards understanding human cognition and their ...
116
click to vote
MST
2008
15 years 5 months ago
2008
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
117
click to vote
VLSID
2006
IEEE
16 years 5 months ago
2006
IEEE
In this paper, a new realization for logic functions, namely Reversible Programmable Logic Array (RPLA), has been proposed. The proposed realization has the advantage of regularit...
130
click to vote
LFCS
2007
Springer
15 years 11 months ago
2007
Springer
LP can be seen as a logic of knowledge with justifications. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikk...
137
Voted
FUIN
2008
15 years 5 months ago
2008
This article investigates Krivine's realizability interpretation of classical second-order arithmetic and its recent extension handling countable choice. We will start by pre...