2853 search results - page 234 / 571 » On Coherence in Computer Algebra |
142
Voted
AI
2007
Springer
15 years 5 months ago
2007
Springer
One difficulty that arises in abstract argument systems is that many natural questions regarding argument acceptability are, in general, computationally intractable having been c...
145
Voted
COMGEO
2007
ACM
15 years 5 months ago
2007
ACM
In this paper we present a package for implementing exact kinetic data structures built on objects which move along polynomial trajectories. We discuss how the package design was ...
182
click to vote
SIAMSC
2011
14 years 11 months ago
2011
We develop an algebraic multigrid (AMG) setup scheme based on the bootstrap framework for multiscale scientific computation. Our approach uses a weighted least squares definition...
115
Voted
RT
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes a new scheme for computing out-of-core global illumination in complex indoor scenes using a photon-mapping approach. Our method makes use of a cells-and-porta...
167
Voted
CMSB
2011
Springer
14 years 4 months ago
2011
Springer
Reversible structures are computational units that may progress forward and backward. We study weak coherent structures that are primarily inspired by dna circuits and may be comp...