3820 search results - page 351 / 764 » Bounded Model Debugging |
133
click to vote
JSAC
2010
15 years 3 months ago
2010
Abstract—In high density perpendicular magnetic recording channels, nonlinear transition shift (NLTS) is one of the distortions that can degrade the system performance. Write pre...
144
click to vote
ICDM
2010
IEEE
15 years 2 months ago
2010
IEEE
While there has been a lot of work on finding frequent itemsets in transaction data streams, none of these solve the problem of finding similar pairs according to standard similar...
140
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
We develop a general approach for designing scheduling policies for real-time traffic over wireless channels. We extend prior work, which characterizes a real-time flow by its traf...
157
click to vote
ICC
2009
IEEE
15 years 2 months ago
2009
IEEE
We demonstrate that the gain attained by network coding (NC) on the multicast capacity of random wireless ad hoc networks is bounded by a constant factor. We consider a network wit...
154
click to vote
TCS
2011
14 years 11 months ago
2011
The PAC-learning model is distribution-independent in the sense that the learner must reach a learning goal with a limited number of labeled random examples without any prior know...