Stem plane$ (all stems)

99 papers:

CASE-2015-JinQH #fault #geometry #predict

Out-of-plane geometric error prediction for additive manufacturing (YJ, SJQ, QH), pp. 918–923.

CASE-2015-LuanH #3d #geometry #modelling #predict

Predictive modeling of in-plane geometric deviation for 3D printed freeform products (HL, QH), pp. 912–917.

DRR-2014-FengLLLT #analysis #geometry

Structure analysis for plane geometry figures (TF, XL, LL, KL, ZT), p. ?–11.

ICPR-2014-LiuLFQGT #geometry #graph #retrieval

Plane Geometry Figure Retrieval Based on Bilayer Geometric Attributed Graph Matching (LL, XL, SF, JQ, LG, ZT), pp. 309–314.

ICPR-2014-RaoRS #image

Inferring Plane Orientation from a Single Motion Blurred Image (MPR, ANR, GS), pp. 2089–2094.

OSDI-2014-PeterLZPWKAR #named #operating system

Arrakis: The Operating System is the Control Plane (SP, JL, IZ, DRKP, DW, AK, TEA, TR), pp. 1–16.

CASE-2013-QianY #named #navigation #performance #visual notation

NCC-RANSAC: A fast plane extraction method for navigating a smart cane for the visually impaired (XQ, CY), pp. 261–267.

DAC-2013-ChandrikakuttyUTW #hardware #monitoring #network

High-performance hardware monitors to protect network processors from data plane attacks (HC, DU, RT, TW), p. 6.

DRR-2013-KumarPR #image #named #recognition #segmentation #word

NESP: Nonlinear enhancement and selection of plane for optimal segmentation and recognition of scene word images (DK, MNAP, AGR).

ICDAR-2013-LiLLLFT #detection #geometry

Detection of Overlapped Quadrangles in Plane Geometric Figures (KL, XL, HL, LL, TF, ZT), pp. 260–264.

ICALP-v2-2013-DieudonneP #approach #polynomial

Deterministic Polynomial Approach in the Plane (YD, AP), pp. 533–544.

ICEIS-v1-2013-SimrinAD #heuristic #problem #using

A Lagrangian Relaxation based Heuristic for the Static Berth Allocation Problem using the Cutting Plane Method (ASS, NNA, AHD), pp. 565–569.

SAT-2013-Lauria #bound #proving #rank #theorem

A Rank Lower Bound for Cutting Planes Proofs of Ramsey’s Theorem (ML), pp. 351–364.

FM-2012-Degani #formal method

Formal Methods in the Wild: Trains, Planes, & Automobile (AD), p. 6.

ICPR-2012-AntoniukFH #learning #markov #network

Learning Markov Networks by Analytic Center Cutting Plane Method (KA, VF, VH), pp. 2250–2253.

ICPR-2012-KawabataK #approach #multi #using

Plane based multi camera calibration under unknown correspondence using ICP-like approach (SK, YK), pp. 3700–3703.

DHM-2011-ShenY #assessment

The Application of the Human Model in the Thermal Comfort Assessment of Fighter Plane’s Cockpit (HS, XY), pp. 357–366.

CASE-2010-AshrafTANBT #analysis #array

Structural and microfluidic analysis of MEMS based out-of-plane hollow silicon microneedle array for drug delivery (MWA, ST, NA, AN, ELB, AT), pp. 258–262.

DATE-2010-WatanabeA #modelling #multi #performance #simulation

Equivalent circuit modeling of multilayered power/ground planes for fast transient simulation (TW, HA), pp. 1153–1158.

CIAA-2010-ChamparnaudDJ #geometry

Regular Geometrical Languages and Tiling the Plane (JMC, JPD, HJ), pp. 69–78.

ICALP-v1-2010-BonichonGHP

Plane Spanners of Maximum Degree Six (NB, CG, NH, LP), pp. 19–30.

ICPR-2010-FouheySB #detection #image #multi #using

Multiple Plane Detection in Image Pairs Using J-Linkage (DFF, DS, AJB), pp. 336–339.

ICPR-2010-HabedAB #identification #image #parallel

Reconstruction-Free Parallel Planes Identification from Uncalibrated Images (AH, AA, BB), pp. 1828–1831.

