4328 search results - page 89 / 866 » A New Kind of Science |
189
click to vote
FOCS
2002
IEEE
15 years 11 months ago
2002
IEEE
We show new lower bounds and impossibility results for general (possibly non-black-box) zero-knowledge proofs and arguments. Our main results are that, under reasonable complexity...
165
click to vote
ACMSE
2006
ACM
15 years 9 months ago
2006
ACM
Many of the new technologies designed to help worldwide communication
155
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
How do new college graduates experience their first software development jobs? In what ways are they prepared by their educational experiences, and in what ways do they struggle t...
139
click to vote
HICSS
2009
IEEE
16 years 27 days ago
2009
IEEE
By examining searcher behavior on a large search engine, we have identified seven basic kinds of task behaviors that can be observed in web search session logs. In the studies rep...
163
click to vote
LICS
2008
IEEE
16 years 14 days ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...