The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase 8-geometry (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1969 (17) 1970-1972 (20) 1973-1975 (18) 1976-1978 (18) 1979-1980 (18) 1981-1982 (17) 1983 (17) 1984 (22) 1985 (81) 1986 (84) 1987 (83) 1988 (166) 1989 (152) 1990 (226) 1991 (167) 1992 (183) 1993 (201) 1994 (277) 1995 (315) 1996 (338) 1997 (363) 1998 (389) 1999 (452) 2000 (633) 2001 (543) 2002 (672) 2003 (768) 2004 (968) 2005 (1075) 2006 (1162) 2007 (1219) 2008 (1175) 2009 (928) 2010 (628) 2011 (583) 2012 (555) 2013 (649) 2014 (694) 2015 (643) 2016 (720) 2017 (721) 2018 (840) 2019 (836) 2020 (918) 2021 (1069) 2022 (1066) 2023 (1051) 2024 (294)
Publication types (Num. hits)
article(8767) book(125) data(3) incollection(319) inproceedings(14321) phdthesis(349) proceedings(150)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11245 occurrences of 3885 keywords

Results
Found 24034 publication records. Showing 24034 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
67Mark W. Beall, Joe Walsh, Mark S. Shephard A comparison of techniques for geometry access related to mesh generation. Search on Bibsonomy Eng. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Design integration, Geometry-based, Geometry access, Unified topology model, Defeaturing, Adaptivity, CAD, Topology, Geometry, Mesh generation, Tolerances
60Michael Werman, Amnon Shashua The Study of 3D-from-2D Using Elimination. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF 3D geometric invariants, multiple 2D views, invariant functions, trilinearity, Grobner base computation, elimination process, quadlinear tensor, minimal sets, distinct coefficients, N view geometry, 3D from 2D geometry, computational geometry, linear algebra, set theory, epipolar geometry, tensors, point correspondences, algebraic geometry
59Hongyu Chen, Chung-Kuan Cheng, Andrew B. Kahng, Ion I. Mandoiu, Qinke Wang Estimation of wirelength reduction for lambda-geometry vs. manhattan placement and routing. Search on Bibsonomy SLIP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ?-geometry routing, ?-geometry-driven placement, wirelength reduction estimation
58Timothy J. Tautges CGM: A Geometry Interface for Mesh Generation, Analysis and Other Applications. Search on Bibsonomy Eng. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Compo-nentization, Solid modeling, Geometry, Adaptive mesh refinement
57Philip H. Todd Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
55Lin Hsin Hsin Interactive Web based Grid Geometry Construction. Search on Bibsonomy IV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF orthogonal grids, grid geometry art, interactive Web-based, 2D geometry tools, scalable pixel-free images, mathematics and art, visualization
54Hiroshi Matsuzoe Computational Geometry from the Viewpoint of Affine Differential Geometry. Search on Bibsonomy ETVC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF affine differential geometry, dually flat space, statistical manifold, contrast function, Voronoi diagram, divergence, geometric transformation, information geometry
54Bruno Buchberger Algebraic Methods for Non-Linear Computational Geometry (Invited Address). Search on Bibsonomy SCG The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
52Shang-Ching Chou, Xiao-Shan Gao Proving Geometry Statements of Constructive Type. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Geometry theorem proving, Wu's method, non-degenerate condition, generally true, constructive geometry statement, metric geometry, algebraically closed field, Euclidean geometry
51Xiao-Shan Gao, Qiang Lin MMP/Geometer - A Software Package for Automated Geometric Reasoning. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Geometry software, geometric theorem discovering, geometric diagram generation, intelligent dynamic geometry, automated reasoning, geometric theorem proving
50Xiao-Shan Gao Automated Geometry Diagram Construction and Engineering Geometry. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
47Hongbo Li 0012 Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Cayley algebra, bracket algebra, affine geometry, automated theorem proving, projective geometry, conics
47Ulrich Eckhardt Digital Lines and Digital Convexity. Search on Bibsonomy Digital and Image Geometry The full citation details ... 2000 DBLP  DOI  BibTeX  RDF digital lines, digital convexity, Tietzes's theorem, digital geometry
44Zhibin Lei, Daniel Keren, David B. Cooper Computationally fast Bayesian recognition of complex objects based on mutual algebraic invariants. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF computationally fast Bayesian recognition, complex objects recognition, 2D curve, 3D surface objects, Euclidean invariants, polynomial coefficients, Bayesian object recognition, robust recognition, mutual invariants recognizers, self invariants, object geometry, low computational cost, partially occluded articulated objects, joint geometry, self geometry, mutual algebraic invariants, database, computational geometry, object recognition, noise, polynomials, polynomial, vector, position, Bayes methods, patches, affine invariants
43Helmut Pottmann Discrete geometric structures for architecture. Search on Bibsonomy SCG The full citation details ... 2010 DBLP  DOI  BibTeX  RDF geometry of webs, architecture, discrete differential geometry
43Minh X. Nguyen, Xiaoru Yuan, Baoquan Chen Geometry completion and detail generation by texture synthesis. Search on Bibsonomy Vis. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Geometry image and Mesh editing, Surface completion, Partial differential equation, Detail preservation
43Daniel Lichtblau Cylinders Through Five Points: Complex and Real Enumerative Geometry. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Enumerative geometry, Gröbner bases, nonlinear systems
42Predrag Janicic, Pedro Quaresma Automatic Verification of Regular Constructions in Dynamic Geometry Systems. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Francisco Botana, Tomás Recio Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Jürgen Bokowski Effective Methods in Computational Synthetic Geometry. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
42Ricardo Caferra, Nicolas Peltier, François Puitg Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Automated geometric reasoning, model (counter-example) building, proof structuring with diagrams, analogy, computer assisted learning
42Zongying Ou, Jun Liu Variant Geometry Analysis and Synthesis in Mechanical CAD. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
42Wu Wen-Tsün Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
41Estarose Wolfson, Eric L. Schwartz Computing Minimal Distances on Polyhedral Surfaces. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF 3D polyhedral surfaces, minimal distances, biological surfaces, biological techniques and instruments, pattern recognition, computational geometry, computational geometry, picture processing, shortest path, computerised picture processing, computerised pattern recognition, biology computing, surface geometry, distance geometry, flattening
40Wing-Kwong Wong, Bo-Yu Chan, Sheng-Kai Yin A Dynamic Geometry Environment for Learning Theorem Proving. Search on Bibsonomy ICALT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF learning geometry, geometry education, theorem proving, Dynamic geometry
39Shun-ichi Amari Information Geometry and Its Applications: Convex Function and Dually Flat Manifold. Search on Bibsonomy ETVC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dual affine connections, dually flat manifold, Legendre transformation, generalized Pythagorean theorem, convex function, Information geometry, Riemannian geometry
39Victor Pambuccian The Simplest Axiom System for Plane Hyperbolic Geometry. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF constructive axiomatization, simplicity, Hyperbolic geometry, Euclidean geometry
39Jinghua Zhang, Charles B. Owen Octree-based Animated Geometry Compression. Search on Bibsonomy Data Compression Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF static geometry compression, animated geometry compression, octree-based motion representation, linear quantization and adaptive arithmetic coder, motion vectors
39B. Kutzler Careful Algebraic Translations of Geometry Theorems. Search on Bibsonomy ISSAC The full citation details ... 1989 DBLP  DOI  BibTeX  RDF computational analytical geometry, automated geometry theorem proving
39Xinguo Liu, Hujun Bao, Qunsheng Peng 0001 Digital Differential Geometry Processing. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF parameterization, geometric algorithm, digital geometry, Laplacian, mesh editing
39Nico Ritsche Real-time shell space rendering of volumetric geometry. Search on Bibsonomy GRAPHITE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF 3D distance map, shading and lighting, shell space, volume texture, graphics hardware, real-time rendering, displacement mapping, surface geometry
39Yong Wu, Yuanjun He, Hongming Cai QEM-based mesh simplification with global geometry features preserved. Search on Bibsonomy GRAPHITE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF edge contraction, global geometry features, mesh simplification, quadric error metric
39Nathan A. Carr, Jared Hoberock, Keenan Crane, John C. Hart Rectangular multi-chart geometry images. Search on Bibsonomy Symposium on Geometry Processing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF geometry images, mesh parameterization, face clustering, texture atlas
39David J. Giblin, Kazem Kazerounian Updating workpiece geometry using robotic sensor information gathered during contact tasks. Search on Bibsonomy Eng. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Workpiece inaccuracies, Surface modification, Robotic control, Image alignment
39Ares Lagae, Olivier Dumont, Philip Dutré Geometry Synthesis by Example. Search on Bibsonomy SMI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Jingyi Yu, Xiaotian Yin, Xianfeng Gu, Leonard McMillan, Steven J. Gortler Focal surfaces of discrete geometry. Search on Bibsonomy Symposium on Geometry Processing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Michael Wand 0001, Philipp Jenke, Qi-Xing Huang, Martin Bokeloh, Leonidas J. Guibas, Andreas Schilling 0001 Reconstruction of deforming geometry from time-varying point clouds. Search on Bibsonomy Symposium on Geometry Processing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Xiaoyu Chen 0001, Dongming Wang 0001 Towards an Electronic Geometry Textbook. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Hongbo Li 0012, Yihong Wu 0002 Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Chuan-Zhong Li, Jing-Zhong Zhang Readable Machine Solving in Geometry and ICAI Software MSG. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Stéphane Fèvre Integration of Reasoning and Algebraic Calculus in Geometry. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
38Desmond Fearnley-Sander, Timothy Stokes 0001 Area in Grassmann Geometry. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
38Timothy F. Havel Computational Synthetic Geometry with Clifford Algebra. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
38Giuseppa Carrà Ferro, Giovanni Gallo, Rosario Gennaro Probabilistic Verification of Elementary Geometry Statements. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
38Thomas Sturm 0001, Volker Weispfenning Computational Geometry Problems in REDLOG. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
38Joos Heintz, Tomás Recio, Marie-Françoise Roy Algorithms in Real Algebraic Geometry and Applications to Computational Geometry. Search on Bibsonomy Discrete and Computational Geometry The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
38Franz Aurenhammer Using Gale Transforms in Computational Geometry. Search on Bibsonomy Workshop on Computational Geometry The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
36Frédéric Barbaresco Interactions between Symmetric Cone and Information Geometries: Bruhat-Tits and Siegel Spaces Models for High Resolution Autoregressive Doppler Imagery. Search on Bibsonomy ETVC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Symmetric Cone Geometry, Kähler Geometry, Bruhat-Tits Space, Siegel Space, von Mangoldt-Cartan-Hadamard Manifold, Mazur-Ulam Theorem, Bregman Kernel, Kähler-Ricci Flow, Calabi Flow, Complex Monge-Ampere Equation, Complex Autoregressive Model, Matrices Mean, Doppler Imagery, Information Geometry
36Miao Jin, Feng Luo 0002, Xianfeng Gu Computing surface hyperbolic structure and real projective structure. Search on Bibsonomy Symposium on Solid and Physical Modeling The full citation details ... 2006 DBLP  DOI  BibTeX  RDF affine geometry, hyperbolic structure, real projective geometry, real projective structure, ricci flow, riemann uniformization, hyperbolic geometry, geometric structures
36Richard P. Wildes Direct Recovery of Three-Dimensional Scene Geometry From Binocular Stereo Disparity. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF three-dimensional scene geometry, binocular stereo disparity, stereo disparity field, pattern recognition, pattern recognition, picture processing, picture processing, geometry, surface geometry, natural image
35Gary K. L. Tam, Rynson W. H. Lau, Jianmin Zhao A 3D Geometry Search Engine in Support of Learning. Search on Bibsonomy ICWL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Deformable geometry models, multimedia search engines, geometry model retrieval, multimedia retrieval
35Jeremy Yermiyahou Kaminski, Amnon Shashua Multiple View Geometry of General Algebraic Curves. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Kruppa''s equations, 3D reconstruction, structure from motion, epipolar geometry, algebraic curves, multiple-view geometry
35Warren M. Kruegger, Keith Phillips The Geometry of Differential Operators with Application to Image Processing. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF constant ascent rate, second-order nonlinear differential operators, symbolic descriptors, asymptotic curves, straight line segments, inflections of mean curvature, vector calculus, pattern recognition, pattern recognition, image processing, picture processing, picture processing, interpolation, B-spline, grammars, geometry, differential geometry, edge detectors, parse tree
35Gene Eu Jan, Ki-Yin Chang, Su Gao, Ian Parberry A 4-geometry maze router and its application on multiterminal nets. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ?-geometry, Maze router, cell map, Steiner tree
35Jingliang Peng, C.-C. Jay Kuo Geometry-guided progressive lossless 3D mesh coding with octree (OT) decomposition. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF 3D geometry compression, non-manifold mesh, progressive lossless coding, triangle soup, mesh compression
35Aravind Kalaiah, Amitabh Varshney Statistical geometry representation for efficient transmission and rendering. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF network graphics, programmable GPU, quasi-random numbers, principal component analysis, progressive transmission, Point-based rendering, view-dependent rendering
35Xianfeng Gu, Steven J. Gortler, Hugues Hoppe Geometry images. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF remeshing, surface parametrization
35Alfons H. Salden, Bart M. ter Haar Romeny, Max A. Viergever Linearised Euclidean Shortening Flow of Curve Geometry. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF linearised shortening flow, frame field, similarity jet, metric, connection, scale-space, curvature, torsion
35George W. Hart Computational geometry for sculpture. Search on Bibsonomy SCG The full citation details ... 2001 DBLP  DOI  BibTeX  RDF computational geometry, art, polyhedra, polyhedron, sculpture
34Julien Narboux Mechanical Theorem Proving in Tarski's Geometry. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Eugenio Roanes-Macías, Eugenio Roanes-Lozano A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Antonio Montes, Tomás Recio Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2006 DBLP  DOI  BibTeX  RDF automatic discovering, comprehensive Gröbner system, canonical Gröbner system, automatic theorem proving
34Britta Denner-Broser On the Decidability of Tracing Problems in Dynamic Geometry. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Hans-Gert Gräbe The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes 0001 The Kinds of Truth of Geometry Theorems. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Jacques D. Fleuriot, Lawrence C. Paulson Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Jatin Chhugani, Subodh Kumar 0001 Geometry engine optimization: cache friendly compressed representation of geometry. Search on Bibsonomy SI3D The full citation details ... 2007 DBLP  DOI  BibTeX  RDF graphics hardware cache, data compression, interactive navigation
34Jorge Stolfi Oriented Projective Geometry. Search on Bibsonomy SCG The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
32Richard I. Hartley, Fredrik Kahl Critical Configurations for Projective Reconstruction from Multiple Views. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF critical sets, geometry 3D reconstruction, structure from motion, projective geometry, multiple view geometry, degeneracy
32B. Vijayakumar, David J. Kriegman, Jean Ponce Structure and motion of curved 3D objects from monocular silhouettes. Search on Bibsonomy CVPR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF curved 3D objects, monocular silhouettes, smooth 3D object, Euclidean surface structure, scaled orthographic projection, viewpoint-invariant representation, viewpoint-dependent features, bitangents, contour points, parallel tangents, stereo frontier points, infinitesimal motion frontier points, computational geometry, motion estimation, computer graphics, stereo image processing, epipolar geometry, camera motion, surface geometry, inflections, moving camera, image velocity
32David Slater, Glenn Healey Combining Color and Geometric Information for the Illumination Invariant Recognition of 3D Objects. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF illumination invariant recognition, three dimensional object recognition, three dimensional object geometry, two dimensional image geometry, local color pixel distribution, spectral content, spectral reflectance, color image regions, model objects, cluttered scenes, image segmentation, database, segmentation, object recognition, reflectivity, color, occlusion, pose estimation, geometry, lighting, image colour analysis, heuristic programming, 3D object recognition, geometric information, hypothesis verification
32Andrew Blake 0001, D. McCowen, H. R. Lo, P. J. Lindsey Trinocular Active Range-Sensing. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF trinocular active range sensing, image-measurement error, projector-camera geometry, near-degenerate epipolar alignment, image recognition, image recognition, geometry, stereo matching, epipolar geometry, image sensors, geometric design, image capture
31Giorgio Dalzotto, Tomás Recio On Protocols for the Automated Discovery of Theorems in Elementary Geometry. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Automatic theorem discovery, Elementary geometry, Computational algebraic geometry, Automatic theorem proving
31Julien Narboux A Graphical User Interface for Formal Proofs in Geometry. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Interface, Geometry, Automated theorem proving, Theorem prover, Proof assistant, Coq, Dynamic geometry
31Helmut Pottmann, Yang Liu 0014 Discrete Surfaces in Isotropic Geometry. Search on Bibsonomy IMA Conference on the Mathematics of Surfaces The full citation details ... 2007 DBLP  DOI  BibTeX  RDF surfaces in architecture, isotropic geometry, conical mesh, edge offset mesh, isotropic minimal surface, discrete differential geometry
31Roberto Cipolla, Gordon J. Fletcher, Peter J. Giblin Surface Geometry from Cusps of Apparent Contours. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF surface geometry recovery, cusp following, viewer motion, epipolar parametrization, Gauss curvature, spatio-temporal derivatives, computer vision, computational geometry, deformation, perspective projection, ego-motion, mean curvature, apparent contours
31Boris Stilman Linguistic geometry: a new paradigm for intelligent systems. Search on Bibsonomy HICSS (3) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF human expert heuristics, complex control systems, formal theory, linguistic geometry, autonomous robotic navigation, search reduction, computational geometry, intelligent systems, intelligent control, computational linguistics, computerised navigation, robot kinematics
31Jens Berkmann, Terry Caelli Computation of Surface Geometry and Segmentation Using Covariance Techniques. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF covariance techniques, surface descriptors, Weingarten maps, crease discontinuities, jump discontinuities, planar region, parabolic region, image segmentation, object recognition, differential geometry, surface representation, surface geometry, range image segmentation, Gauss maps, covariance matrices, 3-D objects, rigid motions
31Marcus A. Magnor, Bernd Girod Sensitivity of image-based and texture-based multi-view coding to model accuracy. Search on Bibsonomy ICIP (3) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Weiliang Meng, Bin Sheng 0001, Weiwei Lv, Hanqiu Sun, Enhua Wu Differential geometry images: remeshing and morphing with local shape preservation. Search on Bibsonomy Vis. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Differential coordinates, Laplacian matrix, Remesh, Geometry images, Shape space
31Xiaodong Yue, Duoqian Miao Rough Geometry and Its Applications in Character Recognition. Search on Bibsonomy Trans. Rough Sets The full citation details ... 2009 DBLP  DOI  BibTeX  RDF rough geometry, equichordal points, Rough sets, geometric invariants, principal curves
31Ying He 0001, Boon-Seng Chew, Dayong Wang, Steven Chu-Hong Hoi, Lap-Pui Chau Streaming 3D meshes using spectral geometry images. Search on Bibsonomy ACM Multimedia The full citation details ... 2009 DBLP  DOI  BibTeX  RDF streaming 3D meshes, image compression, spectral analysis, error resilience, geometry image, transmission, conformal parameterization
31Cabral Lima, George Alves, Adriana Benevides Soares Geometric Visualization: How to Acquire It Using Dynamic Geometry Systems? Search on Bibsonomy ICONS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mental Visualization, Geometric Systems, Geometric Reasoning, Dynamic Geometry
31Marc Freixas, Robert Joan-Arinyo, Antoni Soto-Riera A constraint-based dynamic geometry system. Search on Bibsonomy Symposium on Solid and Physical Modeling The full citation details ... 2008 DBLP  DOI  BibTeX  RDF geometric constraint solving, dynamic geometry
31Chunxia Xiao, Wenting Zheng, Yongwei Miao, Yong Zhao 0004, Qunsheng Peng 0001 A unified method for appearance and geometry completion of point set surfaces. Search on Bibsonomy Vis. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Texture completion, Geometry completion, Geometric detail, Texture synthesis
31Qiang Liu, Edmond C. Prakash, Mandayam A. Srinivasan Interactive deformable geometry maps. Search on Bibsonomy Vis. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Deformable geometry, Haptics computing, Surgery simulation
31Nico Zink, Alexandre Hardy Cloth simulation and collision detection using geometry images. Search on Bibsonomy Afrigraph The full citation details ... 2007 DBLP  DOI  BibTeX  RDF collision detection, real-time rendering, cloth simulation, geometry images
31Vit Niennattrakul, Dechawut Wanichsan, Chotirat Ann Ratanamahatana Hand Geometry Verification Using Time Series Representation. Search on Bibsonomy KES (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Verification System, Biometric, Time Series, Hand geometry
31Erika Danaé López-Espinoza, Leopoldo Altamirano Robles Deterministic Component of 2-D Wold Decomposition for Geometry and Texture Descriptors Discovery. Search on Bibsonomy CIARP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF 2-D Wold Decomposition, Homogeneous Random Fields, Texture, Geometry
31Charles W. Wampler II Numerical algebraic geometry and kinematics. Search on Bibsonomy SNC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF robotics, kinematics, numerical algebraic geometry, homotopy continuation
31Bok Dong Kim, Sang Ok Koo, Hyok Don Kwon, Seong Dae Jung, Soon Ki Jung, Minho Lee, YongWoo Rho, SungJa Koo Integrated visualization for geometry PIG data. Search on Bibsonomy APVIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF features visualization, geometry PIG, multi-channel data, navigation, large data visualization
31Yi Ma A Differential Geometric Approach to Multiple View Geometry in Spaces of Constant Curvature. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF spaces of constant curvature, gravitational lensing, multilinear constraint, algebraic and geometric dependency, triangulation, multiple view geometry, epipolar constraint
31Mingli Zhang, Sanyuan Zhang, Xiuzi Ye Progressive transmission of point set surfaces based on geometry image representation. Search on Bibsonomy VRCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF point set surfaces, vector quantization, progressive transmission, geometry images
31Kun Huang 0001, Robert M. Fossum, Yi Ma 0001 Generalized Rank Conditions in Multiple View Geometry with Applications to Dynamical Scenes. Search on Bibsonomy ECCV (2) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF rank condition, multiple view matrix, formation detection, segmentation, structure from motion, occlusion, dynamical scenes, multiple view geometry
31Tomás Svoboda, Tomás Pajdla, Václav Hlavác Epipolar Geometry of Panoramic Cameras. Search on Bibsonomy ECCV (1) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF hyperbolic mirror, catadioptric sensors, stereo, epipolar geometry, omnidirectional vision, panoramic cameras
31Dongming Wang 0001 GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Jacques D. Fleuriot Nonstandard Geometric Proofs. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
31Julian Webster Cell Complexes and Digital Convexity. Search on Bibsonomy Digital and Image Geometry The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
31B. V. N. Silpa, Kumar S. S. Vemuri, Preeti Ranjan Panda Adaptive Partitioning of Vertex Shader for Low Power High Performance Geometry Engine. Search on Bibsonomy ISVC (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 24034 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license