Stem lift$ (all stems)

56 papers:

CASE-2015-NetoCHS #approximate #optimisation

A piecewise linear-quadratic approximation for production optimization of gas-lifted oil fields (LRN, EC, RH, TLS), pp. 793–798.

VLDB-2015-GatterbauerS #approximate #database #probability

Approximate Lifted Inference with Probabilistic Databases (WG, DS), pp. 629–640.

PLDI-2015-MendisBWKRPZA #domain-specific language #kernel #named

Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code (CM, JB, KW, SK, JRK, SP, QZ, SPA), pp. 391–402.

DHM-EH-2015-FuLCZ #modelling #simulation

Modeling and Simulating Lifting Task of Below-Knee Amputees (YF, SL, QC, WZ), pp. 134–143.

CASE-2014-LeeHH

Lifting motion planning for humanoid robots (HyL, HPH, HKH), pp. 1174–1179.

HT-2014-SubercazeG #named #recognition

FoP: never-ending face recognition and data lifting (JS, CG), pp. 321–323.

PLDI-2014-PombrioK #evaluation #named #sequence

Resugaring: lifting evaluation sequences through syntactic sugar (JP, SK), p. 38.

ICSE-2014-SalayFRSC #model transformation #product line

Lifting model transformations to product lines (RS, MF, JR, ADS, MC), pp. 117–128.

ICLP-J-2014-BellodiLRCZ #logic programming #probability

Lifted Variable Elimination for Probabilistic Logic Programming (EB, EL, FR, VSC, RZ), pp. 681–695.

CASE-2013-GiulianiCP #analysis #optimisation

A computational analysis of nondifferentiable optimization: Applications to production maximization in gas-lifted oil fields (CMG, EC, AP), pp. 286–291.

PLDI-2013-BoddenTRBBM #named #product line

SPL^LIFT: statically analyzing software product lines in minutes instead of years (EB, TT, MR, CB, PB, MM), pp. 355–364.

STOC-2013-Ben-SassonGKKS #algebra #geometry #product line

A new family of locally correctable codes based on degree-lifted algebraic geometry codes (EBS, AG, YK, SK, SS), pp. 833–842.

SEFM-2013-GesellMS #verification

Lifting Verification Results for Preemption Statements (MG, AM, KS), pp. 91–105.

CHI-2013-FanISMWIFT #feedback

Reality jockey: lifting the barrier between alternate realities through audio and haptic feedback (KF, HI, YS, KM, SW, MI, NF, ST), pp. 2557–2566.

DHM-HB-2013-CaoJHK #assessment #modelling #using

Ergonomic Assessment of Patient Barrow Lifting Technique Using Digital Human Modeling (WC, MJ, YH, MTK), pp. 20–29.

ICSM-2012-KehrerKOS #comprehension #difference #evolution #semantics

Understanding model evolution through semantically lifting model differences with SiLift (TK, UK, MO, TS), pp. 638–641.

TOOLS-EUROPE-J-2011-IngesmanE12 #calculus #java #morphism #polymorphism

Lifted Java: A Minimal Calculus for Translation Polymorphism (MDI, EE), pp. 1–23.

ASPLOS-2012-MartignoniMPSM #testing

Path-exploration lifting: hi-fi tests for lo-fi emulators (LM, SM, PP, DS, PM), pp. 337–348.

ASE-2011-KehrerKT #approach #difference #rule-based #semantics #version control

A rule-based approach to the semantic lifting of model differences in the context of model versioning (TK, UK, GT), pp. 163–172.

ICALP-v2-2011-Katsumata

Relating Computational Effects by ⊤ ⊤-Lifting (SyK), pp. 174–185.

DHM-2011-MarlerKJ #analysis #predict

Optimization-Based Posture Prediction for Analysis of Box Lifting Tasks (TM, LK, RJ), pp. 151–160.

DHM-2011-XuCFKD #symmetry

Postural Observation of Shoulder Flexion during Asymmetric Lifting Tasks (XX, CCC, GSF, IK, JTD), pp. 228–230.

KDD-2011-PapadimitriouGKLR #social

Display advertising impact: search lift and social influence (PP, HGM, PK, RAL, DHR), pp. 1019–1027.

TOOLS-EUROPE-2011-IngesmanE #calculus #java #morphism #polymorphism

Lifted Java: A Minimal Calculus for Translation Polymorphism (MDI, EE), pp. 179–193.

CSMR-2010-BritoGM10a #comprehension #legacy

LIFT Revisited: Enhancing the Understanding of NATURAL/ADABAS Legacy Systems (KdSB, VCG, SRdLM), pp. 272–273.

ICALP-v2-2010-FontaineLV #algebra #approach #automaton #using

Automata for Coalgebras: An Approach Using Predicate Liftings (GF, RAL, YV), pp. 381–392.

