Stem variant$ (all stems)

142 papers:

ICSME-2015-StanciulescuSW #open source

Forked and integrated variants in an open-source firmware project (SS, SS, AW), pp. 151–160.

ICALP-v1-2015-ImM #order

Weighted Reordering Buffer Improved via Variants of Knapsack Covering Inequalities (SI, BM), pp. 737–748.

ICML-2015-KordaA #approximate #bound #convergence #exponential #on the

On TD(0) with function approximation: Concentration bounds and a centered variant with exponential convergence (NK, PLA), pp. 626–634.

GPCE-2015-SelgradLKSL #generative #lightweight

Lightweight, generative variant exploration for high-performance graphics Applications (KS, AL, FK, MS, DL), pp. 141–150.

SAC-2015-FahnrichSP #database #identification #in memory #search-based

Facing the genome data deluge: efficiently identifying genetic variants with in-memory database technology (CF, MPS, HP), pp. 18–25.

ICSE-v2-2015-Assuncao #architecture #migration #product line #search-based

Search-Based Migration of Model Variants to Software Product Line Architectures (WKGA), pp. 895–898.

SPLC-2015-BeucheH #lifecycle #product line #using

Using pure: : variants across the product line lifecycle (DB, RH), pp. 352–354.

DATE-2014-GrafGTL #design #embedded #multi

Multi-variant-based design space exploration for automotive embedded systems (SG, MG, JT, CL), pp. 1–6.

DATE-2014-YamashitaMOT #performance

A smaller and faster variant of RSM (NY, KM, TO, YT), pp. 1–6.

FASE-2014-KowalST #analysis #performance

Family-Based Performance Analysis of Variant-Rich Software Systems (MK, IS, MT), pp. 94–108.

CSMR-WCRE-2014-Bos #lightweight #reverse engineering #runtime

Lightweight runtime reverse engineering of binary file format variants (JvdB), pp. 367–370.

ICSME-2014-FischerLLE #reuse

Enhancing Clone-and-Own with Systematic Reuse for Developing Software Variants (SF, LL, RELH, AE), pp. 391–400.

CAiSE-2014-ChanYGM #development #execution #mining #process

Mining Event Logs to Assist the Development of Executable Process Variants (NNC, KY, WG, JM), pp. 548–563.

CAiSE-2014-MurguzurCTS #process #runtime #staged

Context-Aware Staged Configuration of Process Variants@Runtime (AM, XDC, ST, GS), pp. 241–255.

ICML-c2-2014-SunZZ #analysis #convergence

A Convergence Rate Analysis for LogitBoost, MART and Their Variant (PS, TZ, JZ), pp. 1251–1259.

ICPR-2014-FranchiA #adaptation

Spatially-Variant Area Openings for Reference-Driven Adaptive Contour Preserving Filtering (GF, JA), pp. 1043–1048.

ICPR-2014-OtteSZ #algorithm #named #using

ANTSAC: A Generic RANSAC Variant Using Principles of Ant Colony Algorithms (SO, US, AZ), pp. 3558–3563.

SEKE-2014-Al-MsiedeenSHUV #implementation #object-oriented #source code

Documenting the Mined Feature Implementations from the Object-oriented Source Code of a Collection of Software Product Variants (RAM, AS, MH, CU, SV), pp. 138–143.

SEKE-2014-MaazounBB #feature model

Feature model recovery from product variants based on a cloning technique (JM, NB, HBA), pp. 431–436.

SEKE-2014-SalmanSD #clustering #feature model #information retrieval

Feature Location in a Collection of Product Variants: Combining Information Retrieval and Hierarchical Clustering (HES, AS, CD), pp. 426–430.

ECMFA-2014-MartinezZKT #identification #variability #visualisation

Identifying and Visualising Commonality and Variability in Model Variants (JM, TZ, JK, YLT), pp. 117–131.

MoDELS-2014-VaupelTHSGG #development #mobile #modelling

