6800 search results - page 1300 / 1360 » Testing with Functions as Specifications |
116
Voted
NAR
2010
14 years 10 months ago
2010
Chromosome translocations and gene fusions are frequent events in the human genome and have been found to cause diverse types of tumor. ChimerDB is a knowledgebase of fusion genes...
142
Voted
SIGMOD
2010
ACM
14 years 10 months ago
2010
ACM
Scalable analysis on large data sets has been core to the functions of a number of teams at Facebook - both engineering and nonengineering. Apart from ad hoc analysis of data and ...
183
Voted
TC
2010
14 years 10 months ago
2010
Tweakable enciphering schemes are length preserving block cipher modes of operation that provide a strong pseudo-random permutation. It has been suggested that these schemes can b...
152
Voted
TEC
2010
14 years 10 months ago
2010
In this paper, we consider the scenario that a population-based algorithm is applied to a numerical optimization problem and a solution needs to be presented within a given time bu...
150
Voted
TIT
2010
14 years 10 months ago
2010
In this paper, we study the number of measurements required to recover a sparse signal in M with L nonzero coefficients from compressed samples in the presence of noise. We conside...