Sciweavers

458 search results - page 34 / 92
» Universal Temporal Data Languages
Sort
View
EDBT
2008
ACM
137views Database» more  EDBT 2008»
16 years 4 months ago
Data exchange in the presence of arithmetic comparisons
Data exchange is the problem of transforming data structured under a schema (called source) into data structured under a different schema (called target). The emphasis of data exc...
Foto N. Afrati, Chen Li, Vassia Pavlaki
FMCO
2004
Springer
157views Formal Methods» more  FMCO 2004»
15 years 9 months ago
MoMo: A Modal Logic for Reasoning About Mobility
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
Rocco De Nicola, Michele Loreti
FGR
2008
IEEE
144views Biometrics» more  FGR 2008»
15 years 10 months ago
Bi-channel sensor fusion for automatic sign language recognition
In this paper, we investigate the mutual-complementary functionality of accelerometer (ACC) and electromyogram (EMG) for recognizing seven word-level sign vocabularies in German S...
Jonghwa Kim, Johannes Wagner, Matthias Rehm, Elisa...
DEBU
2010
205views more  DEBU 2010»
15 years 3 months ago
Spatio-Temporal Stream Processing in Microsoft StreamInsight
Microsoft StreamInsight is a platform for developing and deploying streaming applications. StreamInsight embraces a temporal stream model to unify and further enrich query languag...
Mohamed H. Ali, Badrish Chandramouli, Balan Sethu ...
WWW
2007
ACM
16 years 4 months ago
Geotracker: geospatial and temporal RSS navigation
The Web is rapidly moving towards a platform for mass collaboration in content production and consumption. Fresh content on a variety of topics, people, and places is being create...
Yih-Farn Robin Chen, Giuseppe Di Fabbrizio, David ...