Stem differenti$ (all stems)

245 papers:

DAC-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.

DATE-2015-DeyCAM #analysis #difference #fault

Improved practical differential fault analysis of grain-128 (PD, AC, AA, DM), pp. 459–464.

SIGMOD-2015-YangSN #correlation #difference #privacy

Bayesian Differential Privacy on Correlated Data (BY, IS, HN), pp. 747–762.

VLDB-2015-GuerraouiKPT #difference #named #privacy #recommendation

D2P: Distance-Based Differential Privacy in Recommenders (RG, AMK, RP, MT), pp. 862–873.

VLDB-2015-HeCMPS #named #synthesis #using

DPT: Differentially Private Trajectory Synthesis Using Hierarchical Reference Systems (XH, GC, AM, CMP, DS), pp. 1154–1165.

VLDB-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.

FoSSaCS-2015-AbadiMP #data flow #difference

Foundations of Differential Dataflow (MA, FM, GDP), pp. 71–83.

SANER-2015-BezemerPG #comprehension #difference #graph #performance #using

Understanding software performance regressions using differential flame graphs (CPB, JP, BG), pp. 535–539.

SANER-2015-PeteB #consistency #difference #evolution #framework

Handling the differential evolution of software artefacts: A framework for consistency management (IP, DB), pp. 599–600.

PLDI-2015-MachadoLR #concurrent #debugging #difference

Concurrency debugging with differential schedule projections (NM, BL, LETR), pp. 586–595.

FM-2015-NelsonFK #difference #network #program analysis

Static Differential Program Analysis for Software-Defined Networks (TN, ADF, SK), pp. 395–413.

LCT-2015-Timotheou #difference #online #student

Differentiation of Student Perceptions for Online Courses, Over Time (MMT), pp. 697–703.

ICML-2015-KairouzOV #composition #difference #privacy #theorem

The Composition Theorem for Differential Privacy (PK, SO, PV), pp. 1376–1385.

ICML-2015-KusnerGGW #optimisation

Differentially Private Bayesian Optimization (MJK, JRG, RG, KQW), pp. 918–927.

KDD-2015-ChenXZX

Differentially Private High-Dimensional Data Publication via Sampling-Based Inference (RC, QX, YZ, JX), pp. 129–138.

KDD-2015-LeeWK #consistency #constraints #difference #privacy

Maximum Likelihood Postprocessing for Differential Privacy under Consistency Constraints (JL, YW, DK), pp. 635–644.

RecSys-2015-BerliozFKBB #difference #matrix #privacy

Applying Differential Privacy to Matrix Factorization (AB, AF, MAK, RB, SB), pp. 107–114.

RecSys-2015-LiuWS #matrix #performance

Fast Differentially Private Matrix Factorization (ZL, YXW, AJS), pp. 171–178.

POPL-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.

POPL-2015-EbadiSS #difference #privacy

Differential Privacy: Now it’s Getting Personal (HE, DS, GS), pp. 69–81.

ESEC-FSE-2015-ChenS #difference #implementation #testing #validation

Guided differential testing of certificate validation in SSL/TLS implementations (YC, ZS), pp. 793–804.

ICSE-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.

ASPLOS-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.

CADE-2015-Platzer #calculus #difference #logic

A Uniform Substitution Calculus for Differential Dynamic Logic (AP), pp. 467–481.

CAV-2015-ZouFZM #automation #difference #equation #safety #verification

Automatic Verification of Stability and Safety for Delay Differential Equations (LZ, MF, NZ, PNM), pp. 338–355.

LICS-2015-Edalat #calculus #difference

Extensions of Domain Maps in Differential and Integral Calculus (AE), pp. 426–437.

VMCAI-2015-GhorbalSP #algebra #difference #proving #set

A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets (KG, AS, AP), pp. 431–448.

SIGMOD-2014-QardajiYL #named

PriView: practical differentially private release of marginal contingency tables (WHQ, WY, NL), pp. 1435–1446.

VLDB-2014-KellarisPXP #infinity #sequence

