3068 search results - page 56 / 614 » Separation Results on the |
DAC
2003
ACM
16 years 25 days ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
INFOCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
—It is well known that a packet loss in 802.11 can happen either due to collision or an insufficiently strong signal. However, discerning the exact cause of a packet loss, once ...
124
click to vote
SCALESPACE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Natural images consist of texture, structure and smooth regions and this makes the task of filtering challenging mainly when it aims at edge and texture preservation. In...
COLT
2005
Springer
15 years 5 months ago
2005
Springer
We consider a natural framework of learning from correlated data, in which successive examples used for learning are generated according to a random walk over the space of possibl...
102
click to vote
SIGOPSE
2004
ACM
15 years 5 months ago
2004
ACM
Building reliable data storage from unreliable components presents many challenges and is of particular interest for peer-to-peer storage systems. Recent work has examined the tra...