379 search results - page 55 / 76 » Generalized Typestate Checking for Data Structure Consistenc... |
SIGCOMM
2010
ACM
13 years 8 months ago
2010
ACM
Of the major factors affecting end-to-end service availability, network component failure is perhaps the least well understood. How often do failures occur, how long do they last,...
MM
2009
ACM
14 years 12 days ago
2009
ACM
The explosive growth of multimedia data poses serious challenges to data storage, management and search. Efficient near-duplicate detection is one of the required technologies for...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
Mean shift is a nonparametric estimator of density which has been applied to image and video segmentation. Traditional mean shift based segmentation uses a radially symmetric kerne...
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
The client computing platform is moving towards a heterogeneous architecture consisting of a combination of cores focused on scalar performance, and a set of throughput-oriented c...