Model-Driven Development of Mobile Applications Allowing Role-Driven Variants (SV, GT, JPH, RS, RG, MG), pp. 1–17.

MoDELS-2014-VaupelTHSGG #development #mobile #modelling

Model-Driven Development of Mobile Applications Allowing Role-Driven Variants (SV, GT, JPH, RS, RG, MG), pp. 1–17.

PPDP-2014-YangEMMN #encryption #finite #unification

Theories of Homomorphic Encryption, Unification, and the Finite Variant Property (FY, SE, CM, JM, PN), pp. 123–133.

SAC-2014-BassoOF #java #model transformation

Extending JUnit 4 with Java annotations and reflection to test variant model transformation assets (FPB, TCdO, KF), pp. 1601–1608.

SPLC-2014-Tribastone #algebra #behaviour #process

Behavioral relations in a process algebra for variants (MT), pp. 82–91.

ICTSS-2014-SamihGBAB #approach #modelling #testing

An Approach to Derive Usage Models Variants for Model-Based Testing (HS, HLG, RB, MA, BB), pp. 80–96.

ISSTA-2014-BaudryAM #program transformation #source code

Tailored source code transformations to synthesize computationally diverse program variants (BB, SA, MM), pp. 149–159.

SEKE-2013-Al-MsiedeenSHUVS #concept analysis #mining #object-oriented #semantics #source code #using

Mining Features from the Object-Oriented Source Code of a Collection of Software Variants Using Formal Concept Analysis and Latent Semantic Indexing (RAM, ADS, MH, CU, SV, HES), pp. 244–249.

SIGIR-2013-Leveling #coordination #generative #query

Interpretation of coordinations, compound generation, and result fusion for query variants (JL), pp. 805–808.

SAC-2013-LaboreiroBSRO #microblog

Determining language variant in microblog messages (GL, MB, LS, EMR, ECO), pp. 902–907.

ICSE-2013-RubinC #framework

A framework for managing cloned product variants (JR, MC), pp. 1233–1236.

SPLC-2013-KandaII #evolution #source code

Extraction of product evolution tree from source code of product variants (TK, TI, KI), pp. 141–150.

SPLC-2013-LinsbauerLE #traceability

Recovering traceability between features and code in product variants (LL, RELH, AE), pp. 131–140.

SPLC-2013-MurashkinARC #product line #visualisation

Visualization and exploration of optimal variants in product line engineering (AM, MA, DR, KC), pp. 111–115.

SPLC-2013-RubinCC #experience #framework

Managing cloned variants: a framework and experience (JR, KC, MC), pp. 101–110.

LICS-2013-BalbianiHT #logic

Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL (PB, AH, NT), pp. 143–152.

RTA-2013-BaumgartnerKLV #anti #higher-order

A Variant of Higher-Order Anti-Unification (AB, TK, JL, MV), pp. 113–127.

CASE-2012-LuiP #assembly #difference #evolution #flexibility #scheduling #using

Scheduling Flexible Assembly Lines using variants of Differential Evolution (WHVL, SGP), pp. 594–599.

WRLA-J-2010-EscobarSM12 #termination

Folding variant narrowing and optimal variant termination (SE, RS, JM), pp. 898–928.

CSMR-2012-ZiadiFSZ #identification #source code

Feature Identification from the Source Code of Product Variants (TZ, LF, MAAdS, MZ), pp. 417–422.

ICPC-2012-TenevD #analysis

Applying bioinformatics in the analysis of software variants (VLT, SD), pp. 259–260.

WCRE-2012-HemelK #case study #clone detection #detection #linux #reverse engineering #source code #using #variability

Reverse Engineering Variability in Source Code Using Clone Detection: A Case Study for Linux Variants of Consumer Electronic Devices (AH, RK), pp. 357–366.

WCRE-2012-XueXJ #feature model

Feature Location in a Collection of Product Variants (YX, ZX, SJ), pp. 145–154.

DLT-2012-Okhotin #theorem

