Sciweavers

5608 search results - page 1014 / 1122
» On the Theory of Matchgate Computations
Sort
View
POPL
2010
ACM
15 years 11 months ago
Automatically Generating Instruction Selectors Using Declarative Machine Descriptions
Despite years of work on retargetable compilers, creating a good, reliable back end for an optimizing compiler still entails a lot of hard work. Moreover, a critical component of ...
João Dias, Norman Ramsey
107
Voted
POPL
2010
ACM
15 years 11 months ago
Monads in Action
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
Andrzej Filinski
IUI
2010
ACM
15 years 10 months ago
Facilitating exploratory search by model-based navigational cues
We present an extension of a computational cognitive model of social tagging and exploratory search called the semantic imitation model. The model assumes a probabilistic represen...
Wai-Tat Fu, Thomas George Kannampallil, Ruogu Kang
STACS
2010
Springer
15 years 8 months ago
Evasiveness and the Distribution of Prime Numbers
Abstract. A Boolean function on N variables is called evasive if its decision-tree complexity is N. A sequence Bn of Boolean functions is eventually evasive if Bn is evasive for al...
László Babai, Anandam Banerjee, Ragh...
CHI
2010
ACM
15 years 8 months ago
The effects of diversity on group productivity and member withdrawal in online volunteer groups
The “wisdom of crowds” argument emphasizes the importance of diversity in online collaborations, such as open source projects and Wikipedia. However, decades of research on di...
Jilin Chen, Yuqing Ren, John Riedl
« Prev « First page 1014 / 1122 Last » Next »