Sciweavers

2714 search results - page 277 / 543
» Approximation Schemes for Scheduling
Sort
View
ISBI
2006
IEEE
16 years 4 months ago
Exact correction of sharply varying off-resonance effects in spiral MRI
Magnetic Resonance Imaging with non-Cartesian acquisition schemes suffer from blurring artifacts induced by offresonance. Conventional algorithms for off-resonance correction are ...
Mahender K. Makhijani, Krishna S. Nayak
VLSID
2002
IEEE
83views VLSI» more  VLSID 2002»
16 years 4 months ago
Identifying Redundant Wire Replacements for Synthesis and Verification
We propose the redundancy identification of wire replacement faults. The solutions rely on the satisfiability (SAT) formulation of redundancy identification, augmented with the me...
Katarzyna Radecka, Zeljko Zilic
STOC
2006
ACM
186views Algorithms» more  STOC 2006»
16 years 4 months ago
A subset spanner for Planar graphs, : with application to subset TSP
Let > 0 be a constant. For any edge-weighted planar graph G and a subset S of nodes of G, there is a subgraph H of G of weight a constant times that of the minimum Steiner tree...
Philip N. Klein
ICCAD
2006
IEEE
126views Hardware» more  ICCAD 2006»
16 years 1 months ago
Optimizing yield in global routing
We present the first efficient approach to global routing that takes spacing-dependent costs into account and provably finds a near-optimum solution including these costs. We sh...
Dirk Müller
128
Voted
FOCS
2009
IEEE
15 years 11 months ago
Settling the Complexity of Arrow-Debreu Equilibria in Markets with Additively Separable Utilities
We prove that the problem of computing an Arrow-Debreu market equilibrium is PPAD-complete even when all traders use additively separable, piecewise-linear and concave utility fun...
Xi Chen, Decheng Dai, Ye Du, Shang-Hua Teng