Non-erasing Variants of the Chomsky-Schützenberger Theorem (AO), pp. 121–129.

CSCW-2012-CheungH #game studies #lessons learnt

Remix and play: lessons from rule variants in texas hold’em and halo 2 (GC, JH), pp. 559–568.

CAiSE-2012-SchalerLRS #database #information management #using

Building Information System Variants with Tailored Database Schemas Using Features (MS, TL, MR, GS), pp. 597–612.

ICPR-2012-YlioinasHP #classification #using

Age Classification in Unconstrained Conditions Using LBP Variants (JY, AH, MP), pp. 1257–1260.

SPLC-2012-RubinKBC

Managing forked product variants (JR, AK, GB, MC), pp. 156–160.

CSL-2012-Parys #automaton

Variants of Collapsible Pushdown Systems (PP), pp. 500–515.

IJCAR-2012-MarshallN #algorithm #unification

New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants (AMM, PN), pp. 408–422.

DATE-2011-MontagA #precise #realtime

Precise WCET calculation in highly variant real-time systems (PM, SA), pp. 920–925.

WCRE-2011-DuszynskiKB #multi #reuse #source code

Analyzing the Source Code of Multiple Software Variants for Reuse Potential (SD, JK, MB), pp. 303–307.

ICALP-v1-2011-EpsteinILN #on the

On Variants of File Caching (LE, CI, AL, JNG), pp. 195–206.

ICEIS-v4-2011-DavisC11a #data transformation #logic #metadata #modelling

Variant Logic Meta-data Management for Model Driven Applications — Allows Unlimited End User Configuration and Customisation of All Meta-data EIS Application Features (JD, EC), pp. 395–400.

CIKM-2011-ChengQ #algorithm #axiom #incremental

An algorithm for axiom pinpointing in EL+ and its incremental variant (XC, GQ), pp. 2433–2436.

KDIR-2011-OmerBG #algorithm #mining #motivation #using

A New Frequent Similar Tree Algorithm Motivated by Dom Mining — Using RTDM and its New Variant — SiSTeR (OB, RB, SG), pp. 238–243.

RTA-2011-DuranEEMT #maude #reachability #unification

Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 (FD, SE, SE, JM, CLT), pp. 31–40.

WRLA-2010-EscobarSM #termination

Folding Variant Narrowing and Optimal Variant Termination (SE, RS, JM), pp. 52–68.

WCRE-2010-XueXJ #comprehension #evolution #product line

Understanding Feature Evolution in a Family of Product Variants (YX, ZX, SJ), pp. 109–118.

DLT-J-2008-Csuhaj-VarjuDV10

Variants of Competence-Based Derivations in CD Grammar Systems (ECV, JD, GV), pp. 549–569.

ICALP-v1-2010-GuruswamiKOPTW

SDP Gaps for 2-to-1 and Other Label-Cover Variants (VG, SK, RO, PP, MT, YW), pp. 617–628.

ICSE-2010-Pichler #framework #modelling

A framework for handling variants of software models (CP), pp. 345–346.

ICDAR-2009-DreuwRGN #adaptation #recognition #refinement

Writer Adaptive Training and Writing Variant Model Refinement for Offline Arabic Handwriting Recognition (PD, DR, CG, HN), pp. 21–25.

ICDAR-2009-NavonBO #approach #scalability

A Generic Form Processing Approach for Large Variant Templates (YN, EB, BO), pp. 311–315.

WRLA-2008-EscobarMS09 #equation #unification

Variant Narrowing and Equational Unification (SE, JM, RS), pp. 103–119.

ESOP-2009-CameronD #quantifier

Existential Quantification for Variant Ownership (NRC, SD), pp. 128–142.

ESOP-2009-CraciunCHQ #parametricity

An Interval-Based Inference of Variant Parametric Types (FC, WNC, GH, SQ), pp. 112–127.

LATA-2009-Masopust #context-free grammar #generative #power of

A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions (TM), pp. 554–565.

