## Tag #difference

### 713 papers:

- CC-2020-ZhangHLBR #case study #privacy #profiling
- A study of event frequency profiling with differential privacy (HZ, YH, SL, RB, AR), pp. 51–62.
- CSL-2020-CockettLL #algebra #category theory
- Tangent Categories from the Coalgebras of Differential Categories (JRBC, JSPL, RBBLW), p. 17.
- EDM-2019-ChopraKMG #gender #learning
- Gender Differences in Work-Integrated Learning Assessments (SC, AK, MM, LG).
- EDM-2019-DavisRF #learning #student
- Individual Differences in Student Learning Aid Usage (AKD, YJR, DF).
- ICSME-2019-RwemalikaKPTL #debugging #industrial
- An Industrial Study on the Differences between Pre-Release and Post-Release Bugs (RR, MK, MP, YLT, PL), pp. 92–102.
- SANER-2019-YangW #abstract syntax tree
- Pruning the AST with Hunks to Speed up Tree Differencing (CY, EJWJ), pp. 15–25.
- FM-2019-LunelMBT #composition #logic #parallel #verification
- Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic (SL, SM, BB, JPT), pp. 354–370.
- FM-2019-TanP #approach #axiom #equation #liveness
- An Axiomatic Approach to Liveness for Differential Equations (YKT, AP), pp. 371–388.
- ICFP-2019-MiraldoS #algorithm #performance #type safety
- An efficient algorithm for type-safe structural diffing (VCM, WS), p. 29.
- ICFP-2019-ZhangRHP0 #logic #named #privacy
- Fuzzi: a three-level logic for differential privacy (HZ, ER, AH, BCP, AR0), p. 28.
- DiGRA-2019-AdinolfT #case study #experience #game studies
- Differences in Player Experiences of Need Satisfaction Across Four Games (SA, ST).
- VS-Games-2019-HeinBB #navigation #visual notation
- Improving Visual Attention Guiding by Differentiation between Fine and Coarse Navigation (PH, MB, ACB), pp. 1–4.
- ICML-2019-AminKMV #bound #privacy #trade-off
- Bounding User Contributions: A Bias-Variance Trade-off in Differential Privacy (KA, AK, AMM, SV), pp. 263–271.
- ICML-2019-JohnHS #equation #named #off the shelf
- GOODE: A Gaussian Off-The-Shelf Ordinary Differential Equation Solver (DJ, VH, MS), pp. 3152–3162.
- ICML-2019-McKennaSM #estimation #modelling #privacy
- Graphical-model based estimation and inference for differential privacy (RM, DS, GM), pp. 4435–4444.
- ICML-2019-VargasBH #comparison #semantics
- Model Comparison for Semantic Grouping (FV, KB, NH), pp. 6410–6417.
- ICML-2019-Wang019a #linear #on the #privacy
- On Sparse Linear Regression in the Local Differential Privacy Model (DW, JX0), pp. 6628–6637.
- ICML-2019-YuanZLS #modelling
- Differential Inclusions for Modeling Nonsmooth ADMM Variants: A Continuous Limit Theory (HY, YZ, CJL, QS), pp. 7232–7241.
- ICML-2019-YurtseverSC #probability
- Conditional Gradient Methods via Stochastic Path-Integrated Differential Estimator (AY, SS, VC), pp. 7282–7291.
- ICML-2019-ZhuW #privacy
- Poission Subsampled Rényi Differential Privacy (YZ0, YXW), pp. 7634–7642.
- OOPSLA-2019-NearDASGWSZSSS #higher-order #linear #named #privacy #type system
- Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy (JPN, DD, CA, TS, PG, LW, NS, MZ0, NS, AS, DS), p. 30.
- PLDI-2019-HeoRSN #reasoning #source code #using
- Continuously reasoning about programs using differential Bayesian inference (KH, MR, XS, MN), pp. 561–575.
- PLDI-2019-WangDWKZ #execution #privacy #proving
- Proving differential privacy with shadow execution (YW, ZD, GW, DK, DZ), pp. 655–669.
- PLDI-2019-YogaN #analysis
- Parallelism-centric what-if and differential analyses (AY, SN), pp. 485–501.
- ASE-2019-BaoB0M #statistics
- Statistical Log Differencing (LB, NB, DL0, SM), pp. 851–862.
- ASE-2019-CashinMWF #comprehension #invariant
- Understanding Automatically-Generated Patches Through Symbolic Invariant Differences (PC, CM, WW, SF), pp. 411–414.
- ESEC-FSE-2019-SuiZZZX #analysis #android #debugging #effectiveness #reduction #user interface
- Event trace reduction for effective bug replay of Android apps via differential GUI state analysis (YS, YZ0, WZ, MZ, JX), pp. 1095–1099.
- ICSE-2019-ChenSS #implementation #testing #virtual machine
- Deep differential testing of JVM implementations (YC, TS, ZS), pp. 1257–1268.
- ICSE-2019-NilizadehNP #analysis #fuzzing #named
- DifFuzz: differential fuzzing for side-channel analysis (SN, YN, CSP), pp. 176–187.
- ICSE-2019-YangZSS00X #debugging #random #test coverage #testing #tool support
- Hunting for bugs in code coverage tools via randomized differential testing (YY, YZ, HS, ZS, ZZ0, LX0, BX), pp. 488–498.
- SLE-2019-ZadahmadSAGL #syntax #visual notation
- Domain-specific model differencing in visual concrete syntax (MZ, ES, OA, EG, JdL), pp. 100–112.
- CASE-2019-YuanBZ #evolution #scheduling
- QoS and Profit Aware Task Scheduling with Simulated-Annealing-Based Bi-Objective Differential Evolution in Green Clouds (HY, JB, MZ), pp. 904–909.
- CADE-2019-BohrerFP #logic #named
- dLι: Definite Descriptions in Differential Dynamic Logic (BB, MF, AP), pp. 94–110.
- CAV-2019-FengCZF0 #bound #equation #verification
- Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations (SF, MC, NZ, MF, BX0), pp. 650–669.
- EDM-2018-ChopraGKMG #approach #gender #mining
- Gender Differences in Undergraduate Engineering Applicants: A Text Mining Approach (SC, HG, AK, MM, LG).
- ICSME-2018-FrickG0P #generative #using
- Generating Accurate and Compact Edit Scripts Using Tree Differencing (VF, TG, FB0, MP0), pp. 264–274.
- SANER-2018-JayM #random #testing
- Structured random differential testing of instruction decoders (NJ, BPM), pp. 84–94.
- SANER-2018-LiuPXLXZ #code search #visualisation
- Supporting exploratory code search with differencing and visualization (WL, XP0, ZX, JL, BX, WZ), pp. 300–310.
- IFM-2018-BoermanHJ #ml #reasoning
- Reasoning About JML: Differences Between KeY and OpenJML (JB, MH, SJCJ), pp. 30–46.
- ICFP-2018-Elliott #automation
- The simple essence of automatic differentiation (CE), p. 29.
- ICFP-2018-YorgeyF #functional #what
- What's the difference? a functional pearl on subtracting bijections (BAY, KF), p. 21.
- CHI-PLAY-2018-SchwindH #design
- Gender- and Age-related Differences in Designing the Characteristics of Stereotypical Virtual Faces (VS, NH), pp. 463–475.
- DiGRA-2018-BrucknerSKW #game studies
- Exploring Cultural Differences in Game Reception: JRPGs in Germany and Japan (SB, YS, SK, IW).
- ICML-2018-BalleW #privacy
- Improving the Gaussian Mechanism for Differential Privacy: Analytical Calibration and Optimal Denoising (BB, YXW), pp. 403–412.
- ICML-2018-LuZLD #architecture #equation #finite #network
- Beyond Finite Layer Neural Networks: Bridging Deep Architectures and Numerical Differential Equations (YL, AZ, QL, BD0), pp. 3282–3291.
- ICML-2018-NeelR #adaptation #bias #privacy
- Mitigating Bias in Adaptive Data Gathering via Differential Privacy (SN, AR0), pp. 3717–3726.
- ICML-2018-PanFWNGN #equation #learning
- Reinforcement Learning with Function-Valued Action Spaces for Partial Differential Equation Control (YP, AmF, MW, SN, PG, DN), pp. 3983–3992.
- ICML-2018-RyderGMP #black box #equation #probability
- Black-Box Variational Inference for Stochastic Differential Equations (TR, AG, ASM, DP), pp. 4420–4429.
- ICML-2018-SheldonWS #automation #integer #learning #modelling
- Learning in Integer Latent Variable Models with Nested Automatic Differentiation (DS, KW, DS), pp. 4622–4630.
- ICML-2018-TuR #learning #linear #polynomial
- Least-Squares Temporal Difference Learning for the Linear Quadratic Regulator (ST, BR), pp. 5012–5021.
- ICPR-2018-ZhongD #analysis #recognition
- Deep Difference Analysis in Similar-looking Face recognition (YZ, WD), pp. 3353–3358.
- KDD-2018-Abowd #privacy
- The U.S. Census Bureau Adopts Differential Privacy (JMA), p. 2867.
- KDD-2018-SpeicherHGGSWZ #algorithm #approach
- A Unified Approach to Quantifying Algorithmic Unfairness: Measuring Individual &Group Unfairness via Inequality Indices (TS, HH, NGH, KPG, AS, AW, MBZ), pp. 2239–2248.
- MoDELS-2018-KinneerH #architecture #clustering #metric
- Dissimilarity Measures for Clustering Space Mission Architectures (CK, SJIH), pp. 392–402.
- PLDI-2018-LiuH #analysis #concurrent #debugging #named #parallel #performance
- D4: fast concurrency debugging with parallel differential analysis (BL, JH0), pp. 359–373.
- POPL-2018-AlbarghouthiH #privacy #proving
- Synthesizing coupling proofs of differential privacy (AA, JH), p. 30.
- ASE-2018-HuangCPZWLZ #generative #named
- ClDiff: generating concise linked code differences (KH, BC0, XP0, DZ, YW, YL0, WZ), pp. 679–690.
- ASE-2018-HuangCXLL #comparison
- Tell them apart: distilling technology differences from crowd-scale comparison discussions (YH, CC, ZX, TL, YL0), pp. 214–224.
- ASE-2018-Noller #execution #fuzzing #program analysis #symbolic computation
- Differential program analysis with fuzzing and symbolic execution (YN), pp. 944–947.
- ASE-2018-SungLEW #concurrent #scalability #semantics #source code
- Datalog-based scalable semantic diffing of concurrent programs (CS, SKL, CE, CW0), pp. 656–666.
- ESEC-FSE-2018-AmarBB0M #finite #modelling #using
- Using finite-state models for log differencing (HA, LB, NB, DL0, SM), pp. 49–59.
- ESEC-FSE-2018-GuoJZCS #fuzzing #learning #named #testing
- DLFuzz: differential fuzzing testing of deep learning systems (JG, YJ0, YZ, QC, JS), pp. 739–743.
- ESEC-FSE-2018-LehmannP #interactive #testing
- Feedback-directed differential testing of interactive debuggers (DL0, MP), pp. 610–620.
- ESEC-FSE-2018-MaLLZG #analysis #automation #debugging #named #network
- MODE: automated neural network model debugging via state differential analysis and input selection (SM, YL, WCL, XZ, AG), pp. 175–186.
- ICSE-2018-ChenTDZ #implementation #testing #validation
- RFC-directed differential testing of certificate validation in SSL/TLS implementations (CC, CT, ZD, LZ), pp. 859–870.
- CASE-2018-WuL #algorithm #distributed #evolution #flexibility #problem #scheduling
- An Improved Differential Evolution Algorithm for Solving a Distributed Flexible Job Shop Scheduling Problem (XW, XL), pp. 968–973.
- CC-2018-Barany #compilation #optimisation #testing
- Finding missed compiler optimizations by differential testing (GB), pp. 82–92.
- CAV-2018-GoubaultPS #approximate #equation
- Inner and Outer Approximating Flowpipes for Delay Differential Equations (EG, SP, LS), pp. 523–541.
- IJCAR-2018-Platzer #game studies #logic
- Uniform Substitution for Differential Game Logic (AP), pp. 211–227.
- ICSA-2017-ButtingKRW #architecture #component #semantics
- Semantic Differencing for Message-Driven Component & Connector Architectures (AB, OK, BR, AW), pp. 145–154.
- EDM-2017-HanYY #comparison #estimation
- Discovering skill prerequisite structure through Bayesian estimation and nested model comparison (SYH, JY, YJY).
- MSR-2017-OrellanaLMD #dataset #integration #on the #testing
- On the differences between unit and integration testing in the travistorrent dataset (GO, GL, AM, SD), pp. 451–454.
- AFL-2017-MaraisZ #automaton #complexity #self #symmetry #verification
- Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata (LM, LvZ), pp. 157–169.
- DLT-2017-Grandjean #2d #realtime
- Differences Between 2D Neighborhoods According to Real Time Computation (AG), pp. 198–209.
- FSCD-2017-CockettL
- There Is Only One Notion of Differentiation (JRBC, JSL), p. 21.
- ICFP-2017-Winograd-CortHR #adaptation #framework #privacy
- A framework for adaptive differential privacy (DWC, AH, AR0, BCP), p. 29.
- AIIDE-2017-BunianCCE #behaviour #game studies #modelling #using
- Modeling Individual Differences in Game Behavior Using HMM (SB, AC, RCC, MSEN), pp. 158–164.
- CIKM-2017-KimCCJY #named
- DiagTree: Diagnostic Tree for Differential Diagnosis (YK, JC, YC, XJ, HY), pp. 1179–1188.
- ICML-2017-AgarwalS #learning #online #privacy
- The Price of Differential Privacy for Online Learning (NA, KS), pp. 32–40.
- ICML-2017-RubinsteinA #privacy #random
- Pain-Free Random Differential Privacy with Sensitivity Sampling (BIPR, FA), pp. 2950–2959.
- ICML-2017-ShrikumarGK #learning
- Learning Important Features Through Propagating Activation Differences (AS, PG, AK), pp. 3145–3153.
- ICML-2017-Simsekli #equation #markov #monte carlo #probability
- Fractional Langevin Monte Carlo: Exploring Levy Driven Stochastic Differential Equations for Markov Chain Monte Carlo (US), pp. 3200–3209.
- ICMT-2017-KehrerP0 #development #maintenance #model transformation #towards #version control
- Differencing of Model Transformation Rules: Towards Versioning Support in the Development and Maintenance of Model Transformations (TK, CP, DS), pp. 86–91.
- PLDI-2017-DingNGS #deployment #reduction
- Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction (YD, LN, HG, XS), pp. 33–48.
- POPL-2017-ZhangK #automation #named #privacy #proving #towards
- LightDP: towards automating differential privacy proofs (DZ, DK), pp. 888–901.
- PPDP-2017-GirkaMR #semantics
- Verifiable semantic difference languages (TG, DM, YRG), pp. 73–84.
- SAS-2017-BouajjaniEL #concurrent #evolution #semantics #source code
- Abstract Semantic Diffing of Evolving Concurrent Programs (AB, CE, SKL), pp. 46–65.
- SAS-2017-TrostanetskiGK #analysis #composition #semantics
- Modular Demand-Driven Analysis of Semantic Difference for Program Versions (AT, OG, DK), pp. 405–427.
- ASE-2017-KapusC #automation #execution #generative #symbolic computation #testing
- Automatic testing of symbolic execution engines via program generation and differential testing (TK, CC), pp. 590–600.
- ESEC-FSE-2017-Pashchenko #benchmark #metric #security #static analysis #testing #tool support
- FOSS version differentiation as a benchmark for static analysis security testing tools (IP), pp. 1056–1058.
- ICSE-2017-Tzoref-BrillM #combinator #design #modelling #semantics
- Syntactic and semantic differencing for combinatorial models of test designs (RTB, SM), pp. 621–631.
- ICSE-2017-ZhangK #automation #testing
- Automated transplantation and differential testing for clones (TZ0, MK), pp. 665–676.
- CASE-2017-DengLXJ #design #multi
- Differentiation copayment design to improve the multi-tiered healthcare system in China (YD, NL, XX, ZJ), pp. 201–206.
- CASE-2017-HuangMY #algorithm #evolution #performance #throughput #using
- Forecasting of throughput performance using an ARMA model with improved differential evolution algorithm (JTH, YM, YY), pp. 376–381.
- CASE-2017-LiuLH #algorithm #evolution #problem
- A differential evolution algorithm for the resource investment problem with discounted cash flows (ML, JL, XH), pp. 1554–1559.
- CASE-2017-ZouMY #algorithm #evolution #hybrid #industrial #problem
- A hybrid differential evolution algorithm for open-order coil allocation problem in the steel industry (FZ, YM, YY), pp. 636–641.
- EDM-2016-FengRMB #gender
- Investigating Gender Difference on Homework in Middle School Mathematics (MF, JR, CM, RB), pp. 364–369.
- FM-2016-ChenFLMZ #verification
- Validated Simulation-Based Verification of Delayed Differential Dynamics (MC, MF, YL, PNM, NZ), pp. 137–154.
- FM-2016-SogokonGJ #abstraction #equation
- Decoupling Abstractions of Non-linear Ordinary Differential Equations (AS, KG, TTJ), pp. 628–644.
- CHI-PLAY-2016-RaptisFA #behaviour #game studies #performance #question
- Do Field Dependence-Independence Differences of Game Players Affect Performance and Behaviour in Cultural Heritage Games? (GER, CAF, NMA), pp. 38–43.
- CIG-2016-ViljanenAPH16a #equation #game studies #mobile #process #question
- User activity decay in mobile games determined by simple differential equations? (MV, AA, TP, JH), pp. 1–8.
- ICML-2016-BaiRWS #classification #geometry #learning
- Differential Geometric Regularization for Supervised Learning of Classifiers (QB, SR, ZW, SS), pp. 1879–1888.
- ICPR-2016-AginakoMRLS #approach #machine learning
- Machine Learning approach to dissimilarity computation: Iris matching (NA, JMMO, IRR, EL, BS), pp. 170–175.
- ICPR-2016-BertoliniOS #identification #multi #using
- Multi-script writer identification using dissimilarity (DB, LSO, RS), pp. 3025–3030.
- ICPR-2016-WangZMLCL #image #retrieval
- Mutli-channel micro-structure difference descriptor for image retrieval (XW, CZ, DM, CL, YC, ZL), pp. 2930–2935.
- KDD-2016-TingZCZZ #using
- Overcoming Key Weaknesses of Distance-based Neighbourhood Methods using a Data Dependent Dissimilarity Measure (KMT, YZ, MJC, YZ, ZHZ), pp. 1205–1214.
- KDD-2016-YuanYZH #approximate #linear #optimisation #privacy #query
- Convex Optimization for Linear Query Processing under Approximate Differential Privacy (GY, YY, ZZ, ZH), pp. 2005–2014.
- PLDI-2016-ChenSSSZ #implementation #testing #virtual machine
- Coverage-directed differential testing of JVM implementations (YC, TS, CS, ZS, JZ), pp. 85–99.
- POPL-2016-CardelliTTV #symbolic computation
- Symbolic computation of differential equivalences (LC, MT, MT, AV), pp. 137–150.
- ASE-2016-DotzlerP #source code
- Move-optimized source code tree differencing (GD, MP), pp. 660–671.
- CASE-2016-OltjenBKO #parallel #performance
- Efficient computation of system-specific motion commands for serial and parallel robots based on differential flatness (JÖ, DB, JK, TO), pp. 328–334.
- SIGMOD-2015-YangSN #correlation #privacy
- Bayesian Differential Privacy on Correlated Data (BY, IS, HN), pp. 747–762.
- TPDL-2015-KernM #question #retrieval #set
- Are There Any Differences in Data Set Retrieval Compared to Well-Known Literature Retrieval? (DK, BM), pp. 197–208.
- VLDB-2015-GuerraouiKPT #named #privacy #recommendation
- D2P: Distance-Based Differential Privacy in Recommenders (RG, AMK, RP, MT), pp. 862–873.
- VLDB-2015-HuYYDCYGZ #big data #framework #platform #privacy
- Differential Privacy in Telco Big Data Platform (XH, MY, JY, YD, LC, QY, HG, JZ), pp. 1692–1703.
- VLDB-2015-KhayyatLSOPQ0K #performance
- Lightning Fast and Space Efficient Inequality Joins (ZK, WL, MS, MO, PP, JAQR, NT, PK), pp. 2074–2085.
- EDM-2015-Allen #adaptation #effectiveness #modelling
- Who Do You Think I Am? Modeling Individual Differences for More Adaptive and Effective Instruction (LKA), pp. 659–661.
- EDM-2015-PaassenMH #adaptation #metric #sequence
- A Toolbox for Adaptive Sequence Dissimilarity Measures for Intelligent Tutoring Systems (BP, BM, BH), p. 632.
- ITiCSE-2015-WangHRI #gender
- Gender Differences in Factors Influencing Pursuit of Computer Science and Related Fields (JW, HH, JR, MI), pp. 117–122.
- SANER-2015-BezemerPG #comprehension #graph #performance #using
- Understanding software performance regressions using differential flame graphs (CPB, JP, BG), pp. 535–539.
- SANER-2015-PalixFL #algorithm
- Improving pattern tracking with a language-aware tree differencing algorithm (NP, JRF, JL), pp. 43–52.
- SANER-2015-PeteB #consistency #evolution #framework
- Handling the differential evolution of software artefacts: A framework for consistency management (IP, DB), pp. 599–600.
- FM-2015-NelsonFK #network #program analysis
- Static Differential Program Analysis for Software-Defined Networks (TN, ADF, SK), pp. 395–413.
- CHI-PLAY-2015-FodorMG #analysis
- Agents and Avatars: Event based analysis of competitive differences (MF, PMB, JG), pp. 511–516.
- CHI-PLAY-2015-SheininG #development #interface
- Quantifying Individual Differences, Skill Development, and Fatigue Effects in Small-Scale Exertion Interfaces (MS, CG), pp. 57–66.
- CHI-PLAY-2015-VellaJH #experience #game studies
- Playing Alone, Playing With Others: Differences in Player Experience and Indicators of Wellbeing (KV, DMJ0, LH), pp. 3–12.
- CIG-2015-TakahamaS #evolution
- Emerging collective intelligence in Othello players evolved by differential evolution (TT, SS), pp. 214–221.
- FDG-2015-LevySMWLG #behaviour #game studies #word
- Actions Speak Louder Than Words: An exploration of game play behavior and results from traditional assessments of individual differences (LML, RS, JM, JW, RL, MG).
- CHI-2015-CecchinatoCB #bound #email
- Working 9-5?: Professional Differences in Email and Boundary Management Practices (MEC, ALC, JB), pp. 3989–3998.
- CHI-2015-JohnsonWCW #experience #game studies #process
- Cooperative Game Play with Avatars and Agents: Differences in Brain Activity and the Experience of Play (DJ, PW, MC, CW), pp. 3721–3730.
- CHI-2015-MeutznerGK
- Constructing Secure Audio CAPTCHAs by Exploiting Differences between Humans and Machines (HM, SG, DK), pp. 2335–2338.
- CHI-2015-PaayKSLR #comprehension
- Understanding Individual Differences for Tailored Smoking Cessation Apps (JP, JK, MBS, LL, SR), pp. 1699–1708.
- CSCW-2015-BazarovaCSCW #facebook #social
- Social Sharing of Emotions on Facebook: Channel Differences, Satisfaction, and Replies (NNB, YHC, VSS, DC, JW), pp. 154–164.
- DHM-HM-2015-EndoYASSH #process
- Effect of Skill Level Difference in the Polishing Process of the Maki-e Making Technique (AE, HY, CA, TS, YS, HH), pp. 24–34.
- DHM-HM-2015-IkenoboWSG #how
- Differences in How Long an Ikebana Work Lasts Depending on the Skill Used in Cutting Floral Materials (YI, ZW, YS, AG), pp. 74–82.
- DHM-HM-2015-SugimotoINYG #process
- Difference in Polishing Process of FRP Between Expert and Non-expert (TS, DI, HN, YY, AG), pp. 174–181.
- DUXU-UI-2015-HeidtKBR #gender #human-computer
- Incommensurable Writings — Examining the Status of Gender Difference Within HCI Coding Practices (MH, KK, AB, PR), pp. 196–205.
- DUXU-UI-2015-HwangLJ #gender #smarttech #user interface #verification #women
- Verification of Stereotype on Women Observing Gender Difference on UX of Wearable Device (HJH, JML, DYJ), pp. 214–223.
- DUXU-UI-2015-Nawrot #data analysis #gender #question #towards #women
- Gender Differences in Temporal Data Analysis — Toward Women or Men Empowerment? (IN), pp. 232–242.
- HIMI-IKC-2015-ChongS
- Differences in Driver Distractibility Between Monolingual and Bilingual Drivers (IC, TZS), pp. 180–189.
- HIMI-IKC-2015-Iwata #learning
- Method to Generate an Operation Learning Support System by Shortcut Key Differences in Similar Software (HI), pp. 332–340.
- LCT-2015-Timotheou #online #student
- Differentiation of Student Perceptions for Online Courses, Over Time (MMT), pp. 697–703.
- CIKM-2015-ChenYC #clustering #privacy
- WaveCluster with Differential Privacy (LC, TY, RC), pp. 1011–1020.
- ECIR-2015-WilkieA #bias #comparison #metric #retrieval
- Retrievability and Retrieval Bias: A Comparison of Inequality Measures (CW, LA), pp. 209–214.
- ICML-2015-KairouzOV #composition #privacy #theorem
- The Composition Theorem for Differential Privacy (PK, SO, PV), pp. 1376–1385.
- KDD-2015-LeeWK #consistency #constraints #privacy
- Maximum Likelihood Postprocessing for Differential Privacy under Consistency Constraints (JL, YW, DK), pp. 635–644.
- RecSys-2015-BerliozFKBB #matrix #privacy
- Applying Differential Privacy to Matrix Factorization (AB, AF, MAK, RB, SB), pp. 107–114.
- SEKE-2015-GoncalesFSOV #comparison
- Model Comparison: a Systematic Mapping Study (LG, KF, MS, TCO, MV), pp. 546–551.
- SIGIR-2015-CapraACV #complexity #using
- Differences in the Use of Search Assistance for Tasks of Varying Complexity (RC, JA, AC, EV), pp. 23–32.
- SIGIR-2015-GwizdkaZ #metric #web
- Differences in Eye-Tracking Measures Between Visits and Revisits to Relevant and Irrelevant Web Pages (JG, YZ), pp. 811–814.
- SIGIR-2015-WangSLE #generative #timeline #twitter
- Assessor Differences and User Preferences in Tweet Timeline Generation (YW, GS, JL, ME), pp. 615–624.
- ICMT-2015-RozenS
- Origin Tracking + + Text Differencing = = Textual Model Differencing (RvR, TvdS), pp. 18–33.
- MoDELS-2015-MaozR #framework #semantics
- A framework for relating syntactic and semantic model differences (SM, JOR), pp. 24–33.
- PLDI-2015-MachadoLR #concurrent #debugging
- Concurrency debugging with differential schedule projections (NM, BL, LETR), pp. 586–595.
- POPL-2015-BartheGAHRS #approximate #design #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 #privacy
- Differential Privacy: Now it’s Getting Personal (HE, DS, GS), pp. 69–81.
- ESEC-FSE-2015-ChenS #implementation #testing #validation
- Guided differential testing of certificate validation in SSL/TLS implementations (YC, ZS), pp. 793–804.
- DAC-2015-LiuZWYX #analysis #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 #fault
- Improved practical differential fault analysis of grain-128 (PD, AC, AA, DM), pp. 459–464.
- FoSSaCS-2015-AbadiMP #data flow
- Foundations of Differential Dataflow (MA, FM, GDP), pp. 71–83.
- STOC-2015-AbdullahV #bound
- A Directed Isoperimetric Inequality with application to Bregman Near Neighbor Lower Bounds (AA, SV), pp. 509–518.
- STOC-2015-LovettZ
- Improved Noisy Population Recovery, and Reverse Bonami-Beckner Inequality for Sparse Functions (SL, JZ), pp. 137–142.
- CADE-2015-Platzer #calculus #logic
- A Uniform Substitution Calculus for Differential Dynamic Logic (AP), pp. 467–481.
- CAV-2015-ZouFZM #automation #equation #safety #verification
- Automatic Verification of Stability and Safety for Delay Differential Equations (LZ, MF, NZ, PNM), pp. 338–355.
- LICS-2015-Edalat #calculus
- Extensions of Domain Maps in Differential and Integral Calculus (AE), pp. 426–437.
- SAT-2015-Oh #satisfiability
- Between SAT and UNSAT: The Fundamental Difference in CDCL SAT (CO), pp. 307–323.
- VMCAI-2015-GhorbalSP #algebra #proving #set
- A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets (KG, AS, AP), pp. 431–448.
- VLDB-2014-LiHMW #algorithm #privacy #query
- A Data- and Workload-Aware Query Answering Algorithm for Range Queries Under Differential Privacy (CL, MH, GM, YW), pp. 341–352.
- EDM-2014-EagleB #approach #data-driven #problem
- Exploring Differences in Problem Solving with Data-Driven Approach Maps (ME, TB), pp. 76–83.
- EDM-2014-KhajahWLM #learning #modelling #predict
- Integrating latent-factor and knowledge-tracing models to predict individual differences in learning (MK, RW, RVL, MM), pp. 99–106.
- EDM-2014-VarnerSM
- The Long and Winding Road: Investigating the Differential Writing Patterns of High and Low Skilled Writers (LKV, ELS, DSM), pp. 304–407.
- ITiCSE-2014-LakanenIL #comprehension #student
- Understanding differences among coding club students (AJL, VI, VL), pp. 159–164.
- ICALP-v2-2014-KosowskiP #case study
- Does Adding More Agents Make a Difference? A Case Study of Cover Time for the Rotor-Router (AK, DP), pp. 544–555.
- CIG-2014-SzubertJ #game studies #learning #network
- Temporal difference learning of N-tuple networks for the game 2048 (MGS, WJ), pp. 1–8.
- CIG-2014-ThillBKK #game studies #learning
- Temporal difference learning with eligibility traces for the game connect four (MT, SB, PK, WK), pp. 1–8.
- CIG-2014-VodopivecS #bound
- Enhancing upper confidence bounds for trees with temporal difference values (TV, BS), pp. 1–8.
- FDG-2014-GuimaraesJ #development #game studies #gender
- Gender differences in videogame development classes: U.S. and the U.A.E (MAMG, LJ).
- FDG-2014-OsbornM #game studies #independence #metric
- A game-independent play trace dissimilarity metric (JCO, MM).
- VS-Games-2014-ChristouM #game studies #how #question
- Aliens versus Humans: Do Avatars Make a Difference in How We Play the Game? (CC, DM), pp. 1–7.
- CHI-2014-CareniniCHSTE #adaptation #visualisation
- Highlighting interventions and user differences: informing adaptive information visualization support (GC, CC, EH, BS, DT, JE), pp. 1835–1844.
- CHI-2014-SheininG #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.
- CSCW-2014-Flanagan #design
- Making a difference in and through playful design (MF), pp. 1–2.
- CSCW-2014-GrevetTG #social #social media
- Managing political differences in social media (CG, LGT, EG), pp. 1400–1408.
- DUXU-ELAS-2014-KuruK #design #gender #health
- Exploring Possibilities of Designing Virtual Personal Health Coach in Relation to Gender Differences (HK, AK), pp. 63–71.
- DUXU-TMT-2014-MacedoS #evaluation #semantics #user interface
- Building a Semantic Differential Scale as Tool for Assisting UX Evaluation with Home Appliances (VM, CMS), pp. 308–317.
- HCI-AS-2014-ZhaoSR #in the cloud
- The Impact of Culture Differences on Cloud Computing Adoption (FZ, HJS, MvR), pp. 776–785.
- HCI-AS-2014-ZiesemerBMOS #case study #gender #matter #user study
- Do Gender and Age Matter? A User Study on Differences in Photo Collection Management (AdCAZ, FBB, IHM, JBSdO, MSS), pp. 199–207.
- HIMI-AS-2014-HsiaoH #recognition
- Age Difference in Recognition of Emoticons (KAH, PLH), pp. 394–403.
- HIMI-DE-2014-TakahashiA #comparison #comprehension #mining #using
- User Needs Search Using the Text Mining — From Commodity Comparison, Understanding the Difference of Users Awareness (YT, YA), pp. 461–467.
- CIKM-2014-NtoutsiSRK #clustering #quote #recommendation
- “Strength Lies in Differences”: Diversifying Friends for Recommendations through Subspace Clustering (EN, KS, KR, HPK), pp. 729–738.
- CIKM-2014-SongG #named #privacy #query
- Aroma: A New Data Protection Method with Differential Privacy and Accurate Query Answering (CS, TG), pp. 1569–1578.
- ECIR-2014-KazaiS #evaluation #information retrieval #performance #query
- Dissimilarity Based Query Selection for Efficient Preference Based IR Evaluation (GK, HS), pp. 172–183.
- ICML-c1-2014-SinghP #estimation #exponential
- Generalized Exponential Concentration Inequality for Renyi Divergence Estimation (SS, BP), pp. 333–341.
- ICML-c2-2014-BarberW #equation #estimation #process
- Gaussian Processes for Bayesian Estimation in Ordinary Differential Equations (DB, YW), pp. 1485–1493.
- ICML-c2-2014-GardnerKZWC #constraints #optimisation
- Bayesian Optimization with Inequality Constraints (JRG, MJK, ZEX, KQW, JC), pp. 937–945.
- ICPR-2014-GilaniM #3d #perspective #women
- Perceptual Differences between Men and Women: A 3D Facial Morphometric Perspective (SZG, ASM), pp. 2413–2418.
- ICPR-2014-MoilanenZP #agile #analysis #using
- Spotting Rapid Facial Movements from Videos Using Appearance-Based Feature Difference Analysis (AM, GZ, MP), pp. 1722–1727.
- ICPR-2014-SavakisRP #gesture #learning #using
- Gesture Control Using Active Difference Signatures and Sparse Learning (AES, RR, RWP), pp. 3969–3974.
- ICPR-2014-SicreTG #image
- SuperPixel Based Angular Differences as a Mid-level Image Descriptor (RS, HET, TG), pp. 3732–3737.
- ICPR-2014-SinghKZ #detection #image #markov #multi #scalability
- A Multilayer Markovian Model for Change Detection in Aerial Image Pairs with Large Time Differences (PS, ZK, JZ), pp. 924–929.
- KDD-2014-GhoshTLY #community #network
- The interplay between dynamics and networks: centrality, communities, and cheeger inequality (RG, SHT, KL, XY), pp. 1406–1415.
- KDD-2014-LuM #estimation #exponential #graph #privacy #random
- Exponential random graph estimation under differential privacy (WL, GM), pp. 921–930.
- KMIS-2014-Bures #aspect-oriented #case study #xml
- Technical Aspects of XML Format — Case Study — Differences between Saving Data into Element and Attribute (OB), pp. 354–359.
- KR-2014-DistelAB #concept
- Concept Dissimilarity with Triangle Inequality (FD, JA, IB).
- KR-2014-LudwigK #logic
- Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (ML, BK).
- RecSys-2014-EkstrandHWK #algorithm #recommendation
- User perception of differences in recommender algorithms (MDE, FMH, MCW, JAK), pp. 161–168.
- SIGIR-2014-GolbusA #modelling #on the #retrieval #standard
- On the information difference between standard retrieval models (PBG, JAA), pp. 1135–1138.
- SIGIR-2014-KharazmiSSV #using
- Using score differences for search result diversification (SK, MS, FS, DV), pp. 1143–1146.
- SIGIR-2014-LivneGTDA #named #recommendation #using
- CiteSight: supporting contextual citation recommendation using differential search (AL, VG, JT, STD, EA), pp. 807–816.
- MoDELS-2014-LangerMK #behaviour #semantics #specification
- Semantic Model Differencing Utilizing Behavioral Semantics Specifications (PL, TM, GK), pp. 116–132.
- OOPSLA-2014-PartushY #correlation #semantics
- Abstract semantic differencing via speculative correlation (NP, EY), pp. 811–828.
- PLDI-2014-CaiGRO #formal method #higher-order #λ-calculus
- A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation (YC, PGG, TR, KO), p. 17.
- QAPL-2014-TschaikowskiT #algebra #biology #performance #process
- Extended Differential Aggregations in Process Algebra for Performance and Biology (MT, MT), pp. 34–47.
- SAS-2014-GhorbalSP #algebra #equation #polynomial
- Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations (KG, AS, AP), pp. 151–167.
- ASE-2014-FalleriMBMM #fine-grained #source code
- Fine-grained and accurate source code differencing (JRF, FM, XB, MM, MM), pp. 313–324.
- ASE-2014-LutzD #comparison #data flow #interactive #programming #using #visual notation
- Using visual dataflow programming for interactive model comparison (RL, SD), pp. 653–664.
- ICSE-2014-LinXXLPSZ #detection #multi
- Detecting differences across multiple instances of code clones (YL, ZX, YX, YL, XP, JS, WZ), pp. 164–174.
- ICSE-2014-YangKPR #incremental
- Property differencing for incremental checking (GY, SK, SP, NR), pp. 1059–1070.
- SAC-2014-JungSWCP #retrieval
- Similar MRI object retrieval based on modified contour to centroid triangulation with arc difference rate (BKJ, SYS, WW, HDC, JKP), pp. 31–32.
- PDP-2014-GrandjeanU #2d #clustering #distributed #finite #memory management #on the #parallel
- On Partitioning Two Dimensional Finite Difference Meshes for Distributed Memory Parallel Computers (AG, BU), pp. 9–16.
- FASE-2014-FahrenbergALW #diagrams
- Sound Merging and Differencing for Class Diagrams (UF, MA, AL, AW), pp. 63–78.
- STOC-2014-BunUV #approximate #privacy
- Fingerprinting codes and the price of approximate differential privacy (MB, JU, SPV), pp. 1–10.
- TACAS-2014-GhorbalP #algebra #invariant
- Characterizing Algebraic Invariants by Differential Radical Invariants (KG, AP), pp. 279–294.
- IJCAR-2014-JeanninP #hybrid #logic #named
- dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems (JBJ, AP), pp. 292–306.
- ISSTA-2014-AlkhalafAB #semantics #validation
- Semantic differential repair for input validation and sanitization (MA, AA, TB), pp. 225–236.
- SMT-2014-KhanhTO #named #polynomial #smt
- raSAT: SMT for Polynomial Inequality (TVK, VXT, MO), p. 67.
- QoSA-2013-KlattK #analysis #architecture
- Improving product copy consolidation by architecture-aware difference analysis (BK, MK), pp. 117–122.
- SIGMOD-2013-ChenZ #privacy #recursion #strict #towards
- Recursive mechanism: towards node differential privacy and unrestricted joins (SC, SZ), pp. 653–664.
- VLDB-2013-Bonomi #mining #privacy
- Mining Frequent Patterns with Differential Privacy (LB), pp. 1422–1427.
- VLDB-2013-KellarisP #privacy
- Practical Differential Privacy via Grouping and Smoothing (GK, SP), pp. 301–312.
- ITiCSE-2013-Luxton-ReillyDKTY #on the #student
- On the differences between correct student solutions (ALR, PD, DK, EDT, SYY), pp. 177–182.
- WCRE-2013-HayashiTS #java #named #refactoring
- REdiffs: Refactoring-aware difference viewer for java (SH, ST, MS), pp. 487–488.
- WCRE-2013-XingXJ
- Distilling useful clones by contextual differencing (ZX, YX, SJ), pp. 102–111.
- ICALP-v1-2013-DeDS #algorithm #analysis #fourier #geometry #robust
- A Robust Khintchine Inequality, and Algorithms for Computing Optimal Constants in Fourier Analysis and High-Dimensional Geometry (AD, ID, RAS), pp. 376–387.
- ICALP-v2-2013-BartheO #composition #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.
- LATA-2013-MerweFG #symmetry
- Counting Minimal Symmetric Difference NFAs (BvdM, MF, JG), pp. 419–430.
- FDG-2013-ZagalT #case study #game studies
- Cultural differences in game appreciation: A study of player game reviews (JPZ, NT), pp. 86–93.
- CHI-2013-FindlaterFFWD #performance
- Age-related differences in performance with touchscreens compared to traditional mouse input (LF, JF, KF, JOW, TD), pp. 343–346.
- CSCW-2013-BurkeK #facebook #using
- Using facebook after losing a job: differential benefits of strong and weak ties (MB, RK), pp. 1419–1430.
- CSCW-2013-ReineckeNBNG #behaviour #online #scheduling
- Doodle around the world: online scheduling behavior reflects cultural differences in time perception and group decision-making (KR, MKN, AB, MN, KZG), pp. 45–54.
- CSCW-2013-Velden #community
- Explaining field differences in openness and sharing in scientific communities (TV), pp. 445–458.
- DUXU-NTE-2013-ChuangH #case study
- A Study on Time Differences between Actual Advertisement Viewing and Retrospective Perception (MHC, CH), pp. 455–464.
- DUXU-PMT-2013-BellowsHY #approach #design #research
- An Individual Differences Approach to Design Fixation: Comparing Laboratory and Field Research (BGB, JFH, RJY), pp. 13–21.
- DUXU-WM-2013-KimJ13a #case study #experience #user interface
- A Study of the Satisfaction Level of User Experience in Digital Media Space Accordance with Differences in Flow Characteristic (YK, ECJ), pp. 515–524.
- HCI-AS-2013-HuaG #comprehension #evaluation #predict #protocol #safety #usability
- Usability Evaluation of a Voluntary Patient Safety Reporting System: Understanding the Difference between Predicted and Observed Time Values by Retrospective Think-Aloud Protocols (LH, YG), pp. 94–100.
- ICEIS-v3-2013-DelgadoM #social
- Social Robots, Cross-cultural Differences (ARD, MGM), pp. 19–22.
- CIKM-2013-BonomiX #algorithm #mining #privacy
- A two-phase algorithm for mining sequential patterns with differential privacy (LB, LX), pp. 269–278.
- ICML-c3-2013-TamarCM
- Temporal Difference Methods for the Variance of the Reward To Go (AT, DDC, SM), pp. 495–503.
- KDD-2013-ShenY #graph #mining #privacy
- Mining frequent graph patterns with differential privacy (ES, TY), pp. 545–553.
- KDIR-KMIS-2013-StroetmannLOE #information management #performance #quality
- When Measuring Performance Makes the Difference — Quality and Success of a Clinical Knowledge Management Project (BS, AL, AO, OE), pp. 419–425.
- RecSys-2013-ChowJKS #data analysis #recommendation
- Differential data analysis for recommender systems (RC, HJ, BPK, GS), pp. 323–326.
- SIGIR-2013-Sadeghi #evaluation
- Task differentiation for personal search evaluation (SSS), p. 1147.
- POPL-2013-GaboardiHHNP #dependent type #linear #privacy
- Linear dependent types for differential privacy (MG, AH, JH, AN, BCP), pp. 357–370.
- QAPL-2013-GazeauMP #privacy #semantics
- Preserving differential privacy under finite-precision semantics (IG, DM, CP), pp. 1–18.
- SAS-2013-PartushY #semantics #source code
- Abstract Semantic Differencing for Numerical Programs (NP, EY), pp. 238–258.
- ESEC-FSE-2013-LahiriMSH
- Differential assertion checking (SKL, KLM, RS, CH), pp. 345–355.
- ICSE-2013-SumnerZ #comparative
- Comparative causality: explaining the differences between executions (WNS, XZ), pp. 272–281.
- SAC-2013-HorieS
- Extracting differences between regular tree grammars (KH, NS), pp. 859–864.
- SAC-2013-MeloC #automation #case study #evolution #generative
- Automatic generation of evolutionary operators: a study with mutation strategies for the differential evolution (VVdM, GLCC), pp. 188–193.
- CASE-2013-LiSZL #assessment #automation #quality #simulation
- Sensor data quality assessment for building simulation model calibration based on automatic differentiation (SL, ZS, MZ, YL), pp. 752–757.
- PDP-2013-CalandraDFLS #evaluation #finite
- Evaluation of Successive CPUs/APUs/GPUs Based on an OpenCL Finite Difference Stencil (HC, RD, PF, JLL, IS), pp. 405–409.
- FASE-2013-ZhongTX #api #behaviour
- Exposing Behavioral Differences in Cross-Language API Mapping Relations (HZ, ST, TX), pp. 130–145.
- STOC-2013-HsuRU #equilibrium #privacy
- Differential privacy for the analyst via private equilibrium computation (JH, AR, JU), pp. 341–350.
- STOC-2013-KwokLLGT #algorithm #analysis #clustering #higher-order
- Improved Cheeger’s inequality: analysis of spectral partitioning algorithms through higher order spectral gap (TCK, LCL, YTL, SOG, LT), pp. 11–20.
- STOC-2013-NaorRV #commutative #performance
- Efficient rounding for the noncommutative grothendieck inequality (AN, OR, TV), pp. 71–80.
- STOC-2013-NikolovTZ #approximate #geometry #privacy
- The geometry of differential privacy: the sparse and approximate cases (AN, KT, LZ), pp. 351–360.
- STOC-2013-Ullman #privacy #query
- Answering n{2+o(1)} counting queries with differential privacy is hard (JU), pp. 361–370.
- CADE-2013-GangeSSS #composition #constraints
- Solving Difference Constraints over Modular Arithmetic (GG, HS, PJS, PS), pp. 215–230.
- SIGMOD-2012-PengYZWY #multi #named #privacy
- DP-tree: indexing multi-dimensional data under differential privacy (SP, YY, ZZ, MW, YY), p. 864.
- SIGMOD-2012-YangZMWX #analysis #privacy
- Differential privacy in data publication and analysis (YY, ZZ, GM, MW, XX), pp. 601–606.
- VLDB-2012-LiM #adaptation #privacy #query
- An Adaptive Mechanism for Accurate Query Answering under Differential Privacy (CL, GM), pp. 514–525.
- VLDB-2012-LiQSC #mining #named #privacy
- PrivBasis: Frequent Itemset Mining with Differential Privacy (NL, WHQ, DS, JC), pp. 1340–1351.
- VLDB-2012-YuanZWXYH #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 #functional #privacy
- Functional Mechanism: Regression Analysis under Differential Privacy (JZ, ZZ, XX, YY, MW), pp. 1364–1375.
- VLDB-2013-DrosouP12
- DisC diversity: result diversification based on dissimilarity and coverage (MD, EP), pp. 13–24.
- CSMR-2012-MoghadamC #automation #design #refactoring #using
- Automated Refactoring Using Design Differencing (IHM, MÓC), pp. 43–52.
- ICSM-2012-KehrerKOS #comprehension #evolution #semantics
- Understanding model evolution through semantically lifting model differences with SiLift (TK, UK, MO, TS), pp. 638–641.
- CIG-2012-RunarssonL #game studies #learning
- Imitating play from game trajectories: Temporal difference learning versus preference learning (TPR, SML), pp. 79–82.
- FDG-2012-Bergstrom #women
- Virtual inequality: a woman's place in cyberspace (KB), pp. 267–269.
- FDG-2012-BergstromJC #what
- What's 'choice' got to do with it?: avatar selection differences between novice and expert players of World of Warcraft and Rift (KB, JJ, SdC), pp. 97–104.
- FDG-2012-LevyGSMAW #gender
- Fear of failure: gender differences in older adult gamers (LML, MG, RS, ACM, JCA, LAW), pp. 292–293.
- CHI-2012-ChinF #health #learning
- Age differences in exploratory learning from a health information website (JC, WTF), pp. 3031–3040.
- CHI-2012-FlatlaG #modelling #named #tool support
- SSMRecolor: improving recoloring tools with situation-specific models of color differentiation (DRF, CG), pp. 2297–2306.
- CHI-2012-YardiB #product line
- Income, race, and class: exploring socioeconomic differences in family technology use (SY, AB), pp. 3041–3050.
- CAiSE-2012-AcherHCQLM #feature model
- Feature Model Differences (MA, PH, PC, CQ, PL, PM), pp. 629–645.
- EDOC-2012-ZhouXDL #network
- Complicated Logistics Network Redesign Considering Service Differentiation (LZ, XX, SD, XL), pp. 93–102.
- CIKM-2012-FanX #monitoring #privacy #realtime
- Real-time aggregate monitoring with differential privacy (LF, LX), pp. 2169–2173.
- CIKM-2012-SandersonTZS #effectiveness
- Differences in effectiveness across sub-collections (MS, AT, YZ, FS), pp. 1965–1969.
- ICML-2012-GeistSLG #approach #learning
- A Dantzig Selector Approach to Temporal Difference Learning (MG, BS, AL, MG), p. 49.
- ICPR-2012-DinhDL #case study #representation
- A study on semi-supervised dissimilarity representation (VCD, RPWD, ML), pp. 2861–2864.
- ICPR-2012-ZhangLXL #gesture #recognition
- Gesture recognition based on depth difference distribution (PZ, TL, HX, LL), pp. 157–160.
- KDD-2012-LeeC
- Differential identifiability (JL, CC), pp. 1041–1049.
- KR-2012-HalpernK #ambiguity
- Ambiguous Language and Differences in Beliefs (JYH, WK).
- RecSys-2012-DeDGM #learning #using
- Local learning of item dissimilarity using content and link structure (AD, MSD, NG, PM), pp. 221–224.
- SEKE-2012-ZhuLLCZJ #continuation #logic #using #verification
- HybridUML Based Verification of CPS Using Differential Dynamic Logic (MZ, BL, JL, QC, XZ, SJ), pp. 235–238.
- SIGIR-2012-WangOL #microblog
- Summarizing the differences from microblogs (DW, MO, TL), pp. 1147–1148.
- SIGIR-2012-WhiteR #social
- Effects of expertise differences in synchronous social Q&A (RWW, MR), pp. 1055–1056.
- PADL-2012-CampagnaSS #approximate #constraints #datalog #optimisation
- Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation (DC, BSS, TS), pp. 108–122.
- POPL-2012-BartheKOB #privacy #probability #reasoning #relational
- Probabilistic relational reasoning for differential privacy (GB, BK, FO, SZB), pp. 97–110.
- QAPL-2012-PalamidessiS #algebra #bound #constraints #privacy #relational
- Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems (CP, MS), pp. 92–105.
- ASE-2012-KehrerKPS #adaptation #comparison #tool support
- Adaptability of model comparison tools (TK, UK, PP, MS), pp. 306–309.
- ASE-2012-RubinC #set #using
- Locating distinguishing features using diff sets (JR, MC), pp. 242–245.
- SAC-2012-AvalhaisSRT #image #retrieval #search-based
- Image retrieval employing genetic dissimilarity weighting and feature space transformation functions (LPSA, SFdS, JFRJ, AJMT), pp. 1012–1017.
- SAC-2012-Koohi-MoghadamR #evolution
- Molecular docking with opposition-based differential evolution (MKM, ATR), pp. 1387–1392.
- SAC-2012-ZhaoHWA #constraints #diagrams #equation #polynomial
- Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints (TZ, HH, DW, PA), pp. 94–101.
- ASPLOS-2012-KasikciZC #debugging
- Data races vs. data race bugs: telling the difference with portend (BK, CZ, GC), pp. 185–198.
- CASE-2012-LuiP #assembly #evolution #flexibility #scheduling #using
- Scheduling Flexible Assembly Lines using variants of Differential Evolution (WHVL, SGP), pp. 594–599.
- DATE-2012-ChatziparaskevasBP #finite #parallel #using
- An FPGA-based parallel processor for Black-Scholes option pricing using finite differences schemes (GC, AB, IP), pp. 709–714.
- DATE-2012-WangLPW #algorithm #linear #simulation
- An operational matrix-based algorithm for simulating linear and fractional differential circuits (YW, HL, GKHP, NW), pp. 1463–1466.
- CAV-2012-Venet #analysis #invariant #linear #scalability
- The Gauge Domain: Scalable Analysis of Linear Inequality Invariants (AV), pp. 139–154.
- ICST-2012-ChoudharyPO #crawling #detection #named #web
- CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications (SRC, MRP, AO), pp. 171–180.
- IJCAR-2012-KonevLW #logic
- Logical Difference Computation with CEX2.5 (BK, ML, FW), pp. 371–377.
- ISSTA-2012-AlkhalafCFBOK #analysis #consistency #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.
- ECSA-2011-NakagawaAB #architecture #product line
- Reference Architecture and Product Line Architecture: A Subtle But Critical Difference (EYN, POA, MB), pp. 207–211.
- ICDAR-2011-ColuttoG #performance #recognition #using #word
- Efficient Word Recognition Using a Pixel-Based Dissimilarity Measure (SC, BG), pp. 1110–1114.
- SIGMOD-2011-XiaoBHG #fault #named #privacy
- iReduct: differential privacy with reduced relative errors (XX, GB, MH, JG), pp. 229–240.
- VLDB-2011-ChenMFDX #privacy
- Publishing Set-Valued Data via Differential Privacy (RC, NM, BCMF, BCD, LX), pp. 1087–1098.
- VLDB-2011-KhannaRT #database #probability #query
- Queries with Difference on Probabilistic Databases (SK, SR, VT), pp. 1051–1062.
- ITiCSE-2011-SettleDD #student
- Does lecture capture make a difference for students in traditional classrooms (AS, LD, MJD), pp. 78–82.
- ICSM-2011-TsantalisNS #named
- Webdiff: A generic differencing service for software artifacts (NT, NN, ES), pp. 586–589.
- ICALP-v2-2011-AlvimACP #data flow #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 #game studies
- Constructing Differential Categories and Deconstructing Categories of Games (JL, GM, GM), pp. 186–197.
- TLCA-2011-Gimenez #linear #logic #normalisation #proving
- Realizability Proof for Normalization of Full Differential Linear Logic (SG), pp. 107–122.
- CIG-2011-AbdullahiL #learning
- Temporal difference learning with interpolated n-tuples: Initial results from a simulated car racing environment (AAA, SML), pp. 321–328.
- CHI-2011-ZhaoJ #image #network #self #social #visual notation
- Cultural differences on visual self-presentation through social networking site profile images (CZ, GJ), pp. 1129–1132.
- CSCW-2011-WangFC
- From diversity to creativity: stimulating group brainstorming with cultural differences and conversationally-retrieved pictures (HCW, SRF, DC), pp. 265–274.
- DUXU-v1-2011-AuingerAKH #design #question #web
- Conformity with User Expectations on the Web: Are There Cultural Differences for Design Principles? (AA, AMA, HK, AH), pp. 3–12.
- DUXU-v1-2011-DinetVB #community #design #towards
- Towards Future Methods to Take into Account Cross-Cultural Differences in Design: An Example with the “Expert Community Staff” (ECS) (JD, RV, EB), pp. 53–61.
- DUXU-v1-2011-SirotkinM #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-KallinenER #multi
- Individual Differences in Work Load While Doing Multitasking with a Computer (KK, IE, NR), pp. 351–358.
- IDGD-2011-LiRH #communication
- The Impact of Cultural Differences on Instant Messaging Communication in China and Germany (HL, PLPR, AH), pp. 75–84.
- OCSC-2011-TsaiHT11a #behaviour #metric
- Measurement of Tagging Behavior Differences (LCT, SLH, KHT), pp. 373–377.
- VISSOFT-2011-NovaisLCPM #approach #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 #evolution #interactive #on the #using #visualisation
- On the Use of Software Visualization to Analyze Software Evolution: An Interactive Differential Approach (RLN, GdFC, PRMSJ, MGM), pp. 241–255.
- ICEIS-v3-2011-NovaisCJM #approach #evolution #interactive #on the #using #visualisation
- On the Use of Software Visualization to Analyze Software Evolution — An Interactive Differential Approach (RLN, GdFC, PRMSJ, MGdMN), pp. 15–24.
- CIKM-2011-GoncalvesPS #categorisation #logic #ontology #owl
- Categorising logical differences between OWL ontologies (RSG, BP, US), pp. 1541–1546.
- CIKM-2011-LeeLSY #robust #symmetry #video
- Robust video fingerprinting based on hierarchical symmetric difference feature (JL, SL, YS, WY), pp. 2089–2092.
- ICML-2011-LiuI #bound #using
- Bounding the Partition Function using Holder’s Inequality (QL, ATI), pp. 849–856.
- ICML-2011-SunGRS #fault #incremental
- Incremental Basis Construction from Temporal Difference Error (YS, FJG, MBR, JS), pp. 481–488.
- KDIR-2011-OzakiE #empirical #estimation
- Estimation of Implicit user Influence from Proxy Logs — An Empirical Study on the Effects of Time Difference and Popularity (TO, ME), pp. 250–255.
- MLDM-2011-SimeonH #approach #correlation #mining #named #set
- GENCCS: A Correlated Group Difference Approach to Contrast Set Mining (MS, RJH), pp. 140–154.
- SIGIR-2011-GossenLN #web #what
- What are the real differences of children’s and adults’ web search (TG, TL, AN), pp. 1115–1116.
- SIGIR-2011-WanJHX #multi
- Summarizing the differences in multilingual news (XW, HJ, SH, JX), pp. 735–744.
- MoDELS-2011-FahrenbergLW #exclamation #semantics
- Vision Paper: Make a Difference! (Semantically) (UF, AL, AW), pp. 490–500.
- SPLC-2011-ZhangHM #comparison #modelling #product line
- Model Comparison to Synthesize a Model-Driven Software Product Line (XZ, ØH, BMP), pp. 90–99.
- ECOOP-2011-MaozRR #diagrams #named #semantics
- CDDiff: Semantic Differencing for Class Diagrams (SM, JOR, BR), pp. 230–254.
- OOPSLA-2011-PalmerS #java #metaprogramming
- Backstage Java: making a difference in metaprogramming (ZP, SFS), pp. 939–958.
- ASE-2011-KehrerKT #approach #rule-based #semantics #version control
- A rule-based approach to the semantic lifting of model differences in the context of model versioning (TK, UK, GT), pp. 163–172.
- ASE-2011-NguyenNNN11a #named
- iDiff: Interaction-based program differencing tool (HAN, TTN, HVN, TNN), pp. 572–575.
- ASE-2011-OverbeyJ #analysis #lightweight #refactoring #reuse #tool support
- Differential precondition checking: A lightweight, reusable analysis for refactoring tools (JLO, REJ), pp. 303–312.
- ASE-2011-XingXJ #named
- CloneDifferentiator: Analyzing clones by differentiation (ZX, YX, SJ), pp. 576–579.
- ESEC-FSE-2011-MaozRR #diagrams #named #process #semantics
- ADDiff: semantic differencing for activity diagrams (SM, JOR, BR), pp. 179–189.
- GTTSE-2011-MikhaielTNSX #modelling #uml
- Differencing UML Models: A Domain-Specific vs. a Domain-Agnostic Method (RM, NT, NN, ES, ZX), pp. 159–196.
- ICSE-2011-LiKZJNMK
- Characterizing the differences between pre- and post- release versions of software (PLL, RK, ZZ, SeJ, NN, BM, AJK), pp. 716–725.
- DAC-2011-PotkonjakMNW #architecture
- Differential public physically unclonable functions: architecture and applications (MP, SM, AN, SW), pp. 242–247.
- CADE-2011-Platzer #hybrid #logic #probability #source code
- Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (AP), pp. 446–460.
- CSL-2011-Ehrhard #λ-calculus
- Resource λ-Calculus: the Differential Viewpoint (TE), p. 1.
- DocEng-2010-BalinskyS #documentation #multi #workflow
- Differential access for publicly-posted composite documents with multiple workflow participants (HB, SJS), pp. 115–124.
- DocEng-2010-Vion-Dury #calculus #documentation #editing #towards #xml
- Diffing, patching and merging XML documents: toward a generic calculus of editing deltas (JYVD), pp. 191–194.
- PODS-2010-LiHRMM #linear #optimisation #privacy #query
- Optimizing linear counting queries under differential privacy (CL, MH, VR, GM, AM), pp. 123–134.
- VLDB-2011-SagyKSS10 #distributed #query #representation
- Distributed Threshold Querying of General Functions by a Difference of Monotonic Representation (GS, DK, IS, AS), pp. 46–57.
- EDM-2010-BakerG #analysis #student
- An Analysis of the Differences in the Frequency of Students’ Disengagement in Urban, Rural, and Suburban High Schools (RSJdB, SMG), pp. 11–20.
- EDM-2010-KhodeirWDH #abduction #network #probability #student #using
- Inferring the Differential Student Model in a Probabilistic Domain Using Abduction inference in Bayesian networks (NK, NMW, NMD, NH), pp. 299–300.
- MSR-2010-JuzgadoV #re-engineering #using
- Using differences among replications of software engineering experiments to gain knowledge (NJJ, SV).
- LATA-2010-HemmerlingSK #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 #distance #privacy
- Distance makes the types grow stronger: a calculus for differential privacy (JR, BCP), pp. 157–168.
- FDG-2010-RoweSML #learning #perspective
- Individual differences in gameplay and learning: a narrative-centered learning perspective (JPR, LRS, BWM, JCL), pp. 171–178.
- CHI-2010-ChinF #interactive #interface #performance
- Interactive effects of age and interface differences on search strategies and performance (JC, WTF), pp. 403–412.
- CHI-2010-DongF #image
- Cultural difference in image tagging (WD, WTF), pp. 981–984.
- CHI-2010-FlatlaG #modelling #visualisation
- Individual models of color differentiation to improve interpretability of information visualization (DRF, CG), pp. 2563–2572.
- CSCW-2010-ArazyN #quality #wiki
- Determinants of wikipedia quality: the roles of global and local contribution inequality (OA, ON), pp. 233–236.
- ICEIS-AIDSS-2010-SahaPMB #classification #clustering #image #using
- Improvement of Differential Crisp Clustering using ANN Classifier for Unsupervised Pixel Classification of Satellite Image (IS, DP, UM, SB), pp. 21–29.
- ICEIS-HCI-2010-AstolfiMSA #enterprise #people #problem #using
- Using Cultural Differences to Join People with Common Interests or Problems in Enterprise Environment (GA, VMAdM, MARS, JCA), pp. 192–197.
- ICML-2010-DowneyS #adaptation
- Temporal Difference Bayesian Model Averaging: A Bayesian Perspective on Adapting λ (CD, SS), pp. 311–318.
- ICML-2010-Scherrer #fixpoint #perspective
- Should one compute the Temporal Difference fix point or minimize the Bellman Residual? The unified oblique projection view (BS), pp. 959–966.
- ICML-2010-Yu #convergence
- Convergence of Least Squares Temporal Difference Methods Under General Conditions (HY), pp. 1207–1214.
- ICPR-2010-BatistaGS #representation #verification
- Applying Dissimilarity Representation to Off-Line Signature Verification (LB, EG, RS), pp. 1293–1297.
- ICPR-2010-BuloP #clustering #probability #using
- Probabilistic Clustering Using the Baum-Eagon Inequality (SRB, MP), pp. 1429–1432.
- ICPR-2010-CalanaROD #algorithm #prototype #representation #search-based
- Prototype Selection for Dissimilarity Representation by a Genetic Algorithm (YPC, EBGR, MOA, RPWD), pp. 177–180.
- ICPR-2010-CeolinH #gender #metric #using
- Characterising Facial Gender Difference Using Fisher-Rao Metric (SC, ERH), pp. 4308–4311.
- ICPR-2010-GueguenSP #composition #image #multi #segmentation
- Differential Morphological Decomposition Segmentation: A Multi-Scale Object Based Image Description (LG, PS, MP), pp. 938–941.
- ICPR-2010-HuangSLT #multi
- Saliency Based on Multi-scale Ratio of Dissimilarity (RH, NS, LL, QT), pp. 13–16.
- ICPR-2010-OuzounisS
- Differential Area Profiles (GKO, PS), pp. 4085–4088.
- ICPR-2010-PalenichkaLZ #image
- Outlier-Resistant Dissimilarity Measure for Feature-based Image Matching (RMP, AL, MBZ), pp. 846–849.
- ICPR-2010-Porro-MunozDOTL #representation
- Classifying Three-way Seismic Volcanic Data by Dissimilarity Representation (DPM, RPWD, MOA, ITB, JMLB), pp. 814–817.
- ICPR-2010-QuWL #image #recognition #using
- Action Recognition Using Space-Time Shape Difference Images (HQ, LW, CL), pp. 3661–3664.
- ICPR-2010-WangLGL #3d #comparison #kernel
- 3D Model Comparison through Kernel Density Matching (YW, TL, RG, WL), pp. 3159–3162.
- KDD-2010-FriedmanS #data mining #mining #privacy
- Data mining with differential privacy (AF, AS), pp. 493–502.
- ASE-2010-DuleySK #algorithm
- A program differencing algorithm for verilog HDL (AD, CS, MK), pp. 477–486.
- ASE-2010-Xing #comparison
- Model comparison with GenericDiff (ZX), pp. 135–138.
- ICSE-2010-LohK #identification #named
- LSdiff: a program differencing tool to identify systematic structural differences (AL, MK), pp. 263–266.
- DATE-2010-Eul #communication #standard
- Wireless communication — successful differentiation on standard technology by innovation (HE), p. 2.
- DATE-2010-LomneDMTR #analysis #preprocessor #statistics
- Differential Power Analysis enhancement with statistical preprocessing (VL, AD, PM, LT, MR), pp. 1301–1304.
- STOC-2010-DworkNPR #privacy
- Differential privacy under continual observation (CD, MN, TP, GNR), pp. 715–724.
- STOC-2010-HardtT #geometry #on the #privacy
- On the geometry of differential privacy (MH, KT), pp. 705–714.
- CSL-2010-Platzer #distributed #hybrid #logic #quantifier
- Quantified Differential Dynamic Logic for Distributed Hybrid Systems (AP), pp. 469–483.
- ISSTA-2010-PaleariMRB #testing
- N-version disassembly: differential testing of x86 disassemblers (RP, LM, GFR, DB), pp. 265–274.
- LICS-2010-DanosFFHK #automation #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.
- SAT-2010-Naveh #constraints
- The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference (YN), pp. 1–7.
- DocEng-2009-Fraser
- Differential synchronization (NF), pp. 13–20.
- DRR-2009-LiD #independence #using #verification
- Improving semi-text-independent method of writer verification using difference vector (XL, XD), pp. 1–10.
- ICDAR-2009-LandreMR #classification #image #using
- Ornamental Letters Image Classification Using Local Dissimilarity Maps (JL, FMN, SR), pp. 186–190.
- ICDAR-2009-ShivakumaraPT #detection #video
- A Gradient Difference Based Technique for Video Text Detection (PS, TQP, CLT), pp. 156–160.
- VLDB-2009-BaoBDG #named #workflow
- PDiffView: Viewing the Difference in Provenance of Workflow Results (ZB, SCB, SBD, PG), pp. 1638–1641.
- VLDB-2009-LiuSC
- Structured Search Result Differentiation (ZL, PS, YC), pp. 313–324.
- EDM-2009-Baker
- Differences Between Intelligent Tutor Lessons, and the Choice to Go Off-Task (RB), pp. 11–20.
- EDM-2009-ZoubekB #visualisation
- Visualization of Differences in Data Measuring Mathematical Skills (LZ, MB), pp. 319–324.
- ITiCSE-2009-Perrenet #student
- Differences in beliefs and attitudes about computer science among students and faculty of the bachelor program (JP), pp. 129–133.
- ICSM-2009-JiaSYL #data transformation #predict #question #set
- Data transformation and attribute subset selection: Do they help make differences in software failure prediction? (HJ, FS, YY, QL), pp. 519–522.
- WCRE-1999-BogdanovW99a #modelling
- Computing the Structural Difference between State-Based Models (KB, NW), pp. 177–186.
- TLCA-2009-Pagani #theorem
- The Cut-Elimination Theorem for Differential Nets with Promotion (MP), pp. 219–233.
- TLCA-2009-Vaux #linear #logic
- Differential Linear Logic and Polarization (LV), pp. 371–385.
- ICFP-2009-Elliott
- Beautiful differentiation (CME), pp. 191–202.
- CIG-2009-BurrowL #evolution #game studies #learning
- Evolution versus Temporal Difference Learning for learning to play Ms. Pac-Man (PB, SML), pp. 53–60.
- CIG-2009-GalwayCB #game studies #learning #using
- Improving Temporal Difference game agent control using a dynamic exploration during control learning (LG, DC, MMB), pp. 38–45.
- CIG-2009-Lucas09b #learning
- Temporal difference learning with interpolated table value functions (SML), pp. 32–37.
- CIG-2009-SzubertJK #learning
- Coevolutionary Temporal Difference Learning for Othello (MGS, WJ, KK), pp. 104–111.
- DiGRA-2009-NapIK #game studies
- Age Differences in Associations with Digital Gaming (HHN, WAI, YAWdK).
- CHI-2009-WangFS #adaptation #communication
- Cultural difference and adaptation of communication styles in computer-mediated group brainstorming (HCW, SRF, LDS), pp. 669–678.
- HCD-2009-AdnanND #approach
- Examining Individual Differences Effects: An Experimental Approach (WAWA, NLMN, NGND), pp. 570–575.
- HCD-2009-HashizumeKY #communication #using
- Regional Difference in the Use of Cell Phone and Other Communication Media among Senior Users (AH, MK, TY), pp. 426–435.
- HCD-2009-LokmanHNN #analysis #evaluation
- Website Affective Evaluation: Analysis of Differences in Evaluations Result by Data Population (AML, AFH, NLMN, MN), pp. 643–652.
- HCD-2009-NaumannWS #concept #experience #industrial #metric #usability #user interface
- Measurements and Concepts of Usability and User Experience: Differences between Industry and Academia (AN, IW, RS), pp. 618–626.
- HCI-NIMT-2009-Yee #gesture #multi
- Potential Limitations of Multi-touch Gesture Vocabulary: Differentiation, Adoption, Fatigue (WY), pp. 291–300.
- HCI-NT-2009-Liu #design #gender #industrial #interface
- Effects of Gender Difference on Emergency Operation Interface Design in Semiconductor Industry (HL), pp. 484–489.
- HCI-VAD-2009-LiHLW
- The Differences of Aviation Human Factors between Individualism and Collectivism Culture (WCL, DH, LWL, TW), pp. 723–730.
- HIMI-DIE-2009-Goode #how #online
- How Product Differentiation Affects Online Shopping (AWG), pp. 253–262.
- IDGD-2009-AlostathAA #design #identification #interface
- Identifying and Measuring Cultural Differences in Cross-Cultural User-Interface Design (JMA, SA, ABA), pp. 3–12.
- IDGD-2009-EuneL #behaviour #mobile
- Cultural Dimensions in User Preferences and Behaviors of Mobile Phones and Interpretation of National Cultural Differences (JE, KPL), pp. 29–38.
- CIKM-2009-MartineauFJP #classification #problem #using #word
- Improving binary classification on text problems using differential word features (JM, TF, AJ, SP), pp. 2019–2024.
- ECIR-2009-HalveyPHVHGJ #case study #low level #metric #retrieval #using #video
- Diversity, Assortment, Dissimilarity, Variety: A Study of Diversity Measures Using Low Level Features for Video Retrieval (MH, PP, DH, RV, FH, AG, JMJ), pp. 126–137.
- ECIR-2009-NamNLL #named
- DiffPost: Filtering Non-relevant Content Based on Content Difference between Two Consecutive Blog Posts (SHN, SHN, YL, JHL), pp. 791–795.
- ICML-2009-KolterN09a #feature model #learning
- Regularization and feature selection in least-squares temporal difference learning (JZK, AYN), pp. 521–528.
- MLDM-2009-RiesenB #graph #prototype #reduction #using
- Dissimilarity Based Vector Space Embedding of Graphs Using Prototype Reduction Schemes (KR, HB), pp. 617–631.
- ICSE-2009-CanforaCP #named
- Ldiff: An enhanced line differencing tool (GC, LC, MDP), pp. 595–598.
- SAC-2009-CipciganR #equation #probability
- Interlaced Euler scheme for stiff systems of stochastic differential equations (IC, MR), pp. 989–994.
- CASE-2009-NaveenRR #algorithm #evolution #network #search-based #using
- Rule extraction from differential evolution trained radial basis function network using genetic algorithms (NN, VR, CRR), pp. 152–157.
- STOC-2009-DworkL #privacy #robust #statistics
- Differential privacy and robust statistics (CD, JL), pp. 371–380.
- CSL-2009-Tranquilli #confluence
- Confluence of Pure Differential Nets with Promotion (PT), pp. 500–514.
- ICLP-2009-Li #algorithm #constraints #functional #integer #research #summary
- Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality (CL), pp. 530–531.
- ISSTA-2009-GorgZ #aspectj #identification #semantics #source code
- Identifying semantic differences in AspectJ programs (MTG, JZ), pp. 25–36.
- ECDL-2008-KeeganC #what
- What a Difference a Default Setting Makes (TTK, SJC), pp. 264–267.
- FLOPS-2008-Yokouchi #algorithm #analysis #lazy evaluation #strict
- Strictness Analysis Algorithms Based on an Inequality System for Lazy Types (HY), pp. 255–271.
- CIG-2008-Lucas #evolution #learning
- Investigating learning rates for evolution and temporal difference learning (SML), pp. 1–7.
- CIG-2008-OsakiSTK #evaluation #learning #probability #using
- An Othello evaluation function based on Temporal Difference Learning using probability of winning (YO, KS, YT, YK), pp. 205–211.
- CHI-2008-Muller-TomfeldeS #collaboration #multi
- Touchers and mousers: commonalities and differences in co-located collaboration with multiple input devices (CMT, CS), pp. 1149–1152.
- ICEIS-HCI-2008-SchmitzMW #challenge #testing #web
- Cultural Differences between Taiwanese and German Web User — Challenges for Intercultural User Testing (AKS, TM, CWH), pp. 62–69.
- ICML-2008-Li #approximate #comparison #linear #worst-case
- A worst-case comparison between temporal difference and residual gradient with linear function approximation (LL), pp. 560–567.
- ICML-2008-YaoL #learning
- Preconditioned temporal difference learning (HY, ZQL), pp. 1208–1215.
- ICPR-2008-ChivertonMX #similarity
- Variational Maximum A Posteriori model similarity and dissimilarity matching (JC, MM, XX), pp. 1–4.
- ICPR-2008-DingB08a #probability #recognition
- Probabilistic mixtures of differential profiles for shape recognition (LD, MB), pp. 1–4.
- ICPR-2008-DuinP #learning #matrix #on the
- On refining dissimilarity matrices for an improved NN learning (RPWD, EP), pp. 1–4.
- ICPR-2008-GuimaraesPP #approach #detection #distance #graph #using #video
- An approach for video cut detection using bipartite graph matching as dissimilarity distance (SJFG, ZKGdPJ, HBdP), pp. 1–4.
- ICPR-2008-GuoX #recognition
- Local Gabor phase difference pattern for face recognition (YG, ZX), pp. 1–4.
- ICPR-2008-KhushabaAA #evolution #set
- Differential evolution basedfeature subset selection (RNK, AAA, AAJ), pp. 1–4.
- ICPR-2008-NingXZGH #detection #learning
- Temporal difference learning to detect unsafe system states (HN, WX, YZ, YG, TSH), pp. 1–4.
- ICPR-2008-TaEL #equation #graph
- Nonlocal morphological levelings by partial difference equations over weighted graphs (VTT, AE, OL), pp. 1–4.
- KDD-2008-YenSMS #metric #product line
- A family of dissimilarity measures between nodes generalizing both the shortest-path and the commute-time distances (LY, MS, AM, MS), pp. 785–793.
- KR-2008-KontchakovWZ #ontology #question
- Can You Tell the Difference Between DL-Lite Ontologies? (RK, FW, MZ), pp. 285–295.
- RecSys-2008-KagieWG #using
- Choosing attribute weights for item dissimilarity using clikstream data with an application to a product catalog map (MK, MCvW, PJFG), pp. 195–202.
- SEKE-2008-OliveiraO #approach #comparison
- Model Comparison: a Strategy-Based Approach (KSFO, TCdO), pp. 912–917.
- TOOLS-EUROPE-2008-RiveraV #representation
- Representing and Operating with Model Differences (JER, AV), pp. 141–160.
- PPDP-2008-FeydySS #constraints #finite
- Global difference constraint propagation for finite domain solvers (TF, AS, PJS), pp. 226–235.
- RE-2008-MakinoO #generative
- A Method of Scenario Generation with Differential Scenario (MM, AO), pp. 337–338.
- FSE-2008-PersonDEP #execution #symbolic computation
- Differential symbolic execution (SP, MBD, SGE, CSP), pp. 226–237.
- CASE-2008-MittalYBB #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 #equation
- Partial differential equation-based GPR signature discrimination for automatic detection of bridge deck delamination (ZWW, GGS, TF), pp. 431–435.
- CGO-2008-ZhuangKSC #analysis #framework #named #performance #virtual machine
- Perfdiff: a framework for performance difference analysis in a virtual machine environment (XZ, SK, MJS, JDC), pp. 4–13.
- DATE-2008-BadelGIMVGL #design #standard
- A Generic Standard Cell Design Methodology for Differential Circuit Styles (SB, EG, OI, APM, PV, FKG, YL), pp. 843–848.
- OSDI-2008-GuptaLVSSVVV #memory management #virtual machine
- Difference Engine: Harnessing Memory Redundancy in Virtual Machines (DG, SL, MV, SS, ACS, GV, GMV, AV), pp. 309–322.
- STOC-2008-GamaN
- Finding short lattice vectors within mordell’s inequality (NG, PQN), pp. 207–216.
- CAV-2008-PlatzerC #hybrid #invariant
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (AP, EMC), pp. 176–189.
- IJCAR-2008-KaminskiS #hybrid #logic
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (MK, GS), pp. 210–225.
- IJCAR-2008-KonevWW #logic #problem
- The Logical Difference Problem for Description Logic Terminologies (BK, DW, FW), pp. 259–274.
- LICS-2008-Falco #geometry #interactive
- The Geometry of Interaction of Differential Interaction Nets (MdF), pp. 465–475.
- DRR-2007-YangKR
- Scale-controlled area difference shape descriptor (MY, KK, JR).
- ICDAR-2007-HirayamaNK #classification #using
- A Classifier of Similar Characters using Compound Mahalanobis Function based on Difference Subspace (JH, HN, NK), pp. 432–436.
- ICDAR-2007-HuangSHFN #approach #recognition #using
- An SVM-Based High-accurate Recognition Approach for Handwritten Numerals by Using Difference Features (KH, JS, YH, KF, SN), pp. 589–593.
- ICDAR-2007-JlaielKAM
- Three decision levels strategy for Arabic and Latin texts differentiation in printed and handwritten natures (MBJ, SK, AMA, RM), pp. 1103–1107.
- ITiCSE-2007-VoylesHF #education #gender #student
- Teacher responses to student gender differences (MMV, SMH, TVF), pp. 226–230.
- TLCA-2007-Fiore #linear #logic #modelling #multi
- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (MPF), pp. 163–177.
- CIG-2007-LucasT #evolution #learning
- Point-to-Point Car Racing: an Initial Study of Evolution Versus Temporal Difference Learning (SML, JT), pp. 260–267.
- CIG-2007-Manning #evaluation #learning #network
- Temporal Difference Learning of an Othello Evaluation Function for a Small Neural Network with Shared Weights (EPM), pp. 216–223.
- CIG-2007-Mayer #learning
- Board Representations for Neural Go Players Learning by Temporal Difference (HAM), pp. 183–188.
- DHM-2007-KanezashiMO #interface
- Strategy to Operate Cylindrical Interface-Operation Difference According to the Dimension of the Cylinder and That of the Hand (OK, NM, JO), pp. 865–873.
- HCI-AS-2007-LuYTHY #learning #named
- KaLeSy-CJ: Kanji Learning System Focusing on Differences Between Chinese and Japanese (SL, NY, HT, TH, TY), pp. 302–311.
- HCI-IDU-2007-KangY #performance
- Age Differences in Performance, Operation Methods, and Workload While Interacting with an MP3 Player (NEK, WCY), pp. 854–861.
- HCI-IPT-2007-AuerD
- When Does a Difference Make a Difference? A Snapshot on Global Icon Comprehensibility (SA, ED), pp. 3–12.
- HIMI-MTT-2007-ChoBKC #on the #probability #using
- On Achieving Proportional Loss Differentiation Using Dynamic-MQDDP with Differential Drop Probability (KC, SB, JK, JWC), pp. 584–593.
- OCSC-2007-ChenY07a #collaboration #design #industrial #learning
- The Differences Between the Influences of Synchronous and Asynchronous Modes on Collaborative Learning Project of Industrial Design (WC, MY), pp. 275–283.
- EDOC-2007-Dijkman #classification
- A Classification of Differences between Similar BusinessProcesses (RMD), pp. 37–50.
- ICEIS-SAIC-2007-ChenC #bottom-up #detection #process
- A Simulation-Based Difference Detection Technique for Bottom-Up Process Reconciliation (XC, PWHC), pp. 72–77.
- ICML-2007-WangYF #learning #on the
- On learning with dissimilarity functions (LW, CY, JF), pp. 991–998.
- KDD-2007-VreekenLS
- Characterising the difference (JV, MvL, AS), pp. 765–774.
- TOOLS-EUROPE-2007-CicchettiRP #approach #independence #metamodelling #representation
- A Metamodel Independent Approach to Difference Representation (AC, DDR, AP), pp. 165–185.
- QAPL-2007-BortolussiP #concurrent #constraints #equation #probability #programming
- Stochastic Concurrent Constraint Programming and Differential Equations (LB, AP), pp. 27–42.
- ESEC-FSE-2007-EvansS #approach #detection #testing
- Differential testing: a new approach to change detection (RBE, AS), pp. 549–552.
- ESEC-FSE-2007-SharpHBB #developer
- Exploring motivational differences between software developers and project managers (HS, TH, NB, SB), pp. 501–504.
- ESEC-FSE-2007-TreudeBWK #modelling #scalability
- Difference computation of large models (CT, SB, SW, UK), pp. 295–304.
- ICSE-2007-GroceHJ #random #testing #verification
- Randomized Differential Testing as a Prelude to Formal Verification (AG, GJH, RJ), pp. 621–631.
- SAC-2007-ShinH #analysis #automation #comparison #process
- Comparison of two activity analyses for automatic differentiation: context-sensitive flow-insensitive vs. context-insensitive flow-sensitive (JS, PDH), pp. 1323–1329.
- DAC-2007-JiangHS #design
- A New Twisted Differential Line Structure in Global Bus Design (ZJ, SH, WS), pp. 180–183.
- DAC-2007-SmithCHRSW #industrial #named
- Electronics: The New Differential in the Automotive Industry (NS, AC, CH, WCR, ALSV, FW), p. 446.
- PDP-2007-FalcoMSTC #distributed #evolution #image
- Distributed Differential Evolution for the Registration of Remotely Sensed Images (IDF, DM, US, ET, ADC), pp. 358–362.
- PDP-2007-FalcoSTC #approach #distributed #evolution #grid
- A Distributed Differential Evolution Approach for Mapping in a Grid Environment (IDF, US, ET, ADC), pp. 442–449.
- ESOP-2007-SeidlFP #linear
- Interprocedurally Analysing Linear Inequality Relations (HS, AF, MP), pp. 284–299.
- SMT-J-2006-GanaiTG #encoding #integration #lazy evaluation #logic #named
- SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic (MKG, MT, AG), pp. 91–114.
- SMT-J-2006-KimJS #finite #integer #logic
- Disequality Management in Integer Difference Logic via Finite Instantiations (HK, HJ, FS), pp. 47–66.
- DocEng-2006-LindholmKT #performance #sequence #xml
- Fast and simple XML tree differencing by sequence alignment (TL, JK, ST), pp. 75–84.
- ITiCSE-2006-VilnerZ #gender
- Once she makes it, she is there: gender differences in computer science study (TV, EZ), pp. 227–231.
- ICSM-2006-FisherCZ #comprehension #using
- Using Sex Differences to Link Spatial Cognition and Program Comprehension (MF, AC, LZ), pp. 289–298.
- SCAM-2006-CollardKM
- Factoring Differences for Iterative Change Management (MLC, HHK, JIM), pp. 217–226.
- ICALP-v2-2006-Dwork #privacy
- Differential Privacy (CD), pp. 1–12.
- CIG-2006-LucasR #co-evolution #evaluation #learning
- Temporal Difference Learning Versus Co-Evolution for Acquiring Othello Position Evaluation (SML, TPR), pp. 52–59.
- CSCW-2006-KayanFS #using
- Cultural differences in the use of instant messaging in Asia and North America (SK, SRF, LDS), pp. 525–528.
- CIKM-2006-MullerFL #database
- Describing differences between databases (HM, JCF, UL), pp. 612–621.
- CIKM-2006-ZhaZFS #learning #query #retrieval #web
- Incorporating query difference for learning retrieval functions in world wide web search (HZ, ZZ, HF, GS), pp. 307–316.
- ICML-2006-AsgharbeygiSL #learning #relational
- Relational temporal difference learning (NA, DJS, PL), pp. 49–56.
- ICPR-v1-2006-YalcinG #algorithm #evolution
- Integrating Differential Evolution and Condensation Algorithms for License Plate Tracking (IKY, MG), pp. 658–661.
- ICPR-v3-2006-HeTHY #recognition
- Face Recognition with Relative Difference Space and SVM (XH, JT, YH, XY), pp. 527–531.
- ICPR-v3-2006-KlausSK #adaptation #self #using
- Segment-Based Stereo Matching Using Belief Propagation and a Self-Adapting Dissimilarity Measure (AK, MS, KFK), pp. 15–18.
- KDD-2006-LiuZWMP #clustering #order #set
- Clustering pair-wise dissimilarity data into partially ordered sets (JL, QZ, WW, LM, JP), pp. 637–642.
- SIGIR-2006-ZhaZFS #information retrieval #learning #query
- Incorporating query difference for learning retrieval functions in information retrieval (HZ, ZZ, HF, GS), pp. 721–722.
- ASE-2006-Abi-AntounANSG #architecture
- Differencing and Merging of Architectural Views (MAA, JA, NHN, BRS, DG), pp. 47–58.
- FSE-2006-ElbaumCDD #testing
- Carving differential unit test cases from system test cases (SGE, HNC, MBD, JD), pp. 253–264.
- SAC-2006-dAmatoFE #concept
- A dissimilarity measure for ALC concept descriptions (Cd, NF, FE), pp. 1695–1699.
- CASE-2006-ChenYTCW #fuzzy #hybrid #linear #matrix
- Applying the Linear Matrix Inequality for Hybrid Fuzzy/H-infinity Control of Active Structural Damping (CWC, KY, CHT, CYC, DJW), pp. 678–682.
- DAC-2006-WangGG #deduction #learning #logic
- Predicate learning and selective theory deduction for a difference logic solver (CW, AG, MKG), pp. 235–240.
- LICS-2006-TatsutaD #normalisation
- Normalisation is Insensible to λ-Term Identity or Difference (MT, MDC), pp. 327–338.
- SAT-2006-CottonM #constraints #flexibility #performance
- Fast and Flexible Difference Constraint Propagation for DPLL(T) (SC, OM), pp. 170–183.
- PODS-2005-SayrafiG #constraints
- Differential constraints (BS, DVG), pp. 348–357.
- ITiCSE-2005-LiccardiW #comprehension #effectiveness
- Understanding disciplinary differences: an insight into selecting effective e-learning approaches (IL, SW), p. 411.
- DiGRA-2005-BoltonF #game studies #research #video
- Styles of Playing Violent Video Games: An Individual Differences Research Methodology (AB, GF).
- DiGRA-2005-BoltonF05a #game studies #video
- Individual Differences in Violent Video Game Play (AB, GF).
- DiGRA-2005-Curlew #social
- Liberal Sims?: Simulated Difference and the Commodity of Social Diversity (ABC).
- CHI-2005-BrushWTS #metadata #social
- Assessing differential usage of usenet social accounting meta-data (AJBB, XW, TCT, MAS), pp. 889–898.
- CHI-2005-OviattLC #integration #multimodal #question #what #why
- Individual differences in multimodal integration patterns: what are they and why do they exist? (SLO, RL, RC), pp. 241–249.
- MLDM-2005-TaniguchiHO #correlation #database #transaction
- Discovery of Hidden Correlations in a Local Transaction Database Based on Differences of Correlations (TT, MH, YO), pp. 537–548.
- PLDI-2005-ZhuangP
- Differential register allocation (XZ, SP), pp. 168–179.
- ASE-2005-MehraGH #approach #collaboration #design #diagrams
- A generic approach to supporting diagram differencing and merging for collaborative design (AM, JCG, JGH), pp. 204–213.
- ASE-2005-XingS #algorithm #design #named #object-oriented
- UMLDiff: an algorithm for object-oriented design differencing (ZX, ES), pp. 54–65.
- DATE-2005-TiriV #constant #design #logic #power management
- Design Method for Constant Power Consumption of Differential Logic Circuits (KT, IV), pp. 628–633.
- FoSSaCS-2005-EdalatLP #calculus #multi
- A Computational Model for Multi-variable Differential Calculus (AE, AL, DP), pp. 505–519.
- SAT-J-2004-ArmandoCGM05 #constraints #satisfiability
- A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints (AA, CC, EG, MM), pp. 16–29.
- CAV-2005-NieuwenhuisO #logic
- DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic (RN, AO), pp. 321–334.
- ICSM-2004-MaleticC #analysis #source code
- Supporting Source Code Difference Analysis (JIM, MLC), pp. 210–219.
- ICSM-2004-RaghavanRLPA #named #scalability #semantics
- Dex: A Semantic-Graph Differencing Tool for Studying Changes in Large Code Bases (SR, RR, DL, AP, VA), pp. 188–197.
- ICSM-2004-XieN #black box #testing
- Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences (TX, DN), pp. 28–37.
- CIAA-2004-Zijl #symmetry
- Magic Numbers for Symmetric Difference NFAs (LvZ), pp. 333–334.
- CHI-2004-LudfordCFT #community #online #using
- Think different: increasing online community participation using uniqueness and group dissimilarity (PJL, DC, DF, LGT), pp. 631–638.
- ICEIS-v2-2004-Feoktistov #evolution
- New Energetic Selection Principle in Differential Evolution (VF), pp. 29–35.
- CIKM-2004-HuangOM #category theory #clustering
- Compression schemes for differential categorical stream clustering (WH, EO, LM), pp. 232–233.
- ICPR-v1-2004-KawanoKY #comparison #gender
- A Comparison of the Gender Differentiation Capability between Facial Parts (TK, KK, KY), pp. 350–353.
- ICPR-v2-2004-EwerthF #detection #normalisation
- Improving Cut Detection in MPEG Videos by GOP-Oriented Frame Difference Normalization (RE, BF), pp. 807–810.
- ICPR-v2-2004-SeropianGV
- Differentiation of Alphabets in Handwritten Texts (AS, MG, NV), pp. 622–625.
- ICPR-v4-2004-Richard #approach #consistency #image
- A New Approach For The Registration of Images With Inconsistent Differences (FJPR), pp. 649–652.
- ICPR-v4-2004-SangiHS #analysis #metric #using
- Motion Analysis Using Frame Differences with Spatial Gradient Measures (PS, JH, OS), pp. 733–736.
- ICPR-v4-2004-SawanoO
- Road Extraction by Snake with Inertia and Differential Features (HS, MO), pp. 380–383.
- ICPR-v4-2004-XuF #clustering
- Delta-MSE Dissimilarity in Suboptimal K-Means Clustering (MX, PF), pp. 577–580.
- ICPR-v4-2004-ZhangS #metric
- Discovery of the Tri-Edge Inequality with Binary Vector Dissimilarity Measures (BZ, SNS), pp. 669–672.
- KDD-2004-KummamuruKA #learning #metric
- Learning spatially variant dissimilarity (SVaD) measures (KK, RK, RA), pp. 611–616.
- KDD-2004-NijssenK #mining
- A quickstart in frequent structure mining can make a difference (SN, JNK), pp. 647–652.
- ASE-2004-ApiwattanapongOH #algorithm #object-oriented #source code
- A Differencing Algorithm for Object-Oriented Programs (TA, AO, MJH), pp. 2–13.
- HPDC-2004-Abu-GhazalehLG #performance
- Differential Serialization for Optimized SOAP Performance (NAG, MJL, MG), pp. 55–64.
- STOC-2004-AlonN #approximate
- Approximating the cut-norm via Grothendieck’s inequality (NA, AN), pp. 72–80.
- SAT-2004-ArmandoCGM #constraints #satisfiability
- A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints (AA, CC, EG, MM), pp. 166–173.
- VMCAI-2004-PaceS #kernel #model checking #using
- Model Checking Polygonal Differential Inclusions Using Invariance Kernels (GJP, GS), pp. 110–121.
- DRR-2003-ZhangS #identification #metric
- Binary vector dissimilarity measures for handwriting identification (BZ, SNS), pp. 28–38.
- ITiCSE-2003-MeedenNBK #gender #using
- Using departmental surveys to assess computing culture: quantifying gender differences in the classroom (LM, TN, DSB, DK), pp. 188–192.
- CSMR-2003-JiangS #case study #tool support
- Exploring Differences in Exchange Formats — Tool Support and Case Studies (JJ, TS), pp. 389–398.
- ICSM-2003-OhstWK #analysis #design #documentation #tool support
- Difference Tools for Analysis and Design Documents (DO, MW, UK), pp. 13–22.
- IWPC-2003-KoU #comprehension #programming
- Individual Differences in Program Comprehension Strategies in Unfamiliar Programming Systems (AJK, BU), pp. 175–184.
- SCAM-2003-PearceKH #analysis #detection #online #pointer
- Online Cycle Detection and Difference Propagation for Pointer Analysis (DJP, PHJK, CH), pp. 3–12.
- ICALP-2003-Blaser #algorithm #approximate #symmetry
- An Improved Approximation Algorithm for the Asymmetric TSP with Strengthened Triangle Inequality (MB), pp. 157–163.
- ICALP-2003-BorosEGKM #generative #problem
- An Intersection Inequality for Discrete Distributions and Related Generation Problems (EB, KME, VG, LK, KM), pp. 543–555.
- ICFP-2003-Nilsson #automation #functional
- Functional automatic differentiation with dirac impulses (HN), pp. 153–164.
- CHI-2003-ShechtmanH #how #people
- Media inequality in conversation: how people behave differently when interacting with computers and people (NS, LMH), pp. 281–288.
- ICEIS-v3-2003-ArbaouiHOTV #enterprise #process
- Languages and Mechanisms for Software Processes and Manufacturing Enterprise Processes: Similarities and Differences (SA, AH, FO, FT, HV), pp. 474–482.
- ICEIS-v3-2003-SutharshanMK #design #implementation
- Implementing User Centred Partnership Design — Change in Attitude Made a Difference (AS, SPM, GK), pp. 456–461.
- ICML-2003-Elkan #using
- Using the Triangle Inequality to Accelerate k-Means (CE), pp. 147–153.
- ICML-2003-EngelMM #approach #learning #process
- Bayes Meets Bellman: The Gaussian Process Approach to Temporal Difference Learning (YE, SM, RM), pp. 154–161.
- ICML-2003-Graepel #equation #linear #process
- Solving Noisy Linear Operator Equations by Gaussian Processes: Application to Ordinary and Partial Differential Equations (TG), pp. 234–241.
- KDD-2003-WebbBN #detection #on the
- On detecting differences between groups (GIW, SMB, DAN), pp. 256–265.
- MLDM-2003-GiacintoR #feedback #image #representation #retrieval
- Dissimilarity Representation of Images for Relevance Feedback in Content-Based Image Retrieval (GG, FR), pp. 202–214.
- UML-2003-AlanenP #modelling
- Difference and Union of Models (MA, IP), pp. 2–17.
- ASE-2003-Collard #framework #refactoring #source code
- An Infrastructure to Support Meta-Differencing and Refactoring of Source Code (MLC), pp. 377–380.
- ESEC-FSE-2003-OhstWK #diagrams #uml
- Differences between versions of UML diagrams (DO, MW, UK), pp. 227–236.
- SAC-2003-BuckerLRB #automation #fourier #parallel
- Automatic Parallelism in Differentiation of Fourier Transforms (HMB, BL, AR, CHB), pp. 148–152.
- DAC-2003-BeniniMMOPP #analysis #design #energy
- Energy-aware design techniques for differential power analysis protection (LB, AM, EM, EO, FP, MP), pp. 36–41.
- ESOP-2003-RepsSL #finite #logic #static analysis
- Finite Differencing of Logical Formulas for Static Analysis (TWR, SS, AL), pp. 380–398.
- ITiCSE-2002-CarterJ #gender #programming #question
- Gender differences in programming? (JC, TJ), pp. 188–192.
- ITiCSE-2002-KorhonenMMS #question #student #web
- Does it make a difference if students exercise on the web or in the classroom? (AK, LM, PM, PS), pp. 121–124.
- IWPC-2002-Binkley #comprehension #empirical #semantics
- An Empirical Study of the Effect of Semantic Differences on Programmer Comprehension (DB), pp. 97–106.
- ICPR-v1-2002-AblameykoKLPPPT #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-CoquinBI #metric
- Dissimilarity Measures in Color Spaces (DC, PB, BI), pp. 612–615.
- ICPR-v1-2002-CostaGB #statistics
- Orientation Difference Statistics for Texture Description (JPDC, CG, PB), pp. 652–655.
- ICPR-v1-2002-GoncalvesA #3d #estimation
- Estimation of 3D Motion from Stereo Images- Differential and Discrete Formulations (NG, HA), pp. 335–338.
- ICPR-v1-2002-KanekoMM #agile #constraints #correlation #image #using
- Using Constraint Inequality on Estimated Correlation for Rapid Image Search (SK, TM, AM), pp. 87–90.
- ICPR-v2-2002-SeokL #algorithm #analysis #approach #learning #probability
- The Analysis of a Stochastic Differential Approach for Langevine Comepetitive Learning Algorithm (JS, JWL), pp. 80–83.
- ICPR-v3-2002-ArmangueAS #constraints #estimation #mobile
- Differential Epipolar Constraint in Mobile Robot Egomotion Estimation (XA, HA, JS), pp. 599–602.
- ICPR-v3-2002-HatanoASMOOK #algorithm #using #verification
- A Fingerprint Verification Algorithm Using the Differential Matching Rate (TH, TA, SS, HM, SO, YO, HK), pp. 799–802.
- ICPR-v3-2002-PekalskaD #performance #prototype
- Prototype Selection for Finding Efficient Representations of Dissimilarity Data (EP, RPWD), pp. 37–40.
- ICPR-v4-2002-LamXS #using
- Differentiation between Alphabetic and Numeric Data Using NN Ensembles (LL, QX, CYS), pp. 40–43.
- KR-2002-BrandtKT #approximate #logic
- Approximation and Difference in Description Logics (SB, RK, AYT), pp. 203–214.
- SIGIR-2002-Kawatani #categorisation #documentation #set #topic
- Topic difference factor extraction between two document sets and its application to text categorization (TK), pp. 137–144.
- ECOOP-2002-IchisugiT #independence
- Difference-Based Modules: A Class-Independent Module Mechanism (YI, AT), pp. 62–88.
- LOPSTR-2002-SimonKH #abstract domain #linear
- Two Variables per Linear Inequality as an Abstract Domain (AS, AK, JMH), pp. 71–89.
- PEPM-2002-BischofHN #automation #implementation #tool support
- Implementation of automatic differentiation tools (CHB, PDH, BN), pp. 98–107.
- SAC-2002-CarlssonJ #game studies
- Differences between the iterated prisoner’s dilemma and the chicken game under noisy conditions (BC, KIJ), pp. 42–48.
- SAC-2002-YoungBGL #object-oriented #using
- Using an object oriented model for resolving representational differences between heterogeneous systems (PY, VB, JG, L), pp. 976–983.
- STOC-2002-Smyth
- Reimer’s inequality and tardos’ conjecture (CDS), pp. 218–221.
- CADE-2002-Moller #library #named #quantifier
- DDDLIB: A Library for Solving Quantified Difference Inequalities (JBM), pp. 129–133.
- LICS-2002-EdalatL #calculus
- Domain Theory and Differential Calculus (Functions of one Variable) (AE, AL), pp. 277–286.
- SAT-2002-MalerMNA #logic #satisfiability
- A satisfiability checker for difference logic (OM, MM, PN, EA), p. 27.
- ITiCSE-2001-CarterJ #gender #programming #question
- Gender differences in programming? (JC, TJ), p. 173.
- ICSM-2001-BinkleyCRS #empirical #implementation #semantics
- An Implementation of and Experiment with Semantic Differencing (DB, RC, LRR, CS), pp. 82–91.
- ICML-2001-ChoiR #approximate #fixpoint #learning #performance
- A Generalized Kalman Filter for Fixed Point Approximation and Efficient Temporal Difference Learning (DC, BVR), pp. 43–50.
- ICML-2001-PrecupSD #approximate #learning
- Off-Policy Temporal Difference Learning with Function Approximation (DP, RSS, SD), pp. 417–424.
- DAC-2001-MassoudKMW #analysis #induction #modelling
- Modeling and Analysis of Differential Signaling for Minimizing Inductive Cross-Talk (YM, JK, DM, JW), pp. 804–809.
- DATE-2001-XuM #modelling #performance #using
- Efficient and passive modeling of transmission lines by using differential quadrature method (QX, PM), pp. 437–444.
- HPCA-2001-GoemanVB #performance #predict
- Differential FCM: Increasing Value Prediction Accuracy by Improving Table Usage Efficiency (BG, HV, KDB), pp. 207–216.
- WLC-2000-Dassow #generative #on the
- On the Differentiation Function of some Language Generating Devices (JD), pp. 151–161.
- CHI-2000-CorbettT #learning
- Instructional interventions in computer-based tutoring: differential impact on learning time and accuracy (ATC, HJT), pp. 97–104.
- ICML-2000-BayP
- Characterizing Model Erros and Differences (SDB, MJP), pp. 49–56.
- ICML-2000-TodorovskiDSWG #behaviour #equation
- Discovering the Structure of Partial Differential Equations from Example Behaviour (LT, SD, AS, JPW, DG), pp. 991–998.
- ICPR-v2-2000-FredL #clustering
- Clustering Under a Hypothesis of Smooth Dissimilarity Increments (ALNF, JMNL), pp. 2190–2194.
- ICPR-v3-2000-BaumelaARB #equation #estimation #using
- Motion Estimation Using the Differential Epipolar Equation (LB, LdA, IDR, PB), pp. 3848–3851.
- KR-2000-Konieczny #knowledge base #on the
- On the Difference between Merging Knowledge Bases and Combining them (SK), pp. 135–144.
- SAC-2000-Reich #algorithm #equation #simulation #using
- Simulation of Imprecise Ordinary Differential Equations Using Evolutionary Algorithms (CR), pp. 428–432.
- ICDAR-1999-NagasakiYN #automation #pattern matching #recognition #using
- Relaxation-based Pattern Matching using Automatic Differentiation for Off-line Character Recognition (TN, TY, MN), pp. 229–232.
- VLDB-1999-Sarawagi #multi
- Explaining Differences in Multidimensional Aggregates (SS), pp. 42–53.
- HCI-CCAD-1999-LinDF #comprehension #data flow #diagrams
- Strategy differences in data flow diagram comprehension between intermediates and novices (CJL, TCD, YMF), pp. 48–52.
- HCI-EI-1999-Lin #recognition
- Cultural Differences in Icon Recognition (RL), pp. 725–729.
- HCI-EI-1999-LindstromH #industrial
- VDT Use and its Relation to Job Stress in Various Sectors of industry in Finland: Qualitative Differences (KL, VH), pp. 187–192.
- HCI-EI-1999-SuzukiA #process
- Difference in the ANS activity between gaze angles while seated (KS, DRA), pp. 69–73.
- ICML-1999-Boyan #learning
- Least-Squares Temporal Difference Learning (JAB), pp. 49–56.
- KDD-1999-DongL #mining #performance #roadmap
- Efficient Mining of Emerging Patterns: Discovering Trends and Differences (GD, JL), pp. 43–52.
- HPCA-1999-PlaatBH #latency #parallel #scalability
- Sensitivity of Parallel Applications to Large Differences in Bandwidth and Latency in Two-Layer Interconnects (AP, HEB, RFHH), pp. 244–253.
- CAV-1999-BehrmannLPWY #analysis #diagrams #performance #reachability #using
- Efficient Timed Reachability Analysis Using Clock Difference Diagrams (GB, KGL, JP, CW, WY), pp. 341–353.
- CSL-1999-MollerLAH #diagrams
- Difference Decision Diagrams (JBM, JL, HRA, HH), pp. 111–125.
- CSMR-1998-SeemannG #object-oriented #visualisation
- Visualization of Differences between Versions of Object-Oriented Software (JS, JWvG), pp. 201–204.
- ICSM-1998-VokolosF #empirical #evaluation #testing
- Empirical Evaluation of the Textual Differencing Regression Testing Technique (FIV, PGF), pp. 44–53.
- ICFP-1998-Karczmarczuk #functional #source code
- Functional Differentiation of Computer Programs (JK), pp. 195–203.
- ICPR-1998-LengagneFM #3d #constraints #using
- Using differential constraints to generate a 3D face model from stereo (RL, PF, OM), pp. 637–639.
- ICPR-1998-MontesinosGD #image #invariant
- Differential invariants for color images (PM, VG, RD), pp. 838–840.
- ICPR-1998-SporringNWO #metric
- A note on differential corner measures (JS, MN, JW, OFO), pp. 652–654.
- SAS-1998-TadjouddineEF #automation #program analysis
- Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis (MT, FE, CF), pp. 311–326.
- PDP-1998-PinuelLT #equation #parallel
- A special-purpose parallel computer for solving partial differential equations (LP, IML, FT), pp. 509–517.
- ESOP-1998-FechtS #algorithm #constraints #fixpoint #performance
- Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems (CF, HS), pp. 90–104.
- ICDAR-1997-KawataniS #classification #component #design #using
- Complementary Classifier Design Using Difference Principal Components (TK, HS), pp. 875–880.
- PODS-1997-Shoshani #database #statistics
- OLAP and Statistical Databases: Similarities and Differences (AS), pp. 185–196.
- ITiCSE-1997-Naps #algorithm #exclamation #java #visualisation #web
- Algorithm visualization on the World Wide Web — the difference Java makes! (TLN), pp. 59–61.
- CHI-1997-BalakrishnanM #performance
- Performance Differences in the Fingers, Wrist, and Forearm in Computer Input Control (RB, ISM), pp. 303–310.
- CHI-1997-Golovchinsky #query #question
- Queries? Links? Is there a Difference? (GG), pp. 407–414.
- HCI-CC-1997-ShimizuSSSTIY
- Differences of Force Distribution Patterns on Grip Types in Human Grasping Motions (SS, MS, SS, YS, AT, YI, MY), pp. 425–428.
- HCI-SEC-1997-KondoSYN #concept #detection #information management #interactive #interface
- Interactive Interfaces to Detect Conceptual Difference for Knowledge Acquisition (TK, NS, TY, SN), pp. 303–306.
- HCI-SEC-1997-NordbottenC #comprehension
- Individual User Differences in Data Model Comprehension (JCN, MEC), pp. 663–666.
- HCI-SEC-1997-Umemuro #effectiveness
- Age Differences Between Elderly and Young Workers in Effectiveness of Computer Skill Training and Task Cognition (HU), pp. 177–180.
- TAPSOFT-1997-AndreB #bound #transducer
- Word-into-Tree Transducers with Bounded Difference (YA, FB), pp. 177–188.
- ICLP-1997-ZukowskiF #bottom-up #semantics
- Differential Bottom-Up Computation of the Well-Founded Semantics (UZ, BF, SB), p. 421.
- VLDB-1996-LabioG #algorithm #performance
- Efficient Snapshot Differential Algorithms for Data Warehousing (WL, HGM), pp. 63–74.
- CHI-1996-DouglasK #modelling #question
- Do Color Models Really Make a Difference? (SAD, TK), p. 399–?.
- CHI-1996-MithalD
- Differences in Movement Microstructure of the Mouse and the Finger-Controlled Isometric Joystick (AKM, SAD), pp. 300–307.
- CHI-1996-SawyerFW
- Making a Difference — the Impact of Inspections (PS, AF, DRW), pp. 376–382.
- CIKM-1996-Shoshani #database #statistics
- OLAP and Statistical Databases: Similarities and Differences (AS), p. 5.
- ICML-1996-PendrithR #learning
- Actual Return Reinforcement Learning versus Temporal Differences: Some Theoretical and Experimental Results (MDP, MRKR), pp. 373–381.
- ICPR-1996-AkhmetshinL #fourier #image #principle #re-engineering
- The reconstruction of signals and images from the noisy Fourier transform phase by means of the generalized difference principle (AMA, IL), pp. 370–375.
- ICPR-1996-HeijdenV #approach
- A landmark-based approach of shape dissimilarity (GWAMvdH, AMV), pp. 120–124.
- ICPR-1996-Kimmel #image
- Affine differential signatures for gray level images of planar shapes (RK), pp. 45–49.
- ICPR-1996-Melichar #automaton #finite #string
- String matching with k differences by finite automata (BM), pp. 256–260.
- TRI-Ada-1996-RybinS #ada
- Ada and ASIS: Justification of Differences in Terminology and Mechanisms (SR, AS), pp. 249–254.
- KBSE-1996-Darche #algorithm #automation #generative #set
- Set Differentiation: A Method for the Automatic Generation of Filtering Algorithms (FDD), p. 19.
- KBSE-1996-EllmanM #algebra #deduction #equation #network #simulation #source code #synthesis
- Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations (TE, TM), p. 5.
- CAV-1996-Greenstreet #equation #safety #verification
- Verifying Safety Properties of Differential Equations (MRG), pp. 277–287.
- ICML-1995-CichoszM #learning #performance
- Fast and Efficient Reinforcement Learning with Truncated Temporal Differences (PC, JJM), pp. 99–107.
- SIGIR-1995-Iivonen #consistency
- Searchers and Searchers: Differences between the Most and Least Consistent Searchers (MI), pp. 149–157.
- SIGIR-1995-Riloff #classification #word
- Little Words Can Make a Big Difference for Text Classification (ER), pp. 130–136.
- DAC-1995-VinnakotaHS #design
- System-Level Design for Test of Fully Differential Analog Circuits (BV, RH, NJS), pp. 450–454.
- PDP-1995-MartinFTB #clustering #distributed #equation #parallel #simulation
- Distributed parallel computers versus PVM on a workstation cluster in the simulation of time dependent partial differential equations (IML, JCF, FT, AB), pp. 20–26.
- KR-1994-Teege #logic
- Making the Difference: A Subtraction Operation for Description Logics (GT), pp. 540–550.
- PLILP-1994-MoreauQ #continuation
- Partial Continuations as the Difference of Continuations — A Duumvirate of Control Operators (LM, CQ), pp. 182–197.
- HPDC-1994-HuiCYHA #equation #network
- Solving Partial Differential Equations on a Network of Workstations (CCH, GKKC, MMSY, MH, IA), pp. 194–201.
- CAV-1994-PuriV #decidability #hybrid
- Decidability of Hybrid Systems with Rectangular Differential Inclusion (AP, PV), pp. 95–104.
- HCI-SHI-1993-Gautsch #analysis #architecture #hypermedia
- An Analysis of Hypermedia Program Architecture with Individual Differences of Learners (SG), pp. 482–487.
- HCI-SHI-1993-KamalaSC #multi #student #using
- Individual Differences in the Use of Hyper/Multimedia by Undergraduate Students at the University of Hawaii at Manoa (TNK, JS, MEC), pp. 507–512.
- POPL-1993-BossiB #logic programming
- Differential Logic Programming (AB, MB, MG, GL, MCM), pp. 359–370.
- ML-1992-Tesauro #learning
- Temporal Difference Learning of Backgammon Strategy (GT), pp. 451–457.
- SEKE-1992-SotiropoulouP #case study #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.
- SIGIR-1992-Allen
- Cognitive Differences in End User Searching of a CD-ROM Index (BA), pp. 298–309.
- CADE-1992-BasinW
- Difference Matching (DAB, TW), pp. 295–309.
- PODS-1991-BrodskyS #constraints #logic programming #source code
- Inference of Inequality Constraints in Logic Programs (AB, YS), pp. 227–240.
- KR-1991-KatsunoM #knowledge base #on the
- On the Difference between Updating a Knowledge Base and Revising It (HK, AOM), pp. 387–394.
- STOC-1991-CohenM #algorithm #linear
- Improved Algorithms for Linear Inequalities with Two Variables per Inequality (EC, NM), pp. 145–155.
- ML-1990-RamseyGS #contest #learning
- Simulation-Assisted Learning by Competition: Effects of Noise Differences Between Training Model and Target Environment (CLR, JJG, ACS), pp. 211–215.
- PLDI-1990-Horwitz #identification #semantics
- Identifying the Semantic and Textual Differences Between Two Versions of a Program (SH), pp. 234–245.
- ESOP-1990-Paige #finite
- Symbolic Finite Differencing — Part I (RP), pp. 36–56.
- KR-1989-Sandewall #equation #logic
- Combining Logic and Differential Equations for Describing Real-World Systems (ES), pp. 412–420.
- OOPSLA-1989-Jerrell #automation #c++ #using
- Function Minimization and Automatic Differentiation Using C++ (MEJ), pp. 169–173.
- DAC-1989-ChengY #fault #memory management #performance #simulation #using
- Differential Fault Simulation — a Fast Method Using Minimal Memory (WTC, MLY), pp. 424–428.
- HCI-CE-1987-Ulich #concept #human-computer #interactive #research
- Individual Differences in Human-Computer Interaction: Concepts and Research Findings (EU), pp. 29–36.
- SIGIR-1987-Borgman #information retrieval #using
- Individual Differences in the Use of Information Retrieval Systems: Some Issues and Some Data (CLB), pp. 61–71.
- OOPSLA-1987-SmithZ #case study #database #named #object-oriented #relational
- Intermedia: A Case Study of the Differences Between Relational and Object-Oriented Database Systems (KES, SBZ), pp. 452–465.
- SIGMOD-1986-LindsayHM #algorithm
- A Snapshot Differential Refresh Algorithm (BGL, LMH, CM, HP, PFW), pp. 53–60.
- DAC-1986-Daehn #fault
- A unified treatment of PLA faults by Boolean differences (WD), pp. 334–338.
- STOC-1986-LuekerMR #linear #programming
- Linear Programming with Two Variables per Inequality in Poly-Log Time (GSL, NM, VR), pp. 196–205.
- VLDB-1984-YoshikawaK #query
- Processing Inequality Queries Based on Generalized Semi-Joins (MY, YK), pp. 416–428.
- ICALP-1984-Willard #algorithm #problem #retrieval
- Sampling Algorithms for Differential Batch Retrieval Problems (DEW), pp. 514–526.
- ICSE-1984-Curtis #re-engineering
- Fifteen Years of Psychology in Software Engineering: Individual Differences and Cognitive Science (BC), pp. 97–107.
- STOC-1981-ArjomandiFL #performance
- A Difference in Efficiency between Synchronous and Asynchronous Systems (EA, MJF, NAL), pp. 128–132.
- VLDB-1978-SagivY #equivalence #relational
- Equivalence among Relational Expressions with the Union and Difference Operation (YS, MY), pp. 535–548.
- GG-1978-LuckL #2d #generative #graph #parallel
- Two-Dimensional, Differential, Intercalary Plant Tissue Growth and Parallel Graph Generating and Graph Recurrence Systems (JL, HBL), pp. 284–300.
- ICALP-1977-Simon #on the
- On the Difference Between One and Many (JS), pp. 480–491.
- SIGMOD-1976-SeveranceL #database #maintenance #scalability
- Differential Files: Their Application to the Maintenance of Large Data Bases (DGS, GML), p. 43.