Differentially Private Event Sequences over Infinite Streams (GK, SP, XX, DP), pp. 1155–1166.

VLDB-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.

VLDB-2014-LiXZJ #named #privacy

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

TACAS-2014-GhorbalP #algebra #difference #invariant

Characterizing Algebraic Invariants by Differential Radical Invariants (KG, AP), pp. 279–294.

PLDI-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.

SAS-2014-GhorbalSP #algebra #difference #equation #polynomial

Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations (KG, AS, AP), pp. 151–167.

STOC-2014-BunUV #approximate #difference #privacy

Fingerprinting codes and the price of approximate differential privacy (MB, JU, SPV), pp. 1–10.

CHI-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.

DUXU-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.

CIKM-2014-SongG #difference #named #privacy #query

Aroma: A New Data Protection Method with Differential Privacy and Accurate Query Answering (CS, TG), pp. 1569–1578.

ICML-c1-2014-JainT #bound #independence #learning

(Near) Dimension Independent Risk Bounds for Differentially Private Learning (PJ, AGT), pp. 476–484.

ICML-c2-2014-BarberW #difference #equation #estimation #process

Gaussian Processes for Bayesian Estimation in Ordinary Differential Equations (DB, YW), pp. 1485–1493.

ICML-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.

KDD-2014-LeeC

Top-k frequent itemsets via differentially private FP-trees (JL, CWC), pp. 931–940.

KDD-2014-LuM #difference #estimation #exponential #graph #privacy #random

Exponential random graph estimation under differential privacy (WL, GM), pp. 921–930.

KDD-2014-XiaoCT #network

Differentially private network data release via structural inference (QX, RC, KLT), pp. 911–920.

SIGIR-2014-LivneGTDA #difference #named #recommendation #using

CiteSight: supporting contextual citation recommendation using differential search (AL, VG, JT, STD, EA), pp. 807–816.

QAPL-2014-TschaikowskiT #algebra #biology #difference #performance #process

Extended Differential Aggregations in Process Algebra for Performance and Biology (MT, MT), pp. 34–47.

IJCAR-2014-JeanninP #difference #hybrid #logic #named

dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems (JBJ, AP), pp. 292–306.

ISSTA-2014-AlkhalafAB #difference #semantics #validation

Semantic differential repair for input validation and sanitization (MA, AA, TB), pp. 225–236.

CASE-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.

DATE-2013-MuradoreQF #network #predict

Model predictive control over delay-based differentiated services control networks (RM, DQ, PF), pp. 1117–1122.

SIGMOD-2013-ChenZ #difference #privacy #recursion #strict #towards

Recursive mechanism: towards node differential privacy and unrestricted joins (SC, SZ), pp. 653–664.

SIGMOD-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.

SIGMOD-2013-ZhangXYZW #algorithm #named #search-based #using

PrivGene: differentially private model fitting using genetic algorithms (JZ, XX, YY, ZZ, MW), pp. 665–676.

VLDB-2013-Bonomi #difference #mining #privacy

Mining Frequent Patterns with Differential Privacy (LB), pp. 1422–1427.

VLDB-2013-KellarisP #difference #privacy

Practical Differential Privacy via Grouping and Smoothing (GK, SP), pp. 301–312.

VLDB-2013-QardajiYL #comprehension

Understanding Hierarchical Methods for Differentially Private Histograms (WHQ, WY, NL), pp. 1954–1965.

FoSSaCS-2013-GianantonioE

A Language for Differentiable Functions (PDG, AE), pp. 337–352.

ICSM-2013-HillSPV

Differentiating Roles of Program Elements in Action-Oriented Concerns (EH, DS, LLP, KVS), pp. 376–379.

STOC-2013-HsuRU #difference #equilibrium #privacy

Differential privacy for the analyst via private equilibrium computation (JH, AR, JU), pp. 341–350.

STOC-2013-NikolovTZ #approximate #difference #geometry #privacy

The geometry of differential privacy: the sparse and approximate cases (AN, KT, LZ), pp. 351–360.

STOC-2013-Ullman #difference #privacy #query

