Stem invers$ (all stems)

124 papers:

CASE-2015-BlanchiniFGP #programming

Inverse kinematics by means of convex programming: Some developments (FB, GF, GG, FAP), pp. 515–520.

CASE-2015-MaedaK #algorithm #hybrid

Inverse kinematics solution algorithm for continuous/binary hybrid manipulator (KM, EK), pp. 483–488.

LATA-2015-ChoHK #mining

Frequent Pattern Mining with Non-overlapping Inversions (DJC, YSH, HK), pp. 121–132.

ICML-2015-GrosseS #matrix #scalability

Scaling up Natural Gradient by Sparsely Factorizing the Inverse Fisher Matrix (RBG, RS), pp. 2304–2313.

GPCE-2015-YamaguchiC #metaprogramming #scala

Inverse macro in Scala (HY, SC), pp. 85–94.

CASE-2014-BehlNM #named #performance

IMpACT: Inverse model accuracy and control performance toolbox for buildings (MB, TXN, RM), pp. 1109–1114.

CASE-2014-ChangL #mobile #multi

Inverse observation model and multiple hypothesis tracking for indoor mobile robots (FMC, FLL), pp. 1200–1205.

DAC-2014-ApostolopoulouDES #matrix #scalability #simulation

Selective Inversion of Inductance Matrix for Large-Scale Sparse RLC Simulation (IA, KD, NEE, GIS), p. 6.

DAC-2014-GaoXYP #named #optimisation #process

MOSAIC: Mask Optimizing Solution With Process Window Aware Inverse Correction (JRG, XX, BY, DZP), p. 6.

ICML-c1-2014-RabinovichB #topic

The Inverse Regression Topic Model (MR, DMB), pp. 199–207.

ICML-c2-2014-WangL #estimation #metric #robust

Robust Inverse Covariance Estimation under Noisy Measurements (JKW, SdL), pp. 928–936.

HPDC-2014-XiangMA #matrix #pipes and filters #scalability #using

Scalable matrix inversion using MapReduce (JX, HM, AA), pp. 177–190.

ICDAR-2013-ZhouFLW #segmentation

Scene Text Segmentation via Inverse Rendering (YZ, JLF, EGLM, RW), pp. 457–461.

ICML-c2-2013-Tran-DinhKC #framework #graph #learning #matrix

A proximal Newton framework for composite minimization: Graph learning without Cholesky decompositions and matrix inversions (QTD, ATK, VC), pp. 271–279.

ICML-c3-2013-YangLZ #learning #matrix #multi

Multi-Task Learning with Gaussian Matrix Generalized Inverse Gaussian Model (MY, YL, ZZ), pp. 423–431.

KDD-2013-LozanoJD #distance #estimation #matrix #multi #robust

Robust sparse estimation of multiresponse regression and inverse covariance matrix via the L2 distance (ACL, HJ, XD), pp. 293–301.

CASE-2012-DelettreLFV #3d #modelling

3-DOF potential air flow manipulation by inverse modeling control (AD, GJL, NLFP, CV), pp. 930–935.

CASE-2012-LuoCCH #energy #generative

Walking pattern generation based on energy function and inverse pendulum model for biped robot (RCL, HHC, CCC, KCH), pp. 729–734.

PEPM-2012-MatsudaIN #cumulative #multi #polynomial #traversal

Polynomial-time inverse computation for accumulative functions with multiple data traversals (KM, KI, KN), pp. 5–14.

ICALP-v1-2012-DeDS #problem

The Inverse Shapley Value Problem (AD, ID, RAS), pp. 266–277.

ICML-2012-LevineK

Continuous Inverse Optimal Control with Locally Optimal Examples (SL, VK), p. 65.

ICPR-2012-Gomez-BarreroGFOMF #authentication #case study #geometry

Inverse biometrics: A case study in hand geometry authentication (MGB, JG, JF, JOG, AM, MAF), pp. 1281–1284.

ICPR-2012-HinoWM #slicing

Sliced inverse regression with conditional entropy minimization (HH, KW, NM), pp. 1185–1188.

LOPSTR-2012-Niwa0S #source code

Improving Determinization of Grammar Programs for Program Inversion (MN, NN, MS), pp. 155–175.

SAC-2012-DiasDHS #sorting #symmetry #using

Sorting genomes using almost-symmetric inversions (ZD, UD, LSH, JCS), pp. 1368–1374.

CC-2012-HouVQJFV

A New Method for Program Inversion (CH, GV, DJQ, DJ, RF, RWV), pp. 81–100.

ICLP-2012-Tarau #performance

Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection (PT), pp. 312–322.

ICLP-J-2012-BaralDGG #algorithm #correctness #programming #set #λ-calculus

Typed answer set programming λ calculus theories and correctness of inverse λ algorithms with respect to them (CB, JD, MAG, AG), pp. 775–791.

DAC-2011-ZhouJBHS #library #standard

A 40 nm inverse-narrow-width-effect-aware sub-threshold standard cell library (JZ, SJ, BB, LH, JS), pp. 441–446.

DATE-2011-RoyRM #algorithm #modelling #performance

Theoretical modeling of the Itoh-Tsujii Inversion algorithm for enhanced performance on k-LUT based FPGAs (SSR, CR, DM), pp. 1231–1236.

PLDI-2011-KimR #commutative #data type #linked data #open data #semantics #verification

Verification of semantic commutativity conditions and inverse operations on linked data structures (DK, MCR), pp. 528–541.

PLDI-2011-SrivastavaGCF #induction #synthesis

Path-based inductive synthesis for program inversion (SS, SG, SC, JSF), pp. 492–503.

CIAA-J-2010-Birget11 #on the

On the Circuit-Size of inverses (JCB), pp. 1925–1938.

ICML-2011-Clark

Inference of Inversion Transduction Grammars (AC), pp. 201–208.

ICML-2011-JetchevT #feedback #retrieval #using

Task Space Retrieval Using Inverse Feedback Control (NJ, MT), pp. 449–456.

ICML-2011-WaughZB #equilibrium #problem

Computational Rationalization: The Inverse Equilibrium Problem (KW, BDZ, DB), pp. 1169–1176.

BX-2011-Matsuda #bidirectional

Right Inverses in Bidirectionalization (KM), p. 61.

RTA-2011-DurandS #bound #linear

Left-linear Bounded TRSs are Inverse Recognizability Preserving (ID, MS), pp. 361–376.

RTA-2011-NishidaV #recursion

Program Inversion for Tail Recursive Functions (NN, GV), pp. 283–298.

SAT-2011-IgnatievS #encryption

DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions (AI, AS), pp. 76–89.

CASE-2010-LinAK #configuration management

Manipulator inverse dynamics computation on FPGA for reconfigurable applications (CSL, PKA, HK), pp. 810–815.

DATE-2010-LongM10a #dependence #scheduling

Inversed Temperature Dependence aware clock skew scheduling for sequential circuits (JL, SOM), pp. 1657–1660.

FLOPS-2010-NishidaS #injection #proving #term rewriting

Proving Injectivity of Functions via Program Inversion in Term Rewriting (NN, MS), pp. 288–303.

ICML-2010-KrishnamurthyT

Inverse Optimal Control with Linearly-Solvable MDPs (KD, ET), pp. 335–342.

ICPR-2010-SternigRB #classification #learning #multi

Inverse Multiple Instance Learning for Classifier Grids (SS, PMR, HB), pp. 770–773.

FSE-2010-KanadeARR #dependence #representation #testing #using

Representation dependence testing using program inversion (AK, RA, SKR, GR), pp. 277–286.

DAC-2009-GhaniN #approximate #grid #performance #power management #using #verification

Fast vectorless power grid verification using an approximate inverse technique (NHAG, FNN), pp. 184–189.

ICALP-v1-2009-Nederlof #algorithm #performance #problem #using

Fast Polynomial-Space Algorithms Using Möbius Inversion: Improving on Steiner Tree and Related Problems (JN), pp. 713–725.

