Sciweavers

655 search results - page 26 / 131
» Performance Optimization and Evaluation for Linear Codes
Sort
View
AUTOMATICA
2010
123views more  AUTOMATICA 2010»
13 years 7 months ago
On the computation of linear model predictive control laws
Finite-time optimal control problems with quadratic performance index for linear systems with linear constraints can be transformed into Quadratic Programs (QPs). Model Predictive ...
Francesco Borrelli, Mato Baotic, Jaroslav Pekar, G...
IROS
2007
IEEE
122views Robotics» more  IROS 2007»
14 years 3 months ago
Design and experimental evaluation of rotor speed regulators for model helicopters in a test bench
— This work is focused on the design of a rotor speed regulator for small-scale helicopters. A nominal model identification for the main rotor is performed using a hybrid proced...
Alexandre Simões Martins, Antônio Pad...
MICRO
2005
IEEE
125views Hardware» more  MICRO 2005»
14 years 2 months ago
Improving Region Selection in Dynamic Optimization Systems
The performance of a dynamic optimization system depends heavily on the code it selects to optimize. Many current systems follow the design of HP Dynamo and select a single interp...
David Hiniker, Kim M. Hazelwood, Michael D. Smith
ICML
2009
IEEE
14 years 10 months ago
Online dictionary learning for sparse coding
Sparse coding--that is, modelling data vectors as sparse linear combinations of basis elements--is widely used in machine learning, neuroscience, signal processing, and statistics...
Julien Mairal, Francis Bach, Jean Ponce, Guillermo...
CADE
2003
Springer
14 years 9 months ago
Optimizing Higher-Order Pattern Unification
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...
Brigitte Pientka, Frank Pfenning