Sciweavers

458 search results - page 34 / 92
» Universal Temporal Data Languages
Sort
View
EDBT
2008
ACM
137views Database» more  EDBT 2008»
15 years 12 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 5 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 6 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»
14 years 12 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 15 days 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 ...