2000 search results - page 90 / 400 » Program Transformation and Proof Transformation |
117
click to vote
CC
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
153
Voted
NIPS
2004
15 years 4 months ago
2004
We present an algorithm based on convex optimization for constructing kernels for semi-supervised learning. The kernel matrices are derived from the spectral decomposition of grap...
148
click to vote
SNPD
2003
15 years 4 months ago
2003
Specific requirements of stream processing on the Grid are discussed. We argue that when the stream processing paradigm is used for cluster computing, the processing components c...
114
click to vote
ICONFERENCE
2011
14 years 10 months ago
2011
The decreasing cost of technology and Internet access has resulted in increasingly large-scale scientific research projects that rely on technology-mediated public participation....
134
Voted
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...