3007 search results - page 296 / 602 » Linear Functional Fixed-points |
131
click to vote
PARA
2004
Springer
15 years 9 months ago
2004
Springer
A general framework for structure-preserving model reduction by Krylov subspace projection methods is developed. The goal is to preserve any substructures of importance in the matr...
216
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
109
click to vote
IUI
2003
ACM
15 years 9 months ago
2003
ACM
This paper describes a drawing system that incorporates two novel interaction techniques based on analogies to physical tools. Power tools add limited autonomy in the form of rota...
118
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
121
click to vote
ISPD
1999
ACM
15 years 8 months ago
1999
ACM
Netlist partitioning is an important and well studied problem. In this paper, a linear time partitioning approach based on iterative deletion is presented. We use the partitioning...