7335 search results - page 1380 / 1467 » Scene Based Reasoning |
124
click to vote
MOBIHOC
2008
ACM
16 years 2 months ago
2008
ACM
It was shown recently [7?9], under quite general conditions, that retransmission-based protocols may result in power-law delays and possibly zero throughput even if the distributi...
110
click to vote
DCC
2007
IEEE
16 years 2 months ago
2007
IEEE
We consider video sequences that have been encrypted uncompressed. Since encryption masks the source, traditional data compression algorithms are rendered ineffective. However, it...
154
click to vote
POPL
2010
ACM
16 years 21 days ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
122
Voted
SODA
2010
ACM
16 years 21 days ago
2010
ACM
We introduce the classified stable matching problem, a problem motivated by academic hiring. Suppose that a number of institutes are hiring faculty members from a pool of applican...
122
Voted
SDM
2009
SIAM
16 years 15 days ago
2009
SIAM
Recent research in frequent pattern mining (FPM) has shifted from obtaining the complete set of frequent patterns to generating only a representative (summary) subset of frequent ...