3256 search results - page 187 / 652 » Learning Linear Transformations |
127
click to vote
AUTOMATICA
2008
15 years 2 months ago
2008
In this paper we show how the symmetry present in many linear systems can be exploited to significantly reduce the computational effort required for controller synthesis. This app...
APAL
2005
15 years 2 months ago
2005
We prove a full completeness theorem for multiplicative-additive linear logic (i.e. MALL) using a double gluing construction applied to Ehrhard's -autonomous category of hype...
119
click to vote
LISP
2002
15 years 2 months ago
2002
We investigate call-by-value continuation-passing style transforms that continuations. Altering a single variable in the translation of -abstraction gives rise to different control...
111
click to vote
TASLP
2010
14 years 9 months ago
2010
Abstract--We consider inference in a general data-driven object-based model of multichannel audio data, assumed generated as a possibly underdetermined convolutive mixture of sourc...
135
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— Local linearizations are ubiquitous in the control of robotic systems. Analytical methods, if available, can be used to obtain the linearization, but in complex robotics system...