5084 search results - page 732 / 1017 » Proving Possibility Properties |
176
click to vote
WABI
2009
Springer
16 years 1 months ago
2009
Springer
Background: Supertree methods combine the phylogenetic information from multiple partially-overlapping trees into a larger phylogenetic tree called a supertree. Several supertree ...
184
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper considers the problem of electing an eventual leader in an asynchronous shared memory system. While this problem has received a lot of attention in messagepassing syste...
231
click to vote
IH
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Hard decisions constitute the major problem in digital watermarking applications, especially when content adaptive embedding methods are used. Soft-decision decoding, on ...
229
click to vote
WIDM
2005
ACM
16 years 7 days ago
2005
ACM
Markov models have been widely used for modelling users' navigational behaviour in the Web graph, using the transitional probabilities between web pages, as recorded in the w...
194
click to vote
FSE
2005
Springer
16 years 6 days ago
2005
Springer
In this paper we present a new class of stream ciphers based on a very simple mechanism. The heart of our method is a Feedback with Carry Shift Registers (FCSR) automaton. This au...