Sciweavers

87 search results - page 13 / 18
» Denotation by Transformation
Sort
View
DOLAP
2004
ACM
14 years 1 months ago
Aggregate queries in peer-to-peer OLAP
A peer-to-peer (P2P) data management system consists essentially of a network of peer systems, each maintaining full autonomy over its own data resources. Data exchange between pe...
Mauricio Minuto Espil, Alejandro A. Vaisman
ILP
2004
Springer
14 years 28 days ago
Generalization Algorithms for Second-Order Terms
In this paper, we study the generalization algorithms for second-order terms, which are treated as first-order terms with function variables, under an instantiation order denoted ...
Kouichi Hirata, Takeshi Ogawa, Masateru Harao
PDP
2002
IEEE
14 years 14 days ago
Eventually Consistent Failure Detectors
The concept of unreliable failure detector was introduced by Chandra and Toueg as a mechanism that provides information about process failures. This mechanism has been used to sol...
Mikel Larrea, Antonio Fernández, Sergio Ar&...
ICIP
1999
IEEE
13 years 12 months ago
Wavelet-Domain Regularized Deconvolution for ILL-Conditioned Systems
by 0. In the discrete Fourier transform (DFT) domain, We propose a hybrid approach to wavelet-based image deconvolution that comprises Fourier-domain system inversion followed by w...
Ramesh Neelamani, Hyeokho Choi, Richard G. Baraniu...
CONCUR
1994
Springer
13 years 11 months ago
Weak Sequential Composition in Process Algebras
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
Arend Rensink, Heike Wehrheim