Answering n{2+o(1)} counting queries with differential privacy is hard (JU), pp. 361–370.

ICALP-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.

CSCW-2013-BurkeK #difference #facebook #using

Using facebook after losing a job: differential benefits of strong and weak ties (MB, RK), pp. 1419–1430.

CIKM-2013-BonomiX #algorithm #difference #mining #privacy

A two-phase algorithm for mining sequential patterns with differential privacy (LB, LX), pp. 269–278.

ICML-c3-2013-0002T #kernel #learning

Differentially Private Learning with Kernels (PJ, AT), pp. 118–126.

KDD-2013-ShenY #difference #graph #mining #privacy

Mining frequent graph patterns with differential privacy (ES, TY), pp. 545–553.

RecSys-2013-ChowJKS #data analysis #difference #recommendation

Differential data analysis for recommender systems (RC, HJ, BPK, GS), pp. 323–326.

SIGIR-2013-Sadeghi #difference #evaluation

Task differentiation for personal search evaluation (SSS), p. 1147.

QAPL-2013-GazeauMP #difference #privacy #semantics

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

POPL-2013-GaboardiHHNP #dependent type #difference #linear #privacy

Linear dependent types for differential privacy (MG, AH, JH, AN, BCP), pp. 357–370.

SAC-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-FSE-2013-LahiriMSH #difference

Differential assertion checking (SKL, KLM, RS, CH), pp. 345–355.

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

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

DATE-2012-MuradoreQF #network #predict

Predictive control of networked control systems over differentiated services lossy networks (RM, DQ, PF), pp. 1245–1250.

DATE-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.

SIGMOD-2012-PengYZWY #difference #multi #named #privacy

DP-tree: indexing multi-dimensional data under differential privacy (abstract only) (SP, YY, ZZ, MW, YY), p. 864.

SIGMOD-2012-YangZMWX #analysis #difference #privacy

Differential privacy in data publication and analysis (YY, ZZ, GM, MW, XX), pp. 601–606.

VLDB-2012-LiM #adaptation #difference #privacy #query

An Adaptive Mechanism for Accurate Query Answering under Differential Privacy (CL, GM), pp. 514–525.

VLDB-2012-LiQSC #difference #mining #named #privacy

PrivBasis: Frequent Itemset Mining with Differential Privacy (NL, WHQ, DS, JC), pp. 1340–1351.

VLDB-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.

VLDB-2012-ZhangZXYW #analysis #difference #functional #privacy

Functional Mechanism: Regression Analysis under Differential Privacy (JZ, ZZ, XX, YY, MW), pp. 1364–1375.

VLDB-2013-ZengNC12 #mining #on the

On differentially private frequent itemset mining (CZ, JFN, JYC), pp. 25–36.

STOC-2012-BhaskaraDKT #linear #query

Unconditional differentially private mechanisms for linear queries (AB, DD, RK, KT), pp. 1269–1284.

CHI-2012-FlatlaG #difference #modelling #named #tool support

SSMRecolor: improving recoloring tools with situation-specific models of color differentiation (DRF, CG), pp. 2297–2306.

CSCW-2012-TausczikP #community #online

Participation in an online mathematics community: differentiating motivations to add (YRT, JWP), pp. 207–216.

EDOC-2012-ZhouXDL #difference #network

Complicated Logistics Network Redesign Considering Service Differentiation (LZ, XX, SD, XL), pp. 93–102.

CIKM-2012-FanX #difference #monitoring #privacy #realtime

Real-time aggregate monitoring with differential privacy (LF, LX), pp. 2169–2173.

ICML-2012-ChaudhuriH #convergence #estimation #statistics

Convergence Rates for Differentially Private Statistical Estimation (KC, DH), p. 223.

KDD-2012-ChenFDS #case study

Differentially private transit data publication: a case study on the montreal transportation system (RC, BCMF, BCD, NMS), pp. 213–221.

KDD-2012-LeeC #difference

Differential identifiability (JL, CC), pp. 1041–1049.

SEKE-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.

