Stem preserv$ (all stems)

447 papers:

CASE-2015-HandokoL #order #performance #privacy

Efficient order sharing with privacy preservation via double auction with split delivery (SDH, HCL), pp. 69–74.

DAC-2015-SonghoriHSK #logic #nearest neighbour #privacy #synthesis #using

Compacting privacy-preserving k-nearest neighbor search using logic synthesis (EMS, SUH, ARS, FK), p. 6.

DATE-2015-KonstantinouKM #encryption #functional #privacy #verification

Privacy-preserving functional IP verification utilizing fully homomorphic encryption (CK, AK, MM), pp. 333–338.

SIGMOD-2015-MavroforakisCOK #composition #encryption #revisited

Modular Order-Preserving Encryption, Revisited (CM, NC, AO, GK, RC), pp. 763–777.

VLDB-2015-SeahBS #concept #image #named #social #summary

PRISM: Concept-preserving Summarization of Top-K Social Image Search Results (BSS, SSB, AS), pp. 1868–1879.

STOC-2015-DworkFHPRR #adaptation #data analysis #statistics

Preserving Statistical Validity in Adaptive Data Analysis (CD, VF, MH, TP, OR, ALR), pp. 117–126.

FM-2015-DiekmannHC #semantics #set

Semantics-Preserving Simplification of Real-World Firewall Rule Sets (CD, LH, GC), pp. 195–212.

CHI-2015-PlimmerHZKYJBD #interactive #tool support

New Interaction Tools for Preserving an Old Language (BP, LH, TZ, KK, AWY, GJ, RB, EYLD), pp. 3493–3502.

CHI-2015-RenaudM #privacy

Regulating Access to Adult Content (with Privacy Preservation) (KR, JM), pp. 4019–4028.

ICEIS-v2-2015-SmirnovP #architecture #hybrid #network #peer-to-peer #privacy #recommendation

Privacy-preserving Hybrid Peer-to-Peer Recommendation System Architecture — Locality-Sensitive Hashing in Structured Overlay Network (AVS, AP), pp. 532–542.

ICML-2015-AnBB #how #linear #network #question

How Can Deep Rectifier Networks Achieve Linear Separability and Preserve Distances? (SA, FB, MB), pp. 514–523.

KDD-2015-KarakasidisKV #privacy #scalability

Scalable Blocking for Privacy Preserving Record Linkage (AK, GK, VSV), pp. 527–536.

SIGIR-2015-YangS #information retrieval #privacy #security

Privacy-Preserving IR 2015: When Information Retrieval Meets Privacy and Security (HY, IS), pp. 1157–1158.

MoDELS-J-2011-Steimann15 #refactoring

From well-formedness to meaning preservation: model refactoring for almost free (FS), pp. 307–320.

MoDELS-J-2011-Steimann15 #refactoring

From well-formedness to meaning preservation: model refactoring for almost free (FS), pp. 307–320.

AMT-2015-DyckGLSG #automation #behaviour #model transformation #towards #verification

Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (JD, HG, LL, SS, SG), pp. 36–45.

SAC-2015-HanHQY #clustering

Locality-preserving L1-graph and its application in clustering (SH, HH, HQ, DY), pp. 813–818.

ICSE-v1-2015-PetersML #fault #named #predict #privacy

LACE2: Better Privacy-Preserving Data Sharing for Cross Project Defect Prediction (FP, TM, LL), pp. 801–811.

LICS-2015-EndrullisGH #encoding

Regularity Preserving but Not Reflecting Encodings (JE, CG, DH), pp. 535–546.

DocEng-2014-DavisonMM #named #privacy #semantics #similarity

P-GTM: privacy-preserving google tri-gram method for semantic text similarity (OD, AM, EEM), pp. 81–84.

SIGMOD-2014-Dev14a #community #detection #graph #precise #privacy #social

Privacy preserving social graphs for high precision community detection (HD), pp. 1615–1616.

VLDB-2014-LiXZJ #named #privacy

DPSynthesizer: Differentially Private Data Synthesizer for Privacy Preserving Data Sharing (HL, LX, LZ, XJ), pp. 1677–1680.

PEPM-2014-LeatherJLS #semantics

Type-changing rewriting and semantics-preserving transformation (SL, JJ, AL, BS), pp. 109–120.

STOC-2014-DworkTT0 #analysis #bound #component #privacy

Analyze gauss: optimal bounds for privacy-preserving principal component analysis (CD, KT, AT, LZ), pp. 11–20.

CIAA-2014-Maletti #bottom-up #multi #power of #transducer

The Power of Regularity-Preserving Multi Bottom-up Tree Transducers (AM), pp. 278–289.

ICALP-v1-2014-BasavarajuFGMRS #algorithm

Parameterized Algorithms to Preserve Connectivity (MB, FVF, PAG, PM, MSR, SS), pp. 800–811.

CHI-2014-BalestriniBMZR #case study #community #comprehension

Understanding sustained community engagement: a case study in heritage preservation in rural argentina (MB, JB, PM, AZ, YR), pp. 2675–2684.

CHI-2014-PanS #multi

A gaze-preserving situated multiview telepresence system (YP, AS), pp. 2173–2176.

ICEIS-v1-2014-FreireCSS #process #query #semantics

Preserving the Original Query Semantics in Routing Processes (CF, NC, DS, ACS), pp. 70–80.

CIKM-2014-DongLW #as a service #named #privacy

PraDa: Privacy-preserving Data-Deduplication-as-a-Service (BD, RL, WHW), pp. 1559–1568.

CIKM-2014-VatsalanC #database #multi #privacy #scalability

Scalable Privacy-Preserving Record Linkage for Multiple Databases (DV, PC), pp. 1795–1798.

CIKM-2014-WuZYJL #distributed #named #rdf #semantics

SemStore: A Semantic-Preserving Distributed RDF Triple Store (BW, YZ, PY, HJ, LL), pp. 509–518.

ICML-c2-2014-PachecoZBS

Preserving Modes and Messages via Diverse Particle Selection (JP, SZ, MJB, EBS), pp. 1152–1160.

ICPR-2014-DanckaersHLLVDS

Correspondence Preserving Elastic Surface Registration with Shape Model Prior (FD, TH, DL, AL, SV, SVD, JS), pp. 2143–2148.

ICPR-2014-FranchiA #adaptation

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

ICPR-2014-HuangZLW #distance #feature model

A Method of Discriminative Information Preservation and In-Dimension Distance Minimization Method for Feature Selection (SH, JZ, XL, LW), pp. 1615–1620.

ICPR-2014-RehnS #locality #visual notation

Nonlinear Supervised Locality Preserving Projections for Visual Pattern Discrimination (EMR, HS), pp. 1568–1573.

ICPR-2014-YanJY #feature model #representation

Sparse Representation Preserving for Unsupervised Feature Selection (HY, ZJ, JY), pp. 1574–1578.

ICPR-2014-ZhangZZL #image

Surface Interpolation to Image with Edge Preserving (LZ, CZ, YZ, XL), pp. 1055–1060.

KDD-2014-AcsC #case study #privacy

A case study: privacy preserving release of spatio-temporal density in paris (GÁ, CC), pp. 1679–1688.

KEOD-2014-BakhshandehKAYC #ontology

A Digital Preservation-Legal Ontology (MB, BKR, GA, SAY, AC, JLB), pp. 215–222.

SIGIR-2014-SeahBS #concept #image #named #social #summary

PRISM: concept-preserving social image search results summarization (BSS, SSB, AS), pp. 737–746.

SIGIR-2014-SiY #information retrieval #privacy #security

Privacy-preserving IR: when information retrieval meets privacy and security (LS, HY), p. 1295.

SIGIR-2014-ZhangWRS #performance #recommendation

Preference preserving hashing for efficient recommendation (ZZ, QW, LR, LS), pp. 183–192.

PPDP-2014-KranzS #compilation #domain-specific language #functional #integration #legacy #performance

Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems (JK, AS), pp. 187–198.

SAC-2014-A #authentication #health #mobile #network #privacy #research #student

Student research abstract: a privacy-preserving profile matching based authentication system for mobile health networks (DHA), pp. 196–197.

SAC-2014-BaeLKWP #network #privacy #social

Analyzing network privacy preserving methods: a perspective of social network characteristics (DHB, JML, SWK, YW, YP), pp. 331–332.

SAC-2014-BasuCKMVG0M #feedback #privacy #social

Privacy preserving trusted social feedback (AB, JCC, SK, SM, JV, GG, JZ, YM), pp. 1706–1711.

SAC-2014-PetrlicLS #privacy

Privacy-preserving reputation management (RP, SL, CS), pp. 1712–1718.

SAC-2014-PetroccoCPE #performance

Hiding user content interest while preserving P2P performance (RP, MC, JAP, DHJE), pp. 501–508.

FSE-2014-MirakhorliFGWC #architecture #detection #monitoring #named

Archie: a tool for detecting, monitoring, and preserving architecturally significant code (MM, AF, AG, MW, JCH), pp. 739–742.

