11740 search results - page 2029 / 2348 » More Problems in Rewriting |
164
click to vote
NPIV
1998
ACM
15 years 11 months ago
1998
ACM
We explore techniques from visualization and computational geometry to make tactical information more intuitive to a military commander. To be successful, the commander must quick...
193
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
This paper addresses the problem of how to apply pointer analysis to a wide variety of compiler applications. We are not presenting a new pointer analysis. Rather, we focus on put...
182
click to vote
STOC
1998
ACM
15 years 11 months ago
1998
ACM
Current formal models for quantum computation deal only with unitary gates operating on “pure quantum states”. In these models it is difficult or impossible to deal formally w...
208
click to vote
VL
1997
IEEE
15 years 11 months ago
1997
IEEE
Visual programming approaches are limited in their usefulness if they do not include a profile of their users that defines exactly who is attempting to solve what kind of problems...
196
click to vote
SPAA
1997
ACM
15 years 11 months ago
1997
ACM
- Partitioning unstructured graphs is central to the parallel solution of computational science and engineering problems. Spectral partitioners, such recursive spectral bisection (...