Sciweavers

CORR
2010
Springer
57views Education» more  CORR 2010»
13 years 7 months ago
Balancing congestion for unsplittable routing on a bidirected ring
Given a bidirected ring with capacities and a demand graph, we present an approximate solution to the problem of nding the minimum such that there exists a feasible routing of the...
Johanna Becker, Zsolt Csizmadia, Alexandre Laugier...
CORR
2010
Springer
179views Education» more  CORR 2010»
13 years 7 months ago
The DMM bound: multivariate (aggregate) separation bounds
In this paper we derive aggregate separation bounds, named after Davenport-MahlerMignotte (DMM), on the isolated roots of polynomial systems, specifically on the minimum distance ...
Ioannis Z. Emiris, Bernard Mourrain, Elias P. Tsig...
CORR
2010
Springer
57views Education» more  CORR 2010»
13 years 7 months ago
The Limits of Error Correction with lp Decoding
An unknown vector f in Rn can be recovered from corrupted measurements y = Af + e where Am
Meng Wang, Weiyu Xu, Ao Tang
CORR
2010
Springer
155views Education» more  CORR 2010»
13 years 7 months ago
A Proof Theoretic Analysis of Intruder Theories
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...
Alwen Tiu, Rajeev Goré, Jeremy E. Dawson
CORR
2010
Springer
221views Education» more  CORR 2010»
13 years 7 months ago
Reduction of Feature Vectors Using Rough Set Theory for Human Face Recognition
In this paper we describe a procedure to reduce the size of the input feature vector. A complex pattern recognition problem like face recognition involves huge dimension of input ...
Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nas...
CORR
2010
Springer
96views Education» more  CORR 2010»
13 years 7 months ago
Construction of Codes for Network Coding
Andreas-Stephan Elsenhans, Axel Kohnert, Alfred Wa...
CORR
2010
Springer
124views Education» more  CORR 2010»
13 years 7 months ago
Lattice model refinement of protein structures
To find the best lattice model representation of a given full atom protein structure is a hard computational problem. Several greedy methods have been suggested where results are ...
Martin Mann, Alessandro Dal Palù
CORR
2010
Springer
161views Education» more  CORR 2010»
13 years 7 months ago
CrystalGPU: Transparent and Efficient Utilization of GPU Power
General-purpose computing on graphics processing units (GPGPU) has recently gained considerable attention in various domains such as bioinformatics, databases and distributed comp...
Abdullah Gharaibeh, Samer Al-Kiswany, Matei Ripean...