KEOD-2009-AnderlMS #approach #complexity #optimisation #reduction

An Approach to Support Interdisciplinary Variant Diversity Optimization — Planning Variant Diversity — Beyond Complexity Reduction (RA, SM, DS), pp. 408–411.

MLDM-2009-Mendes-MoreiraJSS #approach #case study #learning

Ensemble Learning: A Study on Different Variants of the Dynamic Selection Approach (JMM, AMJ, CS, JFdS), pp. 191–205.

SEKE-2009-UllahRG #architecture #case study #design #evaluation #open source #towards

Towards Design and Architectural Evaluation of Product Variants: A Case Study on an Open Source Software System (MIU, GR, VG), pp. 141–146.

TOOLS-EUROPE-2009-KastnerATKB #approach #correctness #independence #product line

Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach (CK, SA, ST, MK, DSB), pp. 175–194.

SPLC-2009-DordowskyH #product line

Adopting software product line principles to manage software variants in a complex avionics system (FD, WH), pp. 265–274.

CASE-2008-ChenS #problem

A variant of examination timetabling problem (WC, LS), pp. 353–358.

DAC-2008-AlkabaniK #design

N-variant IC design: methodology and applications (YA, FK), pp. 546–551.

WCRE-2008-DuszynskiKNHS #comparison #visualisation

Variant Comparison — A Technique for Visualizing Software Variants (SD, JK, MN, DH, CS), pp. 229–233.

ICEIS-ISAS2-2008-BrunetSLG #modelling #using

Using Variants in KAOS Goal Modelling (JB, FS, RL, CG), pp. 339–344.

ICEIS-ISAS2-2008-HallerbachBR #lifecycle #process

Managing Process Variants in the Process Life Cycle (AH, TB, MR), pp. 154–161.

ICEIS-ISAS2-2008-MahmodSL #process #similarity

Similarity Matching of Business Process Variants (NMM, SWS, RL), pp. 234–239.

ICPR-2008-NorellL #distance #image

Spatially-variant morphological operations on binary images based on the polar distance transform (KN, JL), pp. 1–4.

ICPR-2008-TuSK #3d #approach #image

A new approach to 3D shape recovery of local planar surface patches from shift-variant blurred images (XT, MS, YsK), pp. 1–5.

SIGIR-2008-SekiHU #generative

Generating diverse katakana variants based on phonemic mapping (KS, HH, KU), pp. 793–794.

SPLC-2008-Beuche #modelling #product line

Modeling and Building Software Product Lines with Pure: : Variants (DB), p. 358.

RTA-2008-EscobarMS #effectiveness #finite

Effectively Checking the Finite Variant Property (SE, JM, RS), pp. 79–93.

DocEng-2007-Sellman

VDP templates with theme-driven layer variants (RS), pp. 53–55.

PODS-2007-GottlobMS #np-hard

Generalized hypertree decompositions: np-hardness and tractable variants (GG, ZM, TS), pp. 13–22.

WCRE-2007-FrenzelKBA #product line

Extending the Reflexion Method for Consolidating Software Variants into Product Lines (PF, RK, APJB, KA), pp. 160–169.

ICEIS-EIS-2007-LuS #architecture #process

A Reference Architecture for Managing Business Process Variants (RL, SWS), pp. 416–421.

OOPSLA-2007-IgarashiV #scalability

Variant path types for scalable extensibility (AI, MV), pp. 113–132.

SAC-2007-KoschmiderO #detection #how #process #question #semantics

How to detect semantic business process model variants? (AK, AO), pp. 1263–1264.

SPLC-2007-WhiteSWN #automation #mobile #product line

Automating Product-Line Variant Selection for Mobile Devices (JW, DCS, EW, AN), pp. 129–140.

ECIR-2006-Ernst-GerlachF #generative

Generating Search Term Variants for Text Collections with Historic Spellings (AEG, NF), pp. 49–60.

ICPR-v1-2006-YinWLB #3d #interactive #using

