Sciweavers

3373 search results - page 299 / 675
» Linear transformations on codes
Sort
View
CDC
2009
IEEE
143views Control Systems» more  CDC 2009»
15 years 7 months ago
Extended nonlinear observable canonical form for multi-output dynamical systems
— In this paper, we give sufficient conditions which guarantee the existence of a diffeomorphism in an extended state space that allows to transform a multi-output nonlinear dyn...
Driss Boutat, Krishna Busawon
NAACL
1994
15 years 5 months ago
Microphone-Independent Robust Signal Processing Using Probabilistic Optimum Filtering
A new mapping algorithm for speech recognition relates the features of simultaneous recordings of clean and noisy speech. The model is a piecewise nonfinear transformation appfied...
Leonardo Neumeyer, Mitch Weintraub
AUTOMATICA
2008
76views more  AUTOMATICA 2008»
15 years 4 months ago
Structured semidefinite programs for the control of symmetric systems
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...
Randy Cogill, Sanjay Lall, Pablo A. Parrilo
APAL
2005
89views more  APAL 2005»
15 years 4 months ago
Softness of hypercoherences and MALL full completeness
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...
Richard Blute, Masahiro Hamano, Philip J. Scott
LISP
2002
80views more  LISP 2002»
15 years 4 months ago
Comparing Control Constructs by Double-Barrelled CPS
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...
Hayo Thielecke