Sciweavers

147 search results - page 11 / 30
» Passification of linear systems with respect to given output
Sort
View
GECCO
2010
Springer
169views Optimization» more  GECCO 2010»
13 years 10 months ago
Robust symbolic regression with affine arithmetic
We use affine arithmetic to improve both the performance and the robustness of genetic programming for symbolic regression. During evolution, we use affine arithmetic to analyze e...
Cassio Pennachin, Moshe Looks, João A. de V...
FOCS
2007
IEEE
14 years 1 months ago
Linear Equations Modulo 2 and the L1 Diameter of Convex Bodies
We design a randomized polynomial time algorithm which, given a 3-tensor of real numbers A = {aijk}n i,j,k=1 such that for all i, j, k ∈ {1, . . . , n} we have ai jk = aik j = a...
Subhash Khot, Assaf Naor
ICASSP
2009
IEEE
14 years 1 months ago
Humming-based human verification and identification
This paper considers humming-based human verification and identification systems. Humming of a target person is modeled as a Gaussian mixture model, and the matching score betwe...
Minho Jin, Jaewook Kim, Chang D. Yoo
CDC
2008
IEEE
14 years 1 months ago
Robust generalized asymptotic regulation against non-stationary sinusoidal disturbances
Abstract— Attenuation of sinusoidal disturbances with uncertain and arbitrarily time-varying frequencies is considered in the form of a generalized asymptotic regulation problem....
Hakan Köroglu, Carsten W. Scherer
CODES
2010
IEEE
13 years 4 months ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...