Sciweavers

7064 search results - page 363 / 1413
» From States to Histories
Sort
View
SIAMCOMP
2011
14 years 9 months ago
A Quantitative Version of the Gibbard-Satterthwaite Theorem for Three Alternatives
The Gibbard-Satterthwaite theorem states that every non-dictatorial election rule among at least three alternatives can be strategically manipulated. We prove a quantitative versi...
Ehud Friedgut, Gil Kalai, Nathan Keller, Noam Nisa...
ACL
2012
13 years 9 months ago
Native Language Detection with Tree Substitution Grammars
We investigate the potential of Tree Substitution Grammars as a source of features for native language detection, the task of inferring an author’s native language from text in ...
Benjamin Swanson, Eugene Charniak
SIGMOD
2008
ACM
145views Database» more  SIGMOD 2008»
16 years 7 months ago
The Claremont report on database research
In late May, 2008, a group of database researchers, architects, users and pundits met at the Claremont Resort in Berkeley, California to discuss the state of the research field an...
Rakesh Agrawal, Anastasia Ailamaki, Philip A. Bern...
CCS
2005
ACM
16 years 13 days ago
Automatic diagnosis and response to memory corruption vulnerabilities
Cyber attacks against networked computers have become relentless in recent years. The most common attack method is to exploit memory corruption vulnerabilities such as buffer ove...
Jun Xu, Peng Ning, Chongkyung Kil, Yan Zhai, Chris...
TACAS
2005
Springer
108views Algorithms» more  TACAS 2005»
16 years 11 days ago
On Some Transformation Invariants Under Retiming and Resynthesis
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
Jie-Hong Roland Jiang