2367 search results - page 316 / 474 » An experimental analysis of self-adjusting computation |
202
Voted
SIBGRAPI
2008
IEEE
16 years 1 months ago
2008
IEEE
2D electrophoresis is a well known method for protein separation which is extremely useful in the field of proteomics. Each spot in the image represents a protein accumulation an...
147
Voted
ARITH
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. We present efficient squaring formulae based on the Toom-Cook multiplication algorithm. The latter always requires at least one non-trivial constant division in the inte...
178
Voted
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
Structural perception of data plays a fundamental role in pattern analysis and machine learning. In this paper, we develop a new structural perception of data based on local conte...
182
Voted
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
16 years 1 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
227
Voted
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
In today’s world, stream processing systems have become important, as applications like media broadcasting, sensor network monitoring and on-line data analysis increasingly rely...