7839 search results - page 1487 / 1568 » What's Clicking What |
124
click to vote
CSCW
2006
ACM
15 years 24 days ago
2006
ACM
As the basic sciences become increasingly information-intensive, the management and use of research data presents new challenges in the collective activities that constitute schola...
100
Voted
ECCC
2006
15 years 23 days ago
2006
We consider the problem of amplifying uniform average-case hardness of languages in NP, where hardness is with respect to BPP algorithms. We introduce the notion of monotone error...
105
click to vote
ECCC
2006
15 years 23 days ago
2006
Given a graph G and a collection of source-sink pairs in G, what is the least integer c such that each source can be connected by a path to its sink, with at most c paths going th...
136
click to vote
ENTCS
2006
15 years 23 days ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
105
Voted
ENVSOFT
2006
15 years 23 days ago
2006
Our ability to numerically model natural systems has progressed enormously over the last 10e20 years. During the last decade computational power has increased to the stage where w...