Sciweavers

4674 search results - page 783 / 935
» cases 2008
Sort
View
CORR
2008
Springer
112views Education» more  CORR 2008»
15 years 6 months ago
Canonical calculi with (n,k)-ary quantifiers
Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...
Arnon Avron, Anna Zamansky
CORR
2008
Springer
99views Education» more  CORR 2008»
15 years 6 months ago
An Ontology-based Knowledge Management System for Industry Clusters
Knowledge-based economy forces companies in every country to group together as a cluster in order to maintain their competitiveness in the world market. The cluster development re...
Pradorn Sureephong, Nopasit Chakpitak, Yacine Ouzr...
CORR
2008
Springer
166views Education» more  CORR 2008»
15 years 6 months ago
Information-Theoretically Secure Voting Without an Honest Majority
We present three voting protocols with unconditional privacy and information-theoretic correctness, without assuming any bound on the number of corrupt voters or voting authorities...
Anne Broadbent, Alain Tapp
CORR
2008
Springer
74views Education» more  CORR 2008»
15 years 6 months ago
On Certain Large Random Hermitian Jacobi Matrices with Applications to Wireless Communications
In this paper we study the spectrum of certain large random Hermitian Jacobi matrices. These matrices are known to describe certain communication setups. In particular we are inte...
Nathan Levy, Oren Somekh, Shlomo Shamai, Ofer Zeit...
CORR
2008
Springer
92views Education» more  CORR 2008»
15 years 6 months ago
L2 Orthogonal Space Time Code for Continuous Phase Modulation
To combine the high power efficiency of Continuous Phase Modulation (CPM) with either high spectral efficiency or enhanced performance in low Signal to Noise conditions, some auth...
Matthias Hesse, Jérôme Lebrun, Luc De...