This paper examines the problem of real-time estimation of the capacity, which is also known as the bottleneck bandwidth, of a network path using end-to-end measurements in a vide...
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
In the DEZENT1 project we had established a distributed base model for negotiating electric power from widely distributed (renewable) power sources on multiple levels in successio...
Horst F. Wedde, Sebastian Lehnhoff, Christian Reht...
This paper proposes a method in order to render passive discrete-time nonlinear multiple-input multiple-output (MIMO) systems which are affine in control. The methodology is base...
This article examines the application of two single-document sentence compression techniques to the problem of multi-document summarization—a “parse-and-trim” approach and a...
David M. Zajic, Bonnie J. Dorr, Jimmy J. Lin, Rich...