Jean Gallier
Affiliations: | Computer and Information Science | University of Pennsylvania, Philadelphia, PA, United States |
Area:
Intelligent Systems: Computer Vision; Computer Graphics and AnimationGoogle:
"Jean Gallier"Children
Sign in to add trainee| Dianna Xu | grad student | 2002 | Penn |
| Marcelo Siqueira | grad student | 2006 | Penn |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Naroditsky O, Zhou XS, Gallier J, et al. (2012) Two efficient solutions for visual odometry using directional correspondence. Ieee Transactions On Pattern Analysis and Machine Intelligence. 34: 818-24 |
| Gallier J, Xu D, Siqueira M. (2012) Parametric pseudo-manifolds Differential Geometry and Its Application. 30: 702-736 |
| Siqueira M, Xu D, Gallier J, et al. (2009) A new construction of smooth surfaces from triangle meshes using parametric pseudo-manifolds Computers and Graphics (Pergamon). 33: 331-340 |
| Siqueira M, Latecki LJ, Tustison N, et al. (2008) Topological repairing of 3D digital images Journal of Mathematical Imaging and Vision. 30: 249-274 |
| Ramaswami S, Siqueira M, Sundaram T, et al. (2005) Constrained quadrilateral meshes of bounded size International Journal of Computational Geometry and Applications. 15: 55-98 |
| Siqueira M, Latecki LJ, Gallier J. (2005) Making 3D binary digital images well-composed Proceedings of Spie - the International Society For Optical Engineering. 5675: 150-163 |
| Gallier J. (1999) A simple method for drawing a rational curve as two Bézier segments Acm Transactions On Graphics. 18: 316-328 |
| Breazutannen V, Gallier J. (1994) Polymorphic Rewriting Conserves Algebraic Confluence Information and Computation. 114: 1-29 |
| Gallier J, Narendran P, Plaisted D, et al. (1993) Algorithm for finding canonical sets of ground rewrite rules in polynomial time Journal of the Acm. 40: 1-16 |
| Gallier J. (1993) Constructive logics Part I: A tutorial on proof systems and typed λ-calculi Theoretical Computer Science. 110: 249-339 |