Sciweavers

1132 search results - page 85 / 227
» Upper and lower Ramsey bounds in bounded arithmetic
Sort
View
ASPDAC
2007
ACM
92views Hardware» more  ASPDAC 2007»
15 years 10 months ago
New Block-Based Statistical Timing Analysis Approaches Without Moment Matching
With aggressive scaling down of feature sizes in VLSI fabrication, process variation has become a critical issue in designs. We show that two necessary conditions for the "Ma...
Ruiming Chen, Hai Zhou
VMV
2008
151views Visualization» more  VMV 2008»
15 years 7 months ago
Adaptive surface decomposition for the distance computation of arbitrarily shaped objects
We propose an adaptive decomposition algorithm to compute separation distances between arbitrarily shaped objects. Using the Gilbert-JohnsonKeerthi algorithm (GJK), we search for ...
Marc Gissler, Matthias Teschner
TIT
2011
98views more  TIT 2011»
15 years 1 months ago
Information Rates for Multiantenna Systems With Unknown Fading
—This work first presents a general technique to compute tight upper and lower bounds on the information rate of a multiuser Rayleigh fading channel with no Channel State Inform...
Krishnan Padmanabhan, Sundeep Venkatraman, Oliver ...
SIAMFM
2011
72views more  SIAMFM 2011»
14 years 9 months ago
Robust Hedging of Double Touch Barrier Options
We consider model-free pricing of digital options, which pay out if the underlying asset has crossed both upper and lower barriers. We make only weak assumptions about the underly...
A. M. G. Cox, Jan Obloj
COCO
2009
Springer
105views Algorithms» more  COCO 2009»
16 years 29 days ago
Planar Graph Isomorphism is in Log-Space
Graph Isomorphism is the prime example of a computational problem with a wide difference between the best known lower and upper bounds on its complexity. There is a significant ...
Samir Datta, Nutan Limaye, Prajakta Nimbhorkar, Th...