160 search results - page 11 / 32 » Homomorphism preservation theorems |
IGPL
2002
13 years 7 months ago
2002
Fibring is defined as a mechanism for combining logics with a firstorder base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
The goal of this paper is the development of a novel approach for the problem of Noise Removal, based on the theory of Reproducing Kernels Hilbert Spaces (RKHS). The problem is ca...
ECSQARU
2003
Springer
14 years 22 days ago
2003
Springer
We introduce a set of transformations on the set of all probability distributions over a finite state space, and show that these transformations are the only ones that preserve c...
WIOPT
2005
IEEE
14 years 1 months ago
2005
IEEE
End-to-end encryption schemes that support operations over ciphertext are of utmost importance for commercial private party Wireless Sensor Network implementations to become meani...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
Recent work [27, 15] introduced a novel peer-to-peer application that leverages content sharing and aggregation among the peers to diagnose misconfigurations on a desktop PC. Thi...