2296 search results - page 140 / 460 » The Expressive Power of Synchronizations |
116
click to vote
APWEB
2007
Springer
15 years 10 months ago
2007
Springer
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...
131
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
Abstract-- We present the short-circuit code transformation technique, intended for embedded compilers. The transformation technique optimizes conditional blocks in high-level prog...
146
click to vote
DIAGRAMS
2004
Springer
15 years 8 months ago
2004
Springer
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...
147
click to vote
IQIS
2007
ACM
15 years 6 months ago
2007
ACM
Relational Database Systems often support activities like data warehousing, cleaning and integration. All these activities require performing some sort of data transformations. Si...
182
click to vote
AAAI
2010
15 years 6 months ago
2010
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...