23 search results - page 3 / 5 » Collection Principles in Dependent Type Theory |
SMI
2005
IEEE
13 years 11 months ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
SIGIR
2005
ACM
13 years 11 months ago
2005
ACM
In this paper, we propose a novel dependency language modeling approach for information retrieval. The approach extends the existing language modeling approach by relaxing the ind...
POPL
2008
ACM
14 years 6 months ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
ECIR
2007
Springer
13 years 7 months ago
2007
Springer
Query-independent features (also called document priors), such as the number of incoming links to a document, its Page-Rank, or the type of its associated URL, have been successfu...
PODS
2009
ACM
14 years 6 months ago
2009
ACM
We consider the problem of deciding query equivalence for a conjunctive language in which queries output complex objects composed from a mixture of nested, unordered collection ty...