223 search results - page 7 / 45 » Efficient Recursive Query Processing using Wavefront Methods |
VLDB
2007
ACM
14 years 8 months ago
2007
ACM
Many aspects of the data integration problem have been considered in the literature: how to match schemas across different data sources, how to decide when different records refer...
SIGMOD
2008
ACM
14 years 8 months ago
2008
ACM
Recently, skyline queries have attracted much attention in the database research community. Space partitioning techniques, such as recursive division of the data space, have been ...
ICASSP
2011
IEEE
2011
IEEE
Efficient search of music pitch contours using wavelet transforms and segmented dynamic time warping
13 years 8 days ago
We propose a method of music melody matching based on their “continuous” (or “time-frame-based”) pitch contours. Most previous methods using frame-based contours either ma...
CHARME
2001
Springer
14 years 6 days ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
CIKM
2011
Springer
12 years 8 months ago
2011
Springer
Topics in prior-art patent search are typically full patent applications and relevant items are patents often taken from sources in different languages. Cross language patent retr...