Sciweavers

349 search results - page 43 / 70
» The Finite and the Infinite
Sort
View
SCL
2008
150views more  SCL 2008»
13 years 9 months ago
Interconnection of Kronecker canonical form and special coordinate basis of multivariable linear systems
This paper establishes a straightforward interconnection between the Kronecker canonical form and the special coordinate basis of linear systems. Such an interconnection yields an...
Ben M. Chen, Xinmin Liu, Zongli Lin
AICOM
2004
80views more  AICOM 2004»
13 years 9 months ago
A Generic, Collaborative Framework for Interval Constraint Solving
The paper abstracts the contents of a PhD dissertation entitled A Generic, Collaborative Framework for Interval Constraint Solving which has been recently defended. This thesis pre...
Antonio J. Fernández
IGPL
2000
129views more  IGPL 2000»
13 years 9 months ago
Embeddings of Propositional Monomodal Logics
The aim of this paper is to investigate the expressibility of classical propositional monomodal logics. To this end, a notion of embedding of one logic into another is introduced,...
Evgeni E. Zolin
SIAMJO
2000
113views more  SIAMJO 2000»
13 years 9 months ago
Cones of Matrices and Successive Convex Relaxations of Nonconvex Sets
Let F be a compact subset of the n-dimensional Euclidean space Rn represented by (finitely or infinitely many) quadratic inequalities. We propose two methods, one based on successi...
Masakazu Kojima, Levent Tunçel
CORR
2006
Springer
145views Education» more  CORR 2006»
13 years 10 months ago
Algebraic Signal Processing Theory
In [1], we presented the algebraic signal processing theory, an axiomatic and general framework for linear signal processing. The basic concept in this theory is the signal model d...
Markus Püschel, José M. F. Moura