6014 search results - page 890 / 1203 » Parametric Analysis of Computer Systems |
136
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
We lay out one strand of a continuing investigation into the development of a virtual peer to help children learn to use “school English” and “school-ratified science talk...
156
click to vote
SAC
2011
ACM
14 years 7 months ago
2011
ACM
Wikipedia’s article discussion spaces (“Talk pages”) form a large and growing proportion of the encyclopedia, used for collaboration and article improvement. So far there is...
190
click to vote
SCIENTOMETRICS
2011
14 years 7 months ago
2011
Scientific literature recommender systems (SLRSs) provide papers to researchers according to their scientific interests. Systems rely on inter-researcher similarity measures that...
269
click to vote
CADE
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
349
click to vote
RECOMB
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. Since the first emergence of protein-protein interaction networks, more than a decade ago, they have been viewed as static scaffolds of the signaling-regulatory events ...