72 papers:
CADE-2015-BackemanR #bound #proving #theorem proving- Theorem Proving with Bounded Rigid E-Unification (PB, PR), pp. 572–587.
ICGT-2014-DanosHS #refinement- Transformation and Refinement of Rigid Structures (VD, RH, PS), pp. 146–160.
ICPR-2014-EnzbergA #automation #fault #recognition- A Defect Recognition System for Automated Inspection of Non-rigid Surfaces (SvE, AAH), pp. 1812–1816.
- ICPR-2014-KuangLJL #3d #graph
- Graph Contexts for Retrieving Deformable Non-rigid 3D Shapes (ZK, ZL, XJ, YL), pp. 2820–2825.
- ICPR-2014-OskarssonAT #graph #multi #scalability
- Prime Rigid Graphs and Multidimensional Scaling with Missing Data (MO, KÅ, AT), pp. 750–755.
CASE-2012-JoKOO #feedback #using- Contact force control of a robotic hand using F/T sensory feedback with a rigid object (JJ, SKK, YO, SRO), pp. 436–441.
- CASE-2012-KimMBS #image
- An improved rigidity penalty for deformable registration of head and neck images in intensity-modulated radiation therapy (JK, MM, JB, KS), pp. 377–382.
DATE-2012-StojilovicNSBI #flexibility- Selective flexibility: Breaking the rigidity of datapath merging (MS, DN, LS, PB, PI), pp. 1543–1548.
STOC-2012-KuperbergLP #combinator #probability- Probabilistic existence of rigid combinatorial structures (GK, SL, RP), pp. 1091–1106.
- ICPR-2012-HouHZQ #named #paradigm #retrieval
- Bag-of-feature-graphs: A new paradigm for non-rigid shape retrieval (TH, XH, MZ, HQ), pp. 1513–1516.
- ICPR-2012-IshikawaTKI #3d #synthesis
- 3-D recovery of a non-rigid object from a single camera view by piecewise recovery and synthesis (SI, JKT, HK, SI), pp. 1443–1446.
- ICPR-2012-MartinezCFB
- Dissociating rigid and articulated motion for hand tracking (OM, PC, LF, XB), pp. 2614–2617.
- ICPR-2012-SouzaOT #performance
- Fast global non-rigid registration for mosaic creation (RHCdS, MO, AT), pp. 2736–2739.
- ICPR-2012-TajimaIA #3d #correlation #using
- A non-rigid registration method for medical volume data using 3D Phase-Only Correlation (YT, KI, TA), pp. 93–96.
- ICPR-2012-YangZLP #3d #optimisation #using
- Coupled 3D tracking and pose optimization of rigid objects using particle filter (HY, YZ, XL, IP), pp. 1451–1454.
ICDAR-2011-AlmazanFV #feature model #recognition- A Non-rigid Feature Extraction Method for Shape Recognition (JA, AF, EV), pp. 987–991.
- ICDAR-2011-WangT
- Non-rigid Registration and Restoration of Double-Sided Historical Manuscripts (JW, CLT), pp. 1374–1378.
CHI-2011-DenefKO #independence #monitoring- Rigid structures, independent units, monitoring: organizing patterns in frontline firefighting (SD, DVK, RO), pp. 1949–1958.
HCI-DDA-2011-XieDDZWC- LSCM Based Non-rigid Registration for Craniofacial Surfaces (WX, FD, QD, MZ, ZW, LC), pp. 670–676.
- ICPR-2010-WangT #image
- Non-rigid Image Registration for Historical Manuscript Restoration (JW, CLT), pp. 2274–2277.
- ICPR-2010-WanS #geometry #multi
- Multiple View Geometry for Non-rigid Motions Viewed from Curvilinear Motion Projective Cameras (CW, JS), pp. 181–184.
- ICPR-2010-WatanabeNKI #estimation #using
- Estimation of Non-rigid Surface Deformation Using Developable Surface Model (YW, TN, TK, MI), pp. 197–200.
LATA-2009-JacquemardKV #automaton- Rigid Tree Automata (FJ, FK, CV), pp. 446–457.
- CHI-2009-IsbisterH #challenge #design #evaluation #human-computer #on the
- On being supple: in search of rigor without rigidity in meeting new design and evaluation challenges for HCI practitioners (KI, KH), pp. 2233–2242.
SAC-2009-BerardNT #fault #simulation- Sources of error in a rigid body simulation of rigid parts on a vibrating rigid plate (SB, BN, JCT), pp. 1181–1185.
- SAC-2009-ShellD #precise #simulation
- Precise generalized contact point and normal determination for rigid body simulation (DAS, ED), pp. 2107–2108.
- ICPR-2008-KooKC #image
- Non-rigid image registration based on the globally optimized correspondences (HIK, JGK, NIC), pp. 1–4.
- SAC-2008-RochaR #animation #evaluation #using
- An evaluation of a collision handling system using sphere-trees for plausible rigid body animation (RdSR, MAFR), pp. 1241–1245.
ICALP-v1-2006-Wolf #bound #matrix #quantum- Lower Bounds on Matrix Rigidity Via a Quantum Argument (RdW), pp. 62–71.
- ICPR-v2-2006-YamadaS #invariant #recognition
- Space-Time Moment Invariants and Recognition of Non-Rigid Motions from Arbitrary Viewpoints (TY, JS), pp. 990–993.
- ICPR-v3-2006-ChongTL #approach #modelling #recognition
- A Model-based Approach for Rigid Object Recognition (CBC, TT, FLL), pp. 116–120.
- ICPR-v3-2006-PetterssonKB #automation #segmentation #using
- Automatic Hip Bone Segmentation Using Non-Rigid Registration (JP, HK, MB), pp. 946–949.
- ICPR-v4-2006-ChenB06b
- Global-to-Local Non-Rigid Shape Registration (HC, BB), pp. 57–60.
- ICPR-v4-2006-KumarJ #visual notation
- Visual Servoing in Presence of Non-Rigid Motion (DSK, CVJ), pp. 655–658.
- ICPR-v4-2006-Rivera-RoveloB #algebra #framework #geometry #realtime #using
- Non-Rigid Alignment and Real-Time Tracking Using the Geometric Algebra Framework (JRR, EBC), pp. 675–678.
IJCAR-2006-BeckertP #logic- Dynamic Logic with Non-rigid Functions (BB, AP), pp. 266–280.
FLOPS-2004-Hirschowitz #mixin- Rigid Mixin Modules (TH), pp. 214–228.
- ICPR-v1-2004-ZhangJT
- Geodesic Closest Point Constrained Inter-Subject Non-Rigid Registration (ZZ, YJ, HTT), pp. 564–567.
- ICPR-v2-2004-Tweed #formal method
- Estimating Rigid Motions via the Conformal Model of Euclidean Space (DT), pp. 171–174.
- ICPR-v3-2004-LiMH
- New Method for Sparse Point-Sets Matching with Underlying Non-Rigidity (BL, QM, HH), pp. 8–11.
- ICPR-v3-2004-SkerlLP #evaluation #metric #similarity
- Evaluation of Nine Similarity Measures Used in Rigid Registration (DS, BL, FP), pp. 794–797.
- ICPR-v4-2004-GoncalvesA #estimation #image
- Rigid Motion Estimation from Non-Central Catadioptric Images (NG, HA), pp. 268–271.
- ICPR-v4-2004-Rivera-RoveloB #approach #geometry
- Non-Rigid Registration and Geometric Approach for Tracking in Neurosurgery (JRR, EBC), pp. 717–720.
KR-2004-KaneiwaM #knowledge base #ontology #reasoning- Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity (KK, RM), pp. 278–288.
ASE-2002-EllmanDF #animation #knowledge-based #simulation #source code #synthesis- Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation (TE, RD, JF), p. 93–?.
- ICPR-v1-2002-BoukirS #geometry
- Application of Rigid Motion Geometry to Film Restoration (SB, DS), pp. 360–363.
- ICPR-v1-2002-Verges-LlahiTS #estimation #using
- Estimation of Rigid and Non-Rigid Facial Motion Using Anatomical Face Model (JVL, AT, AS), pp. 381–384.
- ICPR-v1-2002-YilmazSS #estimation #using
- Estimation of Rigid and Non-Rigid Facial Motion Using Anatomical Face Model (AY, KS, MS), pp. 377–380.
- ICPR-v2-2002-Guskov #geometry #performance
- Efficient Tracking of Regular Patterns on Non-Rigid Geometry (IG), pp. 1057–1060.
- ICPR-v4-2002-MottlKK #classification #identification #kernel
- Support Object Classifiers with Rigid and Elastic Kernel Functions for Face Identification (VM, AK, JK), pp. 205–208.
- IJCAR-2001-CerritoM #logic #quantifier
- Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation (SC, MCM), pp. 137–151.
ICEIS-2000-DietzB #modelling #petri net #process #requirements- Petri Net Expressions of Demo Process Models as a Rigid Foundation for Requirements Engineering (JLGD, JB), pp. 267–274.
- ICPR-v1-2000-LeeY #estimation
- A Simultaneous Estimation of Rigid and Non-Rigid Face Motion (JL, HSY), pp. 5068–5071.
- ICPR-v1-2000-MarcenaroRV #automation #generative #multi #statistics
- Automatic Generation of the Statistical Model of a Non-Rigid Object in a Multiple-Camera Environment (LM, CSR, GV), pp. 1530–1533.
- ICPR-v3-2000-ObertiR #adaptation #multi
- Adaptive Tracking of Multiple Non Rigid Objects in Cluttered Scenes (FO, CSR), pp. 7108–7111.
- ICPR-v3-2000-SteinbachG #3d #cost analysis #estimation
- An Image-Domain Cost Function for 3-D Rigid Body Motion Estimation (EGS, BG), pp. 3823–3826.
- CADE-2000-TiwariBR #revisited
- Rigid E-Unification Revisited (AT, LB, HR), pp. 220–234.
- ICALP-1999-CortierGJV #decidability #reachability
- Decidable Fragments of Simultaneous Rigid Reachability (VC, HG, FJ, MV), pp. 250–260.
- ICPR-1998-LiuW #3d #algorithm #multi #novel
- A novel algorithm for recovering the 3D motions of multiple moving rigid objects (MLL, KHW), pp. 655–657.
LICS-1998-Veanes #higher-order #unification- The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification (MV), pp. 264–275.
RTA-1998-DegtyarevGNVV #decidability- The Decidability of Simultaneous Rigid E-Unification with One Variable (AD, YG, PN, MV, AV), pp. 181–195.
- ICALP-1997-GurevichV #monad #problem
- Monadic Simultaneous Rigid E-Unification and Related Problems (YG, AV), pp. 154–165.
- ICPR-1996-GhorbelDMAS #estimation #object-oriented
- Global planar rigid motion estimation applied to object-oriented coding (FG, MD, AM, OA, HS), pp. 641–645.
- ICPR-1996-KervrannHP #estimation #modelling #statistics
- Statistical model-based estimation and tracking of non-rigid motion (CK, FH, PP), pp. 244–248.
- ICPR-1996-Nagao #2d #using
- Direct methods for evaluating the planarity and rigidity of a surface using only 2D views (KN), pp. 417–422.
- ICPR-1996-Syeda-Mahmood #similarity
- Recognizing similarity through a constrained non-rigid transform (TFSM), pp. 617–621.
- ICPR-1996-XuT #geometry #multi #segmentation
- Correspondence and segmentation of multiple rigid motions via epipolar geometry (GX, ST), pp. 213–217.
- CADE-1996-Voronkov #logic #similarity
- Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification (AV), pp. 32–46.
- CADE-1994-Beckert
- A Completion-Based Method for Mixed Universal and Rigid E-Unification (BB), pp. 678–692.
- LICS-1994-Goubault
- Rigid E-Unifiability is DEXPTIME-Complete (JG), pp. 498–506.
- LICS-1988-GallierSNP
- Rigid E-Unification is NP-Complete (JHG, WS, PN, DAP), pp. 218–227.
- LICS-1987-GallierRS #equation #proving #theorem proving #using
- Theorem Proving Using Rigid E-Unification Equational Matings (JHG, SR, WS), pp. 338–346.
