1517 search results - page 60 / 304 » New Approach To A Class Of Matrices |
123
click to vote
SOFSEM
2010
Springer
15 years 10 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— The nullspace method is a powerful framework to solve the synthesis problem of fault detection filters in the most general setting. It is also well suited to address the least...
129
click to vote
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Matrices are essential in many fields of computer science, especially when large amounts of data must be handled efficiently. Despite this demand for matrix software, we were una...
104
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
A major enterprise in compressed sensing and sparse approximation is the design and analysis of computationally tractable algorithms for recovering sparse, exact or approximate, s...
112
click to vote
RC
2002
15 years 1 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...