Sciweavers

CORR
2010
Springer
95views Education» more  CORR 2010»
13 years 11 months ago
Evaluating Call-By-Need on the Control Stack
Abstract. Ariola and Felleisen's call-by-need -calculus replaces a variable occurrence with its value at the last possible moment. To support this gradual notion of substituti...
Stephen Chang, David Van Horn, Matthias Felleisen
CORR
2010
Springer
167views Education» more  CORR 2010»
13 years 11 months ago
Performance Analysis of an Improved Graded Precision Localization Algorithm for Wireless Sensor Networks
In this paper an improved version of the graded precision localization algorithm GRADELOC, called IGRADELOC is proposed. The performance of GRADELOC is dependent on the regions fo...
Sanat Sarangi, Subrat Kar
CORR
2010
Springer
125views Education» more  CORR 2010»
13 years 11 months ago
Tree Languages Defined in First-Order Logic with One Quantifier Alternation
We study tree languages that can be defined in 2. These are tree languages definable by a first-order formula whose quantifier prefix is , and simultaneously by a first-order for...
Mikolaj Bojanczyk, Luc Segoufin
CORR
2010
Springer
84views Education» more  CORR 2010»
13 years 11 months ago
Left-Inverses of Fractional Laplacian and Sparse Stochastic Processes
The fractional Laplacian (-)/2 commutes with the primary coordination transformations in the Euclidean space Rd: dilation, translation and rotation, and has tight link to splines, ...
Qiyu Sun, Michael Unser
CORR
2010
Springer
94views Education» more  CORR 2010»
13 years 11 months ago
Is Witsenhausen's counterexample a relevant toy?
This paper answers a question raised by Doyle on the relevance of the Witsenhausen counterexample as a toy decentralized control problem. The question has two sides, the first of w...
Pulkit Grover, Anant Sahai
CORR
2010
Springer
99views Education» more  CORR 2010»
13 years 11 months ago
INDECT Advanced Security Requirements
This paper reviews the requirements for the security mechanisms that are currently being developed in the framework of the European research project INDECT. An overview of features...
Manuel Urueña, Petr Machnik, Maria Martinez...
CORR
2010
Springer
122views Education» more  CORR 2010»
13 years 11 months ago
Facility Location with Client Latencies: Linear-Programming based Techniques for Minimum-Latency Problems
We introduce a problem that is a common generalization of the uncapacitated facility location (UFL) and minimum latency (ML) problems, where facilities not only need to be opened ...
Deeparnab Chakrabarty, Chaitanya Swamy
CORR
2010
Springer
168views Education» more  CORR 2010»
13 years 11 months ago
Network evolution and QOS provisioning for integrated femtocell/macrocell networks
Integrated femtocell/macrocell networks, comprising a conventional cellular network overlaid with femtocells, offer an economically appealing way to improve coverage, quality of s...
Mostafa Zaman Chowdhury, Yeong Min Jang, Zygmunt J...
CORR
2010
Springer
110views Education» more  CORR 2010»
13 years 11 months ago
Predicting the Impact of Measures Against P2P Networks on the Transient Behaviors
The paper has two objectives. The first is to study rigorously the transient behavior of some P2P networks where information is replicated and disseminated according to an epidemic...
Eitan Altman, Philippe Nain, Adam Shwartz, Yuedong...
CORR
2010
Springer
140views Education» more  CORR 2010»
13 years 11 months ago
Performance Bounds and Design Criteria for Estimating Finite Rate of Innovation Signals
In this paper, we consider the problem of estimating finite rate of innovation (FRI) signals from noisy measurements, and specifically analyze the interaction between FRI technique...
Zvika Ben-Haim, Tomer Michaeli, Yonina C. Eldar