439 search results - page 54 / 88 » Efficient stereo-to-multiview synthesis |
SIPS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a low-complexity, high-speed 4-dimensional 8-ary Phase Shift Keying Trellis Coded Modulation (4-D 8PSK TCM) decoder. In the design, an efficient architecture f...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents a novel fuzzy stochastic Kalman filter for compression of digital images. In particular, it is shown that the state evolution of the synthesis coefficients of ...
CODES
1999
IEEE
14 years 22 hour ago
1999
IEEE
We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. Th...
CAV
2010
Springer
13 years 10 months ago
2010
Springer
Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with -regular objectives; and (b) synthesizes reasonable environment assumptions f...
OPODIS
2008
13 years 9 months ago
2008
We focus on automated revision techniques for adding Unity properties to distributed programs. We show that unlike centralized programs, where multiple safety properties along with...