162 search results - page 9 / 33 » A Relational Approach to the Compilation of Sparse Matrix Pr... |
ECML
2007
Springer
14 years 1 months ago
2007
Springer
The stability of sample based algorithms is a concept commonly used for parameter tuning and validity assessment. In this paper we focus on two well studied algorithms, LSI and PCA...
PADL
2004
Springer
14 years 25 days ago
2004
Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
ISRR
2005
Springer
14 years 1 months ago
2005
Springer
An open problem in Simultaneous Localization and Mapping (SLAM) is the development of algorithms which scale with the size of the environment. A few promising methods exploit the ...
ISAAC
2009
Springer
14 years 2 months ago
2009
Springer
Toric ideals have many applications including solving integer programs. Several algorithms for computing the toric ideal of an integer matrix are available in the literature. Since...
ICCAD
2009
IEEE
13 years 5 months ago
2009
IEEE
A parallel computing approach for large-scale SPICE-accurate circuit simulation is described that is based on a new preconditioned iterative solver. The preconditioner involves the...