Sciweavers

25041 search results - page 4212 / 5009
» Algorithms for Clustering Data
Sort
View
SAS
2004
Springer
140views Formal Methods» more  SAS 2004»
16 years 26 days ago
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
Sumit Gulwani, George C. Necula
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
16 years 26 days ago
The Succinct Solver Suite
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
Flemming Nielson, Hanne Riis Nielson, Hongyan Sun,...
VLDB
2004
ACM
111views Database» more  VLDB 2004»
16 years 26 days ago
A Framework for Using Materialized XPath Views in XML Query Processing
XML languages, such as XQuery, XSLT and SQL/XML, employ XPath as the search and extraction language. XPath expressions often define complicated navigation, resulting in expensive...
Andrey Balmin, Fatma Özcan, Kevin S. Beyer, R...
VLDB
2004
ACM
127views Database» more  VLDB 2004»
16 years 26 days ago
Computing Frequent Itemsets Inside Oracle 10G
1 Frequent itemset counting is the first step for most association rule algorithms and some classification algorithms. It is the process of counting the number of occurrences of ...
Wei Li, Ari Mozes
VLDB
2004
ACM
101views Database» more  VLDB 2004»
16 years 26 days ago
Taming XPath Queries by Minimizing Wildcard Steps
This paper presents a novel and complementary technique to optimize an XPath query by minimizing its wildcard steps. Our approach is based on using a general composite axis called...
Chee Yong Chan, Wenfei Fan, Yiming Zeng
« Prev « First page 4212 / 5009 Last » Next »