Sciweavers

203
Voted
CORR
2011
Springer
157views Education» more  CORR 2011»
14 years 11 months ago
Orphan-Free Anisotropic Voronoi Diagrams
We describe conditions under which an appropriately-defined anisotropic Voronoi diagram of a set of sites in Euclidean space is guaranteed to be composed of connected cells in an...
Guillermo D. Cañas, Steven J. Gortler
CORR
2011
Springer
175views Education» more  CORR 2011»
14 years 11 months ago
Cooperative Defense Against Pollution Attacks in Network Coding Using SpaceMac
Abstract—Intra-session network coding is known to be vulnerable to pollution attacks. In this work, first, we introduce a novel homomorphic MAC scheme called SpaceMac, which all...
Anh Le, Athina Markopoulou
CORR
2011
Springer
162views Education» more  CORR 2011»
14 years 11 months ago
Homology and Robustness of Level and Interlevel Sets
Given a function f : X → R on a topological space, we consider the preimages of intervals and their homology groups and show how to read the ranks of these groups from the exten...
Paul Bendich, Herbert Edelsbrunner, Dmitriy Morozo...
CORR
2011
Springer
166views Education» more  CORR 2011»
14 years 11 months ago
A family of fast-decodable MIDO codes from crossed-product algebras over Q
—Multiple Input Double Output (MIDO) asymmetric space-time codes for 4 transmit antennas and 2 receive antennas can be employed in the downlink from base stations to portable dev...
Laura Luzzi, Frédérique E. Oggier
CORR
2011
Springer
100views Education» more  CORR 2011»
14 years 11 months ago
TCP Relentless Congestion Control Model
Rémi Diana, Emmanuel Lochin
219
Voted
CORR
2011
Springer
165views Education» more  CORR 2011»
14 years 11 months ago
Tight Upper Bounds for Streett and Parity Complementation
Complementation of finite automata on infinite words is not only a fundamental problem in automata theory, but also serves as a cornerstone for solving numerous decision problem...
Yang Cai, Ting Zhang
CORR
2011
Springer
210views Education» more  CORR 2011»
14 years 11 months ago
Blind source separation of convolutive mixtures of non circular linearly modulated signals with unknown baud rates
This paper is devoted to the blind separation of convolutive mixtures of possibly non circular linearly modulated signals with unknown (and possibly different) baud rates and carr...
E. Florian, Antoine Chevreuil, Philippe Loubaton
CORR
2011
Springer
170views Education» more  CORR 2011»
14 years 11 months ago
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
Andreas Abel, Thierry Coquand, Miguel Pagano
CORR
2011
Springer
157views Education» more  CORR 2011»
14 years 11 months ago
Convex Hull of Imprecise Points in o(n \log{n}) Time after Preprocessing
Motivated by the desire to cope with data imprecision [8], we study methods for preprocessing a set of planar regions such that whenever we are given a set of points, each of whic...
Esther Ezra, Wolfgang Mulzer
CORR
2011
Springer
139views Education» more  CORR 2011»
14 years 11 months ago
On the set of imputations induced by the k-additive core
Michel Grabisch, Tong li