LICS-CSL-2014-BenediktCB #effectiveness #logic

Effective interpolation and preservation in guarded logics (MB, BtC, MVB), p. 10.

LICS-CSL-2014-HarwathHS #bound #composition #theorem

Preservation and decomposition theorems for bounded degree structures (FH, LH, NS), p. 10.

LICS-CSL-2014-LiangFS #composition #concurrent #refinement #source code #verification

Compositional verification of termination-preserving refinement of concurrent programs (HL, XF, ZS), p. 10.

ASE-2013-KehrerKT #version control

Consistency-preserving edit scripts in model versioning (TK, UK, GT), pp. 191–201.

ASE-2013-Mirakhorli #architecture #implementation #visualisation

Preventing erosion of architectural tactics through their strategic implementation, preservation, and visualization (MM), pp. 762–765.

DATE-2013-YuehCM #architecture #quality

Perceptual quality preserving SRAM architecture for color motion pictures (WY, MC, SM), pp. 103–108.

DocEng-2013-HoverM

Interchanging and preserving presentation recordings (KMH, MM), pp. 277–280.

ICDAR-2013-ZaraiLDW

Integrating Copies Obtained from Old and New Preservation Efforts (YZ, TL, ND, LW), pp. 47–51.

SIGMOD-2013-BonomiXL #integration #named #privacy

LinkIT: privacy preserving record linkage and integration via transformations (LB, LX, JJL), pp. 1029–1032.

SIGMOD-2013-LinK #estimation #privacy #statistics

Information preservation in statistical privacy and bayesian estimation of unattributed histograms (BRL, DK), pp. 677–688.

VLDB-2013-LongWGJ

Direction-Preserving Trajectory Simplification (CL, RCWW, HVJ), pp. 949–960.

VLDB-2013-ZhangWYMC #integration #lightweight #peer-to-peer #privacy

Lightweight Privacy-Preserving Peer-to-Peer Data Integration (YZ, WKW, SMY, NM, DWC), pp. 157–168.

TACAS-2013-ChristHN #proving

Proof Tree Preserving Interpolation (JC, JH, AN), pp. 124–138.

TACAS-2013-WijsE #performance

Efficient Property Preservation Checking of Model Refinements (AW, LE), pp. 565–579.

DLT-J-2012-LehtinenO13 #context-free grammar #morphism

Homomorphisms Preserving Deterministic Context-Free Languages (TL, AO), pp. 1049–1066.

DLT-2013-Shur #anti #finite #order

Languages with a Finite Antidictionary: Growth-Preserving Transformations and Available Orders of Growth (AMS), pp. 445–457.

ICALP-v1-2013-BravermanRWY

Direct Product via Round-Preserving Compression (MB, AR, OW, AY), pp. 232–243.

CHI-2013-CafaroPLRR #exclamation #interactive

I see you there!: developing identity-preserving embodied interaction for museum exhibits (FC, AP, LL, JR, JR), pp. 1911–1920.

CHI-2013-FlatlaRGG13a #automation #named

SPRWeb: preserving subjective responses to website colour schemes through automatic recolouring (DRF, KR, CG, KZG), pp. 2069–2078.

CAiSE-2013-BarhamgiBOCCMT #execution #privacy

Secure and Privacy-Preserving Execution Model for Data Services (MB, DB, SO, NCB, FC, MM, HT), pp. 35–50.

CIKM-2013-TianCZ #approach #database #hybrid #mobile #privacy #query

A hybrid approach for privacy-preserving processing of knn queries in mobile database systems (ST, YC, QZ), pp. 1161–1164.

ICML-c3-2013-HwangGS #categorisation #semantics #visual notation

Analogy-preserving Semantic Embedding for Visual Object Categorization (SJH, KG, FS), pp. 639–647.

ICML-c3-2013-KimS #approximate #modelling #topic

Manifold Preserving Hierarchical Topic Models for Quantization and Approximation (MK, PS), pp. 1373–1381.

KDD-2013-JohnsonS #data analysis #privacy

Privacy-preserving data exploration in genome-wide association studies (AJ, VS), pp. 1079–1087.

KDD-2013-WuNTWXX #framework #privacy

A privacy preserving framework for managing vehicle data in road pricing systems (HW, WSN, KLT, WW, SX, MX), pp. 1427–1435.

KDIR-KMIS-2013-BachmannNMBAC #information management #process #safety

Preservation and Redeployment of Sensor Acquisition Processes from a Dam Safety Information System (AB, MAN, HM, JB, GA, AC), pp. 490–495.

SIGIR-2013-MoranLO

Neighbourhood preserving quantisation for LSH (SM, VL, MO), pp. 1009–1012.

QAPL-2013-GazeauMP #difference #privacy #semantics

Preserving differential privacy under finite-precision semantics (IG, DM, CP), pp. 1–18.

SAC-PL-J-2010-RodriguesNPM13 #semantics

Preserving the original MPI semantics in a virtualized processor environment (ERR, POAN, JP, CLM), pp. 412–421.

ASPLOS-2013-WangW #hardware #named #optimisation #performance

TSO_ATOMICITY: efficient hardware primitive for TSO-preserving region optimizations (CW, YW), pp. 509–520.

CAV-2013-CernyHRRT #concurrent #performance #semantics #synthesis

Efficient Synthesis for Concurrency by Semantics-Preserving Transformations (PC, TAH, AR, LR, TT), pp. 951–967.

ASE-2012-Yamamoto #refinement

Property-preserving program refinement (YY), pp. 398–401.

DAC-2012-ShojaeiDR #integer #programming

Confidentiality preserving integer programming for global routing (HS, AD, PR), pp. 709–716.

SIGMOD-2012-FanLWW #graph #query

Query preserving graph compression (WF, JL, XW, YW), pp. 157–168.

SIGMOD-2012-MohanTSSC #data analysis #named #privacy

GUPT: privacy preserving data analysis made easy (PM, AT, ES, DS, DEC), pp. 349–360.

VLDB-2012-AgrawalAW #in the cloud #perspective #privacy

Secure and Privacy-Preserving Data Services in the Cloud: A Data Centric View (DA, AEA, SW), pp. 2028–2029.

VLDB-2012-TerrovitisLMS #privacy

Privacy Preservation by Disassociation (MT, JL, NM, SS), pp. 944–955.

CSMR-2012-BarateiroDNS #challenge #lifecycle

Digital Preservation Challenges on Software Life Cycle (JB, DD, MAN, SS), pp. 487–490.

ICSM-2012-OuniKSH #refactoring #search-based #semantics #towards

Search-based refactoring: Towards semantics preservation (AO, MK, HAS, MSH), pp. 347–356.

DLT-2012-LehtinenO #context-free grammar #morphism

Homomorphisms Preserving Deterministic Context-Free Languages (TL, AO), pp. 154–165.

ICALP-v1-2012-FellowsKRS #approximate

Parameterized Approximation via Fidelity Preserving Transformations (MRF, AK, FAR, HS), pp. 351–362.

ICALP-v1-2012-KrauthgamerZ #using

Preserving Terminal Distances Using Minors (RK, TZ), pp. 594–605.

IFM-2012-DiaconescuLPSS #interactive

Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems (DD, IL, LP, KS, GS), pp. 221–236.

ICGT-2012-AnjorinST #graph grammar

Construction of Integrity Preserving Triple Graph Grammars (AA, AS, GT), pp. 356–370.

ICGT-2012-GieseL #automation #behaviour #invariant #model transformation #towards #verification

Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (HG, LL), pp. 249–263.

ICEIS-J-2012-BanosBM #challenge #paradigm

Blog Preservation: Current Challenges and a New Paradigm (VB, NB, YM), pp. 29–51.

ICEIS-v1-2012-Manolopoulos #roadmap

Trends in Blog Preservation (VB, NB, YM).

CIKM-2012-BonomiXCF #privacy

Frequent grams based embedding for privacy preserving record linkage (LB, LX, RC, BCMF), pp. 1597–1601.

CIKM-2012-ChenLTH

Information preservation in static index pruning (RCC, CJL, CMT, JH), pp. 2487–2490.

CIKM-2012-VlachosWS #clustering

Right-protected data publishing with hierarchical clustering preservation (MV, AW, JS), pp. 654–663.

CIKM-2012-YaoC #locality #matrix

Accelerating locality preserving nonnegative matrix factorization (GY, DC), pp. 2271–2274.

ICML-2012-ShiSHH #question #random

Is margin preserved after random projection? (QS, CS, RH, AvdH), p. 86.

ICPR-2012-BaoSYA #framework

An edge-preserving filtering framework for visibility restoration (LB, YS, QY, NA), pp. 384–387.

ICPR-2012-CarliniF

A Semi-Lagrangian scheme for area preserving flows (EC, RF), pp. 2029–2033.

ICPR-2012-DasR #documentation #image #novel #quality

A novel scheme of orientation and scale mapped RDC (OS-RDC) to improve compression in document images ensuring quality preservation (AD, RR), pp. 641–644.

