4592 search results - page 641 / 919 » Framework for Studying Substitution |
208
Voted
SIGMOD
2006
ACM
16 years 28 days ago
2006
ACM
This paper introduces the Tuple Graph (TuG) synopses, a new class of data summaries that enable accurate selectivity estimates for complex relational queries. The proposed summari...
111
click to vote
SIGMOD
2004
ACM
16 years 28 days ago
2004
ACM
Querying XML data is a well-explored topic with powerful databasestyle query languages such as XPath and XQuery set to become W3C standards. An equally compelling paradigm for que...
90
Voted
PODS
2007
ACM
16 years 28 days ago
2007
ACM
In [3], we introduced a framework for querying and updating probabilistic information over unordered labeled trees, the probabilistic tree model. The data model is based on trees ...
86
Voted
ICSE
2007
IEEE-ACM
16 years 27 days ago
2007
IEEE-ACM
Analyzing a program run can provide important insights about its correctness. Dynamic analysis of complex correctness properties, however, usually results in significant run-time ...
81
Voted
ICFP
2005
ACM
16 years 23 days ago
2005
ACM
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...