3820 search results - page 410 / 764 » Bounded Model Debugging |
123
click to vote
HPCA
1995
IEEE
15 years 7 months ago
1995
IEEE
As processor speeds increase relative to memory speeds, memory bandwidth is rapidly becoming the limiting performance factor for many applications. Several approaches to bridging ...
164
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— A receding horizon control algorithm, originally proposed for tracking best-possible steady-states in the presence of overly stringent state and/or input constraints, is analyz...
106
click to vote
ALT
2010
Springer
15 years 5 months ago
2010
Springer
We further develop the idea that the PAC-Bayes prior can be informed by the data-generating distribution. We prove sharp bounds for an existing framework of Gibbs algorithms, and ...
120
click to vote
CATS
2007
15 years 5 months ago
2007
A model for the problem of predicting the outputs of a process, based only on knowledge of previous outputs, is proposed in terms of a decision problem. The strength of this parti...
124
click to vote
ACL
2006
15 years 5 months ago
2006
We investigate the utility of supertag information for guiding an existing dependency parser of German. Using weighted constraints to integrate the additionally available informat...