223 search results - page 10 / 45 » Conditional functional dependencies for capturing data incon... |
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
APGV
2008
ACM
13 years 10 months ago
2008
ACM
The use of illumination and view dependent textural information is one way to capture the realistic appearance of genuine materials. One example of such data is the bidirectional ...
SAS
2004
Springer
14 years 1 months ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
MA
2010
Springer
13 years 3 months ago
2010
Springer
This work proposes to generalize the method of cokriging when data are spatially sampled curves. A spatial functional linear model is constructed including spatial dependencies be...