Sciweavers

412 search results - page 22 / 83
» Algorithmic Complexity Bounds on Future Prediction Errors
Sort
View
SIAMMAX
2011
74views more  SIAMMAX 2011»
14 years 6 months ago
Goal-Oriented and Modular Stability Analysis
We introduce a methodology for obtaining inventories of error results for families of numerical dense linear algebra algorithms. The approach for deriving the analyses is goal-orie...
Paolo Bientinesi, Robert A. van de Geijn
SIGECOM
2010
ACM
149views ECommerce» more  SIGECOM 2010»
15 years 4 months ago
A new understanding of prediction markets via no-regret learning
We explore the striking mathematical connections that exist between market scoring rules, cost function based prediction markets, and no-regret learning. We first show that any c...
Yiling Chen, Jennifer Wortman Vaughan
TACAS
2005
Springer
155views Algorithms» more  TACAS 2005»
15 years 5 months ago
Context-Bounded Model Checking of Concurrent Software
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
Shaz Qadeer, Jakob Rehof
STOC
2004
ACM
152views Algorithms» more  STOC 2004»
16 years 1 days ago
Exponential separation of quantum and classical one-way communication complexity
Abstract. We give the first exponential separation between quantum and bounded-error randomized one-way communication complexity. Specifically, we define the Hidden Matching Proble...
Ziv Bar-Yossef, T. S. Jayram, Iordanis Kerenidis
IJON
2010
159views more  IJON 2010»
14 years 6 months ago
Model predictive flight control using adaptive support vector regression
This paper explores an application of support vector regression (SVR) to model predictive control (MPC). SVR is employed to identify a dynamic system from input-output data, and t...
Jongho Shin, H. Jin Kim, Sewook Park, Youdan Kim