381 search results - page 21 / 77 » Fraction-Free RNS Algorithms for Solving Linear Systems |
154
Voted
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
CDC
2008
IEEE
15 years 3 months ago
2008
IEEE
In this paper, an efficient algorithm is presented for solving the 2-D optimization problem which is associated with computing the robustness measures of a number of linear time-in...
98
Voted
TOMS
2011
14 years 8 months ago
2011
Abstract. We present a partitioned algorithm for reducing a symmetric matrix to a tridiagonal form, with partial pivoting. That is, the algorithm computes a factorization P AP T = ...
130
click to vote
ICCV
2007
IEEE
16 years 3 months ago
2007
IEEE
Boosting is a remarkably simple and flexible classification algorithm with widespread applications in computer vision. However, the application of boosting to nonEuclidean, infini...
103
click to vote
DAC
2008
ACM
16 years 2 months ago
2008
ACM
In this paper we present an efficient algorithm for extracting the complete statistical distribution of the input impedance of interconnect structures in the presence of a large n...