Sciweavers

21183 search results - page 3737 / 4237
» Adaptive Testing by Test
Sort
View
210
Voted
BIOINFORMATICS
2012
13 years 9 months ago
SSuMMo: rapid analysis, comparison and visualization of microbial communities
Motivation: Next-generation sequencing methods are generating increasingly massive datasets, yet still do not fully capture genetic diversity in the richest environments. To under...
Alex L. B. Leach, James P. J. Chong, Kelly R. Rede...
AAAI
2012
13 years 9 months ago
Automated Strategies for Determining Rewards for Human Work
We consider the problem of designing automated strategies for interactions with human subjects, where the humans must be rewarded for performing certain tasks of interest. We focu...
Amos Azaria, Yonatan Aumann, Sarit Kraus
205
Voted
STOC
2006
ACM
108views Algorithms» more  STOC 2006»
16 years 7 months ago
Gowers uniformity, influence of variables, and PCPs
Gowers [Gow98, Gow01] introduced, for d 1, the notion of dimension-d uniformity Ud (f) of a function f : G C, where G is a finite abelian group. Roughly speaking, if a function ...
Alex Samorodnitsky, Luca Trevisan
IFM
2007
Springer
129views Formal Methods» more  IFM 2007»
16 years 1 months ago
Slotted-Circus
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Andrew Butterfield, Adnan Sherif, Jim Woodcock
223
Voted
EUROPAR
2004
Springer
16 years 19 days ago
Large-Scale Deployment in P2P Experiments Using the JXTA Distributed Framework
The interesting properties of P2P systems (high availability despite peer volatility, support for heterogeneous architectures, high scalability, etc.) make them attractive for dist...
Gabriel Antoniu, Luc Bougé, Mathieu Jan, S&...
« Prev « First page 3737 / 4237 Last » Next »