BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
privaci (44)
use (31)
privat (26)
data (24)
equat (19)

Stem differenti$ (all stems)

245 papers:

DACDAC-2015-LiuZWYX #analysis #difference #encryption #fault #named
DERA: yet another differential fault attack on cryptographic devices based on error rate analysis (YL, JZ, LW, FY, QX), p. 6.
DATEDATE-2015-DeyCAM #analysis #difference #fault
Improved practical differential fault analysis of grain-128 (PD, AC, AA, DM), pp. 459–464.
SIGMODSIGMOD-2015-YangSN #correlation #difference #privacy
Bayesian Differential Privacy on Correlated Data (BY, IS, HN), pp. 747–762.
VLDBVLDB-2015-GuerraouiKPT #difference #named #privacy #recommendation
D2P: Distance-Based Differential Privacy in Recommenders (RG, AMK, RP, MT), pp. 862–873.
VLDBVLDB-2015-HeCMPS #named #synthesis #using
DPT: Differentially Private Trajectory Synthesis Using Hierarchical Reference Systems (XH, GC, AM, CMP, DS), pp. 1154–1165.
VLDBVLDB-2015-HuYYDCYGZ #big data #difference #framework #privacy
Differential Privacy in Telco Big Data Platform (XH, MY, JY, YD, LC, QY, HG, JZ), pp. 1692–1703.
FoSSaCSFoSSaCS-2015-AbadiMP #data flow #difference
Foundations of Differential Dataflow (MA, FM, GDP), pp. 71–83.
SANERSANER-2015-BezemerPG #comprehension #difference #graph #performance #using
Understanding software performance regressions using differential flame graphs (CPB, JP, BG), pp. 535–539.
SANERSANER-2015-PeteB #consistency #difference #evolution #framework
Handling the differential evolution of software artefacts: A framework for consistency management (IP, DB), pp. 599–600.
PLDIPLDI-2015-MachadoLR #concurrent #debugging #difference
Concurrency debugging with differential schedule projections (NM, BL, LETR), pp. 586–595.
FMFM-2015-NelsonFK #difference #network #program analysis
Static Differential Program Analysis for Software-Defined Networks (TN, ADF, SK), pp. 395–413.
HCILCT-2015-Timotheou #difference #online #student
Differentiation of Student Perceptions for Online Courses, Over Time (MMT), pp. 697–703.
ICMLICML-2015-KairouzOV #composition #difference #privacy #theorem
The Composition Theorem for Differential Privacy (PK, SO, PV), pp. 1376–1385.
ICMLICML-2015-KusnerGGW #optimisation
Differentially Private Bayesian Optimization (MJK, JRG, RG, KQW), pp. 918–927.
KDDKDD-2015-ChenXZX
Differentially Private High-Dimensional Data Publication via Sampling-Based Inference (RC, QX, YZ, JX), pp. 129–138.
KDDKDD-2015-LeeWK #consistency #constraints #difference #privacy
Maximum Likelihood Postprocessing for Differential Privacy under Consistency Constraints (JL, YW, DK), pp. 635–644.
RecSysRecSys-2015-BerliozFKBB #difference #matrix #privacy
Applying Differential Privacy to Matrix Factorization (AB, AF, MAK, RB, SB), pp. 107–114.
RecSysRecSys-2015-LiuWS #matrix #performance
Fast Differentially Private Matrix Factorization (ZL, YXW, AJS), pp. 171–178.
POPLPOPL-2015-BartheGAHRS #approximate #design #difference #higher-order #privacy #refinement #relational
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy (GB, MG, EJGA, JH, AR, PYS), pp. 55–68.
POPLPOPL-2015-EbadiSS #difference #privacy
Differential Privacy: Now it’s Getting Personal (HE, DS, GS), pp. 69–81.
ESEC-FSEESEC-FSE-2015-ChenS #difference #implementation #testing #validation
Guided differential testing of certificate validation in SSL/TLS implementations (YC, ZS), pp. 793–804.
ICSEICSE-v1-2015-YangXALXE #behaviour #mobile #named #using
AppContext: Differentiating Malicious and Benign Mobile App Behaviors Using Context (WY, XX, BA, SL, TX, WE), pp. 303–313.
ASPLOSASPLOS-2015-MaSSLYHXYCWZB #architecture #on-demand #programmable
Supporting Differentiated Services in Computers via Programmable Architecture for Resourcing-on-Demand (PARD) (JM, XS, NS, YL, ZY, BH, TX, ZY, YC, HW, LZ, YB), pp. 131–143.
CADECADE-2015-Platzer #calculus #difference #logic
A Uniform Substitution Calculus for Differential Dynamic Logic (AP), pp. 467–481.
CAVCAV-2015-ZouFZM #automation #difference #equation #safety #verification
Automatic Verification of Stability and Safety for Delay Differential Equations (LZ, MF, NZ, PNM), pp. 338–355.
LICSLICS-2015-Edalat #calculus #difference
Extensions of Domain Maps in Differential and Integral Calculus (AE), pp. 426–437.
VMCAIVMCAI-2015-GhorbalSP #algebra #difference #proving #set
A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets (KG, AS, AP), pp. 431–448.
SIGMODSIGMOD-2014-QardajiYL #named
PriView: practical differentially private release of marginal contingency tables (WHQ, WY, NL), pp. 1435–1446.
VLDBVLDB-2014-KellarisPXP #infinity #sequence
Differentially Private Event Sequences over Infinite Streams (GK, SP, XX, DP), pp. 1155–1166.
VLDBVLDB-2014-LiHMW #algorithm #difference #privacy #query
A Data- and Workload-Aware Query Answering Algorithm for Range Queries Under Differential Privacy (CL, MH, GM, YW), pp. 341–352.
VLDBVLDB-2014-LiXZJ #named #privacy
DPSynthesizer: Differentially Private Data Synthesizer for Privacy Preserving Data Sharing (HL, LX, LZ, XJ), pp. 1677–1680.
TACASTACAS-2014-GhorbalP #algebra #difference #invariant
Characterizing Algebraic Invariants by Differential Radical Invariants (KG, AP), pp. 279–294.
PLDIPLDI-2014-CaiGRO #difference #formal method #higher-order #λ-calculus
A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation (YC, PGG, TR, KO), p. 17.
SASSAS-2014-GhorbalSP #algebra #difference #equation #polynomial
Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations (KG, AS, AP), pp. 151–167.
STOCSTOC-2014-BunUV #approximate #difference #privacy
Fingerprinting codes and the price of approximate differential privacy (MB, JU, SPV), pp. 1–10.
CHICHI-2014-SheininG #difference #game studies #in the small #physics
Exertion in the small: improving differentiation and expressiveness in sports games with physical controls (MS, CG), pp. 1845–1854.
HCIDUXU-TMT-2014-MacedoS #difference #evaluation #semantics #user interface
Building a Semantic Differential Scale as Tool for Assisting UX Evaluation with Home Appliances (VM, CMS), pp. 308–317.
CIKMCIKM-2014-SongG #difference #named #privacy #query
Aroma: A New Data Protection Method with Differential Privacy and Accurate Query Answering (CS, TG), pp. 1569–1578.
ICMLICML-c1-2014-JainT #bound #independence #learning
(Near) Dimension Independent Risk Bounds for Differentially Private Learning (PJ, AGT), pp. 476–484.
ICMLICML-c2-2014-BarberW #difference #equation #estimation #process
Gaussian Processes for Bayesian Estimation in Ordinary Differential Equations (DB, YW), pp. 1485–1493.
ICMLICML-c2-2014-GleichM #algorithm #approximate #case study
Anti-differentiating approximation algorithms: A case study with min-cuts, spectral, and flow (DG, MWM), pp. 1018–1025.
KDDKDD-2014-LeeC
Top-k frequent itemsets via differentially private FP-trees (JL, CWC), pp. 931–940.
KDDKDD-2014-LuM #difference #estimation #exponential #graph #privacy #random
Exponential random graph estimation under differential privacy (WL, GM), pp. 921–930.
KDDKDD-2014-XiaoCT #network
Differentially private network data release via structural inference (QX, RC, KLT), pp. 911–920.
SIGIRSIGIR-2014-LivneGTDA #difference #named #recommendation #using
CiteSight: supporting contextual citation recommendation using differential search (AL, VG, JT, STD, EA), pp. 807–816.
QAPLQAPL-2014-TschaikowskiT #algebra #biology #difference #performance #process
Extended Differential Aggregations in Process Algebra for Performance and Biology (MT, MT), pp. 34–47.
IJCARIJCAR-2014-JeanninP #difference #hybrid #logic #named
dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems (JBJ, AP), pp. 292–306.
ISSTAISSTA-2014-AlkhalafAB #difference #semantics #validation
Semantic differential repair for input validation and sanitization (MA, AA, TB), pp. 225–236.
CASECASE-2013-LiSZL #assessment #automation #difference #quality #simulation
Sensor data quality assessment for building simulation model calibration based on automatic differentiation (SL, ZS, MZ, YL), pp. 752–757.
DATEDATE-2013-MuradoreQF #network #predict
Model predictive control over delay-based differentiated services control networks (RM, DQ, PF), pp. 1117–1122.
SIGMODSIGMOD-2013-ChenZ #difference #privacy #recursion #strict #towards
Recursive mechanism: towards node differential privacy and unrestricted joins (SC, SZ), pp. 653–664.
SIGMODSIGMOD-2013-FanXS #adaptation #monitoring #named #performance #realtime
FAST: differentially private real-time aggregate monitor with filtering and adaptive sampling (LF, LX, VSS), pp. 1065–1068.
SIGMODSIGMOD-2013-ZhangXYZW #algorithm #named #search-based #using
PrivGene: differentially private model fitting using genetic algorithms (JZ, XX, YY, ZZ, MW), pp. 665–676.
VLDBVLDB-2013-Bonomi #difference #mining #privacy
Mining Frequent Patterns with Differential Privacy (LB), pp. 1422–1427.
VLDBVLDB-2013-KellarisP #difference #privacy
Practical Differential Privacy via Grouping and Smoothing (GK, SP), pp. 301–312.
VLDBVLDB-2013-QardajiYL #comprehension
Understanding Hierarchical Methods for Differentially Private Histograms (WHQ, WY, NL), pp. 1954–1965.
FoSSaCSFoSSaCS-2013-GianantonioE
A Language for Differentiable Functions (PDG, AE), pp. 337–352.
ICSMEICSM-2013-HillSPV
Differentiating Roles of Program Elements in Action-Oriented Concerns (EH, DS, LLP, KVS), pp. 376–379.
STOCSTOC-2013-HsuRU #difference #equilibrium #privacy
Differential privacy for the analyst via private equilibrium computation (JH, AR, JU), pp. 341–350.
STOCSTOC-2013-NikolovTZ #approximate #difference #geometry #privacy
The geometry of differential privacy: the sparse and approximate cases (AN, KT, LZ), pp. 351–360.
STOCSTOC-2013-Ullman #difference #privacy #query
Answering n{2+o(1)} counting queries with differential privacy is hard (JU), pp. 361–370.
ICALPICALP-v2-2013-BartheO #composition #difference #logic #privacy #probability #relational #source code #theorem
Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs (GB, FO), pp. 49–60.
CSCWCSCW-2013-BurkeK #difference #facebook #using
Using facebook after losing a job: differential benefits of strong and weak ties (MB, RK), pp. 1419–1430.
CIKMCIKM-2013-BonomiX #algorithm #difference #mining #privacy
A two-phase algorithm for mining sequential patterns with differential privacy (LB, LX), pp. 269–278.
ICMLICML-c3-2013-0002T #kernel #learning
Differentially Private Learning with Kernels (PJ, AT), pp. 118–126.
KDDKDD-2013-ShenY #difference #graph #mining #privacy
Mining frequent graph patterns with differential privacy (ES, TY), pp. 545–553.
RecSysRecSys-2013-ChowJKS #data analysis #difference #recommendation
Differential data analysis for recommender systems (RC, HJ, BPK, GS), pp. 323–326.
SIGIRSIGIR-2013-Sadeghi #difference #evaluation
Task differentiation for personal search evaluation (SSS), p. 1147.
QAPLQAPL-2013-GazeauMP #difference #privacy #semantics
Preserving differential privacy under finite-precision semantics (IG, DM, CP), pp. 1–18.
POPLPOPL-2013-GaboardiHHNP #dependent type #difference #linear #privacy
Linear dependent types for differential privacy (MG, AH, JH, AN, BCP), pp. 357–370.
SACSAC-2013-MeloC #automation #case study #difference #evolution #generative
Automatic generation of evolutionary operators: a study with mutation strategies for the differential evolution (VVdM, GLCC), pp. 188–193.
ESEC-FSEESEC-FSE-2013-LahiriMSH #difference
Differential assertion checking (SKL, KLM, RS, CH), pp. 345–355.
CASECASE-2012-LuiP #assembly #difference #evolution #flexibility #scheduling #using
Scheduling Flexible Assembly Lines using variants of Differential Evolution (WHVL, SGP), pp. 594–599.
DATEDATE-2012-MuradoreQF #network #predict
Predictive control of networked control systems over differentiated services lossy networks (RM, DQ, PF), pp. 1245–1250.
DATEDATE-2012-WangLPW #algorithm #difference #linear #simulation
An operational matrix-based algorithm for simulating linear and fractional differential circuits (YW, HL, GKHP, NW), pp. 1463–1466.
SIGMODSIGMOD-2012-PengYZWY #difference #multi #named #privacy
DP-tree: indexing multi-dimensional data under differential privacy (abstract only) (SP, YY, ZZ, MW, YY), p. 864.
SIGMODSIGMOD-2012-YangZMWX #analysis #difference #privacy
Differential privacy in data publication and analysis (YY, ZZ, GM, MW, XX), pp. 601–606.
VLDBVLDB-2012-LiM #adaptation #difference #privacy #query
An Adaptive Mechanism for Accurate Query Answering under Differential Privacy (CL, GM), pp. 514–525.
VLDBVLDB-2012-LiQSC #difference #mining #named #privacy
PrivBasis: Frequent Itemset Mining with Differential Privacy (NL, WHQ, DS, JC), pp. 1340–1351.
VLDBVLDB-2012-YuanZWXYH #difference #optimisation #privacy #query #rank
Low-Rank Mechanism: Optimizing Batch Queries under Differential Privacy (GY, ZZ, MW, XX, YY, ZH), pp. 1352–1363.
VLDBVLDB-2012-ZhangZXYW #analysis #difference #functional #privacy
Functional Mechanism: Regression Analysis under Differential Privacy (JZ, ZZ, XX, YY, MW), pp. 1364–1375.
VLDBVLDB-2013-ZengNC12 #mining #on the
On differentially private frequent itemset mining (CZ, JFN, JYC), pp. 25–36.
STOCSTOC-2012-BhaskaraDKT #linear #query
Unconditional differentially private mechanisms for linear queries (AB, DD, RK, KT), pp. 1269–1284.
CHICHI-2012-FlatlaG #difference #modelling #named #tool support
SSMRecolor: improving recoloring tools with situation-specific models of color differentiation (DRF, CG), pp. 2297–2306.
CSCWCSCW-2012-TausczikP #community #online
Participation in an online mathematics community: differentiating motivations to add (YRT, JWP), pp. 207–216.
EDOCEDOC-2012-ZhouXDL #difference #network
Complicated Logistics Network Redesign Considering Service Differentiation (LZ, XX, SD, XL), pp. 93–102.
CIKMCIKM-2012-FanX #difference #monitoring #privacy #realtime
Real-time aggregate monitoring with differential privacy (LF, LX), pp. 2169–2173.
ICMLICML-2012-ChaudhuriH #convergence #estimation #statistics
Convergence Rates for Differentially Private Statistical Estimation (KC, DH), p. 223.
KDDKDD-2012-ChenFDS #case study
Differentially private transit data publication: a case study on the montreal transportation system (RC, BCMF, BCD, NMS), pp. 213–221.
KDDKDD-2012-LeeC #difference
Differential identifiability (JL, CC), pp. 1041–1049.
SEKESEKE-2012-ZhaiLZLCJ #algebra #cyber-physical #logic #verification
Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic (XZ, BL, MZ, JL, QC, SJ), pp. 231–234.
SEKESEKE-2012-ZhuLLCZJ #continuation #difference #logic #using #verification
HybridUML Based Verification of CPS Using Differential Dynamic Logic (MZ, BL, JL, QC, XZ, SJ), pp. 235–238.
QAPLQAPL-2012-PalamidessiS #algebra #bound #constraints #difference #privacy #relational
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems (CP, MS), pp. 92–105.
POPLPOPL-2012-BartheKOB #difference #privacy #probability #reasoning #relational
Probabilistic relational reasoning for differential privacy (GB, BK, FO, SZB), pp. 97–110.
SACSAC-2012-Koohi-MoghadamR #difference #evolution
Molecular docking with opposition-based differential evolution (MKM, ATR), pp. 1387–1392.
HPDCHPDC-2012-XuGRKKX #cpu #named #scheduling #slicing #virtual machine
vSlicer: latency-aware virtual machine scheduling via differentiated-frequency CPU slicing (CX, SG, PNR, AK, RRK, DX), pp. 3–14.
OSDIOSDI-2012-NarayanH #database #distributed #named #query
DJoin: Differentially Private Join Queries over Distributed Databases (AN, AH), pp. 149–162.
ISSTAISSTA-2012-AlkhalafCFBOK #analysis #consistency #difference #named #nondeterminism #string #validation
ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies (MA, SRC, MF, TB, AO, CK), pp. 56–66.
ASEASE-2011-OverbeyJ #analysis #difference #lightweight #refactoring #reuse #tool support
Differential precondition checking: A lightweight, reusable analysis for refactoring tools (JLO, REJ), pp. 303–312.
ASEASE-2011-XingXJ #difference #named
CloneDifferentiator: Analyzing clones by differentiation (ZX, YX, SJ), pp. 576–579.
DACDAC-2011-PotkonjakMNW #architecture #difference
Differential public physically unclonable functions: architecture and applications (MP, SM, AN, SW), pp. 242–247.
SIGMODSIGMOD-2011-DingWHL #consistency #optimisation
Differentially private data cubes: optimizing noise sources and consistency (BD, MW, JH, ZL), pp. 217–228.
SIGMODSIGMOD-2011-XiaoBHG #difference #fault #named #privacy
iReduct: differential privacy with reduced relative errors (XX, GB, MH, JG), pp. 229–240.
VLDBVLDB-2011-ChenMFDX #difference #privacy
Publishing Set-Valued Data via Differential Privacy (RC, NM, BCMF, BCD, LX), pp. 1087–1098.
ICALPICALP-v2-2011-AlvimACP #data flow #difference #on the #privacy
On the Relation between Differential Privacy and Quantitative Information Flow (MSA, MEA, KC, CP), pp. 60–76.
ICALPICALP-v2-2011-LairdMM #category theory #difference #game studies
Constructing Differential Categories and Deconstructing Categories of Games (JL, GM, GM), pp. 186–197.
CHICHI-2011-BurkeKM #facebook #social
Social capital on facebook: differentiating uses and users (MB, RK, CM), pp. 571–580.
HCIDUXU-v1-2011-SirotkinM #difference #experience #in the cloud #user interface #why
The New Experience for Business: Why User Experience Is the Differentiation Strategy in the Cloud Context (AS, BM), pp. 491–499.
HCIHCI-DDA-2011-HessMT #interactive #using
Differentiating between Successful and Less Successful Products by Using MAInEEAC — A Model for Interaction Characterization (SH, AM, MT), pp. 238–247.
VISSOFTVISSOFT-2011-NovaisLCPM #approach #difference #evolution #interactive #visual notation
An interactive differential and temporal approach to visually analyze software evolution (RLN, CANL, GdFC, RMSP, MGM), pp. 1–4.
ICEISICEIS-J-2011-NovaisCJM11a #approach #difference #evolution #interactive #on the #visualisation
On the Use of Software Visualization to Analyze Software Evolution: An Interactive Differential Approach (RLN, GdFC, PRMSJ, MGM), pp. 241–255.
ICEISICEIS-v1-2011-ZhuXP
A Differentiated Service based Content Distribution Method in CDN (BZ, KX, RP), pp. 576–579.
ICEISICEIS-v3-2011-NovaisCJM #approach #difference #evolution #interactive #on the #visualisation
On the Use of Software Visualization to Analyze Software Evolution — An Interactive Differential Approach (RLN, GdFC, PRMSJ, MGdMN), pp. 15–24.
KDDKDD-2011-MohammedCFY #data mining #mining
Differentially private data release for data mining (NM, RC, BCMF, PSY), pp. 493–501.
SOSPSOSP-2011-MesnierCLA
Differentiated storage services (MPM, FC, TL, JBA), pp. 57–70.
CADECADE-2011-Platzer #difference #hybrid #logic #probability #source code
Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (AP), pp. 446–460.
CSLCSL-2011-Ehrhard #difference #λ-calculus
Resource λ-Calculus: the Differential Viewpoint (TE), p. 1.
TLCATLCA-2011-Gimenez #difference #linear #logic #normalisation #proving
Realizability Proof for Normalization of Full Differential Linear Logic (SG), pp. 107–122.
DATEDATE-2010-Eul #communication #difference #standard
Wireless communication — successful differentiation on standard technology by innovation (HE), p. 2.
DATEDATE-2010-LomneDMTR #analysis #difference #preprocessor #statistics
Differential Power Analysis enhancement with statistical preprocessing (VL, AD, PM, LT, MR), pp. 1301–1304.
DocEngDocEng-2010-BalinskyS #difference #documentation #multi #workflow
Differential access for publicly-posted composite documents with multiple workflow participants (HB, SJS), pp. 115–124.
PODSPODS-2010-LiHRMM #difference #linear #optimisation #privacy #query
Optimizing linear counting queries under differential privacy (CL, MH, VR, GM, AM), pp. 123–134.
SIGMODSIGMOD-2010-KimWS #approach #independence #memory management #performance
Page-differential logging: an efficient and DBMS-independent approach for storing data into flash memory (YRK, KYW, IYS), pp. 363–374.
SIGMODSIGMOD-2010-RastogiN #distributed #encryption
Differentially private aggregation of distributed time-series with transformation and encryption (VR, SN), pp. 735–746.
VLDBVLDB-2010-HayRMS #consistency
Boosting the Accuracy of Differentially Private Histograms Through Consistency (MH, VR, GM, DS), pp. 1021–1032.
STOCSTOC-2010-DworkNPR #difference #privacy
Differential privacy under continual observation (CD, MN, TP, GNR), pp. 715–724.
STOCSTOC-2010-HardtT #difference #geometry #on the #privacy
On the geometry of differential privacy (MH, KT), pp. 705–714.
LATALATA-2010-HemmerlingSK #difference #equation #network #process #programming language #specification
A Programming Language Tailored to the Specification and Solution of Differential Equations Describing Processes on Networks (RH, KS, WK), pp. 297–308.
ICFPICFP-2010-ReedP #calculus #difference #distance #privacy
Distance makes the types grow stronger: a calculus for differential privacy (JR, BCP), pp. 157–168.
CHICHI-2010-FlatlaG #difference #modelling #visualisation
Individual models of color differentiation to improve interpretability of information visualization (DRF, CG), pp. 2563–2572.
ICEISICEIS-AIDSS-2010-SahaPMB #classification #clustering #difference #image #using
Improvement of Differential Crisp Clustering using ANN Classifier for Unsupervised Pixel Classification of Satellite Image (IS, DP, UM, SB), pp. 21–29.
ICPRICPR-2010-GueguenSP #composition #difference #image #multi #segmentation
Differential Morphological Decomposition Segmentation: A Multi-Scale Object Based Image Description (LG, PS, MP), pp. 938–941.
ICPRICPR-2010-OuzounisS #difference
Differential Area Profiles (GKO, PS), pp. 4085–4088.
KDDKDD-2010-FriedmanS #data mining #difference #mining #privacy
Data mining with differential privacy (AF, AS), pp. 493–502.
CSLCSL-2010-Platzer #difference #distributed #hybrid #logic #quantifier
Quantified Differential Dynamic Logic for Distributed Hybrid Systems (AP), pp. 469–483.
ISSTAISSTA-2010-PaleariMRB #difference #testing
N-version disassembly: differential testing of x86 disassemblers (RP, LM, GFR, DB), pp. 265–274.
LICSLICS-2010-DanosFFHK #automation #difference #modelling #reduction #rule-based #semantics
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction (VD, JF, WF, RH, JK), pp. 362–381.
CASECASE-2009-NaveenRR #algorithm #difference #evolution #network #search-based #using
Rule extraction from differential evolution trained radial basis function network using genetic algorithms (NN, VR, CRR), pp. 152–157.
DocEngDocEng-2009-Fraser #difference
Differential synchronization (NF), pp. 13–20.
VLDBVLDB-2009-LiuSC #difference
Structured Search Result Differentiation (ZL, PS, YC), pp. 313–324.
ICSMEICSM-2009-XieGFC #named #user interface
Guide: A GUI differentiator (QX, MG, CF, CMC), pp. 395–396.
STOCSTOC-2009-DworkL #difference #privacy #robust #statistics
Differential privacy and robust statistics (CD, JL), pp. 371–380.
STOCSTOC-2009-DworkNRRV #algorithm #complexity #on the #performance
On the complexity of differentially private data release: efficient algorithms and hardness results (CD, MN, OR, GNR, SPV), pp. 381–390.
ICFPICFP-2009-Elliott #difference
Beautiful differentiation (CME), pp. 191–202.
HCIHCI-NIMT-2009-Yee #difference #gesture #multi
Potential Limitations of Multi-touch Gesture Vocabulary: Differentiation, Adoption, Fatigue (WY), pp. 291–300.
HCIHIMI-DIE-2009-Goode #difference #how #online
How Product Differentiation Affects Online Shopping (AWG), pp. 253–262.
CIKMCIKM-2009-MartineauFJP #classification #difference #problem #using #word
Improving binary classification on text problems using differential word features (JM, TF, AJ, SP), pp. 2019–2024.
KDDKDD-2009-McSherryM #privacy #recommendation
Differentially Private Recommender Systems: Building Privacy into the Netflix Prize Contenders (FM, IM), pp. 627–636.
SACSAC-2009-CipciganR #difference #equation #probability
Interlaced Euler scheme for stiff systems of stochastic differential equations (IC, MR), pp. 989–994.
CSLCSL-2009-Tranquilli #confluence #difference
Confluence of Pure Differential Nets with Promotion (PT), pp. 500–514.
TLCATLCA-2009-Pagani #difference #theorem
The Cut-Elimination Theorem for Differential Nets with Promotion (MP), pp. 219–233.
TLCATLCA-2009-Vaux #difference #linear #logic
Differential Linear Logic and Polarization (LV), pp. 371–385.
CASECASE-2008-MittalYBB #difference #equation #modelling #multi #performance #probability #using
Dynamics and performance modeling of multi-stage manufacturing systems using nonlinear stochastic differential equations (UM, HY, STSB, LGB), pp. 498–503.
CASECASE-2008-WangSF #automation #detection #difference #equation
Partial differential equation-based GPR signature discrimination for automatic detection of bridge deck delamination (ZWW, GGS, TF), pp. 431–435.
DATEDATE-2008-BadelGIMVGL #design #difference #standard
A Generic Standard Cell Design Methodology for Differential Circuit Styles (SB, EG, OI, APM, PV, FKG, YL), pp. 843–848.
ICPRICPR-2008-DingB08a #difference #probability #recognition
Probabilistic mixtures of differential profiles for shape recognition (LD, MB), pp. 1–4.
ICPRICPR-2008-KhushabaAA #difference #evolution #set
Differential evolution basedfeature subset selection (RNK, AAA, AAJ), pp. 1–4.
RERE-2008-MakinoO #difference #generative
A Method of Scenario Generation with Differential Scenario (MM, AO), pp. 337–338.
FSEFSE-2008-PersonDEP #difference #execution #symbolic computation
Differential symbolic execution (SP, MBD, SGE, CSP), pp. 226–237.
CAVCAV-2008-PlatzerC #difference #hybrid #invariant
Computing Differential Invariants of Hybrid Systems as Fixedpoints (AP, EMC), pp. 176–189.
LICSLICS-2008-Edalat
Weak Topology and a Differentiable Operator for Lipschitz Maps (AE), pp. 364–375.
LICSLICS-2008-Falco #difference #geometry #interactive
The Geometry of Interaction of Differential Interaction Nets (MdF), pp. 465–475.
DACDAC-2007-JiangHS #design #difference
A New Twisted Differential Line Structure in Global Bus Design (ZJ, SH, WS), pp. 180–183.
DACDAC-2007-SmithCHRSW #difference #industrial #named
Electronics: The New Differential in the Automotive Industry (NS, AC, CH, WCR, ALSV, FW), p. 446.
ICDARICDAR-2007-JlaielKAM #difference
Three decision levels strategy for Arabic and Latin texts differentiation in printed and handwritten natures (MBJ, SK, AMA, RM), pp. 1103–1107.
CHICHI-2007-IqbalB #comprehension #detection #interactive #modelling
Understanding and developing models for detecting and differentiating breakpoints during interactive tasks (STI, BPB), pp. 697–706.
HCIHCI-IDU-2007-NingT #functional #how #order #usability
How to Use Emotional Usability to Make the Product Serves a Need Beyond the Traditional Functional Objective to Satisfy the Emotion Needs of the User in Order to Improve the Product Differentiator — Focus on Home Appliance Product (LN, ST), pp. 587–593.
HCIHIMI-MTT-2007-ChoBKC #difference #on the #probability #using
On Achieving Proportional Loss Differentiation Using Dynamic-MQDDP with Differential Drop Probability (KC, SB, JK, JWC), pp. 584–593.
EDOCEDOC-2007-TaoY #configuration management #development #process
Context Aware Differentiated Services Development with Configurable Business Processes (ATT, JY), pp. 241–252.
QAPLQAPL-2007-BortolussiP #concurrent #constraints #difference #equation #probability #programming
Stochastic Concurrent Constraint Programming and Differential Equations (LB, AP), pp. 27–42.
SACSAC-2007-ShinH #analysis #automation #comparison #difference #process
Comparison of two activity analyses for automatic differentiation: context-sensitive flow-insensitive vs. context-insensitive flow-sensitive (JS, PDH), pp. 1323–1329.
ESEC-FSEESEC-FSE-2007-EvansS #approach #detection #difference #testing
Differential testing: a new approach to change detection (RBE, AS), pp. 549–552.
ICSEICSE-2007-GroceHJ #difference #random #testing #verification
Randomized Differential Testing as a Prelude to Formal Verification (AG, GJH, RJ), pp. 621–631.
HPDCHPDC-2007-ZhengVT #fault tolerance #replication #scheduling
Fault-tolerant scheduling for differentiated classes of tasks with low replication cost in computational grids (QZ, BV, CKT), pp. 239–240.
TLCATLCA-2007-Fiore #difference #linear #logic #modelling #multi
Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (MPF), pp. 163–177.
ICALPICALP-v2-2006-Dwork #difference #privacy
Differential Privacy (CD), pp. 1–12.
ICPRICPR-v1-2006-Heyden #algebra #constraints #multi
Differential-Algebraic Multiview Constraints (AH), pp. 159–162.
ICPRICPR-v1-2006-YalcinG #algorithm #difference #evolution
Integrating Differential Evolution and Condensation Algorithms for License Plate Tracking (IKY, MG), pp. 658–661.
ICPRICPR-v2-2006-GanD #relational #using
Differentiating Between Many Similar Features using Relational Information in Space and Scale (TSYG, TD), pp. 638–641.
FSEFSE-2006-ElbaumCDD #difference #testing
Carving differential unit test cases from system test cases (SGE, HNC, MBD, JD), pp. 253–264.
DACDAC-2005-VleeschhouwerEFGRHC
Differentiate and deliver: leveraging your partners (JV, WE, MJF, AJdG, WCR, JH, RC), p. 1.
DATEDATE-2005-TiriV #constant #design #difference #logic #power management
Design Method for Constant Power Consumption of Differential Logic Circuits (KT, IV), pp. 628–633.
PODSPODS-2005-SayrafiG #constraints #difference
Differential constraints (BS, DVG), pp. 348–357.
FoSSaCSFoSSaCS-2005-EdalatLP #calculus #difference #multi
A Computational Model for Multi-variable Differential Calculus (AE, AL, DP), pp. 505–519.
PLDIPLDI-2005-ZhuangP #difference
Differential register allocation (XZ, SP), pp. 168–179.
CHICHI-2005-BrushWTS #difference #metadata #social
Assessing differential usage of usenet social accounting meta-data (AJBB, XW, TCT, MAS), pp. 889–898.
DATEDATE-DF-2004-Eklow #question #testing
IP Testing — The Future Differentiator? (BE), pp. 6–9.
ICEISICEIS-v2-2004-Feoktistov #difference #evolution
New Energetic Selection Principle in Differential Evolution (VF), pp. 29–35.
CIKMCIKM-2004-HuangOM #category theory #clustering #difference
Compression schemes for differential categorical stream clustering (WH, EO, LM), pp. 232–233.
ICPRICPR-v1-2004-KawanoKY #comparison #difference #gender
A Comparison of the Gender Differentiation Capability between Facial Parts (TK, KK, KY), pp. 350–353.
ICPRICPR-v2-2004-SeropianGV #difference
Differentiation of Alphabets in Handwritten Texts (AS, MG, NV), pp. 622–625.
ICPRICPR-v4-2004-SawanoO #difference
Road Extraction by Snake with Inertia and Differential Features (HS, MO), pp. 380–383.
SACSAC-2004-AbulAPB #generative #using
Finding differentially expressed genes: pattern generation using Q-values (OA, RA, FP, KB), pp. 138–142.
HPDCHPDC-2004-Abu-GhazalehLG #difference #performance
Differential Serialization for Optimized SOAP Performance (NAG, MJL, MG), pp. 55–64.
LCTESLCTES-2004-ZhuangP #embedded #power management
Power-efficient prefetching via bit-differential offset assignment on embedded processors (XZ, SP), pp. 67–77.
VMCAIVMCAI-2004-PaceS #difference #kernel #model checking #using
Model Checking Polygonal Differential Inclusions Using Invariance Kernels (GJP, GS), pp. 110–121.
DACDAC-2003-BeniniMMOPP #analysis #design #difference #energy
Energy-aware design techniques for differential power analysis protection (LB, AM, EM, EO, FP, MP), pp. 36–41.
ICFPICFP-2003-Nilsson #automation #difference #functional
Functional automatic differentiation with dirac impulses (HN), pp. 153–164.
ICMLICML-2003-Graepel #difference #equation #linear #process
Solving Noisy Linear Operator Equations by Gaussian Processes: Application to Ordinary and Partial Differential Equations (TG), pp. 234–241.
SACSAC-2003-BuckerLRB #automation #difference #fourier #parallel
Automatic Parallelism in Differentiation of Fourier Transforms (HMB, BL, AR, CHB), pp. 148–152.
SACSAC-2003-CohenNR #compilation #fortran #towards
Towards Differentiation-Enabled FORTRAN 95 Compiler Technology (MC, UN, JR), pp. 143–147.
PEPMPEPM-2002-BischofHN #automation #difference #implementation #tool support
Implementation of automatic differentiation tools (CHB, PDH, BN), pp. 98–107.
ICPRICPR-v1-2002-AblameykoKLPPPT #difference #image #segmentation
From Cell Image Segmentation to Differential Diagnosis of Thyroid Cancer (SA, VK, DL, OP, NP, MP, OT), pp. 763–766.
ICPRICPR-v1-2002-GoncalvesA #3d #difference #estimation
Estimation of 3D Motion from Stereo Images- Differential and Discrete Formulations (NG, HA), pp. 335–338.
ICPRICPR-v2-2002-SeokL #algorithm #analysis #approach #difference #learning #probability
The Analysis of a Stochastic Differential Approach for Langevine Comepetitive Learning Algorithm (JS, JWL), pp. 80–83.
ICPRICPR-v3-2002-ArmangueAS #constraints #difference #estimation #mobile
Differential Epipolar Constraint in Mobile Robot Egomotion Estimation (XA, HA, JS), pp. 599–602.
ICPRICPR-v3-2002-HatanoASMOOK #algorithm #difference #using #verification
A Fingerprint Verification Algorithm Using the Differential Matching Rate (TH, TA, SS, HM, SO, YO, HK), pp. 799–802.
ICPRICPR-v4-2002-LamXS #difference #using
Differentiation between Alphabetic and Numeric Data Using NN Ensembles (LL, QX, CYS), pp. 40–43.
LICSLICS-2002-EdalatL #calculus #difference
Domain Theory and Differential Calculus (Functions of one Variable) (AE, AL), pp. 277–286.
ICTSSTestCom-2002-ParadaCFLC #implementation #testing
Testing IP Differentiated Services Implementations (CP, JC, FF, SRL, PC), p. 55–?.
DACDAC-2001-MassoudKMW #analysis #difference #induction #modelling
Modeling and Analysis of Differential Signaling for Minimizing Inductive Cross-Talk (YM, JK, DM, JW), pp. 804–809.
DATEDATE-2001-XuM #difference #modelling #performance #using
Efficient and passive modeling of transmission lines by using differential quadrature method (QX, PM), pp. 437–444.
HPCAHPCA-2001-GoemanVB #difference #performance #predict
Differential FCM: Increasing Value Prediction Accuracy by Improving Table Usage Efficiency (BG, HV, KDB), pp. 207–216.
WLCWLC-2000-Dassow #difference #generative #on the
On the Differentiation Function of some Language Generating Devices (JD), pp. 151–161.
CHICHI-2000-CorbettT #difference #learning
Instructional interventions in computer-based tutoring: differential impact on learning time and accuracy (ATC, HJT), pp. 97–104.
ICMLICML-2000-TodorovskiDSWG #behaviour #difference #equation
Discovering the Structure of Partial Differential Equations from Example Behaviour (LT, SD, AS, JPW, DG), pp. 991–998.
ICPRICPR-v3-2000-BaumelaARB #difference #equation #estimation #using
Motion Estimation Using the Differential Epipolar Equation (LB, LdA, IDR, PB), pp. 3848–3851.
SACSAC-2000-Reich #algorithm #difference #equation #simulation #using
Simulation of Imprecise Ordinary Differential Equations Using Evolutionary Algorithms (CR), pp. 428–432.
SACSAC-2000-Shaw #algorithm #equation #parallel
A Parallel Algorithm for NonLinear Volterra Integro-Differential Equations (RES), pp. 86–88.
ICDARICDAR-1999-NagasakiYN #automation #difference #pattern matching #recognition #using
Relaxation-based Pattern Matching using Automatic Differentiation for Off-line Character Recognition (TN, TY, MN), pp. 229–232.
TOOLSTOOLS-USA-1999-DeugoOAW #communication #component
Communication as a Means to Differentiate Objects, Components and Agents (DD, FO, BA, MW), pp. 376–386.
SASSAS-1998-TadjouddineEF #automation #difference #program analysis
Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis (MT, FE, CF), pp. 311–326.
ICFPICFP-1998-Karczmarczuk #difference #functional #source code
Functional Differentiation of Computer Programs (JK), pp. 195–203.
ICPRICPR-1998-LengagneFM #3d #constraints #difference #using
Using differential constraints to generate a 3D face model from stereo (RL, PF, OM), pp. 637–639.
ICPRICPR-1998-MontesinosGD #difference #image #invariant
Differential invariants for color images (PM, VG, RD), pp. 838–840.
ICPRICPR-1998-SporringNWO #difference #metric
A note on differential corner measures (JS, MN, JW, OFO), pp. 652–654.
ICLPICLP-1997-ZukowskiF #bottom-up #difference #semantics
Differential Bottom-Up Computation of the Well-Founded Semantics (UZ, BF, SB), p. 421.
ASEKBSE-1996-Darche #algorithm #automation #difference #generative #set
Set Differentiation: A Method for the Automatic Generation of Filtering Algorithms (FDD), p. 19.
ASEKBSE-1996-EllmanM #algebra #deduction #difference #equation #network #simulation #source code #synthesis
Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations (TE, TM), p. 5.
VLDBVLDB-1996-LabioG #algorithm #difference #performance
Efficient Snapshot Differential Algorithms for Data Warehousing (WL, HGM), pp. 63–74.
ICPRICPR-1996-Kimmel #difference #image
Affine differential signatures for gray level images of planar shapes (RK), pp. 45–49.
CAVCAV-1996-Greenstreet #difference #equation #safety #verification
Verifying Safety Properties of Differential Equations (MRG), pp. 277–287.
DACDAC-1995-VinnakotaHS #design #difference
System-Level Design for Test of Fully Differential Analog Circuits (BV, RH, NJS), pp. 450–454.
HPDCHPDC-1994-HuiCYHA #difference #equation #network
Solving Partial Differential Equations on a Network of Workstations (CCH, GKKC, MMSY, MH, IA), pp. 194–201.
CAVCAV-1994-PuriV #decidability #difference #hybrid
Decidability of Hybrid Systems with Rectangular Differential Inclusion (AP, PV), pp. 95–104.
POPLPOPL-1993-BossiB #difference #logic programming
Differential Logic Programming (AB, MB, MG, GL, MCM), pp. 359–370.
SEKESEKE-1992-SotiropoulouP #case study #difference #equation #information management
A Case Study of Knowledge Engineering in the Application Area of Elliptic Partial Differential Equations (PDE’s) (VVS, TSP), pp. 261–268.
DACDAC-1989-ChengY #difference #fault #memory management #performance #simulation #using
Differential Fault Simulation — a Fast Method Using Minimal Memory (WTC, MLY), pp. 424–428.
KRKR-1989-Sandewall #difference #equation #logic
Combining Logic and Differential Equations for Describing Real-World Systems (ES), pp. 412–420.
OOPSLAOOPSLA-1989-Jerrell #automation #c++ #difference #using
Function Minimization and Automatic Differentiation Using C++ (MEJ), pp. 169–173.
PLDIPLDI-1988-Rose #design #type system
Refined Types: Highly Differentiated Type Systems and Their Use in the Design of Intermediate Langages (JRR), pp. 278–287.
SIGMODSIGMOD-1986-LindsayHM #algorithm #difference
A Snapshot Differential Refresh Algorithm (BGL, LMH, CM, HP, PFW), pp. 53–60.
ICALPICALP-1984-Willard #algorithm #difference #problem #retrieval
Sampling Algorithms for Differential Batch Retrieval Problems (Extended Abstract) (DEW), pp. 514–526.
ICGTGG-1978-LuckL #2d #difference #generative #graph #parallel
Two-Dimensional, Differential, Intercalary Plant Tissue Growth and Parallel Graph Generating and Graph Recurrence Systems (JL, HBL), pp. 284–300.
SIGMODSIGMOD-1976-SeveranceL #database #difference #maintenance #scalability
Differential Files: Their Application to the Maintenance of Large Data Bases (Abstract) (DGS, GML), p. 43.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.