SEKE-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.

QAPL-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.

POPL-2012-BartheKOB #difference #privacy #probability #reasoning #relational

Probabilistic relational reasoning for differential privacy (GB, BK, FO, SZB), pp. 97–110.

SAC-2012-Koohi-MoghadamR #difference #evolution

Molecular docking with opposition-based differential evolution (MKM, ATR), pp. 1387–1392.

HPDC-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.

OSDI-2012-NarayanH #database #distributed #named #query

DJoin: Differentially Private Join Queries over Distributed Databases (AN, AH), pp. 149–162.

ISSTA-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.

ASE-2011-OverbeyJ #analysis #difference #lightweight #refactoring #reuse #tool support

Differential precondition checking: A lightweight, reusable analysis for refactoring tools (JLO, REJ), pp. 303–312.

ASE-2011-XingXJ #difference #named

CloneDifferentiator: Analyzing clones by differentiation (ZX, YX, SJ), pp. 576–579.

DAC-2011-PotkonjakMNW #architecture #difference

Differential public physically unclonable functions: architecture and applications (MP, SM, AN, SW), pp. 242–247.

SIGMOD-2011-DingWHL #consistency #optimisation

Differentially private data cubes: optimizing noise sources and consistency (BD, MW, JH, ZL), pp. 217–228.

SIGMOD-2011-XiaoBHG #difference #fault #named #privacy

iReduct: differential privacy with reduced relative errors (XX, GB, MH, JG), pp. 229–240.

VLDB-2011-ChenMFDX #difference #privacy

Publishing Set-Valued Data via Differential Privacy (RC, NM, BCMF, BCD, LX), pp. 1087–1098.

ICALP-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.

ICALP-v2-2011-LairdMM #category theory #difference #game studies

Constructing Differential Categories and Deconstructing Categories of Games (JL, GM, GM), pp. 186–197.

CHI-2011-BurkeKM #facebook #social

Social capital on facebook: differentiating uses and users (MB, RK, CM), pp. 571–580.

DUXU-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.

HCI-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.

VISSOFT-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.

ICEIS-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.

ICEIS-v1-2011-ZhuXP

A Differentiated Service based Content Distribution Method in CDN (BZ, KX, RP), pp. 576–579.

ICEIS-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.

KDD-2011-MohammedCFY #data mining #mining

Differentially private data release for data mining (NM, RC, BCMF, PSY), pp. 493–501.

SOSP-2011-MesnierCLA

Differentiated storage services (MPM, FC, TL, JBA), pp. 57–70.

CADE-2011-Platzer #difference #hybrid #logic #probability #source code

Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (AP), pp. 446–460.

CSL-2011-Ehrhard #difference #λ-calculus

Resource λ-Calculus: the Differential Viewpoint (TE), p. 1.

TLCA-2011-Gimenez #difference #linear #logic #normalisation #proving

Realizability Proof for Normalization of Full Differential Linear Logic (SG), pp. 107–122.

DATE-2010-Eul #communication #difference #standard

Wireless communication — successful differentiation on standard technology by innovation (HE), p. 2.

DATE-2010-LomneDMTR #analysis #difference #preprocessor #statistics

Differential Power Analysis enhancement with statistical preprocessing (VL, AD, PM, LT, MR), pp. 1301–1304.

DocEng-2010-BalinskyS #difference #documentation #multi #workflow

Differential access for publicly-posted composite documents with multiple workflow participants (HB, SJS), pp. 115–124.

PODS-2010-LiHRMM #difference #linear #optimisation #privacy #query

Optimizing linear counting queries under differential privacy (CL, MH, VR, GM, AM), pp. 123–134.

SIGMOD-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.

SIGMOD-2010-RastogiN #distributed #encryption

Differentially private aggregation of distributed time-series with transformation and encryption (VR, SN), pp. 735–746.

VLDB-2010-HayRMS #consistency

Boosting the Accuracy of Differentially Private Histograms Through Consistency (MH, VR, GM, DS), pp. 1021–1032.

STOC-2010-DworkNPR #difference #privacy

