673 search results - page 8 / 135 » Capturing both Types and Constraints in Data Integration |
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...
ICFP
2007
ACM
14 years 7 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
AINA
2010
IEEE
14 years 22 days ago
2010
IEEE
Our world is increasingly data-driven. The growth and value of data continue to exceed all predictions. Potential for business opportunity, economic growth, scientific discovery, ...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
We present a closed-form solution to the problem of recovering
the 3D shape of a non-rigid potentially stretchable
surface from 3D-to-2D correspondences. In other words,
we can ...
DBKDA
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract--With the growing computer networks, accessible data is becoming increasing distributed. Understanding and integrating remote and unfamiliar data sources are important dat...