105
Voted
CORR
2016
Springer
10 years 1 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...
98
Voted
CORR
2016
Springer
10 years 1 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)....
95
Voted
CORR
2016
Springer
10 years 1 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
10 years 1 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...
116
Voted
CORR
2016
Springer
10 years 1 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, ...