Sciweavers

1699 search results - page 88 / 340
» On the Expressive Power of QLTL
Sort
View
SSDBM
2009
IEEE
166views Database» more  SSDBM 2009»
15 years 7 months ago
Design and Implementation of Metadata System in PetaShare
As the size of scientific and commercial datasets grows, it becomes imperative that an expressive metadata framework to be developed to facilitate access to the semantics of the d...
Xinqi Wang, Tevfik Kosar
92
Voted
APWEB
2007
Springer
15 years 7 months ago
Untyped XQuery Canonization
XQuery is a powerful language defined by the W3C to query XML documents. Its query functionalities and its expressiveness satisfy the major needs of both the database community an...
Nicolas Travers, Tuyet-Tram Dang-Ngoc, Tianxiao Li...
96
Voted
ASPDAC
2007
ACM
117views Hardware» more  ASPDAC 2007»
15 years 4 months ago
Short-Circuit Compiler Transformation: Optimizing Conditional Blocks
Abstract-- We present the short-circuit code transformation technique, intended for embedded compilers. The transformation technique optimizes conditional blocks in high-level prog...
Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau
118
Voted
DIAGRAMS
2004
Springer
15 years 4 months ago
What Can Spider Diagrams Say?
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
Gem Stapleton, John Howse, John Taylor, Simon J. T...
110
Voted
IQIS
2007
ACM
15 years 2 months ago
On the performance of one-to-many data transformations
Relational Database Systems often support activities like data warehousing, cleaning and integration. All these activities require performing some sort of data transformations. Si...
Paulo J. F. Carreira, Helena Galhardas, Joã...