19 results on '"Pratt, Vaughan"'
Search Results
2. CommonSense: a preprocessing system to identify errors in large transcribed corpora
3. CommonSense: a preprocessing system to identify errors in large transcribed corpora.
4. Direct least-squares fitting of algebraic surfaces.
5. Adaptive forward differencing for rendering curves and surfaces.
6. Techniques for conic splines.
7. Five paradigm shifts in programming language design and their realization in Viron, a dataflow programming environment.
8. Nondeterminism in logics of programs.
9. The competence/performance dichotomy in programming preliminary report.
10. Semantical consideration on floyo-hoare logic.
11. The mutual exclusion problem for unreliable processes.
12. A characterization of the power of vector machines.
13. The power of negative thinking in multiplying Boolean matrices.
14. Computing permutations with double-ended queues, parallel stacks and parallel queues.
15. Linear time bounds for median computations.
16. Top down operator precedence.
17. On lower bounds for computing the i-th largest element.
18. APL and LISP---should they be combined, and if so how?
19. APL and LISP—should they be combined, and if so how?
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.