|
|
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 |
67 | Mark W. Beall, Joe Walsh, Mark S. Shephard |
A comparison of techniques for geometry access related to mesh generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 20(3), pp. 210-221, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Design integration, Geometry-based, Geometry access, Unified topology model, Defeaturing, Adaptivity, CAD, Topology, Geometry, Mesh generation, Tolerances |
60 | Michael Werman, Amnon Shashua |
The Study of 3D-from-2D Using Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 473-479, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
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 |
59 | Hongyu 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](Pics/bibsonomy.png) |
SLIP ![In: The 5th International Workshop on System-Level Interconnect Prediction (SLIP 2003), Monterey, CA, USA, April 5-6, 2003, Proceedings, pp. 71-76, 2003, ACM, 1-58113-627-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
?-geometry routing, ?-geometry-driven placement, wirelength reduction estimation |
58 | Timothy J. Tautges |
CGM: A Geometry Interface for Mesh Generation, Analysis and Other Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 17(3), pp. 299-314, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Compo-nentization, Solid modeling, Geometry, Adaptive mesh refinement |
57 | Philip H. Todd |
Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 189-202, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
55 | Lin Hsin Hsin |
Interactive Web based Grid Geometry Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 10th International Conference on Information Visualisation, IV 2006, 5-7 July 2006, London, UK, pp. 671-676, 2006, IEEE Computer Society, 0-7695-2602-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
orthogonal grids, grid geometry art, interactive Web-based, 2D geometry tools, scalable pixel-free images, mathematics and art, visualization |
54 | Hiroshi Matsuzoe |
Computational Geometry from the Viewpoint of Affine Differential Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETVC ![In: Emerging Trends in Visual Computing, LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008. Revised Invited Papers, pp. 103-123, 2008, Springer, 978-3-642-00825-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
affine differential geometry, dually flat space, statistical manifold, contrast function, Voronoi diagram, divergence, geometric transformation, information geometry |
54 | Bruno Buchberger |
Algebraic Methods for Non-Linear Computational Geometry (Invited Address). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Fourth Annual Symposium on Computational Geometry, Urbana-Champaign, IL, USA, June 6-8, 1988, pp. 81-82, 1988, ACM, 0-89791-270-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
52 | Shang-Ching Chou, Xiao-Shan Gao |
Proving Geometry Statements of Constructive Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 20-34, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
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 |
51 | Xiao-Shan Gao, Qiang Lin |
MMP/Geometer - A Software Package for Automated Geometric Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, pp. 44-66, 2002, Springer, 3-540-20927-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Geometry software, geometric theorem discovering, geometric diagram generation, intelligent dynamic geometry, automated reasoning, geometric theorem proving |
50 | Xiao-Shan Gao |
Automated Geometry Diagram Construction and Engineering Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 232-257, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
47 | Hongbo Li 0012 |
Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, pp. 106-123, 2002, Springer, 3-540-20927-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Cayley algebra, bracket algebra, affine geometry, automated theorem proving, projective geometry, conics |
47 | Ulrich Eckhardt |
Digital Lines and Digital Convexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital and Image Geometry ![In: Digital and Image Geometry, Advanced Lectures [based on a winter school held at Dagstuhl Castle, Germany in December 2000], pp. 209-228, 2000, Springer, 3-540-43079-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
digital lines, digital convexity, Tietzes's theorem, digital geometry |
44 | Zhibin Lei, Daniel Keren, David B. Cooper |
Computationally fast Bayesian recognition of complex objects based on mutual algebraic invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 635-638, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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 |
43 | Helmut Pottmann |
Discrete geometric structures for architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 26th ACM Symposium on Computational Geometry, Snowbird, Utah, USA, June 13-16, 2010, pp. 38, 2010, ACM, 978-1-4503-0016-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
geometry of webs, architecture, discrete differential geometry |
43 | Minh X. Nguyen, Xiaoru Yuan, Baoquan Chen |
Geometry completion and detail generation by texture synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 21(8-10), pp. 669-678, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Geometry image and Mesh editing, Surface completion, Partial differential equation, Detail preservation |
43 | Daniel Lichtblau |
Cylinders Through Five Points: Complex and Real Enumerative Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 80-97, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Enumerative geometry, Gröbner bases, nonlinear systems |
42 | Predrag Janicic, Pedro Quaresma |
Automatic Verification of Regular Constructions in Dynamic Geometry Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 39-51, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Francisco Botana, Tomás Recio |
Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers, pp. 92-110, 2004, Springer, 3-540-31332-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Jürgen Bokowski |
Effective Methods in Computational Synthetic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 175-192, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
42 | Ricardo Caferra, Nicolas Peltier, François Puitg |
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 268-305, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Automated geometric reasoning, model (counter-example) building, proof structuring with diagrams, analogy, computer assisted learning |
42 | Zongying Ou, Jun Liu |
Variant Geometry Analysis and Synthesis in Mechanical CAD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 275-286, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
42 | Wu Wen-Tsün |
Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 1-13, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
41 | Estarose Wolfson, Eric L. Schwartz |
Computing Minimal Distances on Polyhedral Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(9), pp. 1001-1005, 1989. The full citation details ...](Pics/full.jpeg) |
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 |
40 | Wing-Kwong Wong, Bo-Yu Chan, Sheng-Kai Yin |
A Dynamic Geometry Environment for Learning Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, ICALT 2005, Kaohsiung, Taiwan, July 5-8, 2005, pp. 15-17, 2005, IEEE Computer Society, 0-7695-2338-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
learning geometry, geometry education, theorem proving, Dynamic geometry |
39 | Shun-ichi Amari |
Information Geometry and Its Applications: Convex Function and Dually Flat Manifold. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETVC ![In: Emerging Trends in Visual Computing, LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008. Revised Invited Papers, pp. 75-102, 2008, Springer, 978-3-642-00825-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dual affine connections, dually flat manifold, Legendre transformation, generalized Pythagorean theorem, convex function, Information geometry, Riemannian geometry |
39 | Victor Pambuccian |
The Simplest Axiom System for Plane Hyperbolic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(3), pp. 385-411, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
constructive axiomatization, simplicity, Hyperbolic geometry, Euclidean geometry |
39 | Jinghua Zhang, Charles B. Owen |
Octree-based Animated Geometry Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Compression Conference ![In: 2004 Data Compression Conference (DCC 2004), 23-25 March 2004, Snowbird, UT, USA, pp. 508-520, 2004, IEEE Computer Society, 0-7695-2082-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
static geometry compression, animated geometry compression, octree-based motion representation, linear quantization and adaptive arithmetic coder, motion vectors |
39 | B. Kutzler |
Careful Algebraic Translations of Geometry Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC '89, Portland, Oregon, USA, July 17-19, 1989, pp. 254-263, 1989, ACM, 0-89791-325-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
computational analytical geometry, automated geometry theorem proving |
39 | Xinguo Liu, Hujun Bao, Qunsheng Peng 0001 |
Digital Differential Geometry Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 21(5), pp. 847-860, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
parameterization, geometric algorithm, digital geometry, Laplacian, mesh editing |
39 | Nico Ritsche |
Real-time shell space rendering of volumetric geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings of the 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2006, Kuala Lumpur, Malaysia, November 29 - December 2, 2006, pp. 265-274, 2006, ACM, 1-59593-564-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
3D distance map, shading and lighting, shell space, volume texture, graphics hardware, real-time rendering, displacement mapping, surface geometry |
39 | Yong Wu, Yuanjun He, Hongming Cai |
QEM-based mesh simplification with global geometry features preserved. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings of the 2nd International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2004, Singapore, June 15-18, 2004, pp. 50-57, 2004, ACM, 1-58113-883-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
edge contraction, global geometry features, mesh simplification, quadric error metric |
39 | Nathan A. Carr, Jared Hoberock, Keenan Crane, John C. Hart |
Rectangular multi-chart geometry images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Geometry Processing ![In: Proceedings of the Fourth Eurographics Symposium on Geometry Processing, Cagliari, Sardinia, Italy, June 26-28, 2006, pp. 181-190, 2006, Eurographics Association. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
geometry images, mesh parameterization, face clustering, texture atlas |
39 | David J. Giblin, Kazem Kazerounian |
Updating workpiece geometry using robotic sensor information gathered during contact tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 24(2), pp. 183-192, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Workpiece inaccuracies, Surface modification, Robotic control, Image alignment |
39 | Ares Lagae, Olivier Dumont, Philip Dutré |
Geometry Synthesis by Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMI ![In: 2005 International Conference on Shape Modeling and Applications (SMI 2005), 15-17 June 2005, Cambridge, MA, USA, pp. 176-185, 2005, IEEE Computer Society, 0-7695-2379-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Jingyi Yu, Xiaotian Yin, Xianfeng Gu, Leonard McMillan, Steven J. Gortler |
Focal surfaces of discrete geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Geometry Processing ![In: Proceedings of the Fifth Eurographics Symposium on Geometry Processing, Barcelona, Spain, July 4-6, 2007, pp. 23-32, 2007, Eurographics Association, 978-3-905673-46-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Michael 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](Pics/bibsonomy.png) |
Symposium on Geometry Processing ![In: Proceedings of the Fifth Eurographics Symposium on Geometry Processing, Barcelona, Spain, July 4-6, 2007, pp. 49-58, 2007, Eurographics Association, 978-3-905673-46-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Xiaoyu Chen 0001, Dongming Wang 0001 |
Towards an Electronic Geometry Textbook. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 1-23, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Hongbo Li 0012, Yihong Wu 0002 |
Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 199-227, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Chuan-Zhong Li, Jing-Zhong Zhang |
Readable Machine Solving in Geometry and ICAI Software MSG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 67-85, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Stéphane Fèvre |
Integration of Reasoning and Algebraic Calculus in Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers, pp. 218-234, 1996, Springer, 3-540-64297-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
38 | Desmond Fearnley-Sander, Timothy Stokes 0001 |
Area in Grassmann Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers, pp. 141-170, 1996, Springer, 3-540-64297-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
38 | Timothy F. Havel |
Computational Synthetic Geometry with Clifford Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers, pp. 102-114, 1996, Springer, 3-540-64297-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
38 | Giuseppa Carrà Ferro, Giovanni Gallo, Rosario Gennaro |
Probabilistic Verification of Elementary Geometry Statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers, pp. 87-101, 1996, Springer, 3-540-64297-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
38 | Thomas Sturm 0001, Volker Weispfenning |
Computational Geometry Problems in REDLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers, pp. 58-86, 1996, Springer, 3-540-64297-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
38 | Joos Heintz, Tomás Recio, Marie-Françoise Roy |
Algorithms in Real Algebraic Geometry and Applications to Computational Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discrete and Computational Geometry ![In: Discrete and Computational Geometry: Papers from the DIMACS Special Year, pp. 137-164, 1990, DIMACS/AMS, 978-0-8218-6595-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
38 | Franz Aurenhammer |
Using Gale Transforms in Computational Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Computational Geometry ![In: Computational Geometry and its Applications, CG'88, International Workshop on Computational Geometry, Würzburg, Germany, March 24-25, 1988, pp. 202-216, 1988, Springer, 3-540-50335-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
36 | Fré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](Pics/bibsonomy.png) |
ETVC ![In: Emerging Trends in Visual Computing, LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008. Revised Invited Papers, pp. 124-163, 2008, Springer, 978-3-642-00825-2. The full citation details ...](Pics/full.jpeg) |
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 |
36 | Miao Jin, Feng Luo 0002, Xianfeng Gu |
Computing surface hyperbolic structure and real projective structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the ACM Symposium on Solid and Physical Modeling 2006, Cardiff University, Wales, UK, June 6-8, 2006, pp. 105-116, 2006, ACM, 1-59593-358-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
affine geometry, hyperbolic structure, real projective geometry, real projective structure, ricci flow, riemann uniformization, hyperbolic geometry, geometric structures |
36 | Richard P. Wildes |
Direct Recovery of Three-Dimensional Scene Geometry From Binocular Stereo Disparity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(8), pp. 761-774, 1991. The full citation details ...](Pics/full.jpeg) |
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 |
35 | Gary K. L. Tam, Rynson W. H. Lau, Jianmin Zhao |
A 3D Geometry Search Engine in Support of Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL ![In: Advances in Web Based Learning - ICWL 2007, 6th International Conference, Edinburgh, UK, August 15-17, 2007, Revised Papers, pp. 404-415, 2007, Springer, 978-3-540-78138-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Deformable geometry models, multimedia search engines, geometry model retrieval, multimedia retrieval |
35 | Jeremy Yermiyahou Kaminski, Amnon Shashua |
Multiple View Geometry of General Algebraic Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 56(3), pp. 195-219, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Kruppa''s equations, 3D reconstruction, structure from motion, epipolar geometry, algebraic curves, multiple-view geometry |
35 | Warren M. Kruegger, Keith Phillips |
The Geometry of Differential Operators with Application to Image Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(12), pp. 1252-1264, 1989. The full citation details ...](Pics/full.jpeg) |
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 |
35 | Gene Eu Jan, Ki-Yin Chang, Su Gao, Ian Parberry |
A 4-geometry maze router and its application on multiterminal nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 10(1), pp. 116-135, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
?-geometry, Maze router, cell map, Steiner tree |
35 | Jingliang Peng, C.-C. Jay Kuo |
Geometry-guided progressive lossless 3D mesh coding with octree (OT) decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 24(3), pp. 609-616, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
3D geometry compression, non-manifold mesh, progressive lossless coding, triangle soup, mesh compression |
35 | Aravind Kalaiah, Amitabh Varshney |
Statistical geometry representation for efficient transmission and rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 24(2), pp. 348-373, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
network graphics, programmable GPU, quasi-random numbers, principal component analysis, progressive transmission, Point-based rendering, view-dependent rendering |
35 | Xianfeng Gu, Steven J. Gortler, Hugues Hoppe |
Geometry images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 21(3), pp. 355-361, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
remeshing, surface parametrization |
35 | Alfons H. Salden, Bart M. ter Haar Romeny, Max A. Viergever |
Linearised Euclidean Shortening Flow of Curve Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 34(1), pp. 29-67, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
linearised shortening flow, frame field, similarity jet, metric, connection, scale-space, curvature, torsion |
35 | George W. Hart |
Computational geometry for sculpture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Seventeenth Annual Symposium on Computational Geometry, Medford, MA, USA, June 3-5, 2001, pp. 284-287, 2001, ACM, 1-58113-357-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
computational geometry, art, polyhedra, polyhedron, sculpture |
34 | Julien Narboux |
Mechanical Theorem Proving in Tarski's Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 139-156, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Eugenio Roanes-Macías, Eugenio Roanes-Lozano |
A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 171-188, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Antonio Montes, Tomás Recio |
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 113-138, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
automatic discovering, comprehensive Gröbner system, canonical Gröbner system, automatic theorem proving |
34 | Britta Denner-Broser |
On the Decidability of Tracing Problems in Dynamic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers, pp. 111-129, 2004, Springer, 3-540-31332-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Hans-Gert Gräbe |
The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, pp. 67-86, 2002, Springer, 3-540-20927-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck |
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 306-324, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes 0001 |
The Kinds of Truth of Geometry Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 129-142, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Jacques D. Fleuriot, Lawrence C. Paulson |
Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 47-66, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Jatin Chhugani, Subodh Kumar 0001 |
Geometry engine optimization: cache friendly compressed representation of geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SI3D ![In: Proceedings of the 2007 Symposium on Interactive 3D Graphics, SI3D 2007, April 30 - May 2, 2007, Seattle, Washington, USA, pp. 9-16, 2007, ACM, 978-1-59593-628-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
graphics hardware cache, data compression, interactive navigation |
34 | Jorge Stolfi |
Oriented Projective Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Third Annual Symposium on Computational Geometry, Waterloo, Ontario, Canada, June 8-10, 1987, pp. 76-85, 1987, ACM, 0-89791-231-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
32 | Richard I. Hartley, Fredrik Kahl |
Critical Configurations for Projective Reconstruction from Multiple Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 71(1), pp. 5-47, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
critical sets, geometry 3D reconstruction, structure from motion, projective geometry, multiple view geometry, degeneracy |
32 | B. Vijayakumar, David J. Kriegman, Jean Ponce |
Structure and motion of curved 3D objects from monocular silhouettes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1996 Conference on Computer Vision and Pattern Recognition (CVPR '96), June 18-20, 1996 San Francisco, CA, USA, pp. 327-334, 1996, IEEE Computer Society, 0-8186-7258-7. The full citation details ...](Pics/full.jpeg) |
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 |
32 | David Slater, Glenn Healey |
Combining Color and Geometric Information for the Illumination Invariant Recognition of 3D Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 563-568, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
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 |
32 | Andrew Blake 0001, D. McCowen, H. R. Lo, P. J. Lindsey |
Trinocular Active Range-Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(5), pp. 477-483, 1993. The full citation details ...](Pics/full.jpeg) |
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 |
31 | Giorgio Dalzotto, Tomás Recio |
On Protocols for the Automated Discovery of Theorems in Elementary Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 43(2), pp. 203-236, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Automatic theorem discovery, Elementary geometry, Computational algebraic geometry, Automatic theorem proving |
31 | Julien Narboux |
A Graphical User Interface for Formal Proofs in Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 39(2), pp. 161-180, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Interface, Geometry, Automated theorem proving, Theorem prover, Proof assistant, Coq, Dynamic geometry |
31 | Helmut Pottmann, Yang Liu 0014 |
Discrete Surfaces in Isotropic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMA Conference on the Mathematics of Surfaces ![In: Mathematics of Surfaces XII, 12th IMA International Conference, Sheffield, UK, September 4-6, 2007, Proceedings, pp. 341-363, 2007, Springer, 978-3-540-73842-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
surfaces in architecture, isotropic geometry, conical mesh, edge offset mesh, isotropic minimal surface, discrete differential geometry |
31 | Roberto Cipolla, Gordon J. Fletcher, Peter J. Giblin |
Surface Geometry from Cusps of Apparent Contours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 858-863, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
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 |
31 | Boris Stilman |
Linguistic geometry: a new paradigm for intelligent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 62-72, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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 |
31 | Jens Berkmann, Terry Caelli |
Computation of Surface Geometry and Segmentation Using Covariance Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(11), pp. 1114-1116, 1994. The full citation details ...](Pics/full.jpeg) |
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 |
31 | Marcus A. Magnor, Bernd Girod |
Sensitivity of image-based and texture-based multi-view coding to model accuracy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings of the 2001 International Conference on Image Processing, ICIP 2001, Thessaloniki, Greece, October 7-10, 2001, pp. 98-101, 2001, IEEE, 0-7803-6725-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Weiliang Meng, Bin Sheng 0001, Weiwei Lv, Hanqiu Sun, Enhua Wu |
Differential geometry images: remeshing and morphing with local shape preservation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 26(1), pp. 51-62, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Differential coordinates, Laplacian matrix, Remesh, Geometry images, Shape space |
31 | Xiaodong Yue, Duoqian Miao |
Rough Geometry and Its Applications in Character Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets X, pp. 136-156, 2009, Springer, 978-3-642-03280-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
rough geometry, equichordal points, Rough sets, geometric invariants, principal curves |
31 | Ying He 0001, Boon-Seng Chew, Dayong Wang, Steven Chu-Hong Hoi, Lap-Pui Chau |
Streaming 3D meshes using spectral geometry images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 17th International Conference on Multimedia 2009, Vancouver, British Columbia, Canada, October 19-24, 2009, pp. 431-440, 2009, ACM, 978-1-60558-608-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
streaming 3D meshes, image compression, spectral analysis, error resilience, geometry image, transmission, conformal parameterization |
31 | Cabral Lima, George Alves, Adriana Benevides Soares |
Geometric Visualization: How to Acquire It Using Dynamic Geometry Systems? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONS ![In: The Third International Conference on Systems, ICONS 2008, April 13-18, 2008, Cancun, Mexico, pp. 306-311, 2008, IEEE Computer Society, 978-0-7695-3105-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mental Visualization, Geometric Systems, Geometric Reasoning, Dynamic Geometry |
31 | Marc Freixas, Robert Joan-Arinyo, Antoni Soto-Riera |
A constraint-based dynamic geometry system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the 2008 ACM Symposium on Solid and Physical Modeling, Stony Brook, New York, USA, June 2-4, 2008, pp. 37-46, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
geometric constraint solving, dynamic geometry |
31 | Chunxia 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](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 23(6), pp. 433-443, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Texture completion, Geometry completion, Geometric detail, Texture synthesis |
31 | Qiang Liu, Edmond C. Prakash, Mandayam A. Srinivasan |
Interactive deformable geometry maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 23(2), pp. 119-131, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Deformable geometry, Haptics computing, Surgery simulation |
31 | Nico Zink, Alexandre Hardy |
Cloth simulation and collision detection using geometry images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Afrigraph ![In: Proceedings of the 5th International Conference on Computer Graphics, Virtual Reality, Visualisation and Interaction in Africa, Afrigraph 2007, Grahamstown, South Africa, October 29-31, 2007, pp. 187-195, 2007, ACM, 978-1-59593-906-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
collision detection, real-time rendering, cloth simulation, geometry images |
31 | Vit Niennattrakul, Dechawut Wanichsan, Chotirat Ann Ratanamahatana |
Hand Geometry Verification Using Time Series Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 824-831, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Verification System, Biometric, Time Series, Hand geometry |
31 | Erika Danaé López-Espinoza, Leopoldo Altamirano Robles |
Deterministic Component of 2-D Wold Decomposition for Geometry and Texture Descriptors Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis and Applications, 12th Iberoamericann Congress on Pattern Recognition, CIARP 2007, Valparaiso, Chile, November 13-16, 2007, Proceedings, pp. 241-250, 2007, Springer, 978-3-540-76724-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
2-D Wold Decomposition, Homogeneous Random Fields, Texture, Geometry |
31 | Charles W. Wampler II |
Numerical algebraic geometry and kinematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNC ![In: Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 29-32, 2007, ACM, 978-1-59593-744-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
robotics, kinematics, numerical algebraic geometry, homotopy continuation |
31 | Bok 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](Pics/bibsonomy.png) |
APVIS ![In: Asia-Pacific Symposium on Information Visualisation, APVIS 2006, Tokyo, Japan, February 1-3, 2006, pp. 63-66, 2006, Australian Computer Society, 1-920682-41-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
features visualization, geometry PIG, multi-channel data, navigation, large data visualization |
31 | Yi Ma |
A Differential Geometric Approach to Multiple View Geometry in Spaces of Constant Curvature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 58(1), pp. 37-53, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
spaces of constant curvature, gravitational lensing, multilinear constraint, algebraic and geometric dependency, triangulation, multiple view geometry, epipolar constraint |
31 | Mingli Zhang, Sanyuan Zhang, Xiuzi Ye |
Progressive transmission of point set surfaces based on geometry image representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRCAI ![In: Proceedings VRCAI 2004, ACM SIGGRAPH International Conference on Virtual Reality Continuum and its Applications in Industry, Nanyang Technological University, Singapore, June 16-18, 2004, pp. 406-411, 2004, ACM, 1-58113-884-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
point set surfaces, vector quantization, progressive transmission, geometry images |
31 | Kun Huang 0001, Robert M. Fossum, Yi Ma 0001 |
Generalized Rank Conditions in Multiple View Geometry with Applications to Dynamical Scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV 2002, 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002, Proceedings, Part II, pp. 201-216, 2002, Springer, 3-540-43744-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
rank condition, multiple view matrix, formation detection, segmentation, structure from motion, occlusion, dynamical scenes, multiple view geometry |
31 | Tomás Svoboda, Tomás Pajdla, Václav Hlavác |
Epipolar Geometry of Panoramic Cameras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (1) ![In: Computer Vision - ECCV'98, 5th European Conference on Computer Vision, Freiburg, Germany, June 2-6, 1998, Proceedings, Volume I, pp. 218-231, 1998, Springer, 3-540-64569-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
hyperbolic mirror, catadioptric sensors, stereo, epipolar geometry, omnidirectional vision, panoramic cameras |
31 | Dongming Wang 0001 |
GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, pp. 194-215, 2002, Springer, 3-540-20927-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Jacques D. Fleuriot |
Nonstandard Geometric Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 246-267, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Julian Webster |
Cell Complexes and Digital Convexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital and Image Geometry ![In: Digital and Image Geometry, Advanced Lectures [based on a winter school held at Dagstuhl Castle, Germany in December 2000], pp. 272-284, 2000, Springer, 3-540-43079-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | B. 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](Pics/bibsonomy.png) |
ISVC (1) ![In: Advances in Visual Computing, 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30 - December 2, 2009, Proceedings, Part I, pp. 111-124, 2009, Springer, 978-3-642-10330-8. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|