2477 search results - page 121 / 496 » Approximate extended formulations |
135
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
For video communications over wireless ad hoc networks, multiple paths with limited bandwidth are common. It therefore presents new challenges to the video encoding. In this paper...
132
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
115
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
We propose the redundancy identification of wire replacement faults. The solutions rely on the satisfiability (SAT) formulation of redundancy identification, augmented with the me...
121
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
Abstract. Streaming environments typically dictate incomplete or approximate algorithm execution, in order to cope with sudden surges in the data rate. Such limitations are even mo...
111
click to vote
ICCD
2003
IEEE
16 years 1 months ago
2003
IEEE
We discuss the compaction of independent test sequences for sequential circuits. Our first contribution is the formulation of this problem as an integer program, which we then so...