6800 search results - page 1162 / 1360 » Testing with Functions as Specifications |
BIBM
2010
IEEE
13 years 6 months ago
2010
IEEE
ATP is a ubiquitous nucleotide that provides energy for cellular activities, catalyzes chemical reactions, and is involved in cellular signaling. The knowledge of the ATPprotein in...
CVPR
2010
IEEE
13 years 6 months ago
2010
IEEE
We address the problem of computing joint sparse representation of visual signal across multiple kernel-based representations. Such a problem arises naturally in supervised visual...
EDBT
2010
ACM
13 years 6 months ago
2010
ACM
Spatial data are common in many scientific and commercial domains such as geographical information systems and gene/protein expression profiles. Querying for distribution patterns...
EKAW
2010
Springer
13 years 6 months ago
2010
Springer
The objectives of this paper are to present, describe, and explain the foundations and the functionalities of a temporal knowledge acquisition and modeling solution workflow, which...
FOCS
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract. We present a Fourier-analytic approach to list-decoding Reed-Muller codes over arbitrary finite fields. We use this to show that quadratic forms over any field are locall...