ICEIS-ISAS-2009-OhmoriK #approach #development #enterprise #invariant

Enterprise System Development with Invariant Preserving — A Mathematical Approach by the Homotopy Lifting and Extension Properties (KO, TLK), pp. 116–123.

ICML-2009-KokD #learning #logic #markov #network

Learning Markov logic network structure via hypergraph lifting (SK, PMD), pp. 505–512.

ASE-2008-PostS #verification

Configuration Lifting: Verification meets Software Configuration (HP, CS), pp. 347–350.

CHI-2008-SuhCKP #social #wiki

Lifting the veil: improving accountability and social transparency in Wikipedia with wikidashboard (BS, EHC, AK, BAP), pp. 1037–1040.

ICMT-2008-FreemanBL #case study #modelling #product line

Lifting Transformational Models of Product Lines: A Case Study (GF, DSB, RGL), pp. 16–30.

POPL-2008-GulwaniMT #logic #quantifier

Lifting abstract interpreters to quantified logical domains (SG, BM, AT), pp. 235–246.

ICDAR-2007-GazzahA #analysis #identification #using

Arabic Handwriting Texture Analysis for Writer Identification Using the DWT-Lifting Scheme (SG, NEBA), pp. 1133–1137.

IFM-2007-DunneG #correctness

Lifting General Correctness into Partial Correctness is ok (SD, AG), pp. 215–232.

IFL-2007-MorazanS #polynomial

Optimal λ Lifting in Quadratic Time (MTM, UPS), pp. 37–56.

MoDELS-2006-KappelKKKRRSW #integration #metamodelling #modelling #ontology #semantics

Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages (GK, EK, HK, GK, TR, WR, WS, MW), pp. 528–542.

MoDELS-2006-KappelKKKRRSW #integration #metamodelling #modelling #ontology #semantics

Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages (GK, EK, HK, GK, TR, WR, WS, MW), pp. 528–542.

KDD-2005-YanFB #constraints #industrial

Enhancing the lift under budget constraints: an application in the mutual fund industry (LY, MF, PB), pp. 509–515.

OOPSLA-2005-GregorL #algorithm #graph #parallel

Lifting sequential graph algorithms for distributed-memory parallel computation (DG, AL), pp. 423–437.

CSL-2005-Katsumata #logic #metalanguage #semantics

A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage (SyK), pp. 87–102.

TLCA-2005-LindleyS

Reducibility and TT-Lifting for Computation Types (SL, IS), pp. 262–277.

VLDB-2004-DeshpandeH #adaptation #query

Lifting the Burden of History from Adaptive Query Processing (AD, JMH), pp. 948–959.

STOC-2003-BansalP #scheduling

Server scheduling in the Lp norm: a rising tide lifts all boat (NB, KP), pp. 242–250.

VMCAI-2003-Namjoshi #abstraction #proving

Lifting Temporal Proofs through Abstractions (KSN), pp. 174–188.

FLOPS-2002-DanvyS #polynomial #λ-calculus

λ-Lifting in Quadratic Time (OD, UPS), pp. 134–151.

ICDAR-2001-YeBG #documentation #image

Document Image Matching and Annotation Lifting (MY, MWB, DG), p. 753–?.

CSMR-2000-BrilFGKW #algebra #multi #using

Hiding Expressed Using Relation Algebra with Multi-Relations — Oblique Lifting and Lowering for Unbalanced Systems (RJB, LMGF, AG, RLK, TW), pp. 33–44.

SAIG-2000-FischbachH #correctness #specification

Specification and Correctness of λ Lifting (AF, JH), pp. 108–128.

STOC-1999-ChenLP #markov

Lifting Markov Chains to Speed up Mixing (FC, LL, IP), pp. 275–281.

FLOPS-1999-Danvy #λ-calculus

An Extensional Characterization of λ-Lifting and λ-Dropping (OD), pp. 241–250.

KDD-1999-Piatetsky-ShapiroM #modelling

Estimating Campaign Benefits and Modeling Lift (GPS, BMM), pp. 185–193.

RTA-1998-AotoT #termination

Termination Transformation by Tree Lifting Ordering (TA, YT), pp. 256–270.

ILPS-1994-FileR #abstract interpretation #set

Improving Abstract Interpretations by Systematic Lifting to the Powerset (GF, FR), pp. 655–669.

ESOP-1988-NielsonN #λ-calculus

2-level λ-lifting (FN, HRN), pp. 328–343.

STOC-1987-Kaltofen #complexity

Single-Factor Hensel Lifting and its Application to the Straight-Line Complexity of Certain Polynomials (EK), pp. 443–452.

FPCA-1985-Johnsson85 #equation #recursion #source code

λ Lifting: Treansforming Programs to Recursive Equations (TJ), pp. 190–203.