Analyzing Facial Expressions Using Intensity-Variant 3D Data For Human Computer Interaction (LY, XW, PL, AB), pp. 1248–1251.

ICPR-v2-2006-ArcaCLL #recognition

A face recognition system dealing with expression variant faces (SA, PC, RL, GL), pp. 1242–1245.

ICPR-v2-2006-HeW #composition #empirical #image

Spatial-variant Image Filtering Based on Bidimensional Empirical Mode Decomposition (LH, HW), pp. 1196–1199.

ICPR-v3-2006-SureshR

Super-resolution in the presence of space-variant blur (KVS, ANR), pp. 770–773.

OOPSLA-2006-ChinCKP #approach #parametricity

A flow-based approach for variant parametric types (WNC, FC, SCK, CP), pp. 273–290.

MSR-2005-AntoniolRV #linear #mining #predict #repository

Linear predictive coding and cepstrum coefficients for mining time variant information from software repositories (GA, VFR, GV), pp. 61–65.

ICALP-2005-EpsteinL #online

Online Interval Coloring and Variants (LE, ML), pp. 602–613.

SIGIR-2005-MasuyamaN

Web-based acquisition of Japanese katakana variants (TM, HN), pp. 338–344.

GPCE-2005-CzarneckiA #approach #modelling

Mapping Features to Models: A Template Approach Based on Superimposed Variants (KC, MA), pp. 422–437.

SAC-2005-RimassaV #comprehension #java #parametricity #strict

Understanding access restriction of variant parametric types and Java wildcards (GR, MV), pp. 1390–1397.

RTA-2005-Comon-LundhD #algebra #finite #how

The Finite Variant Property: How to Get Rid of Some Algebraic Properties (HCL, SD), pp. 294–307.

ICALP-2004-JothiR #algorithm #approximate #design #network #problem

Approximation Algorithms for the Capacitated Minimum Spanning Tree Problem and Its Variants in Network Design (RJ, BR), pp. 805–818.

ICPR-v3-2004-ZhangM #recognition #using

Recognition of Expression Variant Faces Using Weighted Subspaces (YZ, AMM), pp. 149–152.

KDD-2004-KummamuruKA #difference #learning #metric

Learning spatially variant dissimilarity (SVaD) measures (KK, RK, RA), pp. 611–616.

ICDAR-2003-Schambach03a #recognition #word

Determination of the Number of Writing Variants with an HMM based Cursive Word Recognition System (MPS), p. 119–?.

SEKE-2003-Schobel-Theuer #on the

On Variants of Genericity (TST), pp. 359–365.

SIGIR-2003-PirkolaTKVJ #fuzzy

Fuzzy translation of cross-lingual spelling variants (AP, JT, HK, KV, KJ), pp. 345–352.

SIGIR-2003-TsuruokaT #generative #probability

Probabilistic term variant generator for biomedical terms (YT, JT), pp. 167–173.

ICSE-2003-JarzabekBZZ #named #xml

XVCL: XML-based Variant Configuration Language (SJ, PB, HZ, WZ), pp. 810–811.

DLT-2002-DassowNR #complexity #on the

On the Descriptional Complexity of Some Variants of Lindenmayer Systems (JD, TYN, BR), pp. 128–139.

ICPR-v2-2002-Okombi-DibaMS #image #segmentation

Segmentation of Spatially Variant Image Textures (BROD, JM, KS), pp. 917–920.

ICPR-v3-2002-MullerH #linear

Extending the Linear Interpolating Condition to Advanced Synthetic Discriminant Function Variants (NM, BMH), pp. 883–886.

POPL-2002-FournetG #stack

Stack inspection: theory and variants (CF, ADG), pp. 307–318.

CSL-2002-ChernovSSV #logic

Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle (AVC, DPS, EZS, NKV), pp. 74–88.

RTA-2002-DoughertyW #decidability #higher-order

A Decidable Variant of Higher Order Matching (DJD, TW), pp. 340–351.

