562 search results - page 27 / 113 » Dependency Pairs Revisited |
164
Voted
EIS
2011
14 years 8 months ago
2011
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
103
click to vote
TLCA
2001
Springer
15 years 6 months ago
2001
Springer
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the Calculus of Constructions that we extend by adding an i...
ICML
2007
IEEE
16 years 2 months ago
2007
IEEE
We introduce a mixture of probabilistic canonical correlation analyzers model for analyzing local correlations, or more generally mutual statistical dependencies, in cooccurring d...
124
click to vote
LOPSTR
2007
Springer
15 years 8 months ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
100
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Matching dependencies (MDs) are used to declaratively specify the identification (or matching) of certain attribute values in pairs of database tuples when some similarity conditi...