GPCE-2012-AxelsenK #java #performance #semantics #text-to-text

Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code (EWA, SK), pp. 50–59.

SAC-2012-BasuVDK #case study #collaboration #performance #privacy

Feasibility of a privacy preserving collaborative filtering scheme on the Google App Engine: a performance case study (AB, JV, TD, HK), pp. 447–452.

LDTA-2012-JongeV #refactoring

A language generic solution for name binding preservation in refactorings (MdJ, EV), p. 2.

ICLP-2012-NovelliVPD #architecture #named

LOG-IDEAH: ASP for Architectonic Asset Preservation (VN, MDV, JAP, DD), pp. 393–403.

ICST-2012-TranP #framework #graph transformation #towards #verification

Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations (HNT, CP), pp. 946–953.

LICS-2012-ChenM #algebra #category theory #constraints #quantifier #theorem

An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction (HC, MM), pp. 215–224.

DATE-2011-NejadMG #quality

An FPGA bridge preserving traffic quality of service for on-chip network-based systems (ABN, MEM, KG), pp. 425–430.

ICDAR-2011-DuL #identification #privacy

Preservative License Plate De-identification for Privacy Protection (LD, HL), pp. 468–472.

ICDAR-2011-YamazoeEYT #approach #finite #recognition #transducer

Hypothesis Preservation Approach to Scene Text Recognition with Weighted Finite-State Transducer (TY, ME, TY, KT), pp. 359–363.

PODS-2011-AntonopoulosMN #complexity #xml

The complexity of text-preserving XML transformations (TA, WM, FN), pp. 247–258.

PODS-2011-HeBWN #complexity #on the #privacy

On the complexity of privacy-preserving complex event processing (YH, SB, DW, JFN), pp. 165–174.

VLDB-2011-SrinivasanB #named #realtime

Citrusleaf: A Real-Time NoSQL DB which Preserves ACID (VS, BB), pp. 1340–1350.

ICSM-2011-MihaliczaPG #c++ #profiling

Type-preserving heap profiler for C++ (JM, ZP, AG), pp. 457–466.

PLDI-2011-BudiLJL #behaviour #debugging #named

kb-anonymity: a model for anonymized behaviour-preserving test and debugging data (AB, DL, LJ, L), pp. 447–457.

PLDI-2011-MarinoSMMN #compilation

A case for an SC-preserving compiler (DM, AS, TDM, MM, SN), pp. 199–210.

STOC-2011-Smith #convergence #estimation #privacy #statistics

Privacy-preserving statistical estimation with optimal convergence rates (AS), pp. 813–822.

AFL-2011-Blanchet-SadriNT #on the #word

On Operations Preserving Primitivity of Partial Words with One Hole (FBS, SN, AT), pp. 93–107.

ICALP-v2-2011-GoodrichM #outsourcing #privacy #ram #simulation

Privacy-Preserving Access of Outsourced Data via Oblivious RAM Simulation (MTG, MM), pp. 576–587.

ICALP-v2-2011-GotsmanY #abstraction

Liveness-Preserving Atomicity Abstraction (AG, HY), pp. 453–465.

ICFP-2011-AhmedB #continuation #multi #semantics

An equivalence-preserving CPS translation via multi-language semantics (AA, MB), pp. 431–444.

HIMI-v1-2011-NasozBPR #metadata

A User-Centric Metadata Creation Tool for Preserving the Nation’s Ecological Data (FN, RCB, CJP, DJR), pp. 122–131.

HIMI-v2-2011-UesakaIY #visual notation

A Digital Archive System for Preserving Audio and Visual Space (MU, YI, TY), pp. 103–110.

CIKM-2011-BanerjeeC #distributed #feature model #privacy #using

Privacy preserving feature selection for distributed data using virtual dimension (MB, SC), pp. 2281–2284.

CIKM-2011-GevaV #documentation #named

TOPSIG: topology preserving document signatures (SG, CMDV), pp. 333–338.

CIKM-2011-HsuC #analysis #component #independence #privacy

Privacy preservation by independent component analysis and variance control (CMH, MSC), pp. 925–930.

CIKM-2011-LiLSG #community #named #online #performance #privacy #recommendation #social

YANA: an efficient privacy-preserving recommender system for online social communities (DL, QL, LS, NG), pp. 2269–2272.

CIKM-2011-TangWLMP #network #privacy

Privacy preserving indexing for eHealth information networks (YT, TW, LL, SM, BP), pp. 905–914.

ICML-2011-BuffoniCGU #learning #standard

Learning Scoring Functions with Order-Preserving Losses and Standardized Supervision (DB, CC, PG, NU), pp. 825–832.

ICML-2011-QuadriantoL #learning #multi

Learning Multi-View Neighborhood Preserving Projections (NQ, CHL), pp. 425–432.

ICML-2011-ShiehHA

Tree preserving embedding (AS, TH, EA), pp. 753–760.

ICML-2011-VattaniCG #personalisation #rank

Preserving Personalized Pagerank in Subgraphs (AV, DC, MG), pp. 793–800.

KDD-2011-TaiYYC #network #privacy #social

Privacy-preserving social network publication against friendship attacks (CHT, PSY, DNY, MSC), pp. 1262–1270.

KEOD-2011-AkamaN

Meaning-preserving Skolemization (KA, EN), pp. 322–327.

KMIS-2011-SaharkhizS #multi #network #privacy #social

A Method for Preserving Privacy in Published Multi-relational Social Networks (AS, HRS), pp. 341–346.

ICMT-2011-BeckerLDBG #development #refactoring #rule-based

Iterative Development of Consistency-Preserving Rule-Based Refactorings (BB, LL, JD, SB, HG), pp. 123–137.

SAC-2011-AhluwaliaGCY #mining #privacy

Target-based privacy preserving association rule mining (MA, AG, ZC, YY), pp. 962–967.

SAC-2011-RayNDF #interactive #privacy #verification

Verification of data pattern for interactive privacy preservation model (SR, MFN, SD, BCMF), pp. 1716–1723.

SLE-2011-JongeV #algorithm #layout #refactoring

An Algorithm for Layout Preservation in Refactoring Transformations (MdJ, EV), pp. 40–59.

SPLC-2011-HutchessonM #effectiveness #product line #towards

Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations (SH, JAM), pp. 55–64.

RTA-2011-AotoT #confluence #proving #term rewriting

A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems (TA, YT), pp. 91–106.

RTA-2011-DurandS #bound #linear

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

RTA-2011-StumpKO #confluence #problem

Type Preservation as a Confluence Problem (AS, GK, REHO), pp. 345–360.

DATE-2010-El-MoselhyD #order #reduction #statistics #using

Variation-aware interconnect extraction using statistical moment preserving model order reduction (TAEM, LD), pp. 453–458.

HT-2010-CartledgeN #analysis #graph

Analysis of graphs for digital preservation suitability (CLC, MLN), pp. 109–118.

SIGMOD-2010-ChengFL #morphism #named #network #privacy

K-isomorphism: privacy preserving network publication against structural attacks (JC, AWCF, JL), pp. 459–470.

SIGMOD-2010-ElmeleegyOEA #integration #peer-to-peer #privacy

Preserving privacy and fairness in peer-to-peer data integration (HE, MO, AKE, AMA), pp. 759–770.

SIGMOD-2010-NabeelSZB #named #privacy

Mask: a system for privacy-preserving policy-based access to published content (MN, NS, JZ, EB), pp. 1239–1242.

SIGMOD-2010-WongMC #privacy

Non-homogeneous generalization in privacy preserving data publishing (WKW, NM, DWLC), pp. 747–758.

FASE-2010-JacksonSBK #model transformation #reuse

Reusing Model Transformations While Preserving Properties (EKJ, WS, DB, GK), pp. 44–58.

PLDI-2010-ChenCS #compilation #security #verification

Type-preserving compilation of end-to-end verification of security enforcement (JC, RC, NS), pp. 412–423.

IFM-2010-HulsbuschKRSSW #comparison #model transformation #semantics

Showing Full Semantics Preservation in Model Transformation — A Comparison of Techniques (MH, BK, AR, MS, CS, HW), pp. 183–198.

GT-VMT-2010-BottoniFP #constraints #model transformation

Preserving constraints in horizontal model transformations (PB, AF, FPP).

ICGT-2010-Khomenko #behaviour

A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes (VK), pp. 75–90.

CHI-2010-WilliamsonRSMJB #privacy #social

Social gravity: a virtual elastic tether for casual, privacy-preserving pedestrian rendezvous (JW, SR, CDS, RMS, MJ, SAB), pp. 1485–1494.

AdaEurope-2010-MezzettiPV #ada

Preservation of Timing Properties with the Ada Ravenscar Profile (EM, MP, TV), pp. 153–166.

CIKM-2010-FreniVMBJ #network #privacy

Preserving location and absence privacy in geo-social networks (DF, CRV, SM, CB, CSJ), pp. 309–318.

CIKM-2010-ShangCSCH #towards

