1236 search results - page 34 / 248 » fast 2010 |
ITP
2010
14 years 1 months ago
2010
Abstract. The Satisfiability Modulo Theories (SMT) solver Z3 can generate proofs of unsatisfiability. We present independent reconstruction of these proofs in the theorem provers...
DASFAA
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract. A key issue to address in biological data integration is how to detect changes to the underlying biological data sources. In this demonstration, we present a novel system...
ICML
2010
IEEE
13 years 11 months ago
2010
IEEE
We propose a general and efficient algorithm for learning low-rank matrices. The proposed algorithm converges super-linearly and can keep the matrix to be learned in a compact fac...
ICASSP
2010
IEEE
13 years 10 months ago
2010
IEEE
The development of real-time image quality assessment algorithms is an important direction on which little research has focused. This paper presents a design of real-time implemen...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The whole computer hardware industry embraced multicores. For these machines, the extreme optimisation of sequential algorithms is no longer sufficient to squeeze the real machine ...