Summary: Automatic Generation of Staged Geometric Predicates
Aleksandar Nanevski
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213-3891
aleks@cs.cmu.edu
Guy Blelloch
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213-3891
blelloch@cs.cmu.edu
Robert Harper
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213-3891
rwh@cs.cmu.edu
ABSTRACT
Algorithms in Computational Geometry and Computer Aid-
ed Design are often developed for the Real RAM model of
computation, which assumes exactness of all the input argu-

Source: Antaki, James F. - Department of Biomedical Engineering & School of Computer Science, Carnegie Mellon University
Blelloch, Guy E. - School of Computer Science, Carnegie Mellon University
Harper, Robert - School of Computer Science, Carnegie Mellon University

Collections: Biology and Medicine; Computer Technologies and Information Sciences; Engineering