103 search results - page 9 / 21 » Complete Iterativity for Algebras with Effects |
TMI
2008
14 years 9 months ago
2008
For multi-pinhole SPECT, iterative reconstruction algorithms are preferred over analytical methods, because of the often complex multi-pinhole geometries and the ability of iterat...
BMCBI
2005
14 years 9 months ago
2005
Background: Computational methods for problem solving need to interleave information access and algorithm execution in a problem-specific workflow. The structures of these workflo...
ICS
2000
Tsinghua U.
15 years 1 months ago
2000
Tsinghua U.
We present an approach for synthesizing transformations to enhance locality in imperfectly-nested loops. The key idea is to embed the iteration space of every statement in a loop ...
CSEE
2006
Springer
14 years 11 months ago
2006
Springer
Test-driven development (TDD) is an agile software development strategy that addresses both design and testing. This paper describes a controlled experiment that examines the effe...
AISC
2010
Springer
15 years 22 days ago
2010
Springer
We present tropical games, a generalization of combinatorial min-max games based on tropical algebras. Our model breaks the traditional symmetry of rational zero-sum games where pl...