Search Sciweavers | Sciweavers

23413 search results - page 400 / 4683

» or 2005

143

click to vote

TARK
2005
Springer

100views Automated Reasoning» more TARK 2005»

The communication cost of selfishness: ex post implementation

16 years 7 days ago

Download www.stanford.edu

Ronald Fadel, Ilya Segal

claim paper

Read More »

142

click to vote

TARK
2005
Springer

98views Automated Reasoning» more TARK 2005»

Deciding knowledge properties of security protocols

16 years 7 days ago

Download www.tark.org

Ramaswamy Ramanujam, S. P. Suresh

claim paper

Read More »

150

click to vote

TBILLC
2005
Springer

73views Natural Language Processing» more TBILLC 2005»

Pros and Cons of a Type-Shifting Approach to Russian Genitive of Negation

16 years 7 days ago

Download people.umass.edu

Barbara Partee, Vladimir Borschev

claim paper

Read More »

140

click to vote

TCC
2005
Springer

101views Cryptology» more TCC 2005»

Efficiently Constructible Huge Graphs That Preserve First Order Properties of Random Graphs

16 years 7 days ago

Download people.csail.mit.edu

Moni Naor, Asaf Nussboim, Eran Tromer

claim paper

Read More »

162

click to vote

TCC
2005
Springer

96views Cryptology» more TCC 2005»

Secure Computation of the Mean and Related Statistics

16 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers