2853 search results - page 131 / 571 » On Coherence in Computer Algebra |
148
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
133
click to vote
ISVC
2010
Springer
15 years 2 months ago
2010
Springer
Algebraic methods for image reconstruction provide good solutions even if only few projections are available. However, they can create noisy images if the number of iterations or t...
155
click to vote
ASAP
2011
IEEE
14 years 4 months ago
2011
IEEE
—Achieving high-performance while reducing power consumption is a key concern as technology scaling is reaching its limits. It is well-accepted that application-specific custom ...
170
click to vote
TOG
2012
13 years 6 months ago
2012
We present an approach to high-level shape editing that adapts the structure of the shape while maintaining its global characteristics. Our main contribution is a new algebraic mo...
142
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
—The performance bottleneck for many scientific applications is the cost of memory access inside linear algebra kernels. Tuning such kernels for memory efficiency is a complex ...