Sciweavers

1075 search results - page 148 / 215
» Toward a Verified Relational Database Management System
Sort
View
EDBT
2008
ACM
120views Database» more  EDBT 2008»
14 years 8 months ago
Schema mapping verification: the spicy way
Schema mapping algorithms rely on value correspondences ? i.e., correspondences among semantically related attributes ? to produce complex transformations among data sources. Thes...
Angela Bonifati, Giansalvatore Mecca, Alessandro P...
KDD
2004
ACM
114views Data Mining» more  KDD 2004»
14 years 9 months ago
Mining reference tables for automatic text segmentation
Automatically segmenting unstructured text strings into structured records is necessary for importing the information contained in legacy sources and text collections into a data ...
Eugene Agichtein, Venkatesh Ganti
GEOS
2005
Springer
14 years 2 months ago
Processes and Events in Dynamic Geo-Networks
Traditional spatial information systems hold only a single state of the ‘real world’. However, geographic phenomena have not only static but dynamic characteristics. The work d...
Antony Galton, Michael F. Worboys
HPCC
2005
Springer
14 years 2 months ago
A Lightweight Platform for Integration of Mobile Devices into Pervasive Grids
For future generation Grids to be truly pervasive we need to allow for the integration of mobile devices, in order to leverage available resources and broaden the range of supplie...
Stavros Isaiadis, Vladimir Getov
EUROPLOP
2006
13 years 10 months ago
Patterns for Time-based Hypermedia Artifacts
With the incresing presence on the Web of hypermedia contents with temporal constraints (time-based hypermedia), such as multimedia presentations, there must be a precise form to ...
Rui Lopes, Luís Carriço