Sciweavers

27692 search results - page 307 / 5539
» Where is ...
Sort
View
TBILLC
2007
Springer
15 years 8 months ago
Inquisitive Semantics: Two Possibilities for Disjunction
Abstract. We introduce an inquisitive semantics for a language of propositional logic, where the interpretation of disjunction is the source of inquisitiveness. Indicative conditio...
Jeroen Groenendijk
TCC
2007
Springer
102views Cryptology» more  TCC 2007»
15 years 8 months ago
Parallel Repetition of Computationally Sound Protocols Revisited
Abstract. Parallel repetition is well known to reduce the error probability at an exponential rate for single- and multi-prover interactive proofs. Bellare, Impagliazzo and Naor (1...
Krzysztof Pietrzak, Douglas Wikström
AHS
2006
IEEE
93views Hardware» more  AHS 2006»
15 years 8 months ago
An FPGA Implemented Processor Architecture with Adaptive Resolution
Reconfigurable software has been applied for a long time. Reconfigurable technology also provides possibility for reconfiguring hardware but this has not been much exploited so...
Jim Torresen, Jonas Jakobsen
CIBCB
2006
IEEE
15 years 8 months ago
Iris Recognition Algorithm Optimized for Hardware Implementation
: Iris recognition is accepted as one of the most efficient biometric method. Implementing this method to the practical system requires the special image preprocessing where the ir...
Kamil Grabowski, Wojciech Sankowski, Malgorzata Na...
ICMCS
2006
IEEE
141views Multimedia» more  ICMCS 2006»
15 years 8 months ago
A Cross-Layered Peer-to-Peer Architecture for Wireless Mobile Networks
In this paper, we propose a novel peer-to-peer architecture for wireless mobile networks where a cross-layered gossiplike protocol is the heart of the architecture. The goal of th...
Mohammad Mursalin Akon, Sagar Naik, Ajit Singh, Xu...