439 search results - page 15 / 88 » Efficient stereo-to-multiview synthesis |
LOPSTR
1998
Springer
15 years 1 months ago
1998
Springer
This paper describes a class of decision procedures that we have found useful for efficient, domain-specific deductive synthesis, and a method for integrating this type of procedur...
ASPDAC
1995
ACM
15 years 1 months ago
1995
ACM
- Due to efficient interconnect structure and internal parallelism bus-partitioned architectures are very beneficial for sub-micron chip design. This paper presents a new approach ...
ASPDAC
2005
ACM
15 years 3 months ago
2005
ACM
- Many high-level description languages, such as C/C++ or Java, lack the capability to specify the bitwidth information for variables and operations. Synthesis from these specifica...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
We propose an algorithm for efficient threshold network synthesis of arbitrary multi-output Boolean functions. The main purpose of this work is to bridge the wide gap that currentl...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents an efficient method for the conversion between subband domain representations of different filter banks. It advantageously replaces the conventional cascade of...