121 search results - page 9 / 25 » ideas 1997 |
SIGCSE
1997
ACM
13 years 11 months ago
1997
ACM
When teaching a course in compiler design, it is conventional to introduce the iterative calculation of least fixed points quite late in the course, in the guise of iterative dat...
VRST
1997
ACM
13 years 11 months ago
1997
ACM
We present a simple, but efficient view collision detection method for the walk-through system. The basic idea is to check if the current view position intersects with the range d...
AADEBUG
1997
Springer
13 years 11 months ago
1997
Springer
I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging. Algorithms for observation are useful in distr...
AAECC
1997
Springer
13 years 11 months ago
1997
Springer
We describe the Maple [23] implementation of multivariate factorization over general finite fields. Our first implementation is available in Maple V Release 3. We give selected det...
ECP
1997
Springer
13 years 11 months ago
1997
Springer
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...