(k, P)-anonymity: towards pattern-preserving anonymity of time-series data (XS, KC, LS, GC, TH), pp. 1333–1336.

ICPR-2010-BouboulisTS #image #kernel

Edge Preserving Image Denoising in Reproducing Kernel Hilbert Spaces (PB, ST, KS), pp. 2660–2663.

ICPR-2010-Giachetti #image

Irradiance Preserving Image Interpolation (AG), pp. 2218–2221.

ICPR-2010-GrazziniS #image

Iterative Ramp Sharpening for Structure/Signature-Preserving Simplification of Images (JG, PS), pp. 4585–4588.

ICPR-2010-HuiWX #linear

Globally-Preserving Based Locally Linear Embedding (KH, CW, BX), pp. 531–534.

ICPR-2010-TakahashiK #approximate #classification

Margin Preserved Approximate Convex Hulls for Classification (TT, MK), pp. 4052–4055.

ICPR-2010-YangGG #analysis #locality #recognition

Extended Locality Preserving Discriminant Analysis for Face Recognition (LY, WG, XG), pp. 539–542.

ICPR-2010-ZhanY #clustering

Cluster Preserving Embedding (YZ, JY), pp. 621–624.

KDD-2010-FangNF

Discovering significant relaxed order-preserving submatrices (QF, WN, JF), pp. 433–442.

KDD-2010-JinZZD #privacy

Versatile publishing for privacy preservation (XJ, MZ, NZ, GD), pp. 353–362.

KDD-2010-LinC #outsourcing #privacy #random

Privacy-preserving outsourcing support vector machines with random transformation (KPL, MSC), pp. 363–372.

KDD-2010-YangNSS #data mining #mining #privacy

Collusion-resistant privacy-preserving data mining (BY, HN, IS, JS), pp. 483–492.

KEOD-2010-Brunsmann #collaboration #design #ontology #semantics #social

The Design of a Social Semantic Search Engine — Preserving Archived Collaborative Engineering Knowledge with Ontology Matching (JB), pp. 200–205.

KMIS-2010-KadhemAK #database #encryption #order #performance #relational

A Secure and Efficient Order Preserving Encryption Scheme for Relational Databases (HK, TA, HK), pp. 25–35.

RecSys-2010-BaglioniBBCFVP #lightweight #mobile #privacy #recommendation

A lightweight privacy preserving SMS-based recommendation system for mobile users (EB, LB, LB, UMC, LF, AV, GP), pp. 191–198.

PPDP-2010-Martinez #concurrent #constraints #linear #programming #semantics

Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules (TM), pp. 57–66.

SAC-2010-ChakrabartiCGM #analysis #linear #privacy

Privacy preserving linear discriminant analysis from perturbed data (SC, ZC, AG, SM), pp. 610–615.

SAC-2010-CuzzocreaB #distributed #framework #multi #privacy #xml

A secure multiparty computation privacy preserving OLAP framework over distributed XML data (AC, EB), pp. 1666–1673.

SAC-2010-DAngeloVZ #privacy #web

Content cloaking: preserving privacy with Google Docs and other web applications (GD, FV, SZ), pp. 826–830.

ICSE-2010-SteimannT #behaviour #constraints #generative

From behaviour preservation to behaviour modification: constraint-based mutant generation (FS, AT), pp. 425–434.

CSL-2010-SternagelT #dependence #proving #termination

Signature Extensions Preserve Termination — An Alternative Proof via Dependency Pairs (CS, RT), pp. 514–528.

DATE-2009-BaumgartnerM #liveness #scalability

Scalable liveness checking via property-preserving transformations (JB, HM), pp. 1680–1685.

SIGMOD-2009-BinnigHF #in memory #memory management #string

Dictionary-based order-preserving string compression for main memory column stores (CB, SH, FF), pp. 283–296.

SIGMOD-2009-DasguptaZDC #database #how #privacy #question #why

Privacy preservation of aggregates in hidden databases: why and how? (AD, NZ, GD, SC), pp. 153–164.

SIGMOD-2009-McSherry #data analysis #framework #privacy #query

Privacy integrated queries: an extensible platform for privacy-preserving data analysis (FM), pp. 19–30.

VLDB-2009-ZouCO09a #framework #morphism #named #network #privacy

K-Automorphism: A General Framework For Privacy Preserving Network Publication (LZ, LC, MTÖ), pp. 946–957.

ICALP-v1-2009-ChekuriK #graph #reduction

A Graph Reduction Step Preserving Element-Connectivity and Applications (CC, NK), pp. 254–265.

LATA-2009-PardubskaPO #automaton #communication #correctness #on the #parallel

On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata (DP, MP, FO), pp. 660–671.

FM-2009-Eshuis #petri net

Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way (RE), pp. 239–255.

GT-VMT-2009-MazanekM #diagrams #editing #generative

Generating Correctness-Preserving Editing Operations for Diagram Editors (SM, MM), pp. 38–49.

CHI-2009-OdomPSB #comprehension #design #interactive #why

Understanding why we preserve some things and discard others in the context of interaction design (WO, JP, ES, EB), pp. 1053–1062.

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.

CIKM-2009-ZhuCZWWC #algorithm #ranking

A general magnitude-preserving boosting algorithm for search ranking (CZ, WC, ZAZ, GW, DW, ZC), pp. 817–826.

ICML-2009-ShawJ

Structure preserving embedding (BS, TJ), pp. 937–944.

KDIR-2009-Zhan #collaboration #data mining #mining #privacy

Privacy-Preserving Collaborative Data Mining (JZ), p. 15.

KEOD-2009-Zhan #collaboration #data mining #mining #privacy

Privacy-Preserving Collaborative Data Mining (JZ), p. 15.

KMIS-2009-Zhan #collaboration #data mining #mining #privacy

Privacy-Preserving Collaborative Data Mining (JZ), p. 15.

MLDM-2009-ZhuFF #classification #privacy

Preserving Privacy in Time Series Data Classification by Discretization (YZ, YF, HF), pp. 53–67.

RecSys-2009-ShokriPTH #collaboration #distributed #privacy

Preserving privacy in collaborative filtering through distributed aggregation of offline profiles (RS, PP, GT, JPH), pp. 157–164.

SEKE-2009-ChaoS #clustering #data type #privacy

Privacy-preserving Clustering of Data Streams (CMC, CCS), pp. 530–535.

SAC-2009-BeckerR #evaluation #modelling #off the shelf #requirements

Requirements modelling and evaluation for digital preservation: a COTS selection method based on controlled experimentation (CB, AR), pp. 401–402.

SAC-2009-PereiraTLP #network

Preservation of ordering in a network of brokers (CMMP, CACT, DCL, MdGCP), pp. 88–89.

SAC-2009-Vaidya #linear #privacy #programming

Privacy-preserving linear programming (JV), pp. 2002–2007.

SAC-2009-XuLQ #predict #privacy

Privacy preserving churn prediction (SX, SL, MQ), pp. 1610–1614.

ICSE-2009-CasoBGU #abstraction #contract #finite #using #validation

Validation of contracts using enabledness preserving finite state abstractions (GdC, VAB, DG, SU), pp. 452–462.

DATE-2008-VillenaS #algorithm #named #order #reduction #scalability

SPARE — a Scalable algorithm for passive, structure preserving, Parameter-Aware model order REduction (JFV, LMS), pp. 586–591.

SIGMOD-2008-ChowMH #monitoring #named #network #privacy

Tinycasper: a privacy-preserving aggregate location monitoring system in wireless sensor networks (CYC, MFM, TH), pp. 1307–1310.

SIGMOD-2008-LiTX #privacy #proximity

Preservation of proximity privacy in publishing numerical sensitive data (JL, YT, XX), pp. 473–486.

SIGMOD-2008-XiaoT #analysis #privacy #statistics

Dynamic anonymization: accurate statistical analysis with privacy preservation (XX, YT), pp. 107–120.

VLDB-2008-BuFWCL #composition #privacy

Privacy preserving serial data publishing by role composition (YB, AWCF, RCWW, LC, JL), pp. 845–856.

VLDB-2008-TerrovitisMK #privacy

Privacy-preserving anonymization of set-valued data (MT, NM, PK), pp. 115–125.

VLDB-2008-ZerrN #distributed #documentation #framework #privacy

Privacy preserving document indexing infrastructure for a distributed environment (SZ, WN), pp. 1638–1643.

FASE-2008-AalstDGHRM #modelling #process

Correctness-Preserving Configuration of Business Process Models (WMPvdA, MD, FG, AHMtH, MLR, JM), pp. 46–61.

FoSSaCS-2008-GodoyMT #decidability #morphism

Classes of Tree Homomorphisms with Decidable Preservation of Regularity (GG, SM, ST), pp. 127–141.

PEPM-2008-DjokoDF #aspect-oriented

Aspects preserving properties (SDD, RD, PF), pp. 135–145.

PLDI-2008-ChenHPECCP #compilation #object-oriented #optimisation #scalability

Type-preserving compilation for large-scale optimizing object-oriented compilers (JC, CH, FP, ME, JC, DC, PP), pp. 183–192.

AFL-2008-JurgensenM #morphism

Homomorphisms Preserving Types of Density (HJ, IM), pp. 183–194.

ICALP-B-2008-GomezGP #commutative #question

When Does Partial Commutative Closure Preserve Regularity? (ACG, GG, JÉP), pp. 209–220.

LATA-2008-Becker #self

Transformations and Preservation of Self-assembly Dynamics through Homotheties (FB), pp. 101–112.

LATA-2008-Leupold #on the #string #term rewriting

On Regularity-Preservation by String-Rewriting Systems (PL), pp. 345–356.

SEFM-2008-BartheKPS #hybrid #proving #verification

Preservation of Proof Pbligations for Hybrid Verification Methods (GB, CK, DP, JSF), pp. 127–136.

SEFM-2008-DjokoDF #aspect-oriented

Specialized Aspect Languages Preserving Classes of Properties (SDD, RD, PF), pp. 227–236.

ICFP-2008-AhmedB #equivalence

Typed closure conversion preserves observational equivalence (AA, MB), pp. 157–168.

ICFP-2008-GuillemetteM #compilation #haskell

A type-preserving compiler in Haskell (LJG, SM), pp. 75–86.

IFL-2008-BrasselF #functional #lazy evaluation #logic programming #source code

From Functional Logic Programs to Purely Functional Programs Preserving Laziness (BB, SF), pp. 25–42.

GT-VC-2007-ErmelE08 #animation #behaviour

Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (CE, HE), pp. 55–74.

ICGT-2008-RangelLKEB #behaviour #refactoring #using

Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (GR, LL, BK, HE, PB), pp. 242–256.

CIKM-2008-JurczykX #database #privacy

Privacy-preserving data publishing for horizontally partitioned databases (PJ, LX), pp. 1321–1322.

ICML-2008-SakumaKW #learning #privacy

Privacy-preserving reinforcement learning (JS, SK, RNW), pp. 864–871.

ICPR-2008-NguyenLV #2d #locality

Ridge Regression for Two Dimensional Locality Preserving Projection (NTN, WL, SV), pp. 1–4.

ICPR-2008-OhyamaNYN

Reversible data hiding of full color JPEG2000 compressed bit-stream preserving bit-depth information (SO, MN, KY, HN), pp. 1–4.

ICPR-2008-SubrahmanyamRAR #reduction

Edge-preserving unscented Kalman filter for speckle reduction (GRKSS, ANR, RA, GR), pp. 1–4.

ICPR-2008-WatanabeK #locality #multi

Locality preserving multi-nominal logistic regression (KW, TK), pp. 1–4.

KDD-2008-YuFRKRDL #analysis #privacy

Privacy-preserving cox regression for survival analysis (SY, GF, RR, SK, RBR, CDO, PL), pp. 1034–1042.

SEKE-2008-Chao #classification #data type #privacy

Privacy-preserving Classification of Data Streams (CMC), pp. 603–606.

SIGIR-2008-NieD #topic

Separate and inequal: preserving heterogeneity in topical authority flows (LN, BDD), pp. 443–450.

ECMDA-FA-2008-EngelsKRSSW #behaviour #model transformation #process #towards #uml

From UML Activities to TAAL — Towards Behaviour-Preserving Model Transformations (GE, AK, AR, MS, CS, HW), pp. 94–109.

ECMDA-FA-2008-OldevikH #aspect-oriented #diagrams #semantics #sequence chart

Semantics Preservation of Sequence Diagram Aspects (JO, ØH), pp. 215–230.

ECOOP-2008-ArtziKE #named

ReCrash: Making Software Failures Reproducible by Preserving Object States (SA, SK, MDE), pp. 542–565.

SAC-2008-BeckerRHST #xml

A generic XML language for characterising objects to support digital preservation (CB, AR, VH, JS, MT), pp. 402–406.

SAC-2008-DingMH #approach #refinement #specification #using

An approach for specification construction using property-preserving refinement patterns (JD, LM, XH), pp. 797–803.

SAC-2008-GrovPMI #component #concurrent #coordination

Preserving coordination properties when transforming concurrent system components (GG, RFP, GM, AI), pp. 126–127.

SAC-2008-HeSVA #privacy

Privacy-preserving link discovery (XH, BS, JV, NRA), pp. 909–915.

SAC-2008-HuangKV #challenge #privacy

Privacy preservation services: challenges and solutions (DH, VK, MV), pp. 2110–2115.

IJCAR-2008-BartheGP #java #proving #virtual machine

Preservation of Proof Obligations from Java to the Java Virtual Machine (GB, BG, MP), pp. 83–99.

LICS-2008-Duris #theorem

Hypergraph Acyclicity and Extension Preservation Theorems (DD), pp. 418–427.

DocEng-2007-ChaoGW #scalability

Preserving the aesthetics during non-fixed aspect ratio scaling of the digital border (HC, PG, AW), pp. 144–146.

DocEng-2007-TriebseesB #automation #documentation #embedded #migration #query #semantics #towards

Towards automatic document migration: semantic preservation of embedded queries (TT, UMB), pp. 209–218.

SIGMOD-2007-ScannapiecoFBE #privacy

Privacy preserving schema and data matching (MS, IF, EB, AKE), pp. 653–664.

SIGMOD-2007-XiaoT #dataset #named #privacy #towards

M-invariance: towards privacy preserving re-publication of dynamic datasets (XX, YT), pp. 689–700.

VLDB-2007-WongFWP #privacy

Minimality Attack in Privacy Preserving Data Publishing (RCWW, AWCF, KW, JP), pp. 543–554.

FASE-2007-EhrigEEHT #bidirectional #model transformation

Information Preserving Bidirectional Model Transformations (HE, KE, CE, FH, GT), pp. 72–86.

PLDI-2007-Chlipala #assembly #compilation #λ-calculus

A certified type-preserving compiler from λ calculus to assembly language (AC), pp. 54–65.

CIAA-2007-Volkov #automaton #partial order

Synchronizing Automata Preserving a Chain of Partial Orders (MVV), pp. 27–37.

DHM-2007-ZhaoL #3d #image #locality #orthogonal #using

Capturing 3D Human Motion from Monocular Images Using Orthogonal Locality Preserving Projection (XZ, YL), pp. 304–313.

EDOC-2007-Kerschbaum #benchmark #enterprise #metric #privacy

Building a Privacy-Preserving Benchmarking Enterprise System (FK), pp. 87–96.

CIKM-2007-CaiHZH #locality

Regularized locality preserving indexing via spectral regression (DC, XH, WVZ, JH), pp. 741–750.

ICML-2007-CortesMR #algorithm #ranking

Magnitude-preserving ranking algorithms (CC, MM, AR), pp. 169–176.

KDD-2007-WanNHL #privacy

Privacy-preservation for gradient descent methods (LW, WKN, SH, VCSL), pp. 775–783.

MLDM-2007-TanN #data mining #mining #privacy #probability #re-engineering

Generic Probability Density Function Reconstruction for Randomization in Privacy-Preserving Data Mining (VYFT, SKN), pp. 76–90.

RecSys-2007-BerkovskyEKR #collaboration #distributed #privacy

Enhancing privacy and preserving accuracy of a distributed collaborative filtering (SB, YE, TK, FR), pp. 9–16.

SIGIR-2007-SchuldtGOH #on the #retrieval

On the importance of preserving the part-order in shape retrieval (AS, BG, OO, OH), pp. 771–772.

LOPSTR-2007-FischerSTV #functional #lazy evaluation #partial evaluation #source code

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (SF, JS, ST, GV), pp. 74–89.

SAC-2007-LinL #mining #privacy #transaction

Privacy preserving itemset mining through fake transactions (JLL, JYCL), pp. 375–379.

SAC-2007-LongoG #protocol

A protocol to preserve a code of conduct (CL, PG), pp. 1579–1585.

LICS-2007-RabinST #correctness #performance #proving

Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications (MOR, RAS, CT), pp. 63–76.

RTA-2007-DurandS #bottom-up

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

CASE-2006-KwokHLF #image #multi #optimisation #using

Intensity-Preserving Contrast Enhancement for Gray-Level Images using Multi-objective Particle Swarm Optimization (NMK, QPH, DL, GF), pp. 21–26.

DAC-2006-WongC #matrix #performance

A fast passivity test for descriptor systems via structure-preserving transformations of Skew-Hamiltonian/Hamiltonian matrix pencils (NW, CKC), pp. 261–266.

DAC-2006-YuSH #analysis #grid #order #performance #power management #reduction

Fast analysis of structured power grid by triangularization based structure preserving model order reduction (HY, YS, LH), pp. 205–210.

DocEng-2006-TriebseesB #constraints #documentation #migration

Preservation-centric and constraint-based migration of digital documents (TT, UMB), pp. 59–61.

PODS-2006-KolahiL #dependence #normalisation #on the

