32032 search results - page 152 / 6407 » Verified programming in Guru |
128
click to vote
COLING
2010
14 years 11 months ago
2010
In this paper, we propose a method for mediatory summarization, which is a novel technique for facilitating users' assessments of the credibility of information on the Web. A...
105
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
We describe a new language-independent technique for automatically identifying errors in an electronic pronunciation dictionary by analyzing the source of conflicting patterns dir...
146
click to vote
PKC
2009
Springer
16 years 5 months ago
2009
Springer
Similar to verifiable shuffling (or, mixing), we consider the problem of verifiable rotating (and random re-encrypting) a given list of homomorphic encryptions. The offset by which...
244
click to vote
ICDE
2007
IEEE
16 years 6 months ago
2007
IEEE
Recent work on distributed, in-network aggregation assumes a benign population of participants. Unfortunately, modern distributed systems are plagued by malicious participants. In...
123
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
—The microprocessor verification challenge becomes higher in the on-chip bus (OCB) than in the unit-level. Especially for the external interrupts, since they interface with othe...