Sciweavers

CORR
2010
Springer
129views Education» more  CORR 2010»
13 years 9 months ago
sTeXIDE: An Integrated Development Environment for sTeX Collections
Authoring documents in MKM formats like OMDoc is a very tedious task. After years of working on a semantically annotated corpus of STEX documents (GenCS), we identified a set of co...
Constantin Jucovschi, Michael Kohlhase
CORR
2010
Springer
225views Education» more  CORR 2010»
13 years 9 months ago
Analysis of the Security of BB84 by Model Checking
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
Mohamed Elboukhari, Mostafa Azizi, Abdelmalek Aziz...
CORR
2010
Springer
69views Education» more  CORR 2010»
13 years 9 months ago
Towards Optimal Bayesian Algorithmic Mechanism Design
Xiaohui Bei, Zhiyi Huang
CORR
2010
Springer
66views Education» more  CORR 2010»
13 years 9 months ago
Morphonette: a morphological network of French
This paper describes in details the first version of Morphonette, a new French morphological resource and a new radically lexeme-based method of morphological analysis. This resea...
Nabil Hathout
CORR
2010
Springer
45views Education» more  CORR 2010»
13 years 9 months ago
Threshold effects in parameter estimation as phase transitions in statistical mechanics
Threshold effects in the estimation of parameters of non
Neri Merhav
CORR
2010
Springer
99views Education» more  CORR 2010»
13 years 9 months ago
Filter Bank Fusion Frames
In this paper we characterize and construct novel oversampled filter banks implementing fusion frames. A fusion frame is a sequence of orthogonal projection operators whose sum can...
Amina Chebira, Matthew Fickus, Dustin G. Mixon
CORR
2010
Springer
55views Education» more  CORR 2010»
13 years 9 months ago
Chains-into-Bins Processes
Tugkan Batu, Petra Berenbrink, Colin Cooper
CORR
2010
Springer
93views Education» more  CORR 2010»
13 years 9 months ago
Generalized roof duality and bisubmodular functions
Consider a convex relaxation ^f of a pseudo-boolean function f. We say that the relaxation is totally half-integral if ^f(x) is a polyhedral function with halfintegral extreme poi...
Vladimir Kolmogorov
CORR
2010
Springer
70views Education» more  CORR 2010»
13 years 9 months ago
Simultaneous communication in noisy channels
A sender wishes to broadcast a message of length n over an alphabet of size k to r users, where each user i, 1 i r should be able to receive one of possible mi messages. The cha...
Amit Weinstein
CORR
2010
Springer
48views Education» more  CORR 2010»
13 years 9 months ago
Min-Rank Conjecture for Log-Depth Circuits
A completion of an m-by-n matrix A with entries in {0,1,} is obtained by setting all -entries to
Stasys Jukna, Georg Schnitger