Differential privacy under continual observation (CD, MN, TP, GNR), pp. 715–724.

STOC-2010-HardtT #difference #geometry #on the #privacy

On the geometry of differential privacy (MH, KT), pp. 705–714.

LATA-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.

ICFP-2010-ReedP #calculus #difference #distance #privacy

Distance makes the types grow stronger: a calculus for differential privacy (JR, BCP), pp. 157–168.

CHI-2010-FlatlaG #difference #modelling #visualisation

Individual models of color differentiation to improve interpretability of information visualization (DRF, CG), pp. 2563–2572.

ICEIS-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.

ICPR-2010-GueguenSP #composition #difference #image #multi #segmentation

Differential Morphological Decomposition Segmentation: A Multi-Scale Object Based Image Description (LG, PS, MP), pp. 938–941.

ICPR-2010-OuzounisS #difference

Differential Area Profiles (GKO, PS), pp. 4085–4088.

KDD-2010-FriedmanS #data mining #difference #mining #privacy

Data mining with differential privacy (AF, AS), pp. 493–502.

CSL-2010-Platzer #difference #distributed #hybrid #logic #quantifier

Quantified Differential Dynamic Logic for Distributed Hybrid Systems (AP), pp. 469–483.

ISSTA-2010-PaleariMRB #difference #testing

N-version disassembly: differential testing of x86 disassemblers (RP, LM, GFR, DB), pp. 265–274.

LICS-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.

CASE-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.

DocEng-2009-Fraser #difference

Differential synchronization (NF), pp. 13–20.

VLDB-2009-LiuSC #difference

Structured Search Result Differentiation (ZL, PS, YC), pp. 313–324.

ICSM-2009-XieGFC #named #user interface

Guide: A GUI differentiator (QX, MG, CF, CMC), pp. 395–396.

STOC-2009-DworkL #difference #privacy #robust #statistics

Differential privacy and robust statistics (CD, JL), pp. 371–380.

STOC-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.

ICFP-2009-Elliott #difference

Beautiful differentiation (CME), pp. 191–202.

HCI-NIMT-2009-Yee #difference #gesture #multi

Potential Limitations of Multi-touch Gesture Vocabulary: Differentiation, Adoption, Fatigue (WY), pp. 291–300.

HIMI-DIE-2009-Goode #difference #how #online

How Product Differentiation Affects Online Shopping (AWG), pp. 253–262.

CIKM-2009-MartineauFJP #classification #difference #problem #using #word

Improving binary classification on text problems using differential word features (JM, TF, AJ, SP), pp. 2019–2024.

KDD-2009-McSherryM #privacy #recommendation

Differentially Private Recommender Systems: Building Privacy into the Netflix Prize Contenders (FM, IM), pp. 627–636.

SAC-2009-CipciganR #difference #equation #probability

Interlaced Euler scheme for stiff systems of stochastic differential equations (IC, MR), pp. 989–994.

CSL-2009-Tranquilli #confluence #difference

Confluence of Pure Differential Nets with Promotion (PT), pp. 500–514.

TLCA-2009-Pagani #difference #theorem

The Cut-Elimination Theorem for Differential Nets with Promotion (MP), pp. 219–233.

TLCA-2009-Vaux #difference #linear #logic

Differential Linear Logic and Polarization (LV), pp. 371–385.

CASE-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.

CASE-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.

DATE-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.

ICPR-2008-DingB08a #difference #probability #recognition

Probabilistic mixtures of differential profiles for shape recognition (LD, MB), pp. 1–4.

ICPR-2008-KhushabaAA #difference #evolution #set

Differential evolution basedfeature subset selection (RNK, AAA, AAJ), pp. 1–4.

RE-2008-MakinoO #difference #generative

A Method of Scenario Generation with Differential Scenario (MM, AO), pp. 337–338.

FSE-2008-PersonDEP #difference #execution #symbolic computation

Differential symbolic execution (SP, MBD, SGE, CSP), pp. 226–237.

CAV-2008-PlatzerC #difference #hybrid #invariant