On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF (SK, LL), pp. 114–123.

SIGMOD-2006-XiaoT #personalisation #privacy

Personalized privacy preservation (XX, YT), pp. 229–240.

VLDB-2006-XiaoT #effectiveness #named #privacy

Anatomy: Simple and Effective Privacy Preservation (XX, YT), pp. 139–150.

PLDI-2006-VechevYB #algorithm #concurrent #garbage collection

Correctness-preserving derivation of concurrent garbage collection algorithms (MTV, EY, DFB), pp. 341–353.

CIAA-2006-Maletti #question

Does o-Substitution Preserve Recognizability? (AM), pp. 150–161.

CIAA-2006-MesserschmidtMOP #complexity #correctness

Correctness Preservation and Complexity of Simple RL-Automata (HM, FM, FO, MP), pp. 162–172.

ICALP-v2-2006-AlurCZ #refinement

Preserving Secrecy Under Refinement (RA, PC, SZ), pp. 107–118.

ICFP-2006-DenielouL #abstraction #distributed #type system

Abstraction preservation and subtyping in distributed languages (PMD, JJL), pp. 286–297.

SOFTVIS-2006-Jucknath-JohnGT #development #layout #modelling

Evolutionary layout: preserving the mental map during the development of class models (SJJ, DG, GT), pp. 165–166.

CIKM-2006-CongFG

Annotation propagation revisited for key preserving views (GC, WF, FG), pp. 632–641.

CIKM-2006-KapoorPTT #database #distributed #mining #privacy

Privacy preserving sequential pattern mining in distributed databases (VK, PP, FT, MT), pp. 758–767.

CIKM-2006-VardeRRBMS #clustering #design #semantics

Designing semantics-preserving cluster representatives for scientific input conditions (ASV, EAR, CR, DCB, MM, RDSJ), pp. 708–717.

ICML-2006-LawrenceC #constraints #distance

Local distance preservation in the GP-LVM through back constraints (NDL, JQC), pp. 513–520.

ICPR-v2-2006-LahdenojaALP #parametricity #symmetry

A Shape-Preserving Non-parametric Symmetry Transform (OL, EA, ML, AP), pp. 373–377.

ICPR-v2-2006-MinS #estimation

Edge-preserving Simultaneous Joint Motion-Disparity Estimation (DBM, KS), pp. 74–77.

ICPR-v2-2006-ZhengL #analysis #component #kernel #learning #locality #problem

Regularized Locality Preserving Learning of Pre-Image Problem in Kernel Principal Component Analysis (WSZ, JHL), pp. 456–459.

ICPR-v3-2006-ArcelliBS #3d #set

A New Set of Topology Preserving Removal Operations in the 3D Space (CA, GSdB, LS), pp. 1055–1058.

ICPR-v3-2006-ChenY06a #adaptation #equation #image

A new adaptive diffusion equation for image noise removal and feature preservation (SC, XY), pp. 885–888.

ICPR-v3-2006-StelldingerL06b #3d #re-engineering

3D Object Digitization: Topology Preserving Reconstruction (PS, LJL), pp. 693–696.

ICPR-v4-2006-YuC06a #segmentation #statistics #using

Filament Preserving Segmentation for SAR Sea Ice Imagery Using a New Statistical Model (QY, DAC), pp. 849–852.

KDD-2006-AggarwalPZ #data mining #mining #on the #privacy

On privacy preservation against adversarial data mining (CCA, JP, BZ), pp. 510–516.

KDD-2006-BrickellS #performance

Efficient anonymity-preserving data collection (JB, VS), pp. 76–85.

KDD-2006-WongLFW #privacy

(alpha, k)-anonymity: an enhanced k-anonymity model for privacy preserving data publishing (RCWW, JL, AWCF, KW), pp. 754–759.

SAC-2006-AimeurBFO #privacy

Privacy-preserving demographic filtering (EA, GB, JMF, FSMO), pp. 872–878.

SAC-2006-AtzoriBGP #towards

Towards low-perturbation anonymity preserving pattern discovery (MA, FB, FG, DP), pp. 588–592.

SAC-2006-BaragliaLOSS #privacy #recommendation #web

A privacy preserving web recommender system (RB, CL, SO, MS, FS), pp. 559–563.

SAC-2006-GuoW #data mining #mining #on the #privacy

On the use of spectral filtering for privacy preserving data mining (SG, XW), pp. 622–626.

SAC-2006-YuJV #kernel #privacy #using

Privacy-preserving SVM using nonlinear kernels on horizontally partitioned data (HY, XJ, JV), pp. 603–610.

ISSTA-2006-ZhangKPWJMZ #analysis

The case for analysis preserving language transformation (XZ, LK, MP, SW, TJ, GM, LZ), pp. 191–202.

VMCAI-2006-RanzatoT #abstract interpretation

Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation (FR, FT), pp. 332–347.

WICSA-2005-TibermacineFS #architecture #component #development #process

Preserving Architectural Choices throughout the Component-based Software Development Process (CT, RF, SS), pp. 121–130.

DAC-2005-ZhangCHGC #analysis #polynomial #statistics

Correlation-preserved non-gaussian statistical timing analysis with quadratic timing model (LZ, WC, YH, JAG, CCPC), pp. 83–88.

DAC-2005-ZhouMA #reduction

Structure preserving reduction of frequency-dependent interconnect (QZ, KM, ACA), pp. 939–942.

PODS-2005-Gehrke #analysis #modelling #privacy #tutorial

Models and methods for privacy-preserving data publishing and analysis: invited tutorial (JG), p. 316.

SIGMOD-2005-AgrawalST #privacy

Privacy Preserving OLAP (RA, RS, DT), pp. 251–262.

VLDB-2005-BarbosaFM #design #information management #xml

Designing Information-Preserving Mapping Schemes for XML (DB, JF, AOM), pp. 109–120.

VLDB-2005-BohannonFFN #xml

Information Preserving XML Schema Embedding (PB, WF, MF, PPSN), pp. 85–96.

VLDB-2005-ZhangZ #distributed #information management #privacy

Distributed Privacy Preserving Information Sharing (NZ, WZ), pp. 889–900.

TACAS-2005-RanzatoT #abstract interpretation #algorithm #refinement

An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation (FR, FT), pp. 140–156.

CIAA-2005-BaillyCS #behaviour #communication #component #composition #contract

Component Composition Preserving Behavioural Contracts Based on Communication Traces (AB, MC, ISR), pp. 54–65.

ICALP-2005-AtseriasDG #finite

Preservation Under Extensions on Well-Behaved Finite Structures (AA, AD, MG), pp. 1437–1449.

ICEIS-v3-2005-BassilRKKR #process

Preserving the Context of Interrupted Business Process Activities (SB, SR, RKK, PGK, MR), pp. 38–45.

CIKM-2005-FanLHB #approach #novel #privacy #video

A novel approach for privacy-preserving video sharing (JF, HL, MSH, EB), pp. 609–616.

ICML-2005-HeCM #analysis #locality #statistics

Statistical and computational analysis of locality preserving projection (XH, DC, WM), pp. 281–288.

KDD-2005-JagannathanW #clustering #distributed #privacy

Privacy-preserving distributed k-means clustering over arbitrarily partitioned data (GJ, RNW), pp. 593–599.

KDD-2005-YangZW

Anonymity-preserving data collection (ZY, SZ, RNW), pp. 334–343.

KDD-2005-ZhangWZ #classification #privacy

A new scheme on privacy-preserving data classification (NZ, SW, WZ), pp. 374–383.

SIGIR-2005-CaiH #locality #orthogonal

Orthogonal locality preserving indexing (DC, XH), pp. 3–10.

SAC-2005-ZhangM #learning #privacy

Privacy preserving learning in negotiation (SZ, FM), pp. 821–825.

LICS-2005-Rossman

Existential Positive Types and Preservation under Homomorphisisms (BR), pp. 467–476.

DAC-2004-WongBK #performance #reduction

Passivity-preserving model reduction via a computationally efficient project-and-balance scheme (NW, VB, CKK), pp. 369–374.

DATE-v1-2004-LiPZSSS

State-Preserving vs. Non-State-Preserving Leakage Control in Caches (YL, DP, YZ, KS, MRS, KS), pp. 22–29.

HT-2004-MarshallG #hypermedia #requirements

Saving private hypertext: requirements and pragmatic dimensions for preservation (CCM, GG), pp. 130–138.

PODS-2004-AtseriasDK #morphism #on the #query

On Preservation under Homomorphisms and Unions of Conjunctive Queries (AA, AD, PGK), pp. 319–329.

SIGMOD-2004-AgrawalKSX #encryption

Order-Preserving Encryption for Numeric Data (RA, JK, RS, YX), pp. 563–574.

VLDB-2004-HoreMT #privacy #query

A Privacy-Preserving Index for Range Queries (BH, SM, GT), pp. 720–731.

ESOP-2004-RanzatoT #abstract interpretation

Strong Preservation as Completeness in Abstract Interpretation (FR, FT), pp. 18–32.

IFM-2004-SeceleanuP #approach #design #uml

Constituent Elements of a Correctness-Preserving UML Design Approach (TS, JP), pp. 227–246.

CSCW-2004-LiL #editing

Preserving operation effects relation in group editors (DL, RL), pp. 457–466.

ICPR-v2-2004-KoskelaLO #clustering #image #metric #retrieval

Entropy-Based Measures for Clustering and SOM Topology Preservation Applied to Content-Based Image Indexing and Retrieval (MK, JL, EO), pp. 1005–1009.

ICPR-v2-2004-OkataniS #image

Range Image Registration Preserving Local Structures of Object Surfaces (ISO, AS), pp. 224–228.

ICPR-v2-2004-TremblaisA #algorithm #detection #multi #performance

A Fast Multiscale Edge Detection Algorithm Based on a New Edge Preserving PDE Resolution Scheme (BT, BA), pp. 811–814.

ICPR-v4-2004-Syeda-Mahmood #clustering

Order-Preserving Clustering and Its Application to Gene Expression Data (TFSM), pp. 637–640.

KDD-2004-SanilKLR #distributed #modelling #privacy

Privacy preserving regression modelling via distributed computation (APS, AFK, XL, JPR), pp. 677–682.

KDD-2004-WrightY #distributed #network #privacy #semistructured data

Privacy-preserving Bayesian network structure computation on distributed heterogeneous data (RNW, ZY), pp. 713–718.

KDD-2004-ZhuL #data mining #mining #privacy

Optimal randomization for privacy preserving data mining (MYZ, LL), pp. 761–766.

SIGIR-2004-HeCLM #documentation #locality #representation

Locality preserving indexing for document representation (XH, DC, HL, WYM), pp. 96–103.

PADL-2004-AtanassowCJ #haskell #named #xml

UUXML: A Type-Preserving XML Schema-Haskell Data Binding (FA, DC, JJ), pp. 71–85.

LDTA-2004-LohmannRS #attribute grammar #migration #recursion #semantics

Semantics-preserving Migration of Semantic Rules During Left Recursion Removal in Attribute Grammars (WL, GR, MS), pp. 133–148.

HPDC-2004-GilburdSW #data mining #mining #privacy

Privacy-Preserving Data Mining on Data Grids in the Presence of Malicious Participants (BG, AS, RW), pp. 225–234.

FATES-2004-Frutos-EscrigG #consistency

Preserving Contexts for Soft Conformance Relation (DdFE, CGR), pp. 33–48.

LICS-2004-BaldamusPV #π-calculus

Sπ Calculus Translated to ?--Calculus Preserving May-Tests (MB, JP, BV), pp. 22–31.

VMCAI-2004-BartheBR #compilation #security

Security Types Preserving Compilation: (Extended Abstract) (GB, AB, TR), pp. 2–15.

DocEng-2003-RodigBSS #implementation

Preservation of digital publications: an OAIS extension and implementation (PR, UMB, JS, LS), pp. 131–139.

PODS-2003-DinurN #privacy

Revealing information while preserving privacy (ID, KN), pp. 202–210.

PODS-2003-EvfimievskiGS #data mining #mining #privacy

Limiting privacy breaches in privacy preserving data mining (AVE, JG, RS), pp. 211–222.

PODS-2003-Gross-Amblard #database #documentation #relational #xml

Query-preserving watermarking of relational databases and XML documents (DGA), pp. 191–201.

VLDB-2003-BawaBA #documentation #network #privacy

Privacy-Preserving Indexing of Documents on the Network (MB, RJBJ, RA), pp. 922–933.

DLT-2003-HofbauerW #string #term rewriting

Deleting String Rewriting Systems Preserve Regularity (DH, JW), pp. 337–348.

KDD-2003-DuZ #data mining #mining #privacy #random #using

Using randomized response techniques for privacy-preserving data mining (WD, JZZ), pp. 505–510.

KDD-2003-VaidyaC #clustering #privacy

Privacy-preserving k-means clustering over vertically partitioned data (JV, CC), pp. 206–215.

UML-2003-Nunes #contract #ocl

An OCL Extension for Low-Coupling Preserving Contracts (IN), pp. 310–324.

CC-2003-LeagueST #compilation #java #precise

Precision in Practice: A Type-Preserving Java Compiler (CL, ZS, VT), pp. 106–120.

SOSP-2003-ManiatisRRBGM

Preserving peer replicas by rate-limited sampled voting (PM, DSHR, MR, MB, TJG, YM), pp. 44–59.

RTA-2003-WellsPK #diagrams

Diagrams for Meaning Preservation (JBW, DP, FK), pp. 88–106.

DAC-2002-SuBK #framework #reduction

A factorization-based framework for passivity-preserving model reduction of RLC systems (QS, VB, CKK), pp. 40–45.

SAS-2002-RanzatoT #model checking

Making Abstract Model Checking Strongly Preserving (FR, FT), pp. 411–427.

ICGT-2002-MensDJ #behaviour #formal method #program transformation

Formalising Behaviour Preserving Program Transformations (TM, SD, DJ), pp. 286–301.

ICEIS-2002-Al-JumailyCM #constraints #execution #relational

An Execution Model for Preserving Cardinality Constraints in the Relational Model (HTAJ, DC, PM), pp. 819–822.

ICPR-v1-2002-NiimiNKE #image

Luminance Quasi-Preserving Color Quantization for Digital Steganography to Palette-Based Images (MN, HN, EK, ROE), pp. 252–254.

ICPR-v2-2002-Chen

Signal Processing for Preserving the Environment (CHC), p. 523.

ICPR-v3-2002-PawlakR #image

Non-Linear Local Harmonic Filters For Edge-Preserving Image Denoising (MP, ER), pp. 895–897.

KDD-2002-EvfimievskiSAG #mining #privacy

Privacy preserving mining of association rules (AVE, RS, RA, JG), pp. 217–228.

KDD-2002-VaidyaC #mining #privacy

Privacy preserving association rule mining in vertically partitioned data (JV, CC), pp. 639–644.

UML-2002-EngelsHKG #evolution

Consistency-Preserving Model Evolution through Transformations (GE, RH, JMK, LG), pp. 212–226.

OOPSLA-2002-ShufGFAS #garbage collection #java #locality

Creating and preserving locality of java applications at allocation and garbage collection times (YS, MG, HF, AWA, JPS), pp. 13–25.

PADL-2002-VandeginsteSD #garbage collection #order #prolog

Segment Order Preserving and Generational Garbage Collection for Prolog (RV, KFS, BD), pp. 299–317.

SAC-2002-Naharro-BerrocalPUV #reduction #visual notation #visualisation

Approaches to comprehension-preserving graphical reduction of program visualizations (FNB, CPF, JUF, JÁVI), pp. 771–777.

RTA-2002-SekiTFK #term rewriting

Layered Transducing Term Rewriting System and Its Recognizability Preserving Property (HS, TT, YF, YK), pp. 98–113.

DAC-2001-BhanjaR #dependence #modelling #network #probability #process #using

Dependency Preserving Probabilistic Modeling of Switching Activity using Bayesian Networks (SB, NR), pp. 209–214.

PODS-2001-AgrawalA #algorithm #data mining #design #mining #on the #privacy #quantifier

On the Design and Quantification of Privacy Preserving Data Mining Algorithms (DA, CCA).

VLDB-2001-Duranti #authentication

The Long-Term Preservation of Authentic Electronic Records (LD), pp. 625–628.

FASE-J-1998-PadbergGE01 #refinement #rule-based #safety

Rule-based refinement of high-level nets preserving safety properties (JP, MG, CE), pp. 97–118.

SCAM-2001-Vanter #source code #tool support

Preserving the Documentary Structure of Source Code in Language-Based Transformation Tools (MvdV), pp. 133–143.

STOC-2001-NaorN #communication #evaluation #protocol

Communication preserving protocols for secure function evaluation (MN, KN), pp. 590–599.

FME-2001-Jurjens #refinement

Secrecy-Preserving Refinement (JJ), pp. 135–152.

SIGIR-2001-SaraivaMFMRZ #scalability

Rank-Preserving Two-Level Caching for Scalable Search Engines (PCS, ESdM, RCF, WMJ, BARN, NZ), pp. 51–58.

POPL-2001-WangA #garbage collection

Type-preserving garbage collectors (DCW, AWA), pp. 166–178.

DAC-2000-MeguerdichianP

Watermarking while preserving the critical path (SM, MP), pp. 108–111.

SIGMOD-2000-AgrawalS #data mining #mining #privacy

Privacy-Preserving Data Mining (RA, RS), pp. 439–450.

FASE-2000-PadbergHG #algebra #safety

Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems (JP, KH, MG), pp. 249–265.

ICSM-2000-Chapin #roadmap

Trends in Preserving and Enhancing the Value of Software (NC), pp. 6–8.

ICSM-2000-GibsonDM #correctness #maintenance

