6014 search results - page 890 / 1203 » Parametric Analysis of Computer Systems |
181
click to vote
CHI
2011
ACM
14 years 11 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...
195
click to vote
SAC
2011
ACM
14 years 10 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...
238
click to vote
SCIENTOMETRICS
2011
14 years 10 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...
343
click to vote
CADE
2011
Springer
14 years 7 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 ...
410
click to vote
RECOMB
2012
Springer
13 years 9 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 ...