ICPR-2010-JiI #recognition #using

Using Moments on Spatiotemporal Plane for Facial Expression Recognition (YJ, KI), pp. 3806–3809.

ICPR-2010-UbukataTMU #multi #segmentation #using

Multi-object Segmentation in a Projection Plane Using Subtraction Stereo (TU, KT, AM, KU), pp. 3296–3299.

SAC-2010-Pham #geometry #proving

Similar triangles and orientation in plane elementary geometry for Coq-based proofs (TMP), pp. 1268–1269.

STOC-2009-ChalopinG #graph

Every planar graph is the intersection graph of segments in the plane: extended abstract (JC, DG), pp. 631–638.

LATA-2009-Ollinger

Tiling the Plane with a Fixed Number of Polyominoes (NO), pp. 638–647.

DHM-2009-CaiHLY #component

Determining Cockpit Dimensions and Associative Dimensions between Components in Cockpit of Ultralight Plane for Taiwanese (DC, LLH, TL, MY), pp. 365–374.

SAC-2009-ChengGL

Topology determination and isolation for implicit plane curves (JSC, XSG, JL), pp. 1140–1141.

CHI-2008-BonanniACVI #named

Handsaw: tangible exploration of volumetric data by direct cut-plane projection (LB, JA, NC, GV, HI), pp. 251–254.

ICML-2008-FrancS #algorithm

Optimized cutting plane algorithm for support vector machines (VF, SS), pp. 320–327.

ICPR-2008-ServantMHM #artificial reality #locality #refinement #visual notation

Visual planes-based simultaneous localization and model refinement for augmented reality (FS, ÉM, PH, IM), pp. 1–4.

ICPR-2008-SuZHL

Segmentation-free recognizer based on enhanced four plane feature for realistic Chinese handwriting (THS, TZ, HJH, CLL), pp. 1–4.

LATA-2007-BodiniFR

A Characterization of Flip-accessibility for Rhombus Tilings of the Whole Plane (OB, TF, ER), pp. 139–150.

HIMI-MTT-2007-TamuraOC #interface #process

NIRS Trajectories in Oxy-Deoxy Hb Plane and the Trajectory Map to Understand Brain Activities Related to Human Interface (HT, MO, MC), pp. 994–1003.

SAC-2007-SongJMJXH #detection #programming

Mass edge detection in mammography based on plane fitting and dynamic programming (ES, LJ, BM, RJ, XX, CCH), pp. 80–81.

CC-2007-GrundH #algorithm #performance

A Fast Cutting-Plane Algorithm for Optimal Coalescing (DG, SH), pp. 111–125.

ICALP-v1-2006-HeZ #graph

Nearly Optimal Visibility Representations of Plane Graphs (XH, HZ), pp. 407–418.

CHI-2006-MarentakisB #feedback

Effects of feedback, mobility and index of difficulty on deictic spatial audio target acquisition in the horizontal plane (GNM, SAB), pp. 359–368.

ICPR-v1-2006-LourakisA #3d #performance #reliability

Chaining Planar Homographies for Fast and Reliable 3D Plane Tracking (MIAL, AAA), pp. 582–586.

ICPR-v1-2006-ZhongSH #re-engineering

Reconstruction from Plane Mirror Reflection (HZ, WFS, YSH), pp. 715–718.

ICPR-v2-2006-Guo #perspective #using

Plane Rectification Using a Circle and Points from a Single View (FG), pp. 9–12.

ICPR-v3-2006-PanWQW #3d #symmetry

Finding Symmetry Plane of 3D Face Shape (GP, YW, YQ, ZW), pp. 1143–1146.

OSDI-2006-MadhyasthaIPDAKV #distributed #named

iPlane: An Information Plane for Distributed Services (HVM, TI, MP, CD, TEA, AK, AV), pp. 367–380.

MLDM-2005-OhnishiI #analysis #component #detection #independence #using

Dominant Plane Detection Using Optical Flow and Independent Component Analysis (NO, AI), pp. 497–506.

SAT-2005-HirschN #proving #simulation #strict

Simulating Cutting Plane Proofs with Restricted Degree of Falsity by Resolution (EAH, SIN), pp. 135–142.

