Sciweavers

4842 search results - page 252 / 969
» A Calculus for Data Mapping
Sort
View
CVPR
2010
IEEE
15 years 11 months ago
Compression of Surface Registration using Beltrami Coefficients
Surface registration is widely used in machine vision and medical imaging, where 1-1 correspondences between surfaces are computed to study their variations. Surface maps are usua...
Lok Ming Lui
INTEROP
1999
Springer
129views GIS» more  INTEROP 1999»
15 years 10 months ago
Interoperability in Practice: Problems in Semantic Conversion from Current Technology to OpenGIS
This work investigates the practical issue of mapping existing GIS to the OpenGIS standards. We describe the data models used in three systems (MGE, ARC/INFO and SPRING) and analys...
Gilberto Câmara, Rogério Thomé...
ICFP
2005
ACM
16 years 6 months ago
Type inference, principal typings, and let-polymorphism for first-class mixin modules
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
Henning Makholm, J. B. Wells
ICFP
2002
ACM
16 years 6 months ago
Meta-programming with names and necessity
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...
Aleksandar Nanevski
DOCENG
2006
ACM
16 years 15 days ago
Comparing XML path expressions
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
Pierre Genevès, Nabil Layaïda