207 search results - page 1 / 42 » Canonical Forms for Data-Specifications |
CSL
1994
Springer
13 years 9 months ago
1994
Springer
APPROX
2011
Springer
12 years 5 months ago
2011
Springer
In a well-known result Goldreich and Trevisan (2003) showed that every testable graph property has a “canonical” tester in which a set of vertices is selected at random and the...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract— In [1] a balanced canonical form for continuoustime lossless systems was presented. This form has a tridiagonal dynamical matrix A and the useful property that the corr...
DAC
2005
ACM
14 years 6 months ago
2005
ACM
? An efficient and compact canonical form is proposed for the Boolean matching problem under permutation and complementation of variables. In addition an efficient algorithm for co...
CDC
2009
IEEE
13 years 8 months ago
2009
IEEE
— In this paper, we give sufficient conditions which guarantee the existence of a diffeomorphism in an extended state space that allows to transform a multi-output nonlinear dyn...