SAT-2005-ManquinhoM #algorithm #on the #optimisation #pseudo

On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization (VMM, JPMS), pp. 451–458.

ICPR-v1-2004-TsuiTC #image #metric #using

Metric Measurement on Arbitrary Planes in 2 Images Using the Conformal Point (PTT, HTT, WkC), pp. 108–111.

ICPR-v4-2004-ReyesB #approach #geometry #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-SchindlerB #geometry #image

The Epipolar Geometry of the Log-Polar Image Plane (KS, HB), pp. 40–43.

ICPR-v1-2002-TuzikovCB #image #optimisation #symmetry #using

Brain Symmetry Plane Computation in MR Images Using Inertia Axes and Optimization (AVT, OC, IB), pp. 516–519.

ICPR-v2-2002-BalthasarP #classification #performance

Fast Projection Plane Classifier (DB, LP), pp. 200–203.

ICPR-v2-2002-BuenaposadaB #estimation #realtime

Real-Time Tracking and Estimation of Plane Pose (JMB, LB), pp. 697–700.

ICPR-v2-2002-RotherCT #multi

Projective Factorization of Planes and Cameras in Multiple Views (CR, SC, DT), pp. 737–740.

ICPR-v2-2002-WangWH #approach #novel

A Novel Approach for Single View Based Plane Metrology (GW, YW, ZH), pp. 556–559.

KDD-2002-WalterR #interactive #on the #using #visualisation

On interactive visualization of high-dimensional data using the hyperbolic plane (JAW, HJR), pp. 123–132.

ICALP-2001-LiN #generative #performance

Efficient Generation of Plane Triangulations without Repetitions (ZL, SIN), pp. 433–443.

ICPR-v1-2000-GurdjosP #image #metric

About Conditions for Recovering the Metric Structures of Perpendicular Planes from the Single Ground Plane to Image Homography (PG, RP), pp. 1358–1361.

ICPR-v1-2000-LourakisTAO #3d #constraints #geometry #using

Using Geometric Constraints for Matching Disparate Stereo Views of 3D Scenes Containing Planes (MIAL, SVT, AAA, SCO), pp. 1419–1422.

ICPR-v1-2000-RibeiroH

Texture Plane Orientation from Spectral Accumulation (ER, ERH), pp. 1802–1806.

ICPR-v3-2000-FukuiIIW #analysis #component #using

Sign of Gaussian Curvature from Eigen Plane Using Principal Components Analysis (SF, YI, AI, RJW), pp. 3807–3810.

ICPR-v3-2000-YamanaSA #detection #image #reliability #using

Edge Plane Detection in Spatio-Temporal Images by Using Edge Vector and Edge Reliability (FY, TS, KA), pp. 3664–3667.

DAC-1999-HuS #named

FAR-DS: Full-Plane AWE Routing with Driver Sizing (JH, SSS), pp. 84–89.

ICPR-1998-HattoriMS #image #symmetry #using

Estimating pose of human face based on symmetry plane using range and intensity images (KH, SM, YS), pp. 1183–1187.

ICPR-1998-HeisterkampB #recognition #using

Object and motion recognition using the plane plus parallax displacement of conics (DRH, PB), pp. 751–753.

ICPR-1998-ZhangT #3d #image #re-engineering

3D reconstruction from a single view of an object and its image in a plane mirror (ZYZ, HTT), pp. 1174–1176.

KR-1998-Dornheim

Undecidability of Plane Polygonal Mereotopology (CD), pp. 342–355.

ICDAR-1997-Sugawara #image

Weighted Hough Transform on a Gridded Image Plane Kazuhide Sugawara (KS), pp. 701–704.

STOC-1997-AsanoKTT #approximate #polynomial #towards

Covering Points in the Plane by k-Tours: Towards a Polynomial Time Approximation Scheme for General k (TA, NK, HT, TT), pp. 275–283.

CHI-1997-BalakrishnanBKF #3d

The Rockin’ Mouse: Integral 3D Manipulation on a Plane (RB, TB, GK, GWF), pp. 311–318.

TOOLS-ASIA-1997-WangMG #database #object-oriented

An Object-Oriented Environment Database for AGV Path Planing (TW, QHM, NEG), pp. 86–95.