The Application of Correctness Preserving Transformations to Software Maintenance (JPG, TFD, BAM), p. 108–?.

ICSM-2000-Olver #perspective

Preserving the Value of Software — A CIO Perspective (THO), p. 9–?.

STOC-2000-Vadhan #complexity #interactive #on the #proving

On transformation of interactive proofs that preserve the prover’s complexity (SPV), pp. 200–207.

ICML-2000-SebbanN #problem

Instance Pruning as an Information Preserving Problem (MS, RN), pp. 855–862.

ICPR-v3-2000-SmolkaW #image #random

Edge Preserving Image Smoothing Based on Self Avoiding Random Walk (BS, KWW), pp. 3668–3671.

POPL-2000-KomondoorH #semantics

Semantics-Preserving Procedure Extraction (RK, SH), pp. 155–169.

RTA-2000-TakaiKS #effectiveness #finite #linear #term rewriting

Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability (TT, YK, HS), pp. 246–260.

PODS-1999-Raman #clustering #database #locality #theory and practice

Locality Preserving Dictionaries: Theory and Application to Clustering in Databases (VR), pp. 337–345.

STOC-1999-CrescenzoI

Security-Preserving Hardness-Amplification for Any Regular One-Way Function (GDC, RI), pp. 169–178.

DLT-1999-KvetonK

Functions preserving classes of languages (PK, VK), pp. 81–102.

FM-v2-1999-Moreira #component #proving

Proof Preservation in Component Generalization (AMM), p. 1866.

TLCA-1999-Ritter #termination

Characterising Explicit Substitutions which Preserve Termination (ER), pp. 325–339.

FASE-1998-PadbergGE #refinement #rule-based #safety

Rule-Based Refinement of High-Level Nets Preserving Safety Properties (JP, MG, CE), pp. 221–238.

TAGT-1998-SkodinisW

Neighborhood-Preserving Node Replacements (KS, EW), pp. 45–58.

ICPR-1998-ArcelliS #parallel

Parallel lowering of digital pictures by topology preserving operations (CA, LS), pp. 1601–1603.

ICPR-1998-Heikkila #bound #detection

Moment and curvature preserving technique for accurate ellipse boundary detection (JH), pp. 734–737.

ICPR-1998-MottlKK #image

Edge-preserving in generalized smoothing of signals and images (VM, AK, AK), pp. 1579–1581.

ICPR-1998-SeemannT #image #segmentation #using

Structure preserving noise filtering of images using explicit local segmentation (TS, PET), pp. 1610–1612.

OOPSLA-1998-AgerboC #design pattern #how

How to Preserve the Benefits of Design Patterns (EA, AC), pp. 134–143.

DAC-1997-KernsY #congruence #network #reduction

Preservation of Passivity During RLC Network Reduction via Split Congruence Transformations (KJK, ATY), pp. 34–39.

STOC-1997-IndykMRV #multi

Locality-Preserving Hashing in Multidimensional Spaces (PI, RM, PR, SV), pp. 618–625.

CAiSE-1997-CathalaP #behaviour #how #why

Preserving Behaviour: Why and How (FC, PP), pp. 333–346.

LOPSTR-1997-LeuschelMS #logic programming #source code #termination

Preserving Termination of Tabled Logic Programs While Unfolding (ML, BM, KFS), pp. 189–205.

RTA-1997-Otto #on the #string #term rewriting

On the Property of Preserving Regularity for String-Rewriting Systems (FO), pp. 83–97.

PLDI-1996-EichenbergerD #constraints #multi #pipes and filters #scheduling

A Reduced Multipipeline Machine Description that Preserves Scheduling Constraints (AEE, ESD), pp. 12–22.

ICPR-1996-ChiuT #algorithm

A feature-preserved thinning algorithm for handwritten Chinese characters (HPC, DCT), pp. 235–239.

ICPR-1996-MeminP #robust

Robust discontinuity-preserving model for estimating optical flow (ÉM, PP), pp. 920–924.

ALP-1996-FerreiraKP #composition #normalisation #λ-calculus

λ-Calculi with Explicit Substitutions and Composition Which Preserve β-Strong Normalization (MCFF, DK, LP), pp. 284–298.

LOPSTR-1996-BossiC #termination

Replacement Can Preserve Termination (AB, NC), pp. 104–129.

SAC-1996-DemoenET #garbage collection #order #prolog

Segment order preserving copying garbage collection for WAM based Prolog (BD, GE, PT), pp. 380–386.

LICS-1996-Munoz #calculus #confluence #normalisation

Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus (CAM), pp. 440–447.

RTA-1996-BlooR #combinator #reduction

Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation (RB, KHR), pp. 169–183.

DAC-1995-El-MalehMRM #on the #testing

On Test Set Preservation of Retimed Circuits (AHEM, TEM, JR, WM), pp. 176–182.

SEKE-1995-BernardeschiFP #architecture #correctness #interactive #specification #user interface

Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications (CB, AF, FP), pp. 234–243.

LOPSTR-1995-Leuschel #constraints #deduction

Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints (ML), pp. 1–16.

VLDB-1994-LitwinNS #data type #distributed #order #product line #scalability

RP*: A Family of Order Preserving Scalable Distributed Data Structures (WL, MAN, DAS), pp. 342–353.

CIKM-1994-VidalW #integration #semantics

Preserving Update Semantics in Schema Integration (VMPV, MW), pp. 263–271.

ALP-1994-BossiC #termination

Preserving Universal Termination through Unfold/Fold (AB, NC), pp. 269–286.

LOPSTR-1994-BossiE #semantics #source code

More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting’s Semantics (AB, SE), pp. 311–331.

INTERCHI-1993-HerbslebK #design #what

Preserving knowledge in design projects: what designers need to know (JDH, EK), pp. 7–14.

SEKE-1993-StaryF #design #how #semantics #specification

How Semantical Design Languages Help to Preserve Specification/Design-Consistency (CS, RF), pp. 462–471.

FSE-1993-Griswold #data flow

Direct Update of Data Flow Representations for a Meaning-Preserving Program Restructuring Tool (WGG), pp. 42–55.

CAV-1993-BrinksmaLB #composition

Functionality Decomposition by Compositional Correstness Preserving Transformation (EB, RL, PB), pp. 371–384.

DAC-1992-BatekH #logic

Test-Set Preserving Logic Transformations (MJB, JPH), pp. 454–458.

PLILP-1992-Amtoft #termination

Unfold/fold Transformations Preserving Termination Properties (TA), pp. 187–201.

CAV-1992-BensalemBLS #simulation

Property Preserving Simulations (SB, AB, CL, JS), pp. 260–273.

PEPM-1991-ProiettiP #prolog #semantics

Semantics Preserving Transformation Rules for Prolog (MP, AP), pp. 274–284.

ICALP-1991-Vogler #similarity

Deciding History Preserving Bisimilarity (WV), pp. 495–505.

OOPSLA-1991-Bergstein

Object-Preserving Class Transformations (PLB), pp. 299–313.

DAC-1990-Marple

A Hierarchy Preserving Hierarchical Compactor (DM), pp. 375–381.

SIGIR-1990-FoxCDH #information retrieval #order

Order Preserving Minimal Perfect Hash Functions and Information Retrieval (EAF, QFC, AMD, LSH), pp. 279–311.

ALP-1990-Sato #equivalence #first-order

An Equivalence Preserving First Order Unfold/fold Transformation System (TS), pp. 173–188.

STOC-1989-KochLMRR #network

Work-Preserving Emulations of Fixed-Connection Networks (Extended Abstract) (RRK, FTL, BMM, SR, ALR), pp. 227–240.

JICSCP-1988-Fribourg88 #induction #prolog #source code

Equivalence-Preserving Transformations of Inductive Properties of Prolog Programs (LF), pp. 893–908.

PODS-1986-Robinson #linear #order #statistics #using

Order Preserving Linear Hashing Using Dynamic Key Statistics (JTR), pp. 91–99.

VLDB-1985-OzkarahanO #clustering #database #order

Dynamic and Order Preserving Data Partitioning for Database Machines (EAO, AMO), pp. 358–368.

VLDB-1983-KlopproggeL #concept #database #modelling

Modelling Information Preserving Databases: Consequences of the Concept of Time (MRK, PCL), pp. 399–416.

POPL-1981-Lowney #array

Carrier Arrays: An Idiom-Preserving Extension to APL (PGL), pp. 1–13.

ICALP-1979-Nijholt #recursion

Structure Preserving Transformations on Non-Left-Recursive Grammars (Preliminary Version) (AN), pp. 446–459.

VLDB-1978-AroraC #database #relational

The Information Preserving Properties of Relational Database Transformations (AKA, CRC), pp. 352–359.

ICALP-1977-AusielloDP #combinator #on the #problem #reduction

On the Structure of Combinatorial Problems and Structure Preserving Reductions (GA, AD, MP), pp. 45–60.

POPL-1975-Gerhart #program transformation

Correctness-Preserving Program Transformations (SLG), pp. 54–66.