CORR
2016
Springer
8 years 7 months ago
2016
Springer
—This paper describes a system that gives a mobile robot the ability to perform automatic speech recognition with simultaneous speakers. A microphone array is used along with a r...
CORR
2016
Springer
8 years 7 months ago
2016
Springer
— This paper presents an optimal scheduling model for a microgrid participating in the electricity distribution market in interaction with the Distribution Market Operator (DMO)....
CORR
2016
Springer
8 years 7 months ago
2016
Springer
Abstract—Measuring the Time delay of Arrival (TDOA) between a set of sensors is the basic setup for many applications, such as localization or signal beamforming. This paper pres...
CORR
2016
Springer
8 years 7 months ago
2016
Springer
We propose a new framework for black-box convex optimization which is well-suited for situations where gradient computations are expensive. We derive a new method for this framewo...
CORR
2016
Springer
8 years 7 months ago
2016
Springer
—Model checking is a powerful method widely explored in formal verification. Given a model of a system, e.g. a Kripke structure, and a formula specifying its expected behavior, ...
CORR
2016
Springer
8 years 7 months ago
2016
Springer
Word completion and word prediction are two important phenomena in typing that benefit users who type using keyboard or other similar devices. They can have profound impact on the...
CORR
2016
Springer
8 years 7 months ago
2016
Springer
The goal of this paper is to present a non-iterative and more importantly an extremely fast algorithm to reconstruct images from compressively sensed (CS) random measurements. To ...
CORR
2016
Springer
8 years 7 months ago
2016
Springer
In this paper, a communication-efficient multi-processor compressed sensing framework based on the approximate message passing algorithm is proposed. We perform lossy compression...
CORR
2016
Springer
8 years 7 months ago
2016
Springer
: In this paper we show that the dramatic increase in the number of research articles indexed in the Web of Science database impacts the commonly observed distributions of citation...
CORR
2016
Springer
8 years 7 months ago
2016
Springer
We prove that every triangle-free planar graph can have its set of vertices partitioned into two sets, one inducing a forest and the other a forest with maximum degree at most 5. ...