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