2642 search results - page 272 / 529 » Merge-by-Wire: Algorithms and System Support |
223
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
134
click to vote
SIGIR
2009
ACM
15 years 11 months ago
2009
ACM
When attempting to annotate music, it is important to consider both acoustic content and social context. This paper explores techniques for collecting and combining multiple sourc...
153
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— Localization and context interpretation are two key competences for mobile robot systems. Visual place recognition, as opposed to purely geometrical models, holds promise of hi...
178
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— We propose a novel online framework for detecting moving shadows in video sequences using statistical learning techniques. In this framework, Support Vector Machines ar...
151
click to vote
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
— In the third generation wireless system UMTS, Radio Resource Management (RRM) functions should encompass scheduling algorithms. In particular, scheduling mechanisms play a key ...