1996 search results - page 114 / 400 » A decision procedure for linear |
161
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
In this paper we consider the asymptotic stability of a class of discrete-time switching linear systems, where each of the constituent subsystems is Schur stable. We first present...
171
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- Identification of output error models from frequency domain data generally results in a non-convex optimization problem. A well-known method to approach the output error...
191
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, block diagonal linear discriminant analysis (BDLDA) is improved and applied to gene expression data. BDLDA is a classification tool with embedded feature selection...
150
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We generalize the k-means algorithm presented by the authors [14] and show that the resulting algorithm can solve a larger class of clustering problems that satisfy certa...
197
click to vote
RTA
2005
Springer
15 years 12 months ago
2005
Springer
We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term...