11740 search results - page 2211 / 2348 » More Problems in Rewriting |
169
click to vote
VISUALIZATION
1996
IEEE
15 years 10 months ago
1996
IEEE
A general volume rendering technique is described that efficiently produces images of excellent quality from data defined over irregular grids having a wide variety of formats. Re...
157
click to vote
MOBICOM
1996
ACM
15 years 10 months ago
1996
ACM
Even as mobile computing and network computing are gaining momentum, Internet security is sharing the spotlight. Security and authentication on open networks is already a difficul...
165
click to vote
PLDI
1996
ACM
15 years 10 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
171
click to vote
LPNMR
1997
Springer
15 years 10 months ago
1997
Springer
This paper introduces power default reasoning (PDR), a framework for nonmonotonic reasoning based on the domain-theoretic idea of modeling default rules with partial-information i...
169
click to vote
PLILP
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...