Search for Author All Reviews
	Gallier, Jean     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 7 reviews       Geometric methods and applications: for computer science and engineering Gallier J., Springer-Verlag, London, UK, 2000. 565 pp.  Type: Book (9780387950440) This book has two weaknesses that are more than compensated for by its several strengths. Its title should be Geometric methods for applications rather than and applications, because applications are mentioned rather than...... Jul 1 2001     A simple method for drawing a rational curve as two Bézier segments Gallier J. ACM Transactions on Graphics (TOG) 18(4): 316-328, 1999.  Type: Article Gallier studies the problem of drawing a closed rational curve. In particular, the paper focuses on the “homogenized” rational polynomial F ( t ) defined over [ r , s ]...... Jun 1 2000     Curves and surfaces in geometric modeling Gallier J., Morgan Kaufmann Publishers Inc., San Francisco, CA, 2000.  Type: Book (9781558605992) Most readers will be familiar with the dual role that elements of Rn play in geometry: as points, and as vectors from the origin. Gallier argues that rigorous separation of the roles into a set of points <...... Feb 1 2000     Constructive logics: Part I Gallier J. Theoretical Computer Science 110(2): 249-339, 1993.  Type: Article This is the first installment of a two-part paper devoted to proof theory and functional calculi. The author promises that the second part will contain an exposition of the linear logic of J.-Y. Girard, a logical system for the careful...... Jun 1 1994     An algorithm for finding canonical sets of ground rewrite rules in polynomial time Gallier J., Narendran P., Plaisted D., Raatz S., Snyder W. Journal of the ACM 40(1): 1-16, 1993.  Type: Article Since every algebra of ground terms admits a total reduction ordering, Knuth-Bendix type completion procedures do not fail on input sets consisting of ground equations, and terminate with a canonical system equivalent to the input set....... Nov 1 1993     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy