Search results for "geometry"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
31	Sung-Bum Park, Sang-Uk Lee, Hyeokho Choi	3-D Geometry Compression using Multiscale Plane Based Representation and Zerotree Based Coding.	ICIP	2006	DBLP DOI BibTeX RDF
31	Tetsu Kajita, Hiroyuki Kaneko, Koichi Fukuda, Akira Kawanaka	Wavelet Coding of Structured Geometry Data Considering Rate-Distortion Properties.	3DPVT	2002	DBLP DOI BibTeX RDF
31	Boris Kronrod, Craig Gotsman	Optimized Compression of Triangle Mesh Geometry Using Prediction Trees.	3DPVT	2002	DBLP DOI BibTeX RDF
31	Laurent Fuchs, Gaëlle Largeteau-Skapin, Guy Wallet, Eric Andres, Agathe Chollet	A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis.	DGCI	2008	DBLP DOI BibTeX RDF	nonstandard analysis, discrete geometry, constructive mathematics
31	Zachary Voller, Zhijun Wu	Distance Geometry Methods for Protein Structure Determination.	Distance Geometry	2013	DBLP DOI BibTeX RDF
31	Marco Locatelli 0001, Fabio Schoen	Global Optimization for Atomic Cluster Distance Geometry Problems.	Distance Geometry	2013	DBLP DOI BibTeX RDF
31	Rodrigo S. Lima, J. M. Martínez	Solving Molecular Distance Geometry Problems Using a Continuous Optimization Approach.	Distance Geometry	2013	DBLP DOI BibTeX RDF
31	Hoai An Le Thi, Tao Pham Dinh	DC Programming Approaches for Distance Geometry Problems.	Distance Geometry	2013	DBLP DOI BibTeX RDF
31	Pedro Nucci, Loana Tito Nogueira, Carlile Lavor	Solving the Discretizable Molecular Distance Geometry Problem by Multiple Realization Trees.	Distance Geometry	2013	DBLP DOI BibTeX RDF
31	Lu Yang	Solving Spatial Constraints with Generalized Distance Geometry.	Distance Geometry	2013	DBLP DOI BibTeX RDF
31	Gordon M. Crippen	Distance Geometry for Realistic Molecular Conformations.	Distance Geometry	2013	DBLP DOI BibTeX RDF
31	Fabio C. L. Almeida, Adolfo H. Moraes, Francisco Gomes-Neto	An Overview on Protein Structure Determination by NMR: Historical and Future Perspectives of the use of Distance Geometry Methods.	Distance Geometry	2013	DBLP DOI BibTeX RDF
31	Ioannis Z. Emiris, Elias P. Tsigaridas, Antonios Varvitsiotis	Mixed Volume and Distance Geometry Techniques for Counting Euclidean Embeddings of Rigid Graphs.	Distance Geometry	2013	DBLP DOI BibTeX RDF
31	Dimitris K. Agrafiotis, Deepak Bandyopadhyay, Eric Yang	Stochastic Proximity Embedding: A Simple, Fast and Scalable Algorithm for Solving the Distance Geometry Problem.	Distance Geometry	2013	DBLP DOI BibTeX RDF
31	Nathanael Beeker, Stéphane Gaubert, Christian Glusa, Leo Liberti	Is the Distance Geometry Problem in NP?	Distance Geometry	2013	DBLP DOI BibTeX RDF
31	Leo Liberti, Carlile Lavor, Antonio Mucherino	The Discretizable Molecular Distance Geometry Problem seems Easier on Proteins.	Distance Geometry	2013	DBLP DOI BibTeX RDF
31	Thérèse E. Malliavin, Antonio Mucherino, Michael Nilges	Distance Geometry in Structural Biology: New Perspectives.	Distance Geometry	2013	DBLP DOI BibTeX RDF
31	Jesús A. De Loera, Edward D. Kim	Combinatorics and geometry of transportation polytopes: An update.	Discrete Geometry and Algebraic Combinatorics	2013	DBLP BibTeX RDF
31	Dongming Wang 0001	Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
31	Michael Beeson	Proof and Computation in Geometry.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
31	Rémi Ronfard, Gabriel Taubin	Image and Geometry Processing for 3-D Cinematography: An Introduction.	Image and Geometry Processing for 3-D Cinematography	2010	DBLP DOI BibTeX RDF
31	Martin Eisemann, Timo Stich, Marcus A. Magnor	3-D Cinematography with Approximate or No Geometry.	Image and Geometry Processing for 3-D Cinematography	2010	DBLP DOI BibTeX RDF
31	Dominique Michelucci	Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
31	Laurent Fuchs, Laurent Théry	A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
31	Sana Stojanovic, Vesna Pavlovic, Predrag Janicic	A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
31	Yu Zou, Jingzhong Zhang	Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
31	Jacques D. Fleuriot	Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
31	Michael Gerhäuser, Alfred Wassermann	Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
31	Jason Dykes, Matthias Müller-Hannemann, Alexander Wolff 0001	10461 Abstracts Collection and Summary - Schematization in Cartography, Visualization, and Computational Geometry.	Schematization in Cartography, Visualization, and Computational Geometry	2010	DBLP BibTeX RDF
31	Pankaj Kumar Agarwal, Helmut Alt, Monique Teillaud	09111 Abstracts Collection - Computational Geometry.	Computational Geometry	2009	DBLP BibTeX RDF
31	Benjamin Grégoire, Loïc Pottier, Laurent Théry	Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
31	Nicolas Magaud, Julien Narboux, Pascal Schreck	Formalizing Projective Plane Geometry in Coq.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
31	Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao	An Introduction to Java Geometry Expert - (Extended Abstract).	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
31	Subhash Suri, Roger Wattenhofer, Peter Widmayer	07151 Abstracts Collection -- Geometry in Sensor Networks.	Geometry in Sensor Networks	2007	DBLP BibTeX RDF
31	Niloy J. Mitra, Simon Flöry, Maks Ovsjanikov, Natasha Gelfand, Leonidas J. Guibas, Helmut Pottmann	Dynamic geometry registration.	Symposium on Geometry Processing	2007	DBLP DOI BibTeX RDF
31	Ron Goldman 0002	Algebraic geometry and geometric modeling: insight and computation.	Algebraic Geometry and Geometric Modeling	2006	DBLP DOI BibTeX RDF
31	Pedro V. Sander, Jason L. Mitchell	Progressive Buffers: View-dependent Geometry and Texture for LOD Rendering.	Symposium on Geometry Processing	2005	DBLP DOI BibTeX RDF
31	Michael T. Goodrich	Parallel algorithms in geometry.	Handbook of Discrete and Computational Geometry, 2nd Ed.	2004	DBLP DOI BibTeX RDF
31	Bernard Chazelle	The discrepancy method in computational geometry.	Handbook of Discrete and Computational Geometry, 2nd Ed.	2004	DBLP DOI BibTeX RDF
31	Bhubaneswar Mishra	Computational Real Algebraic Geometry.	Handbook of Discrete and Computational Geometry, 2nd Ed.	2004	DBLP DOI BibTeX RDF
31	Rolf Schneider 0001	Discrete Aspects of Stochastic Geometry.	Handbook of Discrete and Computational Geometry, 2nd Ed.	2004	DBLP DOI BibTeX RDF
31	Robert Connelly, Erik D. Demaine	Geometry and Topology of Polygonal Linkages.	Handbook of Discrete and Computational Geometry, 2nd Ed.	2004	DBLP DOI BibTeX RDF
31	Jarek Rossignac	Surface simplification and 3D geometry compression.	Handbook of Discrete and Computational Geometry, 2nd Ed.	2004	DBLP DOI BibTeX RDF
31	Lutz Kettner, Stefan Näher	Two computational geometry libraries: LEDA and CGAL.	Handbook of Discrete and Computational Geometry, 2nd Ed.	2004	DBLP DOI BibTeX RDF
31	Laura I. Meikle, Jacques D. Fleuriot	Mechanical Theorem Proving in Computational Geometry.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
31	Ioannis Z. Emiris	Discrete Geometry for Algebraic Elimination.	Algebra, Geometry, and Software Systems	2003	DBLP BibTeX RDF
31	James H. Davenport	The Geometry of Cn is Important for the Algebra of Elementary Functions.	Algebra, Geometry, and Software Systems	2003	DBLP BibTeX RDF
31	Sridhar Lavu, Hyeokho Choi, Richard G. Baraniuk	Geometry Compression of Normal Meshes Using Rate-Distortion Algorithms.	Symposium on Geometry Processing	2003	DBLP DOI BibTeX RDF
31	Aravind Kalaiah, Amitabh Varshney	Statistical Point Geometry.	Symposium on Geometry Processing	2003	DBLP DOI BibTeX RDF
31	Frank Losasso, Hugues Hoppe, Scott Schaefer, Joe D. Warren	Smooth Geometry Images.	Symposium on Geometry Processing	2003	DBLP DOI BibTeX RDF
31	Pedro V. Sander, Zoë J. Wood, Steven J. Gortler, John Snyder, Hugues Hoppe	Multi-Chart Geometry Images.	Symposium on Geometry Processing	2003	DBLP DOI BibTeX RDF
31	Thorsten Theobald	Visibility Computations: From Discrete Algorithms to Real Algebraic Geometry.	Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science	2001	DBLP DOI BibTeX RDF
31	Peter Bürgisser	Lower Bounds and Real Algebraic Geometry.	Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science	2001	DBLP DOI BibTeX RDF
31	Frank Sottile	Enumerative Real Algebraic Geometry.	Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science	2001	DBLP DOI BibTeX RDF
31	Alejo Hausner, David P. Dobkin	Making Geometry Visible: An Introduction to the Animation of Geometric Algorithms.	Handbook of Computational Geometry	2000	DBLP DOI BibTeX RDF
31	Ketan Mulmuley	Randomized Algorithms in Computational Geometry.	Handbook of Computational Geometry	2000	DBLP DOI BibTeX RDF
31	Michiel H. M. Smid	Closest-Point Problems in Computational Geometry.	Handbook of Computational Geometry	2000	DBLP DOI BibTeX RDF
31	Jirí Matousek 0001	Derandomization in Computational Geometry.	Handbook of Computational Geometry	2000	DBLP DOI BibTeX RDF
31	John H. Reif, Sandeep Sen	Parallel Computational Geometry: An Approach using Randomization.	Handbook of Computational Geometry	2000	DBLP DOI BibTeX RDF
31	Leila De Floriani, Paola Magillo, Enrico Puppo	Applications of Computational Geometry to Geographic Information Systems.	Handbook of Computational Geometry	2000	DBLP DOI BibTeX RDF
31	Mikhail J. Atallah, Danny Z. Chen	Deterministic Parallel Computational Geometry.	Handbook of Computational Geometry	2000	DBLP DOI BibTeX RDF
31	Daniela Tulone, Chee-Keng Yap, Chen Li 0003	Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
31	Timothy F. Havel	Qubit Logic, Algebra and Geometry.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
31	Ulrich Kortenkamp, Jürgen Richter-Gebert	Decision Complexity in Dynamic Geometry.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
31	Dongming Wang 0001 (eds.)	Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers	Automated Deduction in Geometry	1997	DBLP DOI BibTeX RDF
31	He Shi, Fengmei Zou	Flat Central Configurations of Four Planet Motions.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
31	Deepak Kapur	Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Sets.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
31	Dongming Wang 0001	Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
31	Quoc-Nam Tran	Extended Dixon's Resultant and Its Applications.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
31	Erik Hillgarter, Franz Winkler 0001	Points on Algebraic Curves and the Parametrization Problem.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
31	Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang	Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
31	Marc Proesmans, Eric J. Pauwels, Luc Van Gool	Coupled Geometry-Driven Diffusion Equations for Low-Level Vision.	Geometry-Driven Diffusion in Computer Vision	1994	DBLP DOI BibTeX RDF
31	Wiro J. Niessen, Bart M. ter Haar Romeny, Max A. Viergever	Numerical Analysis of Geometry-Driven Diffusion Equations.	Geometry-Driven Diffusion in Computer Vision	1994	DBLP DOI BibTeX RDF
31	Hanspeter Bieri, Hartmut Noltemeier (eds.)	Computational Geometry - Methods, Algorithms and Applications, International Workshop on Computational Geometry CG'91, Bern, Switzerland, March 21-22, 1991	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Jürg Nievergelt, Peter Schorn, Michele De Lorenzi, Christoph Ammann, Adrian Brüngger	XYZ: A Project in Experimental Geometric Computation.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Edmund Ihler, Gabriele Reich, Peter Widmayer	On Shortest Networks for Classes of Points in the Plane.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Paul-André Monney	Planar Geometric Reasoning with the Theory of Hints.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Heinrich Müller, Matthias Otte	Solving Algebraic Systems in Bernstein-Bézier Representation.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Sven Schuierer, Gregory J. E. Rawlins, Derick Wood	A Generalization of Staircase Visibility.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Sabine Stifter	Predictions About Collision Free Paths from Intersection Tests.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Franz Aurenhammer, Gerd Stöckl, Emo Welzl	The Post Office Problem for Fuzzy Point Sets.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Peter Schorn	Implementing the XYZ GeoBench: A Programming Environment for Geometric Algorithms.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Thomas Schreiber	A Voronoi Diagram Based Adaptive K-Means-Type Clustering Algorithm for Multidimenstional Weighted Data.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Hanspeter Bieri, Peter-Michael Schmidt	An On-Line Algorithm for Constructing Sweep Planes in Regular Position.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Bruno Becker, Paolo Giulio Franciosa, Stephan Gschwind, Thomas Ohler, Gerald Thiemt, Peter Widmayer	An Optimal Algorithm for Approximating a Set of Rectangles by Two Minimum Area Rectangles.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Klaus Simon	A New Simple Linear Algorithm to Recognize Interval Graphs.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Rolf Klein	Moving Along a Street.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Hartmut Noltemeier	Layout of Flexible Manufacturing Systems - Selected Problems.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Peter Engel	On the Morphology of Polytoped in Rd.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Salvador Dominguez, Oliver Günther 0001	Performance Analysis of Three Curve Presentation Schemes.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Bengt J. Nilsson, Sven Schuierer	Computing the Rectilinear Link Diameter of a Polygon.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Thomas Roos, Hartmut Noltemeier	Dynamic Voronoi Diagrams in Motion Planning.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Ralf Schneider, Hans-Peter Kriegel	The TR*-Tree: A New Representation of Polygonal Objects Supporting Spatial Queries and Operations.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Shiaofen Fang, Beat D. Brüderlin	Robustness in Geometric Modeling - Tolerance-Based Methods.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Martin J. Dürst	Preclassification and Delayed Classification of Boundary Entities in Arbitrary Dimensions.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Haijo Schipper	Generating Triangulations of 2-Manifolds.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Xiaoyi Jiang 0001, Horst Bunke	Determination of the Symmetries of Polyhedra and an Application to Object Recognition.	Workshop on Computational Geometry	1991	DBLP DOI BibTeX RDF
31	Kondagunta Sundaresan	Geometry of Spaces of Homogeneous Polynomials on Banach Lattices.	Applied Geometry And Discrete Mathematics	1990	DBLP DOI BibTeX RDF
31	Neil L. White	Invariant-Theoretic Computation in Projective Geometry.	Discrete and Computational Geometry	1990	DBLP DOI BibTeX RDF
31	Hartmut Noltemeier (eds.)	Computational Geometry and its Applications, CG'88, International Workshop on Computational Geometry, Würzburg, Germany, March 24-25, 1988	Workshop on Computational Geometry	1988	DBLP DOI BibTeX RDF