Sciweavers

2075 search results - page 228 / 415
» Dynamics based control with an application to area-sweeping ...
Sort
View
ICIP
2002
IEEE
16 years 8 months ago
Video receiver based real-time estimation of channel capacity
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...
Dmitri Loguinov, Hayder Radha
196
Voted
VMCAI
2009
Springer
16 years 1 months ago
Synthesizing Switching Logic Using Constraint Solving
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...
Ankur Taly, Sumit Gulwani, Ashish Tiwari
SASO
2008
IEEE
16 years 1 months ago
Bottom-Up Self-Organization of Unpredictable Demand and Supply under Decentralized Power Management
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...
156
Voted
AUTOMATICA
2007
57views more  AUTOMATICA 2007»
15 years 7 months ago
Local feedback passivation of nonlinear discrete-time systems through the speed-gradient algorithm
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...
Eva M. Navarro-López
IPM
2007
84views more  IPM 2007»
15 years 7 months ago
Multi-candidate reduction: Sentence compression as a tool for document summarization tasks
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...