Computing Differential Invariants of Hybrid Systems as Fixedpoints (AP, EMC), pp. 176–189.

LICS-2008-Edalat

Weak Topology and a Differentiable Operator for Lipschitz Maps (AE), pp. 364–375.

LICS-2008-Falco #difference #geometry #interactive

The Geometry of Interaction of Differential Interaction Nets (MdF), pp. 465–475.

DAC-2007-JiangHS #design #difference

A New Twisted Differential Line Structure in Global Bus Design (ZJ, SH, WS), pp. 180–183.

DAC-2007-SmithCHRSW #difference #industrial #named

Electronics: The New Differential in the Automotive Industry (NS, AC, CH, WCR, ALSV, FW), p. 446.

ICDAR-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.

CHI-2007-IqbalB #comprehension #detection #interactive #modelling

Understanding and developing models for detecting and differentiating breakpoints during interactive tasks (STI, BPB), pp. 697–706.

HCI-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.

HIMI-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.

EDOC-2007-TaoY #configuration management #development #process

Context Aware Differentiated Services Development with Configurable Business Processes (ATT, JY), pp. 241–252.

QAPL-2007-BortolussiP #concurrent #constraints #difference #equation #probability #programming

Stochastic Concurrent Constraint Programming and Differential Equations (LB, AP), pp. 27–42.

SAC-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-FSE-2007-EvansS #approach #detection #difference #testing

Differential testing: a new approach to change detection (RBE, AS), pp. 549–552.

ICSE-2007-GroceHJ #difference #random #testing #verification

Randomized Differential Testing as a Prelude to Formal Verification (AG, GJH, RJ), pp. 621–631.

HPDC-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.

TLCA-2007-Fiore #difference #linear #logic #modelling #multi

Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (MPF), pp. 163–177.

ICALP-v2-2006-Dwork #difference #privacy

Differential Privacy (CD), pp. 1–12.

ICPR-v1-2006-Heyden #algebra #constraints #multi

Differential-Algebraic Multiview Constraints (AH), pp. 159–162.

ICPR-v1-2006-YalcinG #algorithm #difference #evolution

Integrating Differential Evolution and Condensation Algorithms for License Plate Tracking (IKY, MG), pp. 658–661.

ICPR-v2-2006-GanD #relational #using

Differentiating Between Many Similar Features using Relational Information in Space and Scale (TSYG, TD), pp. 638–641.

FSE-2006-ElbaumCDD #difference #testing

Carving differential unit test cases from system test cases (SGE, HNC, MBD, JD), pp. 253–264.

DAC-2005-VleeschhouwerEFGRHC

Differentiate and deliver: leveraging your partners (JV, WE, MJF, AJdG, WCR, JH, RC), p. 1.

DATE-2005-TiriV #constant #design #difference #logic #power management

Design Method for Constant Power Consumption of Differential Logic Circuits (KT, IV), pp. 628–633.

PODS-2005-SayrafiG #constraints #difference

Differential constraints (BS, DVG), pp. 348–357.

FoSSaCS-2005-EdalatLP #calculus #difference #multi

A Computational Model for Multi-variable Differential Calculus (AE, AL, DP), pp. 505–519.

PLDI-2005-ZhuangP #difference

Differential register allocation (XZ, SP), pp. 168–179.

CHI-2005-BrushWTS #difference #metadata #social

Assessing differential usage of usenet social accounting meta-data (AJBB, XW, TCT, MAS), pp. 889–898.

DATE-DF-2004-Eklow #question #testing

IP Testing — The Future Differentiator? (BE), pp. 6–9.

ICEIS-v2-2004-Feoktistov #difference #evolution

New Energetic Selection Principle in Differential Evolution (VF), pp. 29–35.

CIKM-2004-HuangOM #category theory #clustering #difference

Compression schemes for differential categorical stream clustering (WH, EO, LM), pp. 232–233.

ICPR-v1-2004-KawanoKY #comparison #difference #gender

A Comparison of the Gender Differentiation Capability between Facial Parts (TK, KK, KY), pp. 350–353.

