Sciweavers

2797 search results - page 113 / 560
» Code query by example
Sort
View
133
Voted
ICLP
1999
Springer
15 years 7 months ago
Bounded Nondeterminism of Logic Programs
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
Dino Pedreschi, Salvatore Ruggieri
165
Voted
TKDE
2012
215views Formal Methods» more  TKDE 2012»
13 years 5 months ago
Outsourced Similarity Search on Metric Data Assets
—This paper considers a cloud computing setting in which similarity querying of metric data is outsourced to a service provider. The data is to be revealed only to trusted users,...
Man Lung Yiu, Ira Assent, Christian S. Jensen, Pan...
110
Voted
GLOBECOM
2006
IEEE
15 years 8 months ago
Protograph LDPC Codes with Node Degrees at Least 3
— In this paper we present protograph codes with a small number of degree-3 nodes and one high degree node. The iterative decoding threshold for proposed rate 1/2 codes are lower...
Dariush Divsalar, Christopher Jones
160
Voted
IJCAI
1997
15 years 4 months ago
Combining Probabilistic Population Codes
We study the problemof statisticallycorrect inference in networks whose basic representations are population codes. Population codes are ubiquitous in the brain, and involve the s...
Richard S. Zemel, Peter Dayan
111
Voted
ICIP
2006
IEEE
16 years 4 months ago
On the Optimal Structure of Watermark Decoders Under Desynchronization Attacks
Designing watermarking codes that can withstand geometric and other desynchronization attacks is a notoriously difficult problem. One may ask whether these difficulties are due to...
Pierre Moulin