Sciweavers

588 search results - page 37 / 118
» Reducibility and Completeness in Private Computations
Sort
View
CIE
2009
Springer
14 years 4 months ago
Complexity of Existential Positive First-Order Logic
Let Γ be a (not necessarily finite) structure with a finite relational signature. We prove that deciding whether a given existential positive sentence holds in Γ is in LOGSPACE...
Manuel Bodirsky, Miki Hermann, Florian Richoux
CIE
2007
Springer
14 years 4 months ago
A Useful Undecidable Theory
Abstract. We show that many so called discrete weak semilattices considered earlier in a series of author’s publications have hereditary undecidable first-order theories. Since ...
Victor L. Selivanov
SAC
2006
ACM
13 years 10 months ago
Undue influence: eliminating the impact of link plagiarism on web search rankings
Link farm spam and replicated pages can greatly deteriorate link-based ranking algorithms like HITS. In order to identify and neutralize link farm spam and replicated pages, we lo...
Baoning Wu, Brian D. Davison
VTC
2008
IEEE
189views Communications» more  VTC 2008»
14 years 4 months ago
Selective Mapping with Symbol Re-Mapping for OFDM/TDM Using MMSE-FDE
—Orthogonal frequency division multiplexing (OFDM) signals have a problem with high peak-to-average power ratio (PAPR). A distortionless selective mapping (SLM) has been proposed...
Haris Gacanin, Fumiyuki Adachi
PODC
1999
ACM
14 years 2 months ago
Dynamically Configurable Distributed Objects
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
Michael J. Lewis, Andrew S. Grimshaw