Sciweavers

552 search results - page 58 / 111
» On the Complexity of Join Predicates
Sort
View
ICDE
2006
IEEE
149views Database» more  ICDE 2006»
14 years 11 months ago
An Efficient XPath Query Processor for XML Streams
Streaming XPath evaluation algorithms must record a potentially exponential number of pattern matches when both predicates and descendant axes are present in queries, and the XML ...
Yi Chen, Susan B. Davidson, Yifeng Zheng
ICML
2005
IEEE
14 years 11 months ago
Weighted decomposition kernels
We introduce a family of kernels on discrete data structures within the general class of decomposition kernels. A weighted decomposition kernel (WDK) is computed by dividing objec...
Sauro Menchetti, Fabrizio Costa, Paolo Frasconi
ICSE
2003
IEEE-ACM
14 years 10 months ago
Modular Verification of Software Components in C
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh ...
ICPR
2008
IEEE
14 years 6 months ago
Online Feature Evaluation For Object Tracking Using Kalman Filter
An online feature evaluation method for visual object tracking is put forward in this paper. Firstly, a combined feature set is built using color histogram (HC) bins and gradien...
Zhenjun Han, Qixiang Ye, Jianbin Jiao+
ADC
2008
Springer
146views Database» more  ADC 2008»
14 years 4 months ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe