BibSLEIGH — geometry tag

geometry

geometry

Tag #geometry

489 papers:

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