4842 search results - page 253 / 969 » A Calculus for Data Mapping |
179
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
155
click to vote
LMCS
2007
15 years 6 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
154
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We consider the problem of dimensionality reduction, where given high-dimensional data we want to estimate two mappings: from high to low dimension (dimensionality reduction) and f...
196
click to vote
PODS
2012
ACM
13 years 9 months ago
2012
ACM
Over the past several decades, the study of conjunctive queries has occupied a central place in the theory and practice of database systems. In recent years, conjunctive queries h...
186
click to vote
SCANGIS
2003
15 years 8 months ago
2003
Topographic data sets produced by the National Mapping Agencies (NMAs) are an essential part of Spatial Data Infrastructures (SDIs). Both global and European developments will deno...