19 search results - page 1 / 4 » SeMap: a generic mapping construction system |
EDBT
2008
ACM
14 years 4 months ago
2008
ACM
Most previous schema mapping works focus on creating mappings in specific data models for data transformation, failing to capture a richer set of possible relationships between sc...
CCIA
2009
Springer
13 years 5 months ago
2009
Springer
In this paper we propose the construction of a visual content layer which describes the visual appearance of geographic locations in a city. We captured, by means of a Mobile Mappi...
KES
2008
Springer
13 years 4 months ago
2008
Springer
Evolutionary techniques provide powerful tools to design novel solutions for hard problems in different areas. However, the problem of scale (i.e. how to create a large, complex s...
SCP
2011
12 years 11 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
GIS
2003
ACM
13 years 9 months ago
2003
ACM
Accurate postal code maps have many applications within GIS as the postal code has the potential to link the address description of buildings to their location in a specified glob...