Sciweavers

CORR
2011
Springer
148views Education» more  CORR 2011»
14 years 11 months ago
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)
extended abstract we report on work in progress carried out within the framework of the NWO project Realising Optimal Sharing. Instead of discussing optimal reduction in the λ-cal...
Jan Rochel, Clemens Grabmayer
CONIELECOMP
2011
IEEE
14 years 11 months ago
DSRP: Distributed SensorWeb Routing Protocol
—We propose a new multi-hop routing protocol for wireless sensor networks, suited for monitoring and control applications. The aim of this research is to adapt flat and hierarch...
Abhinav Valada, David Kohanbash, George Kantor
CISS
2011
IEEE
14 years 11 months ago
The Restricted Isometry Property for block diagonal matrices
—In compressive sensing (CS), the Restricted Isometry Property (RIP) is a powerful condition on measurement operators which ensures robust recovery of sparse vectors is possible ...
Han Lun Yap, Armin Eftekhari, Michael B. Wakin, Ch...
CISS
2011
IEEE
14 years 11 months ago
Noncoherent compressive sensing with application to distributed radar
—We consider a multi-static radar scenario with spatially dislocated receivers that can individually extract delay information only. Furthermore, we assume that the receivers are...
Christian R. Berger, Josee M. F. Moura
CISS
2011
IEEE
14 years 11 months ago
New hypothesis testing-based methods for fault detection for smart grid systems
Abstract—Fault detection plays an indispensable role in ensuring the security of smart grid systems. Based on the dynamics of the generators, we show the time evolution of the sm...
Qian He, Rick S. Blum
211
Voted
CISS
2011
IEEE
14 years 11 months ago
Improving aggregated forecasts of probability
—The Coherent Approximation Principle (CAP) is a method for aggregating forecasts of probability from a group of judges by enforcing coherence with minimal adjustment. This paper...
Guanchun Wang, Sanjeev R. Kulkarni, H. Vincent Poo...
CISS
2011
IEEE
14 years 11 months ago
Stable manifold embeddings with operators satisfying the Restricted Isometry Property
—Signals of interests can often be thought to come from a low dimensional signal model. The exploitation of this fact has led to many recent interesting advances in signal proces...
Han Lun Yap, Michael B. Wakin, Christopher J. Roze...
CIDM
2011
IEEE
14 years 11 months ago
A GPU-based interactive bio-inspired visual clustering
Abstract—In this work, we present an interactive visual clustering approach for the exploration and analysis of vast volumes of data. The proposed approach is based on a bio-insp...
Ugo Erra, Bernardino Frola, Vittorio Scarano
CGO
2011
IEEE
14 years 11 months ago
Language and compiler support for auto-tuning variable-accuracy algorithms
—Approximating ideal program outputs is a common technique for solving computationally difficult problems, for adhering to processing or timing constraints, and for performance ...
Jason Ansel, Yee Lok Wong, Cy P. Chan, Marek Olsze...
CGO
2011
IEEE
14 years 11 months ago
Phase-based tuning for better utilization of performance-asymmetric multicore processors
—The latest trend towards performance asymmetry among cores on a single chip of a multicore processor is posing new challenges. For effective utilization of these performanceasym...
Tyler Sondag, Hridesh Rajan