Sciweavers

1699 search results - page 29 / 340
» On the Expressive Power of QLTL
Sort
View
DC
2010
13 years 4 months ago
A taxonomy of process calculi for distribution and mobility
In this paper, we comparatively analyze some mainstream calculi for mobility and distribution, together with some of their variants: asynchronous -calculus, distributed -calculus,...
Daniele Gorla
AMW
2011
12 years 11 months ago
Subqueries in SPARQL
Subqueries are a poweful feature which allows to enforce reuse, composition, rewriting and optimization in a query language. In this paper we perform a comprehensive study of the i...
Renzo Angles, Claudio Gutierrez
VTC
2007
IEEE
14 years 1 months ago
Power Allocation Scheme for MIMO MC-CDMA With Two Dimensional Spreading
— In this paper, we develop a power distribution scheme for multi-input multi-output (MIMO) [1] multi-carrier (MC) code division multiple access (CDMA) systems [2]-[3] with two-d...
Wladimir Bocquet, Kazunori Hayashi, Hideaki Sakai
ACTA
2007
54views more  ACTA 2007»
13 years 7 months ago
On the tree-transformation power of XSLT
XSLT is a standard rule-based programming language for expressing transformations of XML data. The language is currently in tran
Wim Janssen, Alexandr Korlyukov, Jan Van den Bussc...
CORR
2006
Springer
88views Education» more  CORR 2006»
13 years 7 months ago
The Power and Perils of MDL
Practical use of MDL is full of pitfalls in which the practitioners tend to fall head over heels. We analyse the power and the perils in the use of MDL. Generally, the classical a...
Pieter W. Adriaans, Paul M. B. Vitányi