112 search results - page 7 / 23 » Quasi-interpretation Synthesis by Decomposition |
90
Voted
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— We present a method for complexity reduction in reachability analysis and controller synthesis via a Schur-based decomposition for LTI systems. The decomposition yields either ...
ACSD
2005
IEEE
15 years 3 months ago
2005
IEEE
Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a...
ICIP
1999
IEEE
15 years 1 months ago
1999
IEEE
We propose a wavelet based local subdivision of 3-D surfaces, which can be effectively applied to a mesh with complex and high curvature faces. The proposed approach is an extensi...
105
click to vote
SCALESPACE
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents a statistical model for textures that uses a non-negative decomposition on a set of local atoms learned from an exemplar. This model is described by the varianc...
CVPR
2003
IEEE
15 years 11 months ago
2003
IEEE
An algorithm for the simultaneous filling-in of texture and structure in regions of missing image information is presented in this paper. The basic idea is to first decompose the ...