19 search results - page 4 / 4 » Exploiting Positive Equality in a Logic of Equality with Uni... |
PEPM
2011
ACM
12 years 8 months ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
ICASSP
2009
IEEE
14 years 1 days ago
2009
IEEE
A method that automatically estimates the metrical structure of a piece of music is presented. The approach is based on the generation of a beat similarity matrix, which provides ...
SSDBM
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract. Existing approaches to the management of streaming positional updates generally assume that all active user requests have equal importance, ignoring the possibility of an...
IPSN
2005
Springer
13 years 10 months ago
2005
Springer
— In this paper, we propose a quantizer design algorithm that is optimized for source localization in sensor networks. For this application, the goal is to minimize the amount of...