8874 search results - page 1639 / 1775 » A New Implementation of Automath |
182
click to vote
MIR
2006
ACM
15 years 10 months ago
2006
ACM
We describe a framework for automatically selecting a summary set of photos from a large collection of geo-referenced photographs. Such large collections are inherently difficult ...
121
click to vote
MM
2006
ACM
15 years 10 months ago
2006
ACM
Many emerging applications such as video sensor monitoring can benefit from an on-line video correlation system, which can be used to discover linkages between different video s...
129
click to vote
MM
2006
ACM
15 years 10 months ago
2006
ACM
Recently, interactive image cutout technique becomes prevalent for image segmentation problem due to its easy-to-use nature. However, most existing stroke-based interactive object...
137
click to vote
MOBICOM
2006
ACM
15 years 10 months ago
2006
ACM
Rate adaptation is a mechanism unspecified by the 802.11 standards, yet critical to the system performance by exploiting the multi-rate capability at the physical layer. In this ...
180
click to vote
PODC
2006
ACM
15 years 10 months ago
2006
ACM
We present Grouped Distributed Queues (GDQ), the first proportional share scheduler for multiprocessor systems that scales well with a large number of processors and processes. G...