Sciweavers

3921 search results - page 663 / 785
» Transforming Models with ATL
Sort
View
ER
2007
Springer
95views Database» more  ER 2007»
15 years 6 months ago
Providing Semantically Equivalent, Complete Views for Multilingual Access to Integrated Data
Today, there are several approaches supporting an integrated processing of XML and (object-)relational data sources. However, each of these approaches favors a single data model f...
Iryna Kozlova, Norbert Ritter, Martin Husemann
108
Voted
FROCOS
2007
Springer
15 years 6 months ago
Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
Beatriz Alarcón, Salvador Lucas
99
Voted
FROCOS
2007
Springer
15 years 6 months ago
Languages Modulo Normalization
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
Hitoshi Ohsaki, Hiroyuki Seki
LCPC
2007
Springer
15 years 6 months ago
Multidimensional Blocking in UPC
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
Christopher Barton, Calin Cascaval, George Alm&aac...
115
Voted
MIRAGE
2007
Springer
15 years 6 months ago
Hand Gesture Recognition with a Novel IR Time-of-Flight Range Camera-A Pilot Study
Abstract We present a gesture recognition system for recognizing hand movements in near realtime. The system uses a infra-red time-of-flight range camera with up to 30 Hz framerat...
Pia Breuer, Christian Eckes, Stefan Müller 00...