ICPR-v2-2004-SeropianGV #difference

Differentiation of Alphabets in Handwritten Texts (AS, MG, NV), pp. 622–625.

ICPR-v4-2004-SawanoO #difference

Road Extraction by Snake with Inertia and Differential Features (HS, MO), pp. 380–383.

SAC-2004-AbulAPB #generative #using

Finding differentially expressed genes: pattern generation using Q-values (OA, RA, FP, KB), pp. 138–142.

HPDC-2004-Abu-GhazalehLG #difference #performance

Differential Serialization for Optimized SOAP Performance (NAG, MJL, MG), pp. 55–64.

LCTES-2004-ZhuangP #embedded #power management

Power-efficient prefetching via bit-differential offset assignment on embedded processors (XZ, SP), pp. 67–77.

VMCAI-2004-PaceS #difference #kernel #model checking #using

Model Checking Polygonal Differential Inclusions Using Invariance Kernels (GJP, GS), pp. 110–121.

DAC-2003-BeniniMMOPP #analysis #design #difference #energy

Energy-aware design techniques for differential power analysis protection (LB, AM, EM, EO, FP, MP), pp. 36–41.

ICFP-2003-Nilsson #automation #difference #functional

Functional automatic differentiation with dirac impulses (HN), pp. 153–164.

ICML-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.

SAC-2003-BuckerLRB #automation #difference #fourier #parallel

Automatic Parallelism in Differentiation of Fourier Transforms (HMB, BL, AR, CHB), pp. 148–152.

SAC-2003-CohenNR #compilation #fortran #towards

Towards Differentiation-Enabled FORTRAN 95 Compiler Technology (MC, UN, JR), pp. 143–147.

PEPM-2002-BischofHN #automation #difference #implementation #tool support

Implementation of automatic differentiation tools (CHB, PDH, BN), pp. 98–107.

ICPR-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.

ICPR-v1-2002-GoncalvesA #3d #difference #estimation

Estimation of 3D Motion from Stereo Images- Differential and Discrete Formulations (NG, HA), pp. 335–338.

ICPR-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.

ICPR-v3-2002-ArmangueAS #constraints #difference #estimation #mobile

Differential Epipolar Constraint in Mobile Robot Egomotion Estimation (XA, HA, JS), pp. 599–602.

ICPR-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.

ICPR-v4-2002-LamXS #difference #using

Differentiation between Alphabetic and Numeric Data Using NN Ensembles (LL, QX, CYS), pp. 40–43.

LICS-2002-EdalatL #calculus #difference

Domain Theory and Differential Calculus (Functions of one Variable) (AE, AL), pp. 277–286.

TestCom-2002-ParadaCFLC #implementation #testing

Testing IP Differentiated Services Implementations (CP, JC, FF, SRL, PC), p. 55–?.

DAC-2001-MassoudKMW #analysis #difference #induction #modelling

Modeling and Analysis of Differential Signaling for Minimizing Inductive Cross-Talk (YM, JK, DM, JW), pp. 804–809.

DATE-2001-XuM #difference #modelling #performance #using

Efficient and passive modeling of transmission lines by using differential quadrature method (QX, PM), pp. 437–444.

HPCA-2001-GoemanVB #difference #performance #predict

Differential FCM: Increasing Value Prediction Accuracy by Improving Table Usage Efficiency (BG, HV, KDB), pp. 207–216.

WLC-2000-Dassow #difference #generative #on the

On the Differentiation Function of some Language Generating Devices (JD), pp. 151–161.

CHI-2000-CorbettT #difference #learning

Instructional interventions in computer-based tutoring: differential impact on learning time and accuracy (ATC, HJT), pp. 97–104.

ICML-2000-TodorovskiDSWG #behaviour #difference #equation

Discovering the Structure of Partial Differential Equations from Example Behaviour (LT, SD, AS, JPW, DG), pp. 991–998.

ICPR-v3-2000-BaumelaARB #difference #equation #estimation #using

Motion Estimation Using the Differential Epipolar Equation (LB, LdA, IDR, PB), pp. 3848–3851.