SEKE-2001-JarzabekOZ #modelling #requirements

Handling Variant Requirements in 9omain Modeling (SJ, WCO, HZ), pp. 61–68.

RE-2001-JarzabekZ #domain model #modelling #requirements #xml

XML-Based Method and Tool for Handling Variant Requirements in Domain Models (SJ, HZ), pp. 166–173.

ICPR-v2-2000-LiuG #network

Outlier Rejection with MLPs and Variants of RBF Networks (JL, PDG), pp. 2680–2683.

DAC-1999-RichterZETT #embedded #optimisation #representation #synthesis

Representation of Function Variants for Embedded System Optimization and Synthesis (KR, DZ, RE, LT, JT), pp. 517–522.

ICALP-1999-HammarN #approximate

Approximation Results for Kinetic Variants of TSP (MH, BJN), pp. 392–401.

ICALP-1999-PelegR #complexity #distributed

A Variant of the Arrow Distributed Directory with Low Average Complexity (DP, ER), pp. 615–624.

CAiSE-1999-HesseN #approach #modelling #multi #process

A Multi-variant Approach to Software Process Modelling (WH, JN), pp. 210–224.

UML-1999-Henderson-SellersAF #uml

A UML Variant: OML (BHS, CA, DF), pp. 49–66.

FoSSaCS-1998-NiemannO #context-sensitive grammar

The Church-Rosser Languages Are the Deterministic Variants of the Growing Context-Sensitive Languages (GN, FO), pp. 243–257.

ICPR-1998-ToepferWBN #detection #navigation

Robot navigation by combining central and peripheral optical flow detection on a space-variant map (CT, MW, GB, HN), pp. 1804–1807.

SIGMOD-1997-ONeilQ #performance #query

Improved Query Performance with Variant Indexes (PEO, DQ), pp. 38–49.

ALP-1997-CesarM #linear

A Left-Linear Variant of λσ (AC, HM), pp. 224–239.

TRI-Ada-1996-NeedhamDGPZME #ada #design #eiffel #independence #inheritance #modelling #named #object-oriented

ADAM: A Language-Independent, Object-Oriented, Design Environment for Modeling Inheritance and Relationship Variants in Ada 95, C++, and Eiffel (DMN, SAD, KEG, TJP, PZ, MM, HJCE), pp. 99–113.

ICPR-1996-LimVW

Resolution consideration in spatially variant sensors (FLL, SV, GAWW), pp. 795–799.

ICPR-1996-LimWV

Tracking in a space variant active vision system (FLL, GAWW, SV), pp. 745–749.

SAC-1996-LeeHHC #case study #how #implementation #performance #problem #process #set

Efficient implementations of two variant subset sum problems: a case study of how to process appraisal books resulting from fire-destroyed money (PL, FYH, CYH, HTC), pp. 230–237.

VLDB-1995-KalusD #flexibility #relational

Flexible Relations — Operational Support of Variant Relational Structures (CK, PD), pp. 539–550.

ICLP-1995-SadriK #calculus

Variants of the Event Calculus (FS, RAK), pp. 67–81.

SIGIR-1994-JacqueminR #framework

Retrieving Terms and their Variants in a Lexicalised Unification-Based Framework (CJ, JR), pp. 132–141.

CSL-1991-HeuschS #aspect-oriented #behaviour #probability

Some Aspects of the Probabilistic Behavior of Variants of Resolution (PH, ES), pp. 164–172.

CSL-1990-Fermuller #set

A Resolution Variant Deciding some Classes of Clause Sets (CGF), pp. 128–144.

POPL-1989-Remy #ml

Typechecking Records and Variants in a Natural Extension of ML (DR), pp. 77–88.

SIGIR-1985-ChouekaKP #performance

Efficient Variants of Huffman Codes in High Level Languages (YC, STK, YP), pp. 122–130.

Ada-1983-Harrison #named

Dianette — A Pragmatic Variant of Diana (MPH), pp. 48–59.