663 search results - page 60 / 133 » Synthesis of Self-Testable Controllers |
103
click to vote
LOPSTR
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...
124
Voted
IEICET
2006
15 years 2 months ago
2006
Abstract--This paper deals with a synthesis of a nonautonomous system with a stable limit cycle. By extending Green's method, by which arbitrary periodic solutions can be desi...
114
click to vote
CMMR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The current study is part of a larger project aiming at offering intuitive mappings of control parameters piloting synthesis models by semantic descriptions of sounds, i...
116
Voted
TSP
2008
15 years 2 months ago
2008
This paper is motivated by multichannel sampling applications. We consider a hybrid filter banks consisting of a set of fractional delays operators, slow A/D converters with differ...
129
Voted
ICIP
1999
IEEE
16 years 4 months ago
1999
IEEE
In this paper we combine model-based video synthesis with block-based motion-compensated prediction (MCP). Two frames are utilized far prediction where one frame is the previous d...