BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
geometry
Google geometry

Tag #geometry

489 papers:

EDMEDM-2019-ShilloHG #detection
Detecting Creativity in an Open Ended Geometry Environment (RS, NH, KG).
CIKMCIKM-2019-ArabzadehZJB #estimation
Geometric Estimation of Specificity within Embedding Spaces (NA, FZ, JJ, EB), pp. 2109–2112.
ICMLICML-2019-GaoWH #data analysis #graph
Geometric Scattering for Graph Data Analysis (FG, GW, MJH), pp. 2122–2131.
ICMLICML-2019-KaplanMMS #concept #learning
Differentially Private Learning of Geometric Concepts (HK, YM, YM, US), pp. 3233–3241.
ICMLICML-2019-KhasanovaF #image #representation
Geometry Aware Convolutional Filters for Omnidirectional Images Representation (RK, PF), pp. 3351–3359.
ICMLICML-2019-KuoLZ0 #symmetry
Geometry and Symmetry in Short-and-Sparse Deconvolution (HWK, YL, YZ, JW0), pp. 3570–3580.
ICMLICML-2019-MenschBP #learning
Geometric Losses for Distributional Learning (AM, MB, GP), pp. 4516–4525.
ICMLICML-2019-PolianskiiP #approach #bound #classification #integration #monte carlo
Voronoi Boundary Classification: A High-Dimensional Geometric Approach via Weighted Monte Carlo Integration (VP, FTP), pp. 5162–5170.
ICMLICML-2019-SmithFRM #named
GEOMetrics: Exploiting Geometric Structure for Graph-Encoded Objects (EJS, SF, AR, DM), pp. 5866–5876.
ICMLICML-2019-YeS #comprehension
Understanding Geometry of Encoder-Decoder CNNs (JCY, WKS), pp. 7064–7073.
ICMLICML-2019-YurochkinGSN
Dirichlet Simplex Nest and Geometric Inference (MY, AG, YS, XN), pp. 7262–7271.
CASECASE-2019-ChenJD #analysis #flexibility #performance #realtime
Real-Time Performance Analysis of Batch-Based Serial Flexible Production Lines With Geometric Machines (JC, ZJ, YD), pp. 97–102.
CASECASE-2019-GeftTGH #2d #assembly #robust
Robust 2D Assembly Sequencing via Geometric Planning with Learned Scores (TG, AT, KG, DH), pp. 1603–1610.
CoGCIG-2018-KraaijerKMR #game studies #generative #graph
Geometry and Generation of a New Graph Planarity Game (RK, MJvK, WM, AvR), pp. 1–8.
FDGFDG-2018-WallnerKGLSL #education #game studies
Lost my way: an educational geometry game for young children (GW, SK, SG, CSL, YS, IHL), p. 4.
ICMLICML-2018-GunasekarLSS #bias #optimisation
Characterizing Implicit Bias in Terms of Optimization Geometry (SG, JDL, DS, NS), pp. 1827–1836.
ICMLICML-2018-KhrulkovO #generative #network
Geometry Score: A Method For Comparing Generative Adversarial Networks (VK, IVO), pp. 2626–2634.
ICMLICML-2018-NickelK #learning
Learning Continuous Hierarchies in the Lorentz Model of Hyperbolic Geometry (MN, DK), pp. 3776–3785.
ICMLICML-2018-ZhangNL #network
Tropical Geometry of Deep Neural Networks (LZ, GN, LHL), pp. 5819–5827.
ICPRICPR-2018-JyotiD #automation #estimation #network #using
Automatic Eye Gaze Estimation using Geometric & Texture-based Networks (SJ, AD), pp. 2474–2479.
ICPRICPR-2018-ZhongDL #3d #semantics
3D Geometry-Aware Semantic Labeling of Outdoor Street Scenes (YZ, YD, HL), pp. 2343–2349.
CASECASE-2018-InuiEMZ #gpu #process #simulation #using
Geometric Simulation of Infeed Grinding Process of Silicon Wafer Using GPU (MI, YE, TM, LZ), pp. 1519–1524.
CASECASE-2018-LiWZL #mobile #modelling #parametricity #representation #validation
Modeling and Validation of Free Road with Geometric Parameter Representation for wheeled mobile robots (PL, HW, MZ, JL), pp. 1152–1157.
ICMLICML-2017-0001JZ #analysis #problem #rank
No Spurious Local Minima in Nonconvex Low Rank Problems: A Unified Geometric Analysis (RG0, CJ, YZ), pp. 1233–1242.
ICMLICML-2017-HarandiSH #learning #metric #reduction
Joint Dimensionality Reduction and Metric Learning: A Geometric Take (MTH, MS, RIH), pp. 1404–1413.
ICMLICML-2017-PenningtonB #matrix #network #random
Geometry of Neural Network Loss Surfaces via Random Matrix Theory (JP, YB), pp. 2798–2806.
POPLPOPL-2017-LagoFVY #parallel #probability #quantum
The geometry of parallelism: classical, probabilistic, and quantum effects (UDL, CF, BV, AY), pp. 833–845.
CASECASE-2017-AziziKBK #analysis #reachability
Geometric reachability analysis for grasp planning in cluttered scenes for varying end-effectors (VA0, AK, KEB, MK), pp. 764–769.
CASECASE-2017-LiuWQWZ #analysis #fault
A geometric errors analysis method integrated clamping error and wear out error over working space (XL, CW, LQ, YW, SZ), pp. 656–661.
CSLCSL-2017-MuroyaG #call-by #graph grammar #interactive
The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter (KM, DRG), p. 15.
ICFP-2016-Sergey #algorithm #case study #experience #random testing #testing
Experience report: growing and shrinking polygons for random testing of computational geometry algorithms (IS), pp. 193–199.
DiGRADiGRA-FDG-2016-SoaresLPM #approach #random
Rapidly-Exploring Random Tree approach for Geometry Friends (RS, FL, RP, FSM).
ICMLICML-2016-BaiRWS #classification #difference #learning
Differential Geometric Regularization for Supervised Learning of Classifiers (QB, SR, ZW, SS), pp. 1879–1888.
ICMLICML-2016-ZadehHS #learning #metric
Geometric Mean Metric Learning (PZ, RH, SS), pp. 2464–2471.
ICPRICPR-2016-Al-DulaimiBTC #automation #image #segmentation #set #using
Automatic segmentation of HEp-2 cell Fluorescence microscope images using level set method via geometric active contours (KAD, JB, ITR, VC), pp. 81–83.
ICPRICPR-2016-Altamirano-Gomez #algebra #detection
Conformal Geometric Algebra method for detection of geometric primitives (GEAG, EBC), pp. 4190–4195.
ICPRICPR-2016-Ben-ArtziHWP #similarity
Epipolar geometry based on line similarity (GBA, TH, MW, SP), pp. 1864–1869.
ICPRICPR-2016-KondratevS #automation #constraints #detection #image #using
Automatic detection of laser-induced structures in live cell fluorescent microscopy images using snakes with geometric constraints (AYK, DVS), pp. 331–336.
ICPRICPR-2016-MatsuzakiUSS #2d #3d #constraints #retrieval #using #verification
Geometric verification using semi-2D constraints for 3D object retrieval (KM, YU, SS, SS), pp. 2338–2343.
ICPRICPR-2016-MygdalisTP
Exploiting local and global geometric data relationships in Support Vector Data Description (VM, AT, IP), pp. 515–519.
ICPRICPR-2016-ValevYK #approach #pattern matching #pattern recognition #problem #recognition
A new geometrical approach for solving the supervised pattern recognition problem (VV, NY, AK), pp. 1648–1652.
ICPRICPR-2016-XuK #retrieval
A geometric-based tattoo retrieval system (XX, AWKK), pp. 3019–3024.
POPLPOPL-2016-MuroyaHH #interactive #recursion
Memoryful geometry of interaction II: recursion and adequacy (KM, NH, IH), pp. 748–760.
CASECASE-2016-JiaZCAX #evaluation #finite #performance
Performance evaluation in finite production run-based serial lines with geometric machines (ZJ, LZ, GC, JA, GX), pp. 450–455.
CASECASE-2016-KangJ #analysis
Integrated analysis of productivity and machine condition degradation: A geometric-machine case (YK, FJ), pp. 1128–1133.
IJCARIJCAR-2016-Nivelle #algorithm
Subsumption Algorithms for Three-Valued Geometric Resolution (HdN), pp. 257–272.
PODSPODS-2015-KhamisNRR #worst-case
Joins via Geometric Resolutions: Worst-case and Beyond (MAK, HQN, CR, AR), pp. 213–228.
TPDLTPDL-2015-Nunzio #education #machine learning #naive bayes
Teaching Machine Learning: A Geometric View of Naïve Bayes (GMDN), pp. 343–346.
SIGITESIGITE-2015-Forster #education #exclamation #programming
Programming in Scratch and Mathematics: Augmenting Your Geometry Curriculum, Today! (KTF), p. 97.
ICALPICALP-v2-2015-KariS #algebra #approach
An Algebraic Geometric Approach to Nivat’s Conjecture (JK, MS), pp. 273–285.
CoGCIG-2015-PradaLCQM #contest #game studies
The geometry friends game AI competition (RP, PL, JC, JQ, FSM), pp. 431–438.
CoGCIG-2015-QuiterioPM #approach #learning
A reinforcement learning approach for the circle agent of geometry friends (JQ, RP, FSM), pp. 423–430.
ICMLICML-2015-SunWKM #network
Information Geometry and Minimum Description Length Networks (KS, JW, AK, SMM), pp. 49–58.
ICMLICML-2015-YouV
Geometric Conditions for Subspace-Sparse Recovery (CY, RV), pp. 1585–1593.
KDDKDD-2015-JohanssonD #graph #learning #similarity #using
Learning with Similarity Functions on Graphs using Matchings of Geometric Embeddings (FDJ, DPD), pp. 467–476.
MLDMMLDM-2015-Chou #data-driven #learning
Data Driven Geometry for Learning (EPC), pp. 395–402.
SACSAC-2015-NascimentoBJ #approach #recognition
A new approach to biometric recognition based on hand geometry (MVPdN, LVB, NLCJ), pp. 59–65.
CASECASE-2015-JinQH #fault #predict
Out-of-plane geometric error prediction for additive manufacturing (YJ, SJQ, QH), pp. 918–923.
CASECASE-2015-LuanH #3d #modelling #predict
Predictive modeling of in-plane geometric deviation for 3D printed freeform products (HL, QH), pp. 912–917.
CASECASE-2015-LuoCCOLL #fault #locality #modelling
Enhancement of weld coverage and localization of defect through geometrical modeling for ultrasound inspection of TKY weld (HL, QHC, WSC, ETO, WJL, WL), pp. 1484–1489.
CASECASE-2015-NguyenWKLH #modelling #predict
Predictive models for the geometrical characteristics of channels milled by abrasive waterjet (TDN, JW, NMK, HL, QPH), pp. 1459–1464.
DATEDATE-2015-KauerNLSC #optimisation #programming #using
Inductor optimization for active cell balancing using geometric programming (MK, SN, ML, SS, SC), pp. 281–284.
DATEDATE-2015-SunKPE #algebra #using #verification
Formal verification of sequential Galois field arithmetic circuits using algebraic geometry (XS, PK, TP, FE), pp. 1623–1628.
DRRDRR-2014-FengLLLT #analysis
Structure analysis for plane geometry figures (TF, XL, LL, KL, ZT), p. ?–11.
ITiCSEITiCSE-2014-Jasute #education #interactive #learning #visualisation
An interactive visualization method of constructionist teaching and learning of geometry (EJ), p. 349.
CoGCIG-2014-KimYK #graph #monte carlo #representation #using
Solving Geometry Friends using Monte-Carlo Tree Search with directed graph representation (HTK, DMY, KJK), pp. 1–2.
ICGTICGT-2014-BelhaouariAGB #graph transformation #library #modelling #named
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling (HB, AA, PLG, TB), pp. 269–284.
ICMLICML-c2-2014-JohanssonJDB #graph #kernel #using
Global graph kernels using geometric embeddings (FJ, VJ, DPD, CB), pp. 694–702.
ICMLICML-c2-2014-KurrasLB #graph
The f-Adjusted Graph Laplacian: a Diagonal Modification with a Geometric Interpretation (SK, UvL, GB), pp. 1530–1538.
ICMLICML-c2-2014-SunM #learning #statistics
An Information Geometry of Statistical Manifold Learning (KS, SMM), pp. 1–9.
ICPRICPR-2014-ChanK #identification #image #using
Using Leg Geometry to Align Androgenic Hair Patterns in Low Resolution Images for Criminal and Victim Identification (FKSC, AWKK), pp. 495–500.
ICPRICPR-2014-HuynhCM #3d #constraints #using #video
Aerial Implicit 3D Video Stabilization Using Epipolar Geometry Constraint (LH, JC, GGM), pp. 3487–3492.
ICPRICPR-2014-IslamCK #case study #forensics
A Preliminary Study of Lower Leg Geometry as a Soft Biometric Trait for Forensic Investigation (MRI, FKSC, AWKK), pp. 427–431.
ICPRICPR-2014-Kanatani #estimation #optimisation #statistics
Statistical Optimization for Geometric Estimation: Minimization vs. Non-minimization (KK), pp. 1–8.
ICPRICPR-2014-Lee #re-engineering
New Geometric Interpretation and Analytic Solution for Quadrilateral Reconstruction (JHL), pp. 4015–4020.
ICPRICPR-2014-LiuLFQGT #graph #retrieval
Plane Geometry Figure Retrieval Based on Bilayer Geometric Attributed Graph Matching (LL, XL, SF, JQ, LG, ZT), pp. 309–314.
ICPRICPR-2014-MasselliZ #approach #performance #problem
A New Geometric Approach for Faster Solving the Perspective-Three-Point Problem (AM, AZ), pp. 2119–2124.
ICPRICPR-2014-SantanaLH #identification #people #semantics
People Semantic Description and Re-identification from Point Cloud Geometry (MCS, JLN, DHS), pp. 4702–4707.
ICPRICPR-2014-SeckDT #3d #analysis #using
3D Facial Skin Texture Analysis Using Geometric Descriptors (AS, HD, BT), pp. 1126–1131.
ICPRICPR-2014-VaradarajanV #calculus #representation #visual notation
4D Space-Time Mereotopogeometry-Part Connectivity Calculus for Visual Object Representation (KMV, MV), pp. 4316–4321.
ICPRICPR-2014-WangWCY
Fingerprint Geometric Hashing Based on Binary Minutiae Cylinder Codes (YW, LW, YmC, PCY), pp. 690–695.
ICPRICPR-2014-WuK #image #invariant #retrieval #scalability
Image Retrieval Based on Anisotropic Scaling and Shearing Invariant Geometric Coherence (XW, KK), pp. 3951–3956.
ICPRICPR-2014-YangLLZ #consistency #image #rank
Low Rank Global Geometric Consistency for Partial-Duplicate Image Search (LY, YL, ZL, HZ), pp. 3939–3944.
ICPRICPR-2014-ZamalievaYD
Exploiting Temporal Geometry for Moving Camera Background Subtraction (DZ, AY, JWD), pp. 1200–1205.
ICPRICPR-2014-ZambaniniKK #consistency #evaluation
Classifying Ancient Coins by Local Feature Matching and Pairwise Geometric Consistency Evaluation (SZ, AK, MK), pp. 3032–3037.
KDDKDD-2014-JinKSDGCPR #community #modelling #network #social #using
Modeling mass protest adoption in social network communities using geometric brownian motion (FJ, RPK, NS, ERD, SG, FC, BAP, NR), pp. 1660–1669.
CASECASE-2014-HuangNXCSD #3d #approach #modelling #predict
Predictive modeling of geometric deviations of 3D printed products — A unified modeling approach for cylindrical and polygon shapes (QH, HN, KX, YC, SS, TD), pp. 25–30.
DATEDATE-2014-ChienYHLC #analysis #image
Package geometric aware thermal analysis by infrared-radiation thermal images (JHC, HY, RSH, HJL, SCC), pp. 1–4.
STOCSTOC-2014-AgarwalS #algorithm #approximate #metric
Approximation algorithms for bipartite matching with metric and geometric costs (PKA, RS), pp. 555–564.
STOCSTOC-2014-AndoniNOY #algorithm #graph #parallel #problem
Parallel algorithms for geometric graph problems (AA, AN, KO, GY), pp. 574–583.
IJCARIJCAR-2014-BeesonW #proving
OTTER Proofs in Tarskian Geometry (MB, LW), pp. 495–510.
LICSLICS-CSL-2014-HoshinoMH #algebra #component #interactive
Memoryful geometry of interaction: from coalgebraic components to algebraic effects (NH, KM, IH), p. 10.
LICSLICS-CSL-2014-LagoFHY
The geometry of synchronization (UDL, CF, IH, AY), p. 10.
DRRDRR-2013-NayefB
Combining geometric matching with SVM to improve symbol spotting (NN, TMB).
ICDARICDAR-2013-LiLLLFT #detection
Detection of Overlapped Quadrangles in Plane Geometric Figures (KL, XL, HL, LL, TF, ZT), pp. 260–264.
ICDARICDAR-2013-PhamDBR #consistency #locality #performance #robust
Robust Symbol Localization Based on Junction Features and Efficient Geometry Consistency Checking (TAP, MD, SB, JYR), pp. 1083–1087.
ICDARICDAR-2013-ZhangS #estimation #image #multi
Multiple Geometry Transform Estimation from Single Camera-Captured Text Image (XZ, FS), pp. 538–542.
JCDLJCDL-2013-NockNB #learning #library
Non-linear book manifolds: learning from associations the dynamic geometry of digital libraries (RN, FN, EB), pp. 313–322.
VLDBVLDB-2013-BambaRHA #graph #performance #statistics
Statistics Collection in Oracle Spatial and Graph: Fast Histogram Construction for Complex Geometry Objects (BB, SR, YH, RA), pp. 1021–1032.
VLDBVLDB-2013-GarofalakisKS #distributed #monitoring #query #sketching
Sketch-based Geometric Monitoring of Distributed Stream Queries (MNG, DK, VS), pp. 937–948.
ICALPICALP-v1-2013-BringmannF #generative #graph #performance #random
Exact and Efficient Generation of Geometric Random Variates and Random Graphs (KB, TF), pp. 267–278.
ICALPICALP-v1-2013-DeDS #algorithm #analysis #difference #fourier #robust
A Robust Khintchine Inequality, and Algorithms for Computing Optimal Constants in Fourier Analysis and High-Dimensional Geometry (AD, ID, RAS), pp. 376–387.
ICFPICFP-2013-Mairson #functional
Functional geometry and the Traité de Lutherie: functional pearl (HGM), pp. 123–132.
HCIDUXU-NTE-2013-KakaraNM #behaviour #database #design #interactive #using
Interaction Design Using a Child Behavior-Geometry Database (HK, YN, HM), pp. 95–104.
POPLPOPL-2013-LagoP
The geometry of types (UDL, BP), pp. 167–178.
SASSAS-2013-0001GHAN #concept #learning #verification
Verification as Learning Geometric Concepts (RS, SG, BH, AA, AVN), pp. 388–411.
DATEDATE-2013-Feng #grid #power management #reduction #scalability
Large-scale flip-chip power grid reduction with geometric templates (ZF), pp. 1679–1682.
STOCSTOC-2013-Ben-SassonGKKS #algebra #product line
A new family of locally correctable codes based on degree-lifted algebraic geometry codes (EBS, AG, YK, SK, SS), pp. 833–842.
STOCSTOC-2013-BurgisserI #bound #complexity
Explicit lower bounds via geometric complexity theory (PB, CI), pp. 141–150.
STOCSTOC-2013-GuruswamiX #algebra #bound
List decoding reed-solomon, algebraic-geometric, and gabidulin subcodes up to the singleton bound (VG, CX), pp. 843–852.
STOCSTOC-2013-NikolovTZ #approximate #difference #privacy
The geometry of differential privacy: the sparse and approximate cases (AN, KT, LZ), pp. 351–360.
SIGMODSIGMOD-2012-GiatrakosDGSS #data type #distributed #monitoring #predict
Prediction-based geometric monitoring over distributed data streams (NG, AD, MNG, IS, AS), pp. 265–276.
DLTDLT-2012-BealCDJL #decidability #regular expression
Decidability of Geometricity of Regular Languages (MPB, JMC, JPD, HJ, SL), pp. 62–72.
DLTDLT-2012-SaloT
Geometry and Dynamics of the Besicovitch and Weyl Spaces (VS, IT), pp. 465–470.
ICALPICALP-v1-2012-FuPSS #self
Self-assembly with Geometric Tiles (BF, MJP, RTS, RS), pp. 714–725.
ICALPICALP-v1-2012-MolinaroR #linear #online #source code
Geometry of Online Packing Linear Programs (MM, RR), pp. 701–713.
RTARTA-2012-Anai #algebra
Computational Real Algebraic Geometry in Practice (HA), p. 1.
CHICHI-2012-CheemaGL #diagrams #experience #named
QuickDraw: improving drawing experience for geometric diagrams (SC, SG, JJLJ), pp. 1037–1064.
ICMLICML-2012-HannahD #design #programming
Ensemble Methods for Convex Regression with Applications to Geometric Programming Based Circuit Design (LH, DBD), p. 24.
ICPRICPR-2012-AdanMS #3d #modelling
Creating realistic 3D models from scanners by decoupling geometry and texture (AA, PM, SS), pp. 457–460.
ICPRICPR-2012-AnhNKKL #automation #performance #segmentation
Fast automatic saliency map driven geometric active contour model for color object segmentation (NTLA, VQN, EK, SHK, GL), pp. 2557–2560.
ICPRICPR-2012-Gomez-BarreroGFOMF #authentication #case study
Inverse biometrics: A case study in hand geometry authentication (MGB, JG, JF, JOG, AM, MAF), pp. 1281–1284.
ICPRICPR-2012-GonfausGGRG #classification #using
Edge classification using photo-geometric features (JMG, TG, AG, FXR, JG), pp. 1497–1500.
ICPRICPR-2012-KennardBS #2d #approach #detection #using #verification
Offline signature verification and forgery detection using a 2-D geometric warping approach (DJK, WAB, TWS), pp. 3733–3736.
ICPRICPR-2012-LiuXAR #recognition #using
Hand posture recognition using finger geometric feature (LL, JX, HA, XR), pp. 565–568.
ICPRICPR-2012-MazinDG #image
Combining color and geometry for local image matching (BM, JD, YG), pp. 2667–2680.
ICPRICPR-2012-YinYHI #effectiveness #image #locality
Effective text localization in natural scene images with MSER, geometry-based grouping and AdaBoost (XY, XCY, HWH, KI), pp. 725–728.
KDIRKDIR-2012-AugelloGPV #algebra #encoding
Geometric Encoding of Sentences based on Clifford Algebra (AA, MG, GP, GV), pp. 457–462.
KDIRKDIR-2012-Inselberg #coordination #parallel #visual notation
Parallel Coordinates: Visual Multidimensional Geometry and Its Applications (AI).
KEODKEOD-2012-LinharesD #analysis #functional
Geometric Knowledge Analysis based in Part Functional Descriptions (JCL, AD), pp. 307–313.
SACSAC-2012-MathisSI #composition #constraints
Decomposition of geometrical constraint systems with reparameterization (PM, PS, RI), pp. 102–108.
CASECASE-2012-KammererP #fault #flexibility
High accuracy patient positioning system: geometric and elastic error calibration of a flexible model (NK, YP), pp. 1033–1039.
DATEDATE-2012-KwongG #architecture #constant #performance
A high performance split-radix FFT with constant geometry architecture (JK, MG), pp. 1537–1542.
DATEDATE-2012-MittagKJR #constraints #design #physics
Hierarchical propagation of geometric constraints for full-custom physical design of ICs (MM, AK, GJ, WR), pp. 1471–1474.
STOCSTOC-2012-SharathkumarA #algorithm #approximate
A near-linear time ε-approximation algorithm for geometric bipartite matching (RS, PKA), pp. 385–394.
CSLCSL-2012-KuusistoMV #decidability #first-order
Undecidable First-Order Theories of Affine Geometries (AK, JM, JV), pp. 470–484.
ICDARICDAR-2011-KunwarR #online #recognition #using
Online Handwriting Recognition of Tamil Script Using Fractal Geometry (RK, AGR), pp. 1389–1393.
CIAACIAA-J-2010-CzumajCGJLZ11 #algorithm #approximate #design #network
Approximation Algorithms for Buy-at-Bulk Geometric Network Design (AC, JC, LG, JJ, AL, PZ), pp. 1949–1969.
ICALPICALP-v1-2011-AdamaszekCLW #approximate #design #network
Approximation Schemes for Capacitated Geometric Network Design (AA, AC, AL, JOW), pp. 25–36.
ICFPICFP-2011-GhicaSS #compilation #hardware #recursion #synthesis
Geometry of synthesis iv: compiling affine recursion into static hardware (DRG, AIS, SS), pp. 221–233.
HCIHCI-UA-2011-LuhC #framework #platform #sketching
CAI Platform for Fundamental Geometric Training on Perspective Sketching (DBL, SNC), pp. 86–92.
SIGIRSIGIR-2011-TsagkiasRW #modelling
Hypergeometric language models for republished article finding (MT, MdR, WW), pp. 485–494.
PEPMPEPM-2011-CaretteES #generative #kernel
A generative geometric kernel (JC, ME, SS), pp. 53–62.
PLDIPLDI-2011-GulwaniKT
Synthesizing geometry constructions (SG, VAK, AT), pp. 50–61.
POPLPOPL-2011-GhicaS #resource management #synthesis #type inference
Geometry of synthesis III: resource management through type inference (DRG, AS), pp. 345–356.
ASEASE-2011-StehleLSRM #using
Diagnosis of software failures using computational geometry (ES, KL, MS, CR, SM), pp. 496–499.
SACSAC-2011-Thierry #approach #constraints
A particle-spring approach to geometric constraints solving (SEBT), pp. 1100–1105.
SACSAC-2011-Zhang #analysis #constraints #graph #problem
Well-constrained completion for under-constrained geometric constraint problem based on connectivity analysis of graph (GFZ), pp. 1094–1099.
GPCEGPCE-2011-LiNN #diagrams #generative #source code
Generation of geometric programs specified by diagrams (YL, GSNJ), pp. 63–72.
DACDAC-2011-HsuSPCH #algorithm #distributed #layout
A distributed algorithm for layout geometry operations (KTH, SS, YCP, CC, TYH), pp. 182–187.
DACDAC-2011-RyzhenkoB #layout #physics #synthesis
Physical synthesis onto a layout fabric with regular diffusion and polysilicon geometries (NR, SB), pp. 83–88.
STOCSTOC-2011-BarakDYW #bound #design #matrix #rank
Rank bounds for design matrices with applications toc ombinatorial geometry and locally correctable codes (BB, ZD, AY, AW), pp. 519–528.
STOCSTOC-2011-BurgisserI #complexity #rank
Geometric complexity theory and tensor rank (PB, CI), pp. 509–518.
ISSTAISSTA-2011-XiaoZ #analysis #encoding #java #performance #points-to
Geometric encoding: forging the high performance context sensitive points-to analysis for Java (XX, CZ), pp. 188–198.
LICSLICS-2011-HasuoH #higher-order #interactive #quantum #semantics
Semantics of Higher-Order Quantum Computation via Geometry of Interaction (IH, NH), pp. 237–246.
CIAACIAA-2010-ChamparnaudDJ
Regular Geometrical Languages and Tiling the Plane (JMC, JPD, HJ), pp. 69–78.
LATALATA-2010-ChamparnaudDJ #regular expression
Geometricity of Binary Regular Languages (JMC, JPD, HJ), pp. 178–189.
ICPRICPR-2010-BespalovDS
Geometric Total Variation for Texture Deformation (DB, ABD, AS), pp. 4597–4600.
ICPRICPR-2010-BimboLMP #detection #using
Person Detection Using Temporal and Geometric Context with a Pan Tilt Zoom Camera (ADB, GL, IM, FP), pp. 3886–3889.
ICPRICPR-2010-ChenSW #distance #linear #optimisation
Minimizing Geometric Distance by Iterative Linear Optimization (YC, JS, GW), pp. 1–4.
ICPRICPR-2010-Feschet #analysis #composition #multi #parametricity
Multiscale Analysis from 1D Parametric Geometric Decomposition of Shapes (FF), pp. 2102–2105.
ICPRICPR-2010-FujiyamaSS #multi
Multiple View Geometries for Mirrors and Cameras (SF, FS, JS), pp. 45–48.
ICPRICPR-2010-Garcia-TubioWS #detection
Combining Geometry and Local Appearance for Object Detection (MPGT, HW, LS), pp. 4024–4027.
ICPRICPR-2010-HoangT #fourier #invariant
A Geometric Invariant Shape Descriptor Based on the Radon, Fourier, and Mellin Transforms (TVH, ST), pp. 2085–2088.
ICPRICPR-2010-KatoSS #constraints #multi
Extended Multiple View Geometry for Lights and Cameras from Photometric and Geometric Constraints (KK, FS, JS), pp. 2110–2113.
ICPRICPR-2010-LenzMC #composition
Iwasawa Decomposition and Computational Riemannian Geometry (RL, RM, JC), pp. 4472–4475.
ICPRICPR-2010-Machucho-CadenaB #3d #algebra #re-engineering #using
3D Reconstruction of Tumors for Applications in Laparoscopy Using Conformal Geometric Algebra (RMC, EBC), pp. 2532–2535.
ICPRICPR-2010-MozaffariBA #classification #gender #image #using
Gender Classification Using Single Frontal Image Per Person: Combination of Appearance and Geometric Based Features (SM, HB, RA), pp. 1192–1195.
ICPRICPR-2010-NordbergZ #2d #image #multi #segmentation #using
Multibody Motion Segmentation Using the Geometry of 6 Points in 2D Images (KN, VZ), pp. 1783–1787.
ICPRICPR-2010-Vazquez-SantacruzB #network
A Geometric Radial Basis Function Network for Robot Perception and Action (EVS, EBC), pp. 2961–2964.
ICPRICPR-2010-WanS #multi
Multiple View Geometry for Non-rigid Motions Viewed from Curvilinear Motion Projective Cameras (CW, JS), pp. 181–184.
ICPRICPR-2010-WuXJHCL #constraints #image #invariant #retrieval
Adding Affine Invariant Geometric Constraint for Partial-Duplicate Image Retrieval (ZW, QX, SJ, QH, PC, LL), pp. 842–845.
ICPRICPR-2010-ZhangJ #multi
Visibility of Multiple Cameras in a Scene with Unknown Geometry (LZ, YJ), pp. 3619–3622.
SIGIRSIGIR-2010-SeoC #documentation #multi
Geometric representations for multiple documents (JS, WBC), pp. 251–258.
SACSAC-2010-AthanasiadisFNS #3d #optimisation
Feature-based 3D morphing based on geometrically constrained sphere mapping optimization (TA, IF, CN, VS), pp. 1258–1265.
SACSAC-2010-Pham #proving
Similar triangles and orientation in plane elementary geometry for Coq-based proofs (TMP), pp. 1268–1269.
SACSAC-2010-ZhouSS #approximate #design
Blade geometry design with kinematic ruled surface approximation (YZ, JS, SS), pp. 1266–1267.
CASECASE-2010-GibsonM #integration
Geometric integration of impact during an orbital docking procedure (CG, TDM), pp. 928–932.
CASECASE-2010-MackayFB #framework #realtime #visual notation
A real-time visual action-recognition framework for time-varying-geometry objects (MDM, RGF, BB), pp. 922–927.
DATEDATE-2010-GaoH #optimisation #programming #using
A power optimization method for CMOS Op-Amps using sub-space based geometric programming (WG, RH), pp. 508–513.
STOCSTOC-2010-HardtT #difference #on the #privacy
On the geometry of differential privacy (MH, KT), pp. 705–714.
STOCSTOC-2010-Varadarajan #set
Weighted geometric set cover via quasi-uniform sampling (KRV), pp. 641–648.
DocEngDocEng-2009-VallePC #consistency #documentation #retrieval
Geometric consistency checking for local-descriptor based document retrieval (EV, DP, MC), pp. 135–138.
ICDARICDAR-2009-PrakashG #verification
Geometric Centroids and their Relative Distances for Off-line Signature Verification (HNP, DSG), pp. 121–125.
CIAACIAA-J-2008-ChamparnaudDJ09 #algorithm #performance #regular expression
An Efficient Algorithm to Test Whether a Binary and Prolongeable Regular Language is Geometrical (JMC, JPD, HJ), pp. 763–774.
CoGCIG-2009-VegaK #game studies #modelling
Modeling the game of Arimaa with Linguistic Geometry (JRMV, ZRK), pp. 379–386.
HCIHCI-NIMT-2009-BazarganF #3d #representation #specification
Specifying the Representation of Non-geometric Information in 3D Virtual Environments (KB, GF), pp. 773–782.
ICMLICML-2009-LuJD #learning #metric
Geometry-aware metric learning (ZL, PJ, ISD), pp. 673–680.
MLDMMLDM-2009-SilvaSNPJN #classification #image #metric #using
Lung Nodules Classification in CT Images Using Simpson’s Index, Geometrical Measures and One-Class SVM (CAdS, ACS, SMBN, ACdP, GBJ, RAN), pp. 810–822.
SACSAC-2009-HallerJSSW #constraints
Body-and-cad geometric constraint systems (KH, ALSJ, MS, IS, NW), pp. 1127–1131.
SACSAC-2009-LavorLMM #distance #on the #problem #subclass
On a discretizable subclass of instances of the molecular distance geometry problem (CL, LL, AM, NM), pp. 804–805.
CASECASE-2009-SubburajRA #3d #automation #reasoning
Automated 3D geometric reasoning in Computer Assisted joint reconstructive surgery (KS, BR, MA), pp. 367–372.
STOCSTOC-2009-LeeS #graph #on the
On the geometry of graphs with a forbidden minor (JRL, AS), pp. 245–254.
PODSPODS-2008-SharfmanSK #monitoring
Shape sensitive geometric monitoring (IS, AS, DK), pp. 301–310.
CIAACIAA-2008-ChamparnaudDJ #automaton #regular expression #testing
Testing Whether a Binary and Prolongeable Regular Language LIs Geometrical or Not on the Minimal Deterministic Automaton of Pref(L) (JMC, JPD, HJ), pp. 68–77.
ICMLICML-2008-Corrada-EmmanuelS #estimation #fault #low level #precise
Autonomous geometric precision error estimation in low-level computer vision tasks (ACE, HJS), pp. 168–175.
ICPRICPR-2008-AraiMKH #people #sequence #video
Estimating the number of people in a video sequence via geometrical model (HA, IM, HK, MH), pp. 1–4.
ICPRICPR-2008-Brandt #consistency #performance
Consistent and efficient sampler for geometric computation (SSB), pp. 1–4.
ICPRICPR-2008-BridsonA #analysis #approach #evaluation #layout #performance
A geometric approach for accurate and efficient performance evaluation of layout analysis methods (DB, AA), pp. 1–4.
ICPRICPR-2008-Falcon-MoralesB #algebra
Radon transform and Conformal Geometric Algebra with lines (LFM, EBC), pp. 1–4.
ICPRICPR-2008-Gonzalez-AguirreABD #graph #modelling #self #using #visual notation
Model-based visual self-localization using geometry and graphs (DIGA, TA, EBC, RD), pp. 1–5.
ICPRICPR-2008-GritaiBS #2d #constraints #modelling
Geometric constraints on 2D action models for tracking human body (AG, AB, MS), pp. 1–4.
ICPRICPR-2008-LiLLM
Lennard-Jones force field for Geometric Active Contour (ZL, QL, HL, DNM), pp. 1–4.
ICPRICPR-2008-PalanderB
Epipolar geometry and log-polar transform in wide baseline stereo matching (KP, SSB), pp. 1–4.
ICPRICPR-2008-ParamanandR #higher-order #performance
Efficient geometric matching with higher-order features (CP, ANR), pp. 1–4.
ICPRICPR-2008-SimonB #detection #estimation #multi #realtime
Detection of the intersection lines in multiplanar environments: Application to real-time estimation of the camera-scene geometry (GS, MOB), pp. 1–4.
ICPRICPR-2008-WanS #multi
Computing multiple view geometry in space-time from mutual projections of multiple cameras (CW, JS), pp. 1–4.
ICPRICPR-2008-ZhaoC
Critical configurations of lines to geometry determination of three cameras (MZ, RCkC), pp. 1–5.
SIGIRSIGIR-2008-LiuLLJ #clustering #query #ranking
Spectral geometry for simultaneously clustering and ranking query search results (YL, WL, YL, LJ), pp. 539–546.
SACSAC-2008-FreixasJS #composition
Elements for a modular dynamic geometry system (MF, RJA, ASR), pp. 1816–1820.
SACSAC-2008-JermannH #approach #constraints #sketching
A constraint hierarchies approach to geometric constraints on sketches (CJ, HH), pp. 1843–1844.
SACSAC-2008-Michelucci #proving #theorem #word
Isometry group, words and proofs of geometric theorems (DM), pp. 1821–1825.
LICSLICS-2008-Falco #difference #interactive
The Geometry of Interaction of Differential Interaction Nets (MdF), pp. 465–475.
ICDARICDAR-2007-GuoMBSR #approach #clustering #web
A General Approach for Partitioning Web Page Content Based on Geometric and Style Information (HFG, JM, YB, AS, IVR), pp. 929–933.
ICDARICDAR-2007-ZhouYLNM #online #recognition #string
Online Handwritten Japanese Character String Recognition Incorporating Geometric Context (XDZ, JLY, CLL, TN, KM), pp. 48–52.
LATALATA-2007-BlanpainCD
Geometrical Languages (BB, JMC, JPD), pp. 127–138.
LATALATA-2007-PoudretCGAM #biology #modelling #process
Topology-based Geometric Modelling for Biological Cellular Processes (MP, JPC, PLG, AA, PM), pp. 497–508.
HCIHCI-IPT-2007-NayaCAC #2d #editing #interface #named #parametricity #sketching
ParSketch: A Sketch-Based Interface for a 2D Parametric Geometry Editor (FN, MC, NA, PC), pp. 115–124.
HCIHCI-MIE-2007-JangKC #using #visual notation
Position and Pose Computation of a Moving Camera Using Geometric Edge Matching for Visual SLAM (HJ, GYK, HIC), pp. 634–641.
CIKMCIKM-2007-MelucciW #feedback
Utilizing a geometry of context for enhanced implicit feedback (MM, RWW), pp. 273–282.
ICMLICML-2007-KimC #algorithm #message passing
Neighbor search with global geometry: a minimax message passing algorithm (KHK, SC), pp. 401–408.
SEKESEKE-2007-DunnK #web
Geometric Thumbnails For Web Searching (CD, BK), p. 251–?.
POPLPOPL-2007-Ghica #approach #design #synthesis
Geometry of synthesis: a structured approach to VLSI design (DRG), pp. 363–375.
SACSAC-2007-KunXY #algorithm #constraints #parallel #theorem proving
Parallel algorithms on geometric constraint solving (KJ, YG, XL, YZ), pp. 778–779.
SACSAC-2007-ThierryMS #constraints #towards
Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints (SEBT, PM, PS), pp. 773–777.
SACSAC-2007-ZengS #combinator #optimisation #problem
Semi-mechanization method for a unsolved optimization problem in combinatorial geometry (ZZ, MS), pp. 762–766.
CASECASE-2007-Murphey
Geometric Derived Information Spaces in Manipulation with Mechanical Contact (TDM), pp. 338–345.
CASECASE-2007-VahediS
Geometric Properties and Computation of Three-Finger Caging Grasps of Convex Polygons (MV, AFvdS), pp. 404–411.
STOCSTOC-2007-Basu #combinator #complexity
Combinatorial complexity in O-minimal geometry (SB), pp. 47–56.
CSLCSL-2007-Abramsky #interactive #proving
Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (SA), pp. 1–2.
LICSLICS-2007-Hales #problem
Some Methods of Problem Solving in Elementary Geometry (TCH), pp. 35–40.
DocEngDocEng-2006-Chao #analysis
Text block geometric shape analysis (HC), pp. 22–24.
JCDLJCDL-2006-ZouLT #analysis #layout #online #segmentation
Combining DOM tree and geometric layout analysis for online medical journal article segmentation (JZ, DXL, GRT), pp. 119–128.
SIGMODSIGMOD-2006-SharfmanSK #approach #data type #distributed #monitoring
A geometric approach to monitoring threshold functions over distributed data streams (IS, AS, DK), pp. 301–312.
ICALPICALP-v1-2006-MehlhornOS #performance #reliability
Reliable and Efficient Computational Geometry Via Controlled Perturbation (KM, RO, MS), pp. 299–310.
ICPRICPR-v1-2006-BabaMA #using
A Unified Camera Calibration Using Geometry and Blur of Feature Points (MB, MM, NA), pp. 816–819.
ICPRICPR-v1-2006-Bayro-CorrochanoM #algebra #fuzzy #logic #using
Object Manipulation using Fuzzy Logic and Geometric Algebra (EBC, RMC), pp. 1120–1123.
ICPRICPR-v1-2006-Lopez-FrancoB #algebra #invariant #navigation #using
Omnidirectional Vision and Invariant Theory for Robot Navigation Using Conformal Geometric Algebra (CLF, EBC), pp. 570–573.
ICPRICPR-v1-2006-WangS06a #component #constraints #detection
Facial Components Detection with Boosting and Geometric Constraints (TW, PS), pp. 446–449.
ICPRICPR-v2-2006-HarpazH #learning
Exploiting the Geometry of Gene Expression Patterns for Unsupervised Learning (RH, RMH), pp. 670–674.
ICPRICPR-v2-2006-HuangS
Moment-based Shape Priors for Geometric Active Contours (FH, JS), pp. 56–59.
ICPRICPR-v2-2006-LiLL #framework #multi #using
A Geometric Active Contour Framework using Multi-Cue and Local Feature (ZL, QL, HL), pp. 113–116.
ICPRICPR-v2-2006-MavroforakisST #algorithm #novel
A novel SVM Geometric Algorithm based on Reduced Convex Hulls (MEM, MS, ST), pp. 564–568.
ICPRICPR-v2-2006-XuL #3d #invariant
3-D Affine Moment Invariants Generated by Geometric Primitives (DX, HL), pp. 544–547.
ICPRICPR-v2-2006-YangM
A Charged Geometric Model for Active Contours (RY, MM), pp. 183–186.
ICPRICPR-v2-2006-YangQHE #adaptation #image #recognition #retrieval #using
Near-Duplicate Image Recognition and Content-based Image Retrieval using Adaptive Hierarchical Geometric Centroids (MY, GQ, JH, DE), pp. 958–961.
ICPRICPR-v3-2006-YamazoeUA #constraints #multi #optimisation #using
Multiple Camera Calibration with Bundled Optimization using Silhouette Geometry Constraints (HY, AU, SA), pp. 960–963.
ICPRICPR-v3-2006-ZhangSZS #approach #clustering #image
A Global Geometric Approach for Image Clustering (SZ, CS, ZZ, ZS), pp. 1244–1247.
ICPRICPR-v4-2006-PerdochMC
Epipolar Geometry from Two Correspondences (MP, JM, OC), pp. 215–219.
ICPRICPR-v4-2006-Rivera-RoveloB #algebra #framework #realtime #using
Non-Rigid Alignment and Real-Time Tracking Using the Geometric Algebra Framework (JRR, EBC), pp. 675–678.
ICPRICPR-v4-2006-WuQ #identification #using
A Hierarchical Palmprint Identification Method Using Hand Geometry and Grayscale Distribution Features (JW, ZQ), pp. 409–412.
ICPRICPR-v4-2006-ZhangSZS06a #approach #clustering #image
A Global Geometric Approach for Image Clustering (SZ, CS, ZZ, ZS), p. 960.
AdaEuropeAdaEurope-2006-WagnerF #modelling #reliability #sequence
A Software Reliability Model Based on a Geometric Sequence of Failure Rates (SW, HF), pp. 143–154.
SACSAC-2006-FangFHT #analysis #image
Digital geometry image analysis for medical diagnosis (JF, SF, JH, MT), pp. 217–221.
SACSAC-2006-PavonDL #constraints #problem #theorem proving
An adjustment model in a geometric constraint solving problem (RP, FD, MVL), pp. 968–973.
SACSAC-2006-SinghXMH #linear #locality #problem #programming #using
Solving the brachytherapy seed localization problem using geometric and linear programming techniques (VS, LM, JX, KRH), pp. 229–234.
SACSAC-2006-WintzSM #constraints #framework #problem
A framework for geometric constraint satisfaction problem (JW, PS, PM), pp. 974–978.
SACSAC-2006-ZhangG #composition #constraints #graph #theorem proving
Spatial geometric constraint solving based on k-connected graph decomposition (GFZ, XSG), pp. 979–983.
GPCEGPCE-2006-Fontijne #algebra #generative #implementation
Gaigen 2: a geometric algebra implementation generator (DF), pp. 141–150.
HPDCHPDC-2006-BernardiCFJK #architecture #clustering #grid
Geometrical Interpretation for Data partitioning on a Grid Architecture (DB, CC, HF, MJ, MK), pp. 355–356.
STOCSTOC-2006-AchlioptasR #constraints #on the #problem #random
On the solution-space geometry of random constraint satisfaction problems (DA, FRT), pp. 130–139.
IJCARIJCAR-2006-NivelleM #finite #proving
Geometric Resolution: A Proof Procedure Based on Finite Model Search (HdN, JM), pp. 303–317.
ICDARICDAR-2005-BeheraLI #documentation #identification #using
Enhancement of Layout-based Identification of Low-resolution Documents using Geometrical Color Distribution (AB, DL, RI), pp. 468–472.
ICDARICDAR-2005-DrakeB #using
Distinguishing Mathematics Notation from English Text using Computational Geometry (DMD, HSB), pp. 1270–1274.
ICDARICDAR-2005-HaritJC #graph #image #independence #representation #retrieval #word
Improved Geometric Feature Graph: A Script Independent Representation of Word Images for Compression, and Retrieval (GH, RJ, SC), pp. 421–425.
ICDARICDAR-2005-LiangNSV #2d #algorithm #parsing #performance
Efficient Geometric Algorithms for Parsing in Two Dimensions (PL, MN, MS, PAV), pp. 1172–1177.
ICALPICALP-2005-AvinE #graph #on the #random
On the Cover Time of Random Geometric Graphs (CA, GE), pp. 677–689.
CIKMCIKM-2005-AslamY #analysis
A geometric interpretation and analysis of R-precision (JAA, EY), pp. 664–671.
CIKMCIKM-2005-LesterMZ #clustering #online #performance
Fast on-line index construction by geometric partitioning (NL, AM, JZ), pp. 776–783.
MLDMMLDM-2005-DongKSP #composition #low level #representation #word
Low-Level Cursive Word Representation Based on Geometric Decomposition (JxD, AK, CYS, DP), pp. 590–599.
MLDMMLDM-2005-SilvaJNP #learning #metric #using
Diagnosis of Lung Nodule Using Reinforcement Learning and Geometric Measures (ACS, VRdSJ, AdAN, ACdP), pp. 295–304.
SIGIRSIGIR-2005-AslamYP05a #correlation #precise
A geometric interpretation of r-precision and its correlation with average precision (JAA, EY, VP), pp. 573–574.
SIGIRSIGIR-2005-ZhouG #categorisation #corpus #on the
On redundancy of training corpus for text categorization: a perspective of geometry (SZ, JG), pp. 671–672.
DACDAC-2005-SinghNLS #programming #robust
Robust gate sizing by geometric programming (JS, VN, ZQL, SSS), pp. 315–320.
STOCSTOC-2005-FrahlingS #data type
Coresets in dynamic geometric data streams (GF, CS), pp. 209–217.
CSLCSL-2005-HaghverdiS #interactive #towards
Towards a Typed Geometry of Interaction (EH, PJS), pp. 216–231.
LICSLICS-2005-Lago #higher-order #linear #recursion
The Geometry of Linear Higher-Order Recursion (UDL), pp. 366–375.
VMCAIVMCAI-2005-Feret #abstract domain
The Arithmetic-Geometric Progression Abstract Domain (JF), pp. 42–58.
PODSPODS-2004-HershbergerS #adaptation #data type #problem
Adaptive Sampling for Geometric Problems over Data Streams (JH, SS), pp. 252–262.
DLTDLT-2004-BordihnHK #automaton
Input Reversals and Iterated Pushdown Automata: A New Characterization of Khabbaz Geometric Hierarchy of Languages (HB, MH, MK), pp. 102–113.
ICALPICALP-2004-HaghverdiS #category theory #interactive
A Categorical Model for the Geometry of Interaction (EH, PJS), pp. 708–720.
CIKMCIKM-2004-AghiliAA #using
Protein structure alignment using geometrical features (SAA, DA, AEA), pp. 148–149.
ICPRICPR-v1-2004-ChumWM #constraints #estimation
Epipolar Geometry Estimation via RANSAC Benefits from the Oriented Epipolar Constraint (OC, TW, JM), pp. 112–115.
ICPRICPR-v1-2004-ZhouT #analysis #clustering #coordination #documentation #re-engineering #visual notation
Coordinate Systems Reconstruction for Graphical Documents by Hough-feature Clustering and Geometric Analysis (YPZ, CLT), pp. 376–379.
ICPRICPR-v2-2004-NoorRM #fuzzy #logic
Global Geometry Extraction for Fuzzy Logic Based Handwritten Character (NMN, MR, PMC), pp. 513–516.
ICPRICPR-v3-2004-LeowCPTVH #linear #representation
Linear and Non-linear Geometric Object Matching with Implicit Representation (ADL, MCC, HP, PMT, LAV, HSCH), pp. 710–713.
ICPRICPR-v3-2004-LifshitsBGRR
Rehashing for Bayesian Geometric Hashing (ML, IB, RG, ER, MR), pp. 99–102.
ICPRICPR-v3-2004-MiyoshiLKYN #automation
Automatic Extraction of Buildings Utilizing Geometric Features of a Scanned Topographic Map (TM, WL, KK, HY, EN), pp. 626–629.
ICPRICPR-v3-2004-TamLN
Deformable Geometry Model Matching by Topological and Geometric Signatures (GKLT, RWHL, CWN), pp. 910–913.
ICPRICPR-v4-2004-Lopez-FrancoB #algebra #framework #using
Unified Model for Omnidirectional Vision Using the Conformal Geometric Algebra Framework (CLF, EBC), pp. 48–51.
ICPRICPR-v4-2004-OuelletH #image #quality #tool support
Developing Assistant Tools for Geometric Camera Calibration: Assessing the Quality of Input Images (JNO, PH), pp. 80–83.
ICPRICPR-v4-2004-ReyesB #approach #re-engineering
Geometric Approach for Simultaneous Projective Reconstruction of Points, Lines, Planes, Quadrics, Plane Conics and Degenerate Quadrics (LR, EBC), pp. 60–63.
ICPRICPR-v4-2004-Rivera-RoveloB #approach
Non-Rigid Registration and Geometric Approach for Tracking in Neurosurgery (JRR, EBC), pp. 717–720.
ICPRICPR-v4-2004-SchindlerB #image
The Epipolar Geometry of the Log-Polar Image Plane (KS, HB), pp. 40–43.
ICPRICPR-v4-2004-XinLP #image #multi #robust
A Multibit Geometrically Robust Image Watermark Based on Zernike Moments (YX, SXL, MP), pp. 861–864.
DACDAC-2004-VanderhaegenB #automation #design #programming #using
Automated design of operational transconductance amplifiers using reversed geometric programming (JPV, RWB), pp. 133–138.
STOCSTOC-2004-AroraRV #clustering #graph
Expander flows, geometric embeddings and graph partitioning (SA, SR, UVV), pp. 222–231.
STOCSTOC-2004-AwerbuchK #adaptation #distributed #feedback #learning
Adaptive routing with end-to-end feedback: distributed learning and geometric approaches (BA, RDK), pp. 45–53.
STOCSTOC-2004-GoelRK #graph #random
Sharp thresholds For monotone properties in random geometric graphs (AG, SR, BK), pp. 580–586.
STOCSTOC-2004-Indyk #algorithm #data type #problem
Algorithms for dynamic geometric problems over data streams (PI), pp. 373–380.
LICSLICS-2004-FuhrmannP #interactive #logic #on the
On the Geometry of Interaction for Classical Logic (CF, DJP), pp. 211–220.
ICDARICDAR-2003-GuestCFP #analysis #automation #classification #sequence #using
Automatic Classification of Hand Drawn Geometric Shapes using Constructional Sequence Analysis (RMG, SC, MCF, JMP), pp. 990–994.
ICDARICDAR-2003-WendlingT #recognition #using
Recognition of Arrows in Line Drawings based on the Aggregation of Geometric Criteria using the Choquet Integral (LW, ST), pp. 299–303.
JCDLJCDL-2003-Milbank #library #modelling
Extracting Geometry from Digital Models in a Cultural Heritage Digital Library (TLM), p. 318–?.
ICMLICML-2003-Flach #comprehension #machine learning #metric
The Geometry of ROC Space: Understanding Machine Learning Metrics through ROC Isometrics (PAF), pp. 194–201.
PPDPPPDP-2003-BanyasadC #functional #on the
On translating geometric solids to functional expressions (OB, PTC), pp. 44–55.
DACDAC-2003-ZhuSW #3d #algorithm #performance
Algorithms in FastImp: a fast and wideband impedance extraction program for complicated 3-D geometries (ZZ, BS, JW), pp. 712–717.
STOCSTOC-2003-ChazelleLM #algorithm #sublinear
Sublinear geometric algorithms (BC, DL, AM), pp. 531–540.
VLDBVLDB-2002-SantiniG #analysis #named
GeMBASE: A Geometric Mediator for Brain Analysis with Surface Ensembles (SS, AG), pp. 1075–1078.
ICALPICALP-2002-BeierSS #data type #energy #network #using
Energy Optimal Routing in Radio Networks Using Geometric Data Structures (RB, PS, NS), pp. 366–376.
ICMLICML-2002-DeCoste #classification #distance #kernel #performance
Anytime Interval-Valued Outputs for Kernel Machines: Fast Support Vector Machine Classification via Distance Geometry (DD), pp. 99–106.
ICPRICPR-v1-2002-Bayro-CorrochanoA #approach #detection
Geometric Approach for Pose Detection of Moving Human Heads (EBC, AA), pp. 636–639.
ICPRICPR-v1-2002-Bayro-CorrochanoV #estimation #pattern matching #pattern recognition #recognition
Geometric Neurocomputing for Pattern Recognition and Pose Estimation (EBC, RV), pp. 41–44.
ICPRICPR-v1-2002-BoukirS
Application of Rigid Motion Geometry to Film Restoration (SB, DS), pp. 360–363.
ICPRICPR-v1-2002-TangFYLS #modelling #novel
A Novel Method for Harmonic Geometric Transformation Model Based on Wavelet Collocation (YYT, XCF, XY, ZWL, LS), pp. 49–52.
ICPRICPR-v2-2002-BressonVT
Geometric Moments in Scale-Spaces (XB, PV, JPT), pp. 418–421.
ICPRICPR-v2-2002-Duncan #analysis #image #modelling #physics
Geometrical and Physical Models for the Recovery of Quantitative Information from Medical Image Analysis (JSD), p. 277.
ICPRICPR-v2-2002-Guskov #performance
Efficient Tracking of Regular Patterns on Non-Rigid Geometry (IG), pp. 1057–1060.
ICPRICPR-v2-2002-LalondeG
Variable Neighborhood Search for Geometrically Deformable Templates (ML, LG), pp. 689–692.
ICPRICPR-v2-2002-VishwanathanM #algorithm #performance
Geometric SVM: A Fast and Intuitive SVM Algorithm (SVNV, MNM), pp. 56–59.
ICPRICPR-v3-2002-CooperWABCHKKLOVVJKLM #problem
Bayesian Pot-Assembly from Fragments as Problems in Perceptual-Grouping and Geometric-Learning (DBC, ARW, SA, JB, YC, DH, KK, WK, FFL, XO, SV, EV, MSJ, BBK, DHL, DM), pp. 297–302.
ICPRICPR-v3-2002-LiLSW #algorithm #image
New Algorithm for Geometric Transformations of Digital Images and Patterns (ZCL, JYL, CYS, HW), pp. 315–318.
ICPRICPR-v4-2002-FrancoisMW #symmetry #using
Reconstructing Mirror Symmetric Scenes From a Single View Using 2-View Stereo Geometry (ARJF, GGM, RW), pp. 12–16.
PDPPDP-2002-DrositisAMPK #2d #dependence #scheduling
Geometric Scheduling of 2-D UET-UCT Uniform Dependence Loops (ID, TA, GM, GKP, NK), p. 343–?.
STOCSTOC-2002-Chan
Dynamic subgraph connectivity with geometric applications (TMC), pp. 7–13.
ICDARICDAR-2001-BarakatB #classification
Training with Positive and Negative Data Samples: Effects on a Classifier for Hand-Drawn Geometric Shapes (HB, DB), pp. 1017–1021.
ICDARICDAR-2001-NatteeN #classification #comprehension #documentation #machine learning #online #using
Geometric Method for Document Understanding and Classification Using On-line Machine Learning (CN, MN), pp. 602–606.
TLCATLCA-2001-Laurent #interactive
A Token Machine for Full Geometry of Interaction (OL), pp. 283–297.
TLCATLCA-2001-Pinto #implementation #interactive #modelling #parallel #using #λ-calculus
Parallel Implementation Models for the λ-Calculus Using the Geometry of Interaction (JSP), pp. 385–399.
ICFPICFP-2001-NanevskiBH #automation #generative #staged
Automatic Generation of Staged Geometric Predicates (AN, GEB, RH), pp. 217–228.
VISSOFTSVIS-2001-BaskenN #algorithm #interactive #named #visualisation
GeoWin — A Generic Tool for Interactive Visualization of Geometric Algorithms (MB, SN), pp. 88–100.
DATEDATE-2001-KoranneG #analysis #automation #layout #on the
On automatic analysis of geometrically proximate nets in VSLI layout (SK, OPG), p. 818.
PDPPDP-2001-SemeM #algorithm #parallel #performance #problem
Efficient BSR-Based Parallel Algorithms for Geometrical Problems (DS, JFM), pp. 265–272.
STOCSTOC-2001-MontenegroS #agile #markov
Edge isoperimetry and rapid mixing on matroids and geometric Markov chains (RM, JBS), pp. 704–711.
ICMLICML-2000-BennettB #classification
Duality and Geometry in SVM Classifiers (KPB, EJB), pp. 57–64.
ICPRICPR-v1-2000-LhuillierQ #constraints #robust #using
Robust Dense Matching Using Local and Global Geometric Constraints (ML, LQ), pp. 1968–1972.
ICPRICPR-v1-2000-LiuRC #using
Using Geometric Properties of Correspondence Vectors for the Registration of Free-Form Shapes (YL, MAR, DC), pp. 5011–5014.
ICPRICPR-v1-2000-LourakisTAO #3d #constraints #using
Using Geometric Constraints for Matching Disparate Stereo Views of 3D Scenes Containing Planes (MIAL, SVT, AAA, SCO), pp. 1419–1422.
ICPRICPR-v1-2000-MartinezT
Epipolar Geometry from the Deformation of an Active Contour (EM, CT), pp. 1534–1537.
ICPRICPR-v1-2000-NoordamBB #clustering #fuzzy #image #multi #segmentation
Geometrically Guided Fuzzy C-Means Clustering for Multivariate Image Segmentation (JCN, WHAMVdB, LMCB), pp. 1462–1465.
ICPRICPR-v1-2000-SongGH #performance
Single View Computer Vision in Polyhedral World: Geometric Inference and Performance Characterization (MS, AG, RMH), pp. 1766–1769.
ICPRICPR-v1-2000-TordoffM #self
Violating Rotating Camera Geometry: The Effect of Radial Distortion on Self-Calibration (BT, DWM), pp. 1423–1427.
ICPRICPR-v2-2000-LinF #detection #using
Human Face Detection Using Geometric Triangle Relationship (CL, KCF), pp. 2941–2944.
ICPRICPR-v2-2000-Sanchez-Reillo #modelling #pattern matching #pattern recognition #recognition
Hand Geometry Pattern Recognition through Gaussian Mixture Modeling (RSR), pp. 2937–2940.
ICPRICPR-v3-2000-GarciaV #image
Acceleration of Thresholding and Labeling Operations through Geometric Processing of Gray-Level Images (MAG, BXV), pp. 3429–3432.
ICPRICPR-v3-2000-Jianchao #2d #estimation
Estimation of 2D Motion Field Based on Affine Geometric Invariance (YJ), pp. 7049–7052.
ICPRICPR-v3-2000-PaschalakisL #image #invariant #recognition
Combined Geometric Transformation and Illumination Invariant Object Recognition in RGB Color Images (SP, PL), pp. 3588–3591.
ICPRICPR-v3-2000-Rahmann #analysis #image
Polarization Images: A Geometric Interpretation for Shape Analysis (SR), pp. 3542–3546.
ICPRICPR-v3-2000-ToczyskiP #bias #estimation #linear #process
Complementary Linear Biases in Spatial Derivative Estimation for Improving Geometry-Driven Diffusion Processes (WDT, NP), pp. 3001–3006.
ICPRICPR-v4-2000-KyrkiK #2d #precise
High Precision 2-D Geometrical Inspection (VK, HK), pp. 4779–4782.
ICPRICPR-v4-2000-RyuLK #analysis #documentation #independence #layout
Parameter-Independent Geometric Document Layout Analysis (DSR, SWL, SMK), pp. 4397–4400.
PDPPDP-2000-Cerin #implementation #performance #problem #source code #towards
Towards efficient BSP implementations of BSR programs for some computational geometry problems (CC), pp. 357–364.
STOCSTOC-2000-AleksandrovMS #algorithm #approximate #problem
Approximation algorithms for geometric shortest path problems (LA, AM, JRS), pp. 286–295.
ICDARICDAR-1999-Hobby #classification #composition #layout
Page Decomposition and Signature Finding via Shape Classification and Geometric Layout (JDH), pp. 555–558.
SIGMODSIGMOD-1999-Keim #3d #database #performance #similarity
Efficient Geometry-based Similarity Search of 3D Spatial Databases (DAK), pp. 419–430.
CIAAWIA-1999-JurgensenS #automaton #encoding #finite
Finite Automata Encoding Geometric Figures (HJ, LS), pp. 101–108.
TLCATLCA-1999-BaillotP #complexity #interactive
Elementary Complexity and Geometry of Interaction (PB, MP), pp. 25–39.
AGTIVEAGTIVE-1999-HoffmannLS #composition #constraints #graph transformation
Planning Geometric Constraint Decomposition via Optimal Graph Transformations (CMH, AL, MS), pp. 309–324.
KDDKDD-1999-PellegM #algorithm #reasoning
Accelerating Exact k-means Algorithms with Geometric Reasoning (DP, AWM), pp. 277–281.
DACDAC-1999-HershensonMBL #optimisation #programming
Optimization of Inductor Circuits via Geometric Programming (MdMH, SSM, SPB, THL), pp. 994–998.
STOCSTOC-1999-FerraginaMB #approach #multi #problem #string
Multi-Method Dispatching: A Geometric Approach With Applications to String Matching Problems (PF, SM, MdB), pp. 483–491.
STOCSTOC-1999-KargerKSTY #algorithm #multi
Rounding Algorithms for a Geometric Embedding of Minimum Multiway Cut (DRK, PNK, CS, MT, NEY), pp. 668–678.
STOCSTOC-1999-OlshevskyS #algebra #approach #performance
A Displacement Approach to Efficient Decoding of Algebraic-Geometric Codes (VO, MAS), pp. 235–244.
STOCSTOC-1999-Rojas #complexity #on the
On the Complexity of Diophantine Geometry in Low Dimensions (JMR), pp. 527–536.
ICALPICALP-1998-Overmars #algorithm
Geometric Algorithms for Robotic Manipulation (MHO), pp. 116–117.
FMFM-1998-PuitgD #development #modelling
Formal Program Development in Geometric Modeling (FP, JFD), pp. 62–76.
ICPRICPR-1998-Govindu0C #image #using
Using geometric properties for correspondence-less image alignment (VG, CS, RC), pp. 37–41.
ICPRICPR-1998-HebertPG #fuzzy #online #recognition #representation
A new fuzzy geometric representation for online isolated character recognition (JFH, MP, NG), pp. 1121–1123.
ICPRICPR-1998-HoffmanL #algorithm #trade-off
Some trade-offs and a new algorithm for geometric hashing (MH, ML), pp. 1700–1704.
ICPRICPR-1998-JiH #framework #statistics
A statistical framework for geometric tolerancing manufactured parts (QJ, RMH), pp. 1728–1730.
ICPRICPR-1998-KurataFS
Affine epipolar geometry via factorization method (TK, JF, KS), pp. 862–866.
ICPRICPR-1998-ManabeZI #estimation #image
Estimation of illuminant spectral distribution with geometrical information from spectral image (YM, XZ, SI), pp. 1464–1466.
ICPRICPR-1998-SafariNSA #documentation
Extraction of handwritten information in geometrically distorted documents (RS, NN, MS, MA), pp. 1298–1300.
KRKR-1998-HaH
Geometric Foundations for Interval-Based Probabilities (VAH, PH), pp. 582–593.
STOCSTOC-1998-LevcopoulosNS #algorithm #fault tolerance #performance
Efficient Algorithms for Constructing Fault-Tolerant Geometric Spanners (CL, GN, MHMS), pp. 186–195.
STOCSTOC-1998-RaoS #approximate #graph
Approximating Geometrical Graphs via “Spanners” and “Banyans” (SR, WDS), pp. 540–550.
STOCSTOC-1998-ShokrollahiW #algebra #bound
Decoding Algebraic-Geometric Codes Beyond the Error-Correction Bound (MAS, HW), pp. 241–248.
CADECADE-1998-FeveW #algebra #proving #theorem #using
Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules (SF, DW), pp. 17–31.
CADECADE-1998-FleuriotP #analysis #proving #standard #theorem proving
A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton’s Principia (JDF, LCP), pp. 3–16.
ICDARICDAR-1997-DjematenTZ #recognition
A Geometrical Method for Printing and Handwritten Berber Character Recognition (AD, BT, AZ), pp. 564–567.
ICDARICDAR-1997-FoggiaSTV #recognition
Character Recognition by Geometrical Moments on Structural Decompositions (PF, CS, FT, MV), pp. 6–10.
ICDARICDAR-1997-PoirierD #interactive #representation
An interactive system to extract structured text from a geometrical representation (BP, MD), pp. 342–346.
PODSPODS-1997-GyssensBG #query
Complete Geometrical Query Languages (MG, JVdB, DVG), pp. 62–67.
DLTDLT-1997-Polemi #algebra
An Algebraic-Geometric Public Key Cryptosystem (DP), pp. 521–528.
ICALPICALP-1997-KhasidashviliG #orthogonal #reduction
The Geometry of Orthogonal Reduction Spaces (ZK, JRWG), pp. 649–659.
ICALPICALP-1997-MehlhornNU #combinator #framework #platform
The LEDA Platform of Combinatorial and Geometric Computing (KM, SN, CU), pp. 7–16.
RTARTA-1997-TomasF #equation #linear #using
Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space (APT, MF), pp. 269–283.
HCIHCI-SEC-1997-UchiyamaYKT #3d #interactive
Presentation and Interaction of Virtual 3D Objects Without Geometrical Model (SU, HY, AK, HT), pp. 869–872.
PPDPPLILP-1997-Cousineau #functional #programming
Functional Programming and Geometry (GC), pp. 309–322.
SACSAC-1997-TsaurHC #approach #authentication #data access #distributed #using
An authentication-combined access control scheme using a geometric approach in distributed systems (WJT, SJH, CHC), pp. 361–365.
STOCSTOC-1997-Ben-DavidBK #algorithm #composition #concept #learning #theorem
A Composition Theorem for Learning Algorithms with Applications to Geometric Concept Classes (SBD, NHB, EK), pp. 324–333.
STOCSTOC-1997-Trevisan
When Hamming Meets Euclid: The Approximability of Geometric TSP and MST (LT), pp. 21–29.
CADECADE-1997-YangFZ #algorithm
A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry (LY, HF, ZZ), pp. 73–86.
ICPRICPR-1996-AguadoMN #fourier
Extracting arbitrary geometric primitives represented by Fourier descriptors (ASA, EM, MSN), pp. 547–551.
ICPRICPR-1996-Bayro-CorrochanoBS #algebra #network #self #using
A new self-organizing neural network using geometric algebra (EBC, SB, GS), pp. 555–559.
ICPRICPR-1996-Bayro-CorrochanoLS #algebra #framework #using
Geometric algebra: a framework for computing point and line correspondences and projective structure using n uncalibrated cameras (EBC, JL, GS), pp. 334–338.
ICPRICPR-1996-ChenHW #feature model #image #modelling #recognition #using
Model-based object recognition using range images by combining morphological feature extraction and geometric hashing (CSC, YPH, JLW), pp. 565–569.
ICPRICPR-1996-JengLLC #approach #detection #performance #using
An efficient approach for facial feature detection using geometrical face model (SHJ, HYML, YTL, MYC), pp. 426–430.
ICPRICPR-1996-JiangM #using
Geometric primitive extraction using tabu search (TJ, SM), pp. 266–269.
ICPRICPR-1996-KnechtS #modelling #using
Finding map correspondence using geometric models (JdK, KS), pp. 755–759.
ICPRICPR-1996-LilienblumAM #3d #network
3D-measurement of geometrical shapes by photogrammetry and neural networks (TL, PA, BM), pp. 330–334.
ICPRICPR-1996-LiuTHS #adaptation #algorithm #documentation #segmentation
Adaptive document segmentation and geometric relation labeling: algorithms and experimental results (JL, YYT, QH, CYS), pp. 763–767.
ICPRICPR-1996-SuL #recognition
Face recognition by feature orientation and feature geometry matching (CLS, CL), pp. 401–405.
ICPRICPR-1996-WalkerJ #analysis #statistics
Statistical geometric features-extensions for cytological texture analysis (RFW, PTJ), pp. 790–794.
ICPRICPR-1996-WangF96a #algorithm #detection #search-based
Detection of geometric shapes by the combination of genetic algorithm and subpixel accuracy (YW, NF), pp. 535–539.
ICPRICPR-1996-XuT #multi #segmentation
Correspondence and segmentation of multiple rigid motions via epipolar geometry (GX, ST), pp. 213–217.
ICPRICPR-1996-YangT #locality #mobile #modelling
Mobile robot localization by geometric hashing and model-based scene matching (YBY, HTT), pp. 181–185.
ICPRICPR-1996-Zhang #image #lens #on the
On the epipolar geometry between two images with lens distortion (ZZ), pp. 407–411.
DACDAC-1996-SunDH #equation #independence #parametricity #performance #using
Fast Parameters Extraction of General Three-Dimension Interconnects Using Geometry Independent Measured Equation of Invariance (WS, WWMD, WHI), pp. 371–376.
ESOPESOP-1996-JensenM #analysis #interactive
Flow Analysis in the Geometry of Interaction (TPJ, IM), pp. 188–203.
STOCSTOC-1996-BshoutyGMST #concept #learning
Noise-Tolerant Distribution-Free Learning of General Geometric Concepts (NHB, SAG, HDM, SS, HT), pp. 151–160.
CADECADE-1996-ChouGZ
An Introduction to Geometry Expert (SCC, XSG, JZZ), pp. 235–239.
CADECADE-1996-Wang #named #proving #theorem proving
GEOTHER: A Geometry Theorem Prover (DW), pp. 166–170.
CAVCAV-1996-Avrunin #algebra #model checking #using
Symbolic Model Checking Using Algebraic Geometry (GSA), pp. 26–37.
ICDARICDAR-v2-1995-SafariNSA #documentation #using
Document registration using projective geometry (RS, NN, MS, MA), pp. 1161–1164.
CHICHI-1995-LampingRP #scalability #visualisation
A Focus+Context Technique Based on Hyperbolic Geometry for Visualizing Large Hierarchies (JL, RR, PP), pp. 401–408.
CHICHI-1995-OlsenAK
Building Geometry-Based Widgets by Example (DRO, BA, DCK), pp. 35–42.
POPLPOPL-1995-Mackie #interactive
The Geometry of Interaction Machine (IM), pp. 198–208.
ASEKBSE-1995-BhansaliH #constraints #knowledge-based #synthesis
Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System (SB, TJH), pp. 11–18.
STOCSTOC-1995-Eppstein #bound #optimisation #parametricity
Geometric lower bounds for parametric matroid optimization (DE), pp. 662–671.
ICALPICALP-1994-FernauS #ambiguity
Valuations and Unambiguity of Languages, with Applications to Fractal Geometry (HF, LS), pp. 11–22.
KDDKDD-1994-MonkMSH #comparison #set
Geometric Comparison of Clarifications and Rule Sets (TJM, RSM, LAS, GH), pp. 395–406.
SACSAC-1994-Stilman
A linguistic geometry for technology transfer (BS), pp. 281–285.
DATEEDAC-1994-RobertGMT #classification #design #realtime
Design of a Real Time Geometric Classifier (MR, PG, JM, ST), p. 656.
STOCSTOC-1994-Chazelle
Computational geometry: a retrospective (BC), pp. 75–94.
CADECADE-1994-Martin #invariant #termination
Termination, Geometry and Invariants (UM), pp. 432–434.
CADECADE-1994-McPheeCG #proving #theorem #using
Mechanically Proving Geometry Theorems Using a Combination of Wu’s Method and Collins’ Method (NFM, SCC, XSG), pp. 401–415.
CADECADE-1994-Wang #algebra #proving
Algebraic Factoring and Geometry Proving (DW), pp. 386–400.
ICDARICDAR-1993-ChhabraABCLSSW #higher-order #recognition #statistics
High-order statistically derived combinations of geometric features for handprinted character recognition (AKC, ZA, DB, GC, KL, PS, RS, BW), pp. 397–401.
ICDARICDAR-1993-DoermannRW #invariant #recognition #using
Logo recognition using geometric invariants (DSD, ER, IW), pp. 894–897.
DLTDLT-1993-Narbel
Geometrical OL-Systems Coming from Tilings of the Plane (PN), pp. 237–249.
DACDAC-1993-AlpertK #clustering #multi #performance
Geometric Embeddings for Faster and Better Multi-Way Netlist Partitioning (CJA, ABK), pp. 743–748.
TAPSOFTTAPSOFT-1993-BertrandDFL #algebra #development #modelling #specification
Algebraic Specification and Development in Geometric Modeling (YB, JFD, JF, PL), pp. 75–89.
ICLPILPS-1993-PesantB #constraints #polynomial
Handling Quadratic Constraints through Geometry (GP, MB), p. 659.
SIGIRSIGIR-1992-WangWY #analysis #modelling
An Analysis of Vector Space Models Based on Computational Geometry (ZW, SKMW, YY), pp. 152–160.
TOOLSTOOLS-EUROPE-1992-Zhao #approach #object-oriented #online #recognition #using
On-Line Geometry Recognition Using C++, an Object-Oriented Approach (RZ), pp. 371–378.
POPLPOPL-1992-GonthierAL #reduction
The Geometry of Optimal λ Reduction (GG, MA, JJL), pp. 15–26.
CADECADE-1992-Chou #proving #theorem proving
A Geometry Theorem Prover for Macintoshes (SCC), pp. 686–690.
CADECADE-1992-ChouG #proving
Proving Geometry Statements of Constructive Type (SCC, XSG), pp. 20–34.
LICSLICS-1992-AbramskyJ #interactive
New Foundations for the Geometry of Interaction (SA, RJ), pp. 211–222.
ICALPICALP-1991-Chazelle
Computational Geometry for the Gourmet: Old Fare and New Dishes (BC), pp. 686–696.
POPLPOPL-1991-Pratt #concurrent #modelling
Modeling Concurrency with Geometry (VRP), pp. 311–322.
ICSEICSE-1991-JacobyT #evaluation #parametricity #reliability
Parameter Value Computation by Least Square Method and Evaluation of Software Availability and Reliability at Service-Operation by the Hyper-Geometric Distribution Software Reliability Growth Model (HGDM) (RJ, YT), pp. 226–237.
DACDAC-1991-DoodWLS #2d
A Two-Dimensional Topological Compactor With Octagonal Geometry (PdD, JW, EL, RS), pp. 727–731.
DACDAC-1991-KahngCR #recursion
High-Performance Clock Routing Based on Recursive Geometric Aatching (ABK, JC, GR), pp. 322–327.
STOCSTOC-1991-BlumRS #navigation
Navigating in Unfamiliar Geometric Terrain (AB, PR, BS), pp. 494–504.
STOCSTOC-1991-Matousek #approximate #divide and conquer
Approximations and Optimal Geometric Divide-And-Conquer (JM), pp. 505–511.
CADECADE-1990-ChouG #algorithm #composition #proving #theorem proving
Ritt-Wu’s Decomposition Algorithm and Geometry Theorem Proving (SCC, XSG), pp. 207–220.
VLDBVLDB-1989-Guting #database #named #relational
Gral: An Extensible Relational Database System for Geometric Applications (RHG), pp. 33–44.
STOCSTOC-1989-ReifS #named #random
Polling: A New Randomized Sampling Technique for Computational Geometry (JHR, SS), pp. 394–404.
ICALPICALP-1988-BajajK #algorithm #modelling
Algorithms for Planar Geometric Models (CLB, MSK), pp. 67–81.
ICALPICALP-1988-Edelsbrunner
Geometric Structures in Computational Geometry (HE), pp. 201–213.
STOCSTOC-1988-Canny #algebra
Some Algebraic and Geometric Computations in PSPACE (JFC), pp. 460–467.
STOCSTOC-1988-Vaidya
Geometry Helps in Matching (PMV), pp. 422–425.
CADECADE-1988-CyrlukHK #algebra #named #proving #theorem proving
GEOMETER: A Theorem Prover for Algebraic Geometry (DC, RMH, DK), pp. 770–771.
VLDBVLDB-1987-GuntherW #representation
A Dual Space Representation for Geometric Data (OG, EW), pp. 501–506.
ICALPICALP-1987-LevcopoulosLS #heuristic
Nearly Optimal Heuristics for Binary Search Trees with Geometric Generalizations (CL, AL, JRS), pp. 376–385.
DACDAC-1987-RoylePVNS
Geometrical Compaction in One Dimension for Channel Routing (JR, MP, HV, NN, JS), pp. 140–145.
DACDAC-1986-ClarkeF #layout #named #recursion
Escher — a geometrical layout system for recursively defined circuits (EMC, YF), pp. 650–653.
STOCSTOC-1986-BlumerEHW #concept
Classifying Learnable Geometric Concepts with the Vapnik-Chervonenkis Dimension (AB, AE, DH, MKW), pp. 273–282.
STOCSTOC-1986-Clarkson #random
Further Applications of Random Sampling to Computational Geometry (KLC), pp. 414–423.
STOCSTOC-1986-SleatorTT #distance
Rotation Distance, Triangulations, and Hyperbolic Geometry (DDS, RET, WPT), pp. 122–135.
CADECADE-1986-Chou #named #proving #theorem proving
GEO-Prover — A Geometry Theorem Prover Developed at UT (SCC), pp. 679–680.
CADECADE-1986-KutzlerS #algorithm #proving #theorem proving
A Geometry Theorem Prover Based on Buchberger’s Algorithm (BK, SS), pp. 693–694.
LICSLICS-1986-ChouK #on the #proving #theorem proving
On Mechanical Theorem Proving in Minkowskian Plane Geometry (SCC, HPK), pp. 187–192.
ICALPICALP-1985-ChazelleG
Fractional Cascading: A Data Structuring Technique with Geometric Applications (BC, LJG), pp. 90–100.
TAPSOFTCAAP-1985-Chazelle #algebra #complexity #performance
Fast Searching in a Real Algebraic Manifold with Applications to Geometric Complexity (BC), pp. 145–156.
STOCSTOC-1985-YaoY #approach #query
A General Approach to d-Dimensional Geometric Queries (ACCY, FFY), pp. 163–168.
DACDAC-1984-Lanfri #named
Phled45: An enhanced version of caesar supporting 45° geometries (ARL), pp. 558–564.
DACDAC-1984-ZhangW #database
Some consideration on the data model of geometric data bases (JZ, RW), pp. 629–633.
STOCSTOC-1984-Ben-OrKR #algebra #complexity
The Complexity of Elementary Algebra and Geometry (MBO, DK, JHR), pp. 457–464.
STOCSTOC-1984-Clarkson #algorithm #approximate #performance
Fast Expected-Time and Approximation Algorithms for Geometric Minimum Spanning Trees (KLC), pp. 342–348.
STOCSTOC-1984-GabowBT #problem #scalability
Scaling and Related Techniques for Geometry Problems (HNG, JLB, RET), pp. 135–143.
DACDAC-1983-SmithNBSW #array #automation #layout #named
VGAUA: The Variable Geometry Automated Universal Array layout System (DCS, RN, FB, SSS, JCW), pp. 425–429.
DACDAC-1983-TokumasuKOYN #modelling
Solid model in geometric modelling system: HICAD (ST, YK, YO, SY, NN), pp. 360–366.
LISPLFP-1982-Henderson #functional
Functional Geometry (PH), pp. 179–187.
ICGTGG-1982-Paz
Geometry versus topology in map grammars (AP), pp. 288–296.
DACDAC-1982-ArnoldO #approach #layout #named
Lyra: A new approach to geometric layout rule checking (MHA, JKO), pp. 530–536.
DACDAC-1982-TamminenS #data access #performance
The excell method for efficient geometric access to data (MT, RS), pp. 345–351.
FMPS-1981-StaunstrupG
Geometrical Constructions (JS, JAG), pp. 25–46.
DACDAC-1981-Luts #modelling
Geometric modeling technology (WL), p. 462.
DACDAC-1976-DobesB #automation #design #recognition
The automatic recognition of silicon gate transistor geometries: An LSI design aid program (ID, RB), pp. 327–335.
DACDAC-1976-MayfieldB
Applications of a numerical geometry system in engineering (JM, RMB), pp. 25–33.
STOCSTOC-1976-GareyGJ #problem
Some NP-Complete Geometric Problems (MRG, RLG, DSJ), pp. 10–22.
STOCSTOC-1975-Shamos #complexity
Geometric Complexity (MIS), pp. 224–233.
STOCSTOC-1969-Hodes #complexity #logic
The Logical Complexity of Geometric Properties in the Plane (LH), pp. 249–254.
DACSHARE-1965-Jacobs #constraints
Geometric constraint satisfaction for a computer/display system (MJJ).
DACSHARE-1964-Maier #named
AUTOLOFT: The AUTOLOFT geometric processor (RSM).
DACSHARE-1964-Weindling
A method for the best geometric placement of units on a plane (MNW).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.