3454 search results - page 467 / 691 » Modern computer algebra |
155
click to vote
ICS
2000
Tsinghua U.
15 years 9 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 ...
178
click to vote
WFLP
2000
Springer
15 years 9 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
162
click to vote
ICCV
1995
IEEE
15 years 9 months ago
1995
IEEE
This paper studies the geometry of multi-image perspective projection and the matching constraints that this induces on image measurements. The combined image projections define ...
162
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not -complete and therefore not continuous in the traditional terminol...
181
click to vote
DAS
2008
Springer
15 years 7 months ago
2008
Springer
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...