8917 search results - page 441 / 1784 » Abstraction in Algorithm Animation |
184
click to vote
SOFSEM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Since its very beginning, linear algebra is a highly algorithmic subject. Let us just mention the famous Gau
157
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
178
click to vote
DLT
2010
15 years 8 months ago
2010
Abstract. Blocker and coblocker sets are regular languages involved in the algorithmic solution of the Regular Post Embedding Problem. We investigate the computability of these lan...
169
click to vote
ICISC
2004
15 years 8 months ago
2004
Abstract. The XL (eXtended Linearization) equation-solving algorithm belongs to the same extended family as the advanced Gr
175
click to vote
PDPTA
1996
15 years 8 months ago
1996
A novel parallel algorithm for matrix multiplication is presented. It is based on a 1-D hyper-systolic processor abstraction. The procedure can be implemented on all types of para...