3820 search results - page 333 / 764 » Bounded Model Debugging |
127
click to vote
JMLR
2002
15 years 4 months ago
2002
We extend the classical algorithms of Valiant and Haussler for learning compact conjunctions and disjunctions of Boolean attributes to allow features that are constructed from the...
135
click to vote
ML
2002
ACM
15 years 4 months ago
2002
ACM
Matching Pursuit algorithms learn a function that is a weighted sum of basis functions, by sequentially appending functions to an initially empty basis, to approximate a target fu...
102
click to vote
SIAMCO
2002
15 years 4 months ago
2002
Abstract. An adaptive servomechanism is developed in the context of the problem of approximate or practical tracking (with prescribed asymptotic accuracy), by the system output, of...
152
click to vote
WINET
2002
15 years 4 months ago
2002
Abstract. Fair queueing in the wireless domain poses significant challenges due to unique issues in the wireless channel such as locationdependent and bursty channel errors. In thi...
118
click to vote
TIT
2011
14 years 11 months ago
2011
—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...