1120 search results - page 81 / 224 » C Elements of Style |
120
click to vote
ENTCS
2002
14 years 9 months ago
2002
The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous work has illustrated the usefulness of these calculi for practical notions like the im...
LISP
2002
14 years 9 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
PSYCHNOLOGY
2007
14 years 9 months ago
2007
In this paper it is our intention to discuss a Teacher Education proposal that uses an on line asynchronous learning environment to develop collaborative practices and to enhance ...
141
click to vote
CASC
2011
Springer
13 years 9 months ago
2011
Springer
We investigate two practical divide-and-conquer style algorithms for univariate polynomial arithmetic. First we revisit an algorithm originally described by Brent and Kung for comp...
94
Voted
CGI
2006
IEEE
15 years 1 months ago
2006
IEEE
Abstract. In this paper we argue for our NPAR system as an effective 2D alternative to most of NPR research which is focused on frame coherent stylised rendering of 3D models. Our ...