35419 search results - page 170 / 7084 » How are we doing |
114
click to vote
ACSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Digital signatures allow us to produce documents whose integrity and authenticity, as we generated them, is verifiable by anybody who has access to our public key. Furthermore, w...
173
click to vote
PODC
1990
ACM
15 years 8 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
135
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Notions of fairness have recently received increased attention in the context of resource allocation problems, pushed by diverse applications where not only pure utilitarian effic...
125
Voted
CORR
2004
Springer
15 years 4 months ago
2004
Springer
An optimization problem that naturally arises in the study of swarm robotics is the Freeze-Tag Problem (FTP) of how to awaken a set of "asleep" robots, by having an awak...
126
click to vote
IJMI
2002
15 years 3 months ago
2002
A prerequisite for all higher level information extraction tasks is the identication of unknown names in text. Today, when large corpora can consist of billions of words, it is of...