SAC-2000-Reich #algorithm #difference #equation #simulation #using

Simulation of Imprecise Ordinary Differential Equations Using Evolutionary Algorithms (CR), pp. 428–432.

SAC-2000-Shaw #algorithm #equation #parallel

A Parallel Algorithm for NonLinear Volterra Integro-Differential Equations (RES), pp. 86–88.

ICDAR-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.

TOOLS-USA-1999-DeugoOAW #communication #component

Communication as a Means to Differentiate Objects, Components and Agents (DD, FO, BA, MW), pp. 376–386.

SAS-1998-TadjouddineEF #automation #difference #program analysis

Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis (MT, FE, CF), pp. 311–326.

ICFP-1998-Karczmarczuk #difference #functional #source code

Functional Differentiation of Computer Programs (JK), pp. 195–203.

ICPR-1998-LengagneFM #3d #constraints #difference #using

Using differential constraints to generate a 3D face model from stereo (RL, PF, OM), pp. 637–639.

ICPR-1998-MontesinosGD #difference #image #invariant

Differential invariants for color images (PM, VG, RD), pp. 838–840.

ICPR-1998-SporringNWO #difference #metric

A note on differential corner measures (JS, MN, JW, OFO), pp. 652–654.

ICLP-1997-ZukowskiF #bottom-up #difference #semantics

Differential Bottom-Up Computation of the Well-Founded Semantics (UZ, BF, SB), p. 421.

KBSE-1996-Darche #algorithm #automation #difference #generative #set

Set Differentiation: A Method for the Automatic Generation of Filtering Algorithms (FDD), p. 19.

KBSE-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.

VLDB-1996-LabioG #algorithm #difference #performance

Efficient Snapshot Differential Algorithms for Data Warehousing (WL, HGM), pp. 63–74.

ICPR-1996-Kimmel #difference #image

Affine differential signatures for gray level images of planar shapes (RK), pp. 45–49.

CAV-1996-Greenstreet #difference #equation #safety #verification

Verifying Safety Properties of Differential Equations (MRG), pp. 277–287.

DAC-1995-VinnakotaHS #design #difference

System-Level Design for Test of Fully Differential Analog Circuits (BV, RH, NJS), pp. 450–454.

HPDC-1994-HuiCYHA #difference #equation #network

Solving Partial Differential Equations on a Network of Workstations (CCH, GKKC, MMSY, MH, IA), pp. 194–201.

CAV-1994-PuriV #decidability #difference #hybrid

Decidability of Hybrid Systems with Rectangular Differential Inclusion (AP, PV), pp. 95–104.

POPL-1993-BossiB #difference #logic programming

Differential Logic Programming (AB, MB, MG, GL, MCM), pp. 359–370.

SEKE-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.

DAC-1989-ChengY #difference #fault #memory management #performance #simulation #using

Differential Fault Simulation — a Fast Method Using Minimal Memory (WTC, MLY), pp. 424–428.

KR-1989-Sandewall #difference #equation #logic

Combining Logic and Differential Equations for Describing Real-World Systems (ES), pp. 412–420.

OOPSLA-1989-Jerrell #automation #c++ #difference #using

Function Minimization and Automatic Differentiation Using C++ (MEJ), pp. 169–173.

PLDI-1988-Rose #design #type system

Refined Types: Highly Differentiated Type Systems and Their Use in the Design of Intermediate Langages (JRR), pp. 278–287.

SIGMOD-1986-LindsayHM #algorithm #difference

A Snapshot Differential Refresh Algorithm (BGL, LMH, CM, HP, PFW), pp. 53–60.

ICALP-1984-Willard #algorithm #difference #problem #retrieval

Sampling Algorithms for Differential Batch Retrieval Problems (Extended Abstract) (DEW), pp. 514–526.

GG-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.

SIGMOD-1976-SeveranceL #database #difference #maintenance #scalability

Differential Files: Their Application to the Maintenance of Large Data Bases (Abstract) (DGS, GML), p. 43.