Sciweavers

2944 search results - page 39 / 589
» Improving Bound Propagation
Sort
View
117
Voted
ATAL
2010
Springer
15 years 5 months ago
Improved bounded model checking for a fair branching-time temporal epistemic logic
Xiaowei Huang, Cheng Luo, Ron van der Meyden
ESA
2010
Springer
152views Algorithms» more  ESA 2010»
15 years 5 months ago
Improved Bounds for Online Stochastic Matching
Bahman Bahmani, Michael Kapralov
CORR
2010
Springer
76views Education» more  CORR 2010»
15 years 4 months ago
Improved Bounds on Restricted Isometry Constants for Gaussian Matrices
The Restricted Isometry Constants (RIC) of a matrix A measures how close to an isometry is the action of A on vectors with few nonzero entries, measured in the 2 norm. Specifically...
Bubacarr Bah, Jared Tanner
68
Voted
IPL
2008
53views more  IPL 2008»
15 years 4 months ago
A Note on "An improved upper bound on the queuenumber of the hypercube"
Kung-Jui Pai, Jou-Ming Chang, Yue-Li Wang