9997 search results - page 1635 / 2000 » The case for crowd computing |
177
Voted
CONSTRAINTS
2008
15 years 7 months ago
2008
Abstract. A very challenging problem in the genetics domain is to infer haplotypes from genotypes. This process is expected to identify genes affecting health, disease and response...
152
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Algorithms are developed for calculating dealiased linear convolution sums without the expense of conventional zero-padding or phase-shift techniques. For one-dimensional in-place ...
181
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We consider a class of learning problems that involve a structured sparsityinducing norm defined as the sum of -norms over groups of variables. Whereas a lot of effort has been pu...
142
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
179
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...