3172 search results - page 19 / 635 » On the Random-Self-Reducibility of Complete Sets |
116
Voted
CORR
2002
Springer
15 years 14 days ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
100
click to vote
CISS
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract—We consider the transmission completion time minimization problem in a single-user energy harvesting wireless communication system. In this system, both the data packets...
100
click to vote
ICIP
2007
IEEE
16 years 2 months ago
2007
IEEE
Recently, a new exemplar-based method for image completion, texture synthesis and image inpainting was proposed which uses a discrete global optimization strategy based on Markov ...
84
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract An encryption scheme is non-malleable if the adversary cannot transform a ciphertext into one of a related message under the given public key. Although providing a very st...
127
Voted
LPAR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Recently, local logics for Mazurkiewicz traces are of increasing interest. This is mainly due to the fact that the satisfiability problem has the same complexity as in t...