1307 search results - page 151 / 262 » Follow the intellectual property |
207
Voted
TARK
2007
Springer
16 years 1 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
207
Voted
DSN
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper considers the eventual leader election problem in asynchronous message-passing systems where an arbitrary number t of processes can crash (t < n, where n is the tota...
189
Voted
ICGI
2004
Springer
16 years 12 days ago
2004
Springer
The present work studies clustering from an abstract point of view and investigates its properties in the framework of inductive inference. Any class S considered is given by a hyp...
170
Voted
IPMU
2010
Springer
15 years 11 months ago
2010
Springer
We introduce a general definition for the independence of a number of finite-valued variables, based on coherent lower previsions. Our definition has an epistemic flavour: it a...
188
Voted
ACISP
2001
Springer
15 years 11 months ago
2001
Springer
An English auction is the most familiar type of auctions. Generally, an electronic auction has mainly two entities, the registration manager(RM) who treats the registration of bidd...