STOC-1996-Fu #composition #proving

Modular Coloring Formulas Are Hard for Cutting Planes Proofs (XF), pp. 595–602.

ICPR-1996-BebisGLS #learning #modelling #recognition

Learning affine transformations of the plane for model-based object recognition (GB, MG, NdVL, MS), pp. 60–64.

ICPR-1996-GurdjosDC #3d #coordination #invariant

Tracking 3D coplanar points in the invariant perspective coordinates plane (PG, PD, SC), pp. 493–497.

STOC-1995-BlumCV #approximate #problem

A constant-factor approximation for the k-MST problem in the plane (AB, PC, SV), pp. 294–302.

STOC-1995-BonetPR #bound #proving

Lower bounds for cutting planes proofs with small coefficients (MLB, TP, RR), pp. 575–584.

ICALP-1995-Le #game studies #on the

On Determining Optimal Strategies in Pursiut Games in the Plane (NML), pp. 499–510.

ICLP-1995-BarthB #finite

Finite Domain and Cutting Plane Techniques in CLP(PB) (PB, AB), pp. 133–147.

STOC-1994-GargH #algorithm #approximate #problem

An O(log k) approximation algorithm for the k minimum spanning tree problem in the plane (NG, DSH), pp. 432–438.

ALP-1994-Balbiani #equation

Equation Solving in Projective Planes and Planar Ternary Rings (PB), pp. 95–113.

LICS-1994-ImpagliazzoPU #bound #proving

Upper and Lower Bounds for Tree-Like Cutting Planes Proofs (RI, TP, AU), pp. 220–228.

STOC-1993-ChouK #2d #complexity

Some complexity issues on the simply connected regions of the two-dimensional plane (AWC, KIK), pp. 1–10.

DLT-1993-Narbel #geometry

Geometrical OL-Systems Coming from Tilings of the Plane (PN), pp. 237–249.

SAC-1993-HyslopL #diagrams #fault #incremental

Error Free Incremental Construction of Voronoi Diagrams in the Plane (GAH, EAL), pp. 388–396.

HPDC-1993-MaR #composition #multi #named #queue

MULTIPAR: An Output Queue ATM Modular Switch with Multiple Phases and Replicated Planes (JM, KR), pp. 152–159.

DAC-1992-Palczewski #parallel

Plane Parallel a Maze Router and Its Application to FPGAs (MP), pp. 691–697.

LICS-1992-Clote #constant #proving

Cutting Planes and constant depth Frege proofs (PC), pp. 296–307.

CSL-1991-Goerdt #bound #proving

The Cutting Plane Proof System with Bounded Degree of Falsity (AG), pp. 119–133.

CSL-1990-Goerdt #proving

Cuting Plane Versus Frege Proof Systems (AG), pp. 174–194.

ICALP-1988-EdelsbrunnerGPPSS #algorithm #combinator

Arrangements of Curves in the Plane — Topology, Combinatorics, and Algorithms (HE, LJG, JP, RP, RS, MS), pp. 214–229.

ICALP-1987-EdelsbrunnerRW #testing

Testing the Necklace Condition for Shortest Tours and Optimal Factors in the Plane (HE, GR, EW), pp. 364–375.

LICS-1986-ChouK #geometry #on the #proving #theorem proving

On Mechanical Theorem Proving in Minkowskian Plane Geometry (SCC, HPK), pp. 187–192.

ICALP-1983-EdelsbrunnerW #on the #set

On the Number of Equal-Sized Semispaces of a Set of Points in the Plane (Extended Abstract) (HE, EW), pp. 182–187.

STOC-1980-Lichtenstein #graph #morphism

Isomorphism for Graphs Embeddable on the Projective Plane (DL), pp. 218–224.

STOC-1980-OvermarsV #maintenance

Dynamically Maintaining Configurations in the Plane (Detailed Abstract) (MHO, JvL), pp. 135–145.

DAC-1969-Hightower #problem

A solution to line-routing problems on the continuous plane (DWH), pp. 1–24.

STOC-1969-Hodes #complexity #geometry #logic

The Logical Complexity of Geometric Properties in the Plane (LH), pp. 249–254.

SHARE-1964-Weindling #geometry

A method for the best geometric placement of units on a plane (MNW).