9405 search results - page 1363 / 1881 » Computing a Model of Set Theory |
182
click to vote
RECOMB
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Given a phylogenetic tree T for a family of tandemly repeated genes and their signed order O on the chromosome, we aim to find the minimum number of inversions compatible...
211
click to vote
STOC
2006
ACM
16 years 7 months ago
2006
ACM
It is proved that several interactive proof systems are zero-knowledge against general quantum attacks. This includes the Goldreich?Micali?Wigderson classical zero-knowledge proto...
176
click to vote
DCC
2004
IEEE
16 years 6 months ago
2004
IEEE
We present a statistical optimization framework for solving the end-to-end problem of progressive transmission of images over noisy channels. We consider the impacts of transmissi...
170
click to vote
ICS
2010
Tsinghua U.
16 years 4 months ago
2010
Tsinghua U.
: We study the design of mechanisms in combinatorial auction domains. We focus on settings where the auction is repeated, motivated by auctions for licenses or advertising space. W...
171
click to vote
ICDCS
2009
IEEE
16 years 4 months ago
2009
IEEE
Although distributed key generation (DKG) has been studied for some time, it has never been examined outside of the synchronous setting. We present the first realistic DKG archit...