Search results for "geometry"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Bill Triggs	Matching Constraints and the Joint Image.	ICCV	1995	DBLP DOI BibTeX RDF	combined homogeneous image coordinates, multi image perspective projection, image measurements, combined image projections, 3D joint image subspace, complete projective replica, 3D world, image coordinates, 4 index joint image Grassmannian tensor, multilinear tensorial equations, trilinear constraint, complex algebraic interdependency, quadratic structural simplicity constraints, computational geometry, image reconstruction, linear algebra, tensors, projective reconstruction, epipolar constraint, constraint theory, imaging geometry, matching constraints
24	Amnon Shashua, Michael Werman	Trilinearity of Three Perspective Views and its Associated Tensor.	ICCV	1995	DBLP DOI BibTeX RDF	three perspective views, trilinear forms, intrinsic coefficients, trilinear coefficients, homography matrices, intrinsic planes, 3D invariants, epipoles, Euclidean structure, trilinear tensor, 3D recovery, 2D views, computational geometry, image reconstruction, matrix algebra, epipolar geometry, matrix, tensors, tensor, projective transformations
24	Gregory D. Hager	Calibration-Free Visual Control Using Projective Invariance.	ICCV	1995	DBLP DOI BibTeX RDF	calibration free visual control, calibration-free visual control, reconstructive aspects, calibration insensitive hand-eye coordination, online calibration, viewing location, computational geometry, image reconstruction, visual perception, robot vision, projective geometry, visual feedback, projective invariance, hand eye coordination, control loop
24	Mengnan (Mary) Wu, Allison M. Okamura	Effects of Haptic Feedback on Exploration.	HAPTICS	2006	DBLP DOI BibTeX RDF	haptic exploration, virtual environments, perception, geometry, stiffness
24	Liran Goshen, Ilan Shimshoni, P. Anandan 0001, Daniel Keren	Motion Recovery by Integrating over the Joint Image Manifold.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF	fundamental matrix estimation, epipolar geometry estimation, integrated maximum likelihood, motion recovery
24	Dihong Tian, Ghassan Alregib	FQM: a fast quality measure for efficient transmission of textured 3D models.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	texture, 3D model, geometry, quality measure, bit-allocation
24	Alberto Paoluzzi, Valerio Pascucci, Michele Vicentino	Geometric Programming: A Programming Approach to Geometric Design.	ACM Trans. Graph.	1995	DBLP DOI BibTeX RDF	variational geometry, functional programming, solid modeling, generative modeling, polyhedra, design language, geometric design
24	Fenglien Lee, Richard Jou	Efficient parallel geometric algorithms on a mesh of trees.	ACM Southeast Regional Conference	1995	DBLP DOI BibTeX RDF	parallel algorithm, computational geometry, Voronoi diagram, Delaunay triangulation, convex hull, mesh of trees, all nearest neighbors
24	Tobias Christ, Dömötör Pálvölgyi, Milos Stojakovic	Consistent digital line segments.	SCG	2010	DBLP DOI BibTeX RDF	digital line segment, digital geometry, discrete geometry
24	Gaiane Panina, Ileana Streinu	Flattening single-vertex origami: the non-expansive case.	SCG	2009	DBLP DOI BibTeX RDF	expansive motion, spherical geometry, computational geometry, folding, origami, pseudo-triangulation
24	Jinhee Chun, Matias Korman, Martin Nöllenburg, Takeshi Tokuyama	Consistent digital rays.	SCG	2008	DBLP DOI BibTeX RDF	star-shaped regions, digital geometry, discrete geometry, tree embedding
24	Saurabh Ray, Nabil H. Mustafa	An optimal generalization of the centerpoint theorem, and its extensions.	SCG	2007	DBLP DOI BibTeX RDF	centerpoint theorem, extremal methods, hitting convex sets, weak ?-nets, discrete geometry, combinatorial geometry
24	Saurabh Ray, Nabil H. Mustafa	Weak epsilon-nets have basis of size o(1/epsilon log (1/epsilon)) in any dimension.	SCG	2007	DBLP DOI BibTeX RDF	hitting convex sets, weak epsilon nets, discrete geometry, combinatorial geometry
24	Noga Alon, Dmitry N. Kozlov, Van H. Vu	The Geometry of Coin-Weighing Problems.	FOCS	1996	DBLP DOI BibTeX RDF	coin weighing problems, coin collection, unknown distinct weights, regular balance beam, linear algebra techniques, geometric probabilistic arguments, geometric combinatorial arguments, computational geometry, geometry, proofs
24	Olivier D. Faugeras, Bernard Mourrain	On the Geometry and Algebra of the Point and Line Correspondences Between N Images.	ICCV	1995	DBLP DOI BibTeX RDF	algebraic relations, geometric relations, Grassmann-Cayley algebra, 3D point, bilinear relations, trilinear relations, quadrilinear relations, perspective projection equation, computational geometry, edge detection, image matching, geometry, algebra, algebra, stereo image processing, epipolar constraints, point correspondence, line correspondence
24	Alexander I. Barvinok	Integral Geometry of Higher-Dimensional Polytopes and the Average Case in Combinatorial Optimization.	FOCS	1995	DBLP DOI BibTeX RDF	integral geometry, higher-dimensional polytopes, average case behavior, linear optimization problem, computational geometry, combinatorial optimization, travelling salesman problems, traveling salesman problem, assignment problem, linear functions
24	Imants D. Svalbe	The Geometry of Basis Sets for Morphologic Closing.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	texture measure, partial images closing, basis sets, morphologic closing, closing shapes, orthogonal closing decomposition, roughness measure, parallel algorithms, parallel algorithms, picture processing, picture processing, Boolean functions, Boolean functions, geometry, geometry, set theory, filtering and prediction theory, formal logic, formal logic, image filtering, logic functions, primitives, minimal representation
24	Russ Miller, Quentin F. Stout	Mesh Computer Algorithms for Computational Geometry.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	mesh computer algorithms, asymptotically optimal parallel algorithms, Cartesian coordinates, two-dimensional mesh computer, all-nearest neighbor problems, intersection problems, parallel algorithms, computational geometry, computational geometry, convex hull
24	Naokazu Yokoya, Martin D. Levine	Range Image Segmentation Based on Differential Geometry: A Hybrid Approach.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	region based method, edge based method, surface primitives, local biquadratic surface fit, curvature sign map, depth values, pattern recognition, image segmentation, computerised picture processing, computerised picture processing, computerised pattern recognition, geometry, curve fitting, differential geometry, 3D object, surface orientation, partial derivatives, range data analysis
23	Peter Lindstrom 0001, Jonathan D. Cohen 0001	On-the-fly decompression and rendering of multiresolution terrain.	SI3D	2010	DBLP DOI BibTeX RDF
23	Robert L. Constable	Building Mathematics-Based Software Systems to Advance Science and Create Knowledge.	Efficient Algorithms	2009	DBLP DOI BibTeX RDF
23	Diaa F. ElKott, Stephen C. Veldhuis	CAD-based sampling for CMM inspection of models with sculptured features.	Eng. Comput.	2007	DBLP DOI BibTeX RDF	Sculptured surfaces, n-sided, Inspection, CMM, NURBS, Trimmed surfaces
23	Guoping Qiu, Jian Guan 0004	Color by linear neighborhood embedding.	ICIP (3)	2005	DBLP DOI BibTeX RDF
23	Pampa Sadhukhan, Pradip Kumar Das	MGALE: A Modified Geometry-Assisted Location Estimation Algorithm Reducing Location Estimation Error in 2D Case under NLOS Environments.	MELT	2009	DBLP DOI BibTeX RDF	Base Station (BS), Mobile Station (MS), Geometry-Assisted Location Estimation Algorithm (GALE), Time-of-Arrival (TOA), Non-Line-Of-Sight (NLOS), Location Estimation
23	Xianfeng David Gu, Feng Luo 0002, Shing-Tung Yau	Recent Advances in Computational Conformal Geometry.	IMA Conference on the Mathematics of Surfaces	2009	DBLP DOI BibTeX RDF	Computational Conformal Geometry, Holomorphic Differentials, Curvature Flow
23	Antonio Mucherino, Leo Liberti, Carlile Lavor, Nelson Maculan	Comparisons between an exact and a metaheuristic algorithm for the molecular distance geometry problem.	GECCO	2009	DBLP DOI BibTeX RDF	branch and prune, monkey search, protein molecules, combinatorial optimization, distance geometry
23	Daniel Romero 0003, Rafael Sebastián, Bart H. Bijnens, Viviana Zimmerman, Patrick M. Boyle, Edward J. Vigmond, Alejandro F. Frangi	The Purkinje System and Cardiac Geometry: Assessing Their Influence on the Paced Heart.	FIMH	2009	DBLP DOI BibTeX RDF	Patient-specific geometry, cardiac electrophysiology, Purkinje system, Cardiac Resynchronization Therapy, ventricular pacing
23	Javier Burgues, Julian Fiérrez, Daniel Ramos 0001, Javier Ortega-Garcia	Comparison of Distance-Based Features for Hand Geometry Authentication.	COST 2101/2102 Conference	2009	DBLP DOI BibTeX RDF	feature selection, biometrics, Hand geometry
23	Marc Freixas, Robert Joan-Arinyo, Antoni Soto-Riera	Elements for a modular dynamic geometry system.	SAC	2008	DBLP DOI BibTeX RDF	dynamic mechanisms, geometric constraint solving, dynamic geometry
23	Marc de Falco	The Geometry of Interaction of Differential Interaction Nets.	LICS	2008	DBLP DOI BibTeX RDF	differential interaction nets, differential linear logic, sharing graphs, linear logic, geometry of interaction
23	Lennart Wietzke, Gerald Sommer, Christian Schmaltz, Joachim Weickert	Differential Geometry of Monogenic Signal Representations.	RobVis	2008	DBLP DOI BibTeX RDF	Low-level Image Analysis, Geometric (Clifford) Algebra, Monogenic Curvature Tensor, Monogenic Signal, Riesz Transform, Hilbert Transform, Local Phase Based Signal Processing, Differential Geometry, Radon Transform
23	Orlando Durán, Nibaldo Rodríguez, Luiz Airton Consalter	Automatic Selection of Cutting Tools Geometry Using an Evolutionary Approach.	IEA/AIE	2008	DBLP DOI BibTeX RDF	Tool Geometry Optimization, Evolutionary Computation, Machining
23	Alexander I. Bobenko	Delaunay triangulations of polyhedral surfaces, a discrete Laplace-Beltrami operator and applications.	SCG	2008	DBLP DOI BibTeX RDF	Lapace operator, dirichlet energy, flipping algorithm, Delaunay triangulation, discrete differential geometry
23	Marcos Faúndez-Zanuy, David A. Elizondo, Miguel Angel Ferrer-Ballester, Carlos Manuel Travieso-González	Authentication of Individuals using Hand Geometry Biometrics: A Neural Network Approach.	Neural Process. Lett.	2007	DBLP DOI BibTeX RDF	Biometrical features, Authentication of individual, Neural network, Feature extraction, Biometrics, Feature identification, Hand geometry
23	Cédric Gouy-Pailler, Sophie Zijp-Rouzier, Sylvie Vidal, Denis Chêne	A Haptic Based Interface to Ease Visually Impaired Pupils' Inclusion in Geometry Lessons.	HCI (7)	2007	DBLP DOI BibTeX RDF	learning, haptic, gesture, multimodal, blind, geometry, co-design, design for all, inclusion
23	Bin Sheng 0001, Enhua Wu	View-dependent mesh streaming using multi-chart geometry images.	VRST	2007	DBLP DOI BibTeX RDF	mesh streaming, clustering, geometry image, multiresolution rendering
23	Francisco Botana, Miguel A. Abánades, Jesús Escribano	Computing Locus Equations for Standard Dynamic Geometry Environments.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	Interactive geometry, OpenMath, Automated deduction, Locus
23	Jun Sato	Recovering Multiple View Geometry from Mutual Projections of Multiple Cameras.	Int. J. Comput. Vis.	2006	DBLP DOI BibTeX RDF	multifocal tensors, mutual projections, camera calibration, epipolar geometry, multiple cameras
23	Jiandong Fang, Shiaofen Fang, Jeffrey Huang, Mihran Tuceryan	Digital geometry image analysis for medical diagnosis.	SAC	2006	DBLP DOI BibTeX RDF	3D facial analysis, fetal alcohol syndrome, pattern recognition, classifier, digital geometry, medical diagnosis
23	Marcos Craizer, Thomas Lewiner, Jean-Marie Morvan	Parabolic Polygons and Discrete Affine Geometry.	SIBGRAPI	2006	DBLP DOI BibTeX RDF	Affine Differential Geometry, Affine Curvature, Affine Length, Curve Reconstruction
23	Nathan A. Carr, Jared Hoberock, Keenan Crane, John C. Hart	Fast GPU ray tracing of dynamic meshes using geometry images.	Graphics Interface	2006	DBLP BibTeX RDF	ray tracing, geometry images, mesh parameterization, GPU algorithms
23	Ching-Liang Su	Chinese-Seal-Print Recognition by Color Image Dilating, Extraction, and Gray Scale Image Geometry Comparison.	J. Intell. Robotic Syst.	2005	DBLP DOI BibTeX RDF	Chinese-seal-print identification, geometry feature comparison, image dilation, morphology
23	Yu-Kun Lai, Shi-Min Hu 0001, D. X. Gu, Ralph R. Martin	Geometric texture synthesis and transfer via geometry images.	Symposium on Solid and Physical Modeling	2005	DBLP DOI BibTeX RDF	texture synthesis, geometry images, texture transfer
23	Pierre Y. Chatelier, Rémy Malgouyres	A Low Complexity Discrete Radiosity Method.	DGCI	2005	DBLP DOI BibTeX RDF	ideal diffuse case, visibility, Radiosity, voxels, linear complexity, discrete geometry
23	Hongbo Li 0012, Lina Cao, Nanbin Cao, Weikun Sun	Intrinsic Differential Geometry with Geometric Calculus.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF	Intrinsic differential geometry, Mathematics mechanization, Symbolic geometric computing, Clifford algebra
23	Li Zhang, Manish Parashar	A Dynamic Geometry-Based Shared Space Interaction Framework for Parallel Scientific Applications.	HiPC	2004	DBLP DOI BibTeX RDF	dynamic geometry-basedshared space, Hilbert space filling curve, scalability, tuple space, parallel scientific applications, communication locality
23	Philippe Balbiani, Khalil Challita	Solving Constraints Between Lines in Euclidean Geometry.	AIMSA	2004	DBLP DOI BibTeX RDF	Constraint satisfaction problems, Spatial reasoning, Euclidean geometry
23	Aravind Kalaiah, Amitabh Varshney	Modeling and Rendering of Points with Local Geometry.	IEEE Trans. Vis. Comput. Graph.	2003	DBLP DOI BibTeX RDF	point sample rendering, per-pixel shading, Differential geometry, simplification
23	Guang Jiang, Hung-Tat Tsui, Long Quan, Andrew Zisserman	Geometry of Single Axis Motions Using Conic Fitting.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	single axis motion, structure from motion, geometry, fundamental matrix, conic, Turntable
23	Mark Pauly, Richard Keiser, Leif Kobbelt, Markus H. Gross	Shape modeling with point-sampled geometry.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	dynamic sampling, shape modeling, free-form deformation, boolean operations, point-sampled geometry
23	Furio Honsell, Marina Lenisa	"Wave-Style" Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models.	TYPES	2003	DBLP DOI BibTeX RDF	(linear) graph model, traced monoidal category, weak linear category, categorical geometry of interaction
23	Blagovest Sendov	Geometry of Polynomials and Numerical Analysis.	Numerical Methods and Application	2002	DBLP DOI BibTeX RDF	Geometry of polynomials, Gauss-Lucas Theorem, zeros of polynomials, Smale's Conjecture, Sendov's Conjecture, Mathematics Subject Classification: 30C10, critical points
23	Shou-Kang Wei, Fay Huang, Reinhard Klette	Characterizations of Image Acquisition and Epipolar Geometry of Multiple Panoramas.	CAIP	2001	DBLP DOI BibTeX RDF	epipolar geometry, panoramic image
23	Boris Stilman	Linguistic Geometry for Solving War Games.	Computers and Games	2000	DBLP DOI BibTeX RDF	war games, symmetric/asymmetric war games, linguistic geometry, reduced search, strategies, search problems, board games
23	Rong Lin, Stephan Olariu, James L. Schwing, Biing-Feng Wang	The Mesh with Hybrid Buses: An Efficient Parallel Architecture for Digital Geometry.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	mesh with hybrid buses, cost-optimal algorithms, pattern recognition, image processing, broadcasting, VLSI architectures, digital geometry, cellular systems
23	Ivan Salam, Philippe Nehlig, Eric Andres	Discrete Ray-Casting.	DGCI	1999	DBLP DOI BibTeX RDF	Discrete Ray-Casting, Volume Viewing, Parallel Projection, Discrete Geometry
23	Zhengyou Zhang	Determining the Epipolar Geometry and its Uncertainty: A Review.	Int. J. Comput. Vis.	1998	DBLP DOI BibTeX RDF	uncertainty characterization, performance evaluation, software, parameter estimation, reconstruction, calibration, epipolar geometry, fundamental matrix, robust techniques
23	Michal Irani, P. Anandan 0001, Daphna Weinshall	From Reference Frames to Reference Planes: Multi-View Parallax Geometry and Applications.	ECCV (2)	1998	DBLP DOI BibTeX RDF	Multi-point multi-view geometry, new view synthesis, duality of cameras and scene points, plane+parallax, trilinearity, uncalibrated images
23	Lizhi Wang, Glenn Healey	Illumination and geometry invariant recognition of texture in color images.	CVPR	1996	DBLP DOI BibTeX RDF	recognition of texture, geometry invariant, spatial correlation functions, scale estimation, correlation moment, illumination conditions, correlation moment computation, image recognition, invariance, image texture, color images, color texture, color textures
23	Michael Oren, Shree K. Nayar	A Theory of Specular Surface Geometry.	ICCV	1995	DBLP DOI BibTeX RDF	specular surface geometry, real scene features, feature classification algorithm, 3D surface profiles, computer vision, feature extraction, motion estimation, camera motion, three-dimensional space
23	Alexander Barg, Oleg R. Musin (eds.)	Discrete Geometry and Algebraic Combinatorics	Discrete Geometry and Algebraic Combinatorics	2014	DBLP BibTeX RDF
23	Mauro Di Nasso	A taste of nonstandard methods in combinatorics of numbers.	Geometry, Structure and Randomness in Combinatorics	2014	DBLP DOI BibTeX RDF
23	Peter Hegarty, Dmitry Zhelezov	Can connected commuting graphs of finite groups have arbitrarily large diameter?	Geometry, Structure and Randomness in Combinatorics	2014	DBLP DOI BibTeX RDF
23	Jirí Matousek 0001	String graphs and separators.	Geometry, Structure and Randomness in Combinatorics	2014	DBLP DOI BibTeX RDF
23	Maria Chudnovsky	Cliques and stable sets in undirected graphs.	Geometry, Structure and Randomness in Combinatorics	2014	DBLP DOI BibTeX RDF
23	Imre Bárány	Tensors, colours, octahedra.	Geometry, Structure and Randomness in Combinatorics	2014	DBLP DOI BibTeX RDF
23	Ryan Schwartz, József Solymosi	Combinatorial applications of the subspace theorem.	Geometry, Structure and Randomness in Combinatorics	2014	DBLP DOI BibTeX RDF
23	Jaroslav Nesetril, Patrice Ossona de Mendez	On first-order definable colorings.	Geometry, Structure and Randomness in Combinatorics	2014	DBLP DOI BibTeX RDF
23	Béla Bollobás, Zoltán Füredi, Ida Kantor, Gyula O. H. Katona, Imre Leader	A coding problem for pairs of subsets.	Geometry, Structure and Randomness in Combinatorics	2014	DBLP DOI BibTeX RDF
23	Tetsuo Ida, Jacques D. Fleuriot (eds.)	Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers	Automated Deduction in Geometry	2013	DBLP DOI BibTeX RDF
23	Pavel Chebotarev, Michel Deza	A Topological Interpretation of the Walk Distances.	Distance Geometry	2013	DBLP DOI BibTeX RDF
23	Xingyuan Fang, Kim-Chuan Toh	Using a Distributed SDP Approach to Solve Simulated Protein Molecular Conformation Problems.	Distance Geometry	2013	DBLP DOI BibTeX RDF
23	Abdo Y. Alfakih	Universal Rigidity of Bar Frameworks in General Position: A Euclidean Distance Matrix Approach.	Distance Geometry	2013	DBLP DOI BibTeX RDF
23	Michel Petitjean	Spheres Unions and Intersections and Some of their Applications in Molecular Modeling.	Distance Geometry	2013	DBLP DOI BibTeX RDF
23	Mihai Cucuringu	ASAP: An Eigenvector Synchronization Algorithm for the Graph Realization Problem.	Distance Geometry	2013	DBLP DOI BibTeX RDF
23	Gérard D. Cohen, Sihem Mesnager	On constructions of semi-bent functions from bent functions.	Discrete Geometry and Algebraic Combinatorics	2013	DBLP BibTeX RDF
23	Károly Bezdek	Plank theorems via successive inradii.	Discrete Geometry and Algebraic Combinatorics	2013	DBLP BibTeX RDF
23	Henry Cohn, Abhinav Kumar, Christian Reiher, Achill Schürmann	Formal duality and generalizations of the Poisson summation formula.	Discrete Geometry and Algebraic Combinatorics	2013	DBLP BibTeX RDF
23	Oleg R. Musin	Multivariate positive definite functions on spheres.	Discrete Geometry and Algebraic Combinatorics	2013	DBLP BibTeX RDF
23	Swastik Kopparty	Some remarks on multiplicity codes.	Discrete Geometry and Algebraic Combinatorics	2013	DBLP BibTeX RDF
23	Andrei M. Raigorodskii	Cliques and cycles in distance graphs and graphs of diameters.	Discrete Geometry and Algebraic Combinatorics	2013	DBLP BibTeX RDF
23	Alexander Barg, Wei-Hsuan Yu	New bounds for equiangular lines.	Discrete Geometry and Algebraic Combinatorics	2013	DBLP BibTeX RDF
23	Andrew Niedermaier, Douglas Rizzolo, Francis Edward Su	A Tree Sperner Lemma.	Discrete Geometry and Algebraic Combinatorics	2013	DBLP BibTeX RDF
23	Alexandr O. Ivanov, Alexey A. Tuzhilin	Minimal fillings of finite metric spaces: The state of the art.	Discrete Geometry and Algebraic Combinatorics	2013	DBLP BibTeX RDF
23	Shuichi Moritsugu	Extending the Descartes Circle Theorem for Steiner n-Cycles.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Pascal Mathis, Pascal Schreck	Equation Systems with Free-Coordinates Determinants.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Sana Stojanovic	Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Ciprian Borcea, Ileana Streinu	Realizations of Volume Frameworks.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Gabriel Braun, Julien Narboux	From Tarski to Hilbert.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Umair Siddique, Vincent Aravantinos, Sofiène Tahar	On the Formal Analysis of Geometrical Optics in HOL.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Fadoua Ghourabi, Asem Kasem, Cezary Kaliszyk	Algebraic Analysis of Huzita's Origami Operations and Their Extensions.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Christophe Brun, Jean-François Dufourd, Nicolas Magaud	Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	John Christopher Bowers, Ileana Streinu	Rigidity of Origami Universal Molecules.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Jing Yang 0039, Dongming Wang 0001, Hoon Hong	Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Thomas Sturm 0001, Christoph Zengler (eds.)	Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers	Automated Deduction in Geometry	2011	DBLP DOI BibTeX RDF
23	Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.)	Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers	Automated Deduction in Geometry	2011	DBLP DOI BibTeX RDF
23	Jason Dykes, Matthias Müller-Hannemann, Alexander Wolff 0001 (eds.)	Schematization in Cartography, Visualization, and Computational Geometry, 14.11. - 19.11.2010	Schematization in Cartography, Visualization, and Computational Geometry	2010	DBLP BibTeX RDF
23	Bennett Wilburn	Challenges for Multi-View Video Capture.	Image and Geometry Processing for 3-D Cinematography	2010	DBLP DOI BibTeX RDF
23	Christian Theobalt, Edilson de Aguiar, Carsten Stoll, Hans-Peter Seidel, Sebastian Thrun	Performance Capture from Multi-View Video.	Image and Geometry Processing for 3-D Cinematography	2010	DBLP DOI BibTeX RDF
23	Yasutaka Furukawa, Jean Ponce	Combining Multi-view Stereo and Bundle Adjustment for Accurate Camera Calibration.	Image and Geometry Processing for 3-D Cinematography	2010	DBLP DOI BibTeX RDF