Sciweavers

4353 search results - page 317 / 871
» Expressiveness of Process Algebras
Sort
View
ICDE
2008
IEEE
142views Database» more  ICDE 2008»
16 years 8 months ago
An Inflationary Fixed Point Operator in XQuery
ct The backbone of the XML data model, namely ordered, unranked trees, is inherently recursive and it is natural to equip the associated languages with constructs that can query su...
Loredana Afanasiev, Torsten Grust, Maarten Marx, J...
VLDB
2004
ACM
99views Database» more  VLDB 2004»
16 years 2 days ago
Query Languages and Data Models for Database Sequences and Data Streams
We study the fundamental limitations of relational algebra (RA) and SQL in supporting sequence and stream queries, and present effective query language and data model enrichments ...
Yan-Nei Law, Haixun Wang, Carlo Zaniolo
CODES
2009
IEEE
15 years 7 months ago
Efficient dynamic voltage/frequency scaling through algorithmic loop transformation
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
Mohammad Ali Ghodrat, Tony Givargis
AB
2007
Springer
16 years 28 days ago
Attenuation Regulation as a Term Rewriting System
Abstract The classical attenuation regulation of gene expression in bacteria is considered. We propose to represent the secondary RNA structure in the leader region of a gene or an...
Eugene Asarin, Thierry Cachat, Alexander Seliverst...
GW
2007
Springer
85views Biometrics» more  GW 2007»
16 years 27 days ago
A Qualitative and Quantitative Characterisation of Style in Sign Language Gestures
This paper addresses the identification and representation of the variations induced by style for the synthesis of realistic and convincing expressive gesture sequences. A qualita...
Alexis Heloir, Sylvie Gibet