HIMI-II-2009-MilanovaKRTK #adaptation #image #representation #retrieval #using

Content Based Image Retrieval Using Adaptive Inverse Pyramid Representation (MGM, RK, SHR, VT, RK), pp. 304–314.

KDD-2009-SunPLCWLRY #estimation #mining

Mining brain region connectivity for alzheimer’s disease study via sparse inverse covariance estimation (LS, RP, JL, KC, TW, JL, ER, JY), pp. 1335–1344.

SAC-2009-BangerthJ #adaptation #finite #problem

Adaptive finite element methods for nonlinear inverse problems (WB, AJ), pp. 1002–1006.

SAC-2009-BuckerRRW #automation #parallel #problem #simulation

Semi-automatic parallelization of direct and inverse problems for geothermal simulation (HMB, AR, VR, AW), pp. 971–975.

CADE-2009-McLaughlinP #performance #proving #theorem proving

Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method (SM, FP), pp. 230–244.

LICS-2009-PaganiT #linear #logic #problem

The Inverse Taylor Expansion Problem in Linear Logic (MP, CT), pp. 222–231.

DATE-2008-KoenigSB #algorithm #novel #recursion

A Novel Recursive Algorithm for Bit-Efficient Realization of Arbitrary Length Inverse Modified Cosine Transforms (RK, TS, JB), pp. 604–609.

PEPM-2008-Mogensen #functional #parametricity

Semi-inversion of functional parameters (TÆM), pp. 21–29.

STOC-2008-LovettMS

Inverse conjecture for the gowers norm is false (SL, RM, AS), pp. 547–556.

CIKM-2008-Metzler #documentation

Generalized inverse document frequency (DM), pp. 399–408.

ICML-2008-Shalev-ShwartzS #dependence #optimisation #set

SVM optimization: inverse dependence on training set size (SSS, NS), pp. 928–935.

BX-2008-Hu1 #parallel

Inversion in Parallelization (ZH), p. 38.

BX-2008-Mu1

Inverse Computation for UnCAL (SCM), p. 44.

PODS-2007-FaginKPT

Quasi-inverses of schema mappings (RF, PGK, LP, WCT), pp. 123–132.

VLDB-2007-OnoseBC #framework

Inverse Functions in the AquaLogic Data Services Platform (NO, VRB, MJC), pp. 1231–1242.

PLDI-2007-MoritaMMHT #automation #divide and conquer #parallel #source code

Automatic inversion generates divide-and-conquer parallel programs (KM, AM, KM, ZH, MT), pp. 146–155.

DHM-2007-YangJJZWFZ

An Inverse Dynamical Model for Slip Gait (JY, DJ, LJ, JZ, RW, XF, DZ), pp. 253–258.

RTA-2007-DurandS #bottom-up

Bottom-Up Rewriting Is Inverse Recognizability Preserving (ID, GS), pp. 107–121.

SAT-2007-DeKV #using

Inversion Attacks on Secure Hash Functions Using satSolvers (DD, AK, RV), pp. 377–382.

IFL-2006-Almendros-JimenezV #automation

Automatic Partial Inversion of Inductively Sequential Functions (JMAJ, GV), pp. 253–270.

ICPR-v1-2006-JungLYK #refinement

Radial Distortion Refinement by Inverse Mapping-Based Extrapolation (HGJ, YHL, PJY, JK), pp. 675–678.

ICPR-v2-2006-BrooksA #composition #image

Generalizing inverse compositional image alignment (RB, TA), pp. 1200–1203.

ICPR-v4-2006-MacenkoCM #detection #segmentation #using

Lesion Detection Using Morphological Watershed Segmentation and Modelbased Inverse Filtering (MM, MC, LM), pp. 679–682.

SAC-2006-CutelloNP #algorithm #hybrid #optimisation #using

Real coded clonal selection algorithm for unconstrained global optimization using a hybrid inversely proportional hypermutation operator (VC, GN, MP), pp. 950–954.

IJCAR-2006-ChaudhuriPP #logic

A Logical Characterization of Forward and Backward Chaining in the Inverse Method (KC, FP, GP), pp. 97–111.

VLDB-2005-CormodeMR #data type #mining

Summarizing and Mining Inverse Distributions on Data Streams via Dynamic Inverse Sampling (GC, SM, IR), pp. 25–36.

ICALP-2005-CzeizlerK #automaton #bound #linear

A Tight Linear Bound on the Neighborhood of Inverse Cellular Automata (EC, JK), pp. 410–420.

KDD-2005-ChenH #analysis #classification #image #network

A Bayesian network classifier with inverse tree structure for voxelwise magnetic resonance image analysis (RC, EH), pp. 4–12.

GPCE-2005-Mogensen #equation

Semi-inversion of Guarded Equations (TÆM), pp. 189–204.

SAC-2005-MartinB #fault

Estimating manifold dimension by inversion error (SM, AB), pp. 22–26.

CADE-2005-ChaudhuriP #first-order #linear #logic #proving #theorem proving

A Focusing Inverse Method Theorem Prover for First-Order Linear Logic (KC, FP), pp. 69–83.

CSL-2005-ChaudhuriP #linear #logic

Focusing the Inverse Method for Linear Logic (KC, FP), pp. 200–215.

LICS-2005-EdalatP

Inverse and Implicit Functions in Domain Theory (AE, DP), pp. 417–426.

RTA-2005-NishidaSS #term rewriting

Partial Inversion of Constructor Term Rewriting Systems (NN, MS, TS), pp. 264–278.

DRR-2004-Nishida #adaptation #analysis #documentation #image #multi

Adaptive inverse halftoning for scanned document images through multiresolution and multiscale analysis (HN), pp. 192–203.

FLOPS-2004-GluckK #lr #parsing #source code

Derivation of Deterministic Inverse Programs Based on LR Parsing (RG, MK), pp. 291–306.

ICML-2004-PieterN #learning

Apprenticeship learning via inverse reinforcement learning (PA, AYN).

ICPR-v2-2004-MachidaTY #estimation

Dense Estimation of Surface Reflectance Properties Based on Inverse Global Illumination Rendering (TM, HT, NY), pp. 895–898.

ICPR-v3-2004-DateYAT #interactive #realtime

Real-timeHumanMotion Sensingbased on Vision-based Inverse Kinematics for Interactive Applications (ND, HY, DA, RiT), pp. 318–321.

ICLP-2004-RayBR #kernel #set

Generalised Kernel Sets for Inverse Entailment (OR, KB, AR), pp. 165–179.

DAC-2003-YuH

Vector potential equivalent circuit based on PEEC inversion (HY, LH), pp. 718–723.

PEPM-2003-GluckKH #partial evaluation

Transforming interpreters into inverse interpreters by partial evaluation (RG, YK, TH), pp. 10–19.

STOC-2002-AjtaiJKS #approximate #data type

Approximate counting of inversions in a data stream (MA, TSJ, RK, DS), pp. 370–379.

DLT-2002-AnanichevCV #algorithm #automaton #word

An Inverse Automata Algorithm for Recognizing 2-Collapsing Words (DSA, AC, MVV), pp. 270–282.

ICPR-v3-2002-LiuL #image #validation

Inverse Validation for Accurate Range Image Registration with Structured Data (YL, FL), pp. 537–540.

ICPR-v3-2002-MaalmiEBVDG #detection #fault #locality #using

Crack Defect Detection and Localization Using Genetic-Based Inverse Voting Hough Transform (KM, AEO, RB, LFCLYV, AD, PG), pp. 257–260.

SAC-2002-Sankoff #clustering

Short inversions and conserved gene clusters (DS), pp. 164–167.

IJCAR-2001-BaaderT #approach #automaton #satisfiability

The Inverse Method Implements the Automata Approach for Modal Satisfiability (FB, ST), pp. 92–106.

PODS-2000-CalvaneseGLV #query

View-Based Query Processing for Regular Path Queries with Inverse (DC, GDG, ML, MYV), pp. 58–66.

ICML-2000-NgR #algorithm #learning

Algorithms for Inverse Reinforcement Learning (AYN, SJR), pp. 663–670.

KR-2000-CalvaneseGLV #query

Containment of Conjunctive Regular Path Queries with Inverse (DC, GDG, ML, MYV), pp. 176–185.

KR-2000-Voronkov #using

Deciding K using inverse-K (AV), pp. 198–209.

ICALP-1998-BiniCMM #matrix

Inversion of Circulant Matrices over Zm (DB, GMDC, GM, LM), pp. 719–730.

SAC-1998-WaldenBH #approximate #clustering #fuzzy #multi #using

Evaluating multi-valued inverse functions using clustering and fuzzy approximations (MAW, MB, AH), pp. 74–79.

EDTC-1997-HuangW #array #design #performance

High-speed C-testable systolic array design for Galois-field inversion (CTH, CWW), pp. 342–346.

CADE-1997-YangFZ #algorithm #geometry

A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry (LY, HF, ZZ), pp. 73–86.

ICPR-1996-WunschH #image

Registration of CAD-models to images by iterative inverse perspective matching (PW, GH), pp. 78–83.

CAV-1995-AndersenV #behaviour #fixpoint #performance #using

Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion (HRA, BV), pp. 142–154.

ICDAR-1993-Yamada #feedback #network #pattern matching #pattern recognition #recognition

Feedback pattern recognition by inverse recall neural network model (KY), pp. 254–257.

CADE-1992-Voronkov #logic #proving #standard #theorem proving

Theorem Proving in Non-Standard Logics Based on the Inverse Method (AV), pp. 648–662.

PEPM-1991-Romanenko

Inversion and Metacomputation (AR), pp. 12–22.

ML-1991-GiordanaSR #concept

Abstracting Concepts with Inverse Resolution (AG, LS, DR), pp. 142–146.

ML-1991-HummeS #using

Using Inverse Resolution to Learn Relations from Experiments (DH, CS), pp. 412–416.

ML-1991-LingN #comparison

Comparison of Methods Based on Inverse Resolution (XL, MAN), pp. 168–172.

LICS-1991-BergerS #evaluation #functional #λ-calculus

An Inverse of the Evaluation Functional for Typed λ-calculus (UB, HS), pp. 203–211.

ML-1990-RouveirolP

Beyond Inversion of Resolution (CR, JFP), pp. 122–130.

DAC-1989-HedenstiernaJ #design #layout

The Use of Inverse Layout Trees for Hierarchical Design Rule Checking (NH, KOJ), pp. 508–512.

ESOP-1988-GiegerichS #parsing #pattern matching

Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion of Derivors (RG, KS), pp. 247–268.

STOC-1987-MulmuleyVV #matrix

Matching Is as Easy as Matrix Inversion (KM, UVV, VVV), pp. 345–354.

ICALP-1987-Dybjer #analysis #image

Inverse Image Analysis (PD), pp. 21–30.

ICSE-1985-YellinM #attribute grammar

Two-Way Translators Based on Attribute Grammar Inversion (DMY, EMMM), pp. 36–42.

ICALP-1984-Jung #complexity #matrix #on the #performance #probability #problem

On Probabilistic Tape Complexity and Fast Circuits for Matrix Inversion Problems (Extended Abstract) (HJ), pp. 281–291.

ICALP-1984-MargolisP

Languages and Inverse Semigroups (SWM, JÉP), pp. 337–346.

POPL-1984-Wilhelm #attribute grammar

Inverse Currying Transformation on Attribute Grammars (RW), pp. 140–147.

ICALP-1983-LatteuxL #composition #morphism #on the

On the Composition of Morphisms and Inverse Morphisms (ML, JL), pp. 420–432.

SIGIR-1981-WuS #comparison #documentation

A Comparison of Search Term Weighting: Term Relevance vs. Inverse Document Frequency (HW, GS), pp. 30–39.