1982 search results - page 175 / 397 » Parametricity and dependent types |
193
click to vote
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
The state of the art commercial query optimizers employ cost-based optimization and exploit dynamic programming (DP) to find the optimal query execution plan (QEP) without evalua...
154
click to vote
HPCC
2007
Springer
16 years 22 days ago
2007
Springer
One of the outcomes of DARPA’s HPCS program has been the creation of three new high productivity languages: Chapel, Fortress, and X10. While these languages have introduced impro...
197
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
The detection of correlations between different features in a set of feature vectors is a very important data mining task because correlation indicates a dependency between the fe...
176
click to vote
OTM
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Process–aware information systems (PAIS) must provide sufficient flexibility to their users to support a broad spectrum of application scenarios. As a response to thi...
192
click to vote
WIDM
2004
ACM
15 years 12 months ago
2004
ACM
In this paper, we propose a set of similarity metrics for manipulating collections of values occuring in XML documents. Following the data model presented in TAX algebra, we treat...