673 search results - page 8 / 135 » Capturing both Types and Constraints in Data Integration |
160
click to vote
ECOOP
2006
Springer
15 years 8 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...
129
click to vote
ICFP
2007
ACM
16 years 4 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...
139
click to vote
AINA
2010
IEEE
15 years 9 months 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, ...
177
click to vote
CVPR
2009
IEEE
16 years 11 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 ...
158
click to vote
DBKDA
2009
IEEE
15 years 8 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...