Sciweavers

4074 search results - page 298 / 815
» Abstract Graph Transformation
Sort
View
SOFSEM
2009
Springer
16 years 3 months ago
From Outermost Termination to Innermost Termination
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...
René Thiemann
PEPM
2009
ACM
16 years 3 months ago
From spreadsheets to relational databases and back
Abstract. This paper presents techniques and tools to transform spreadsheets into relational databases and back. A set of data refinement rules is introduced to map a tabular data...
Jácome Cunha, João Saraiva, Joost Vi...
ICRA
2009
IEEE
133views Robotics» more  ICRA 2009»
16 years 1 months ago
A stochastically stable solution to the problem of robocentric mapping
Abstract— This paper provides a novel solution for robocentric mapping using an autonomous mobile robot. The robot dynamic model is the standard unicycle model and the robot is a...
Adrian N. Bishop, Patric Jensfelt
BTW
2007
Springer
93views Database» more  BTW 2007»
16 years 24 days ago
Towards an Integrated Model for Data, Metadata, and Operations
: Information integration requires manipulating data and metadata in ways that in general go beyond a single existing transformation formalism. As a result, a complete source-to-ta...
Jürgen Göres, Stefan Dessloch
ICDT
2007
ACM
133views Database» more  ICDT 2007»
16 years 23 days ago
XML Schema Mappings in the Presence of Key Constraints and Value Dependencies
Abstract. Schema mappings play a central role in both data integration and data exchange, and are understood as high-level specifications describing the relationships between data...
Tadeusz Pankowski, Jolanta Cybulka, Adam Meissner