5122 search results - page 138 / 1025 » Comparing Consequence Relations |
114
click to vote
SBACPAD
2004
IEEE
15 years 4 months ago
2004
IEEE
The aim of the paper is to introduce techniques in order to optimize the parallel execution time of sorting on heterogeneous platforms (processors speeds are related by a constant...
103
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Most works related to unithood were conducted as part of a larger effort for the determination of termhood. Consequently, the number of independent research that study the notion ...
119
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
New families of Fisher information and entropy power inequalities for sums of independent random variables are presented. These inequalities relate the information in the sum of n ...
118
click to vote
ENTCS
2006
15 years 3 months ago
2006
Data integration systems provide a uniform query interface (UQI) to multiple, autonomous data sources [4]. This paper presents the universal data model (UDM) that captures the sem...
119
Voted
ENTCS
2007
15 years 3 months ago
2007
In this paper we propose a formalization of access control policies based on term rewriting. The state of the system to which policies are enforced is represented as an algebraic ...