BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
difference
Google difference

Tag #difference

713 papers:

CCCC-2020-ZhangHLBR #case study #privacy #profiling
A study of event frequency profiling with differential privacy (HZ, YH, SL, RB, AR), pp. 51–62.
CSLCSL-2020-CockettLL #algebra #category theory
Tangent Categories from the Coalgebras of Differential Categories (JRBC, JSPL, RBBLW), p. 17.
EDMEDM-2019-ChopraKMG #gender #learning
Gender Differences in Work-Integrated Learning Assessments (SC, AK, MM, LG).
EDMEDM-2019-DavisRF #learning #student
Individual Differences in Student Learning Aid Usage (AKD, YJR, DF).
ICSMEICSME-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.
SANERSANER-2019-YangW #abstract syntax tree
Pruning the AST with Hunks to Speed up Tree Differencing (CY, EJWJ), pp. 15–25.
FMFM-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.
FMFM-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.
DiGRADiGRA-2019-AdinolfT #case study #experience #game studies
Differences in Player Experiences of Need Satisfaction Across Four Games (SA, ST).
CoGVS-Games-2019-HeinBB #navigation #visual notation
Improving Visual Attention Guiding by Differentiation between Fine and Coarse Navigation (PH, MB, ACB), pp. 1–4.
ICMLICML-2019-AminKMV #bound #privacy #trade-off
Bounding User Contributions: A Bias-Variance Trade-off in Differential Privacy (KA, AK, AMM, SV), pp. 263–271.
ICMLICML-2019-JohnHS #equation #named #off the shelf
GOODE: A Gaussian Off-The-Shelf Ordinary Differential Equation Solver (DJ, VH, MS), pp. 3152–3162.
ICMLICML-2019-McKennaSM #estimation #modelling #privacy
Graphical-model based estimation and inference for differential privacy (RM, DS, GM), pp. 4435–4444.
ICMLICML-2019-VargasBH #comparison #semantics
Model Comparison for Semantic Grouping (FV, KB, NH), pp. 6410–6417.
ICMLICML-2019-Wang019a #linear #on the #privacy
On Sparse Linear Regression in the Local Differential Privacy Model (DW, JX0), pp. 6628–6637.
ICMLICML-2019-YuanZLS #modelling
Differential Inclusions for Modeling Nonsmooth ADMM Variants: A Continuous Limit Theory (HY, YZ, CJL, QS), pp. 7232–7241.
ICMLICML-2019-YurtseverSC #probability
Conditional Gradient Methods via Stochastic Path-Integrated Differential Estimator (AY, SS, VC), pp. 7282–7291.
ICMLICML-2019-ZhuW #privacy
Poission Subsampled Rényi Differential Privacy (YZ0, YXW), pp. 7634–7642.
OOPSLAOOPSLA-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.
PLDIPLDI-2019-HeoRSN #reasoning #source code #using
Continuously reasoning about programs using differential Bayesian inference (KH, MR, XS, MN), pp. 561–575.
PLDIPLDI-2019-WangDWKZ #execution #privacy #proving
Proving differential privacy with shadow execution (YW, ZD, GW, DK, DZ), pp. 655–669.
PLDIPLDI-2019-YogaN #analysis
Parallelism-centric what-if and differential analyses (AY, SN), pp. 485–501.
ASEASE-2019-BaoB0M #statistics
Statistical Log Differencing (LB, NB, DL0, SM), pp. 851–862.
ASEASE-2019-CashinMWF #comprehension #invariant
Understanding Automatically-Generated Patches Through Symbolic Invariant Differences (PC, CM, WW, SF), pp. 411–414.
ESEC-FSEESEC-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.
SLESLE-2019-ZadahmadSAGL #syntax #visual notation
Domain-specific model differencing in visual concrete syntax (MZ, ES, OA, EG, JdL), pp. 100–112.
CASECASE-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.
CADECADE-2019-BohrerFP #logic #named
dLι: Definite Descriptions in Differential Dynamic Logic (BB, MF, AP), pp. 94–110.
CAVCAV-2019-FengCZF0 #bound #equation #verification
Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations (SF, MC, NZ, MF, BX0), pp. 650–669.
EDMEDM-2018-ChopraGKMG #approach #gender #mining
Gender Differences in Undergraduate Engineering Applicants: A Text Mining Approach (SC, HG, AK, MM, LG).
ICSMEICSME-2018-FrickG0P #generative #using
Generating Accurate and Compact Edit Scripts Using Tree Differencing (VF, TG, FB0, MP0), pp. 264–274.
SANERSANER-2018-JayM #random #testing
Structured random differential testing of instruction decoders (NJ, BPM), pp. 84–94.
SANERSANER-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-PLAYCHI-PLAY-2018-SchwindH #design
Gender- and Age-related Differences in Designing the Characteristics of Stereotypical Virtual Faces (VS, NH), pp. 463–475.
DiGRADiGRA-2018-BrucknerSKW #game studies
Exploring Cultural Differences in Game Reception: JRPGs in Germany and Japan (SB, YS, SK, IW).
ICMLICML-2018-BalleW #privacy
Improving the Gaussian Mechanism for Differential Privacy: Analytical Calibration and Optimal Denoising (BB, YXW), pp. 403–412.
ICMLICML-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.
ICMLICML-2018-NeelR #adaptation #bias #privacy
Mitigating Bias in Adaptive Data Gathering via Differential Privacy (SN, AR0), pp. 3717–3726.
ICMLICML-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.
ICMLICML-2018-RyderGMP #black box #equation #probability
Black-Box Variational Inference for Stochastic Differential Equations (TR, AG, ASM, DP), pp. 4420–4429.
ICMLICML-2018-SheldonWS #automation #integer #learning #modelling
Learning in Integer Latent Variable Models with Nested Automatic Differentiation (DS, KW, DS), pp. 4622–4630.
ICMLICML-2018-TuR #learning #linear #polynomial
Least-Squares Temporal Difference Learning for the Linear Quadratic Regulator (ST, BR), pp. 5012–5021.
ICPRICPR-2018-ZhongD #analysis #recognition
Deep Difference Analysis in Similar-looking Face recognition (YZ, WD), pp. 3353–3358.
KDDKDD-2018-Abowd #privacy
The U.S. Census Bureau Adopts Differential Privacy (JMA), p. 2867.
KDDKDD-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.
MoDELSMoDELS-2018-KinneerH #architecture #clustering #metric
Dissimilarity Measures for Clustering Space Mission Architectures (CK, SJIH), pp. 392–402.
PLDIPLDI-2018-LiuH #analysis #concurrent #debugging #named #parallel #performance
D4: fast concurrency debugging with parallel differential analysis (BL, JH0), pp. 359–373.
POPLPOPL-2018-AlbarghouthiH #privacy #proving
Synthesizing coupling proofs of differential privacy (AA, JH), p. 30.
ASEASE-2018-HuangCPZWLZ #generative #named
ClDiff: generating concise linked code differences (KH, BC0, XP0, DZ, YW, YL0, WZ), pp. 679–690.
ASEASE-2018-HuangCXLL #comparison
Tell them apart: distilling technology differences from crowd-scale comparison discussions (YH, CC, ZX, TL, YL0), pp. 214–224.
ASEASE-2018-Noller #execution #fuzzing #program analysis #symbolic computation
Differential program analysis with fuzzing and symbolic execution (YN), pp. 944–947.
ASEASE-2018-SungLEW #concurrent #scalability #semantics #source code
Datalog-based scalable semantic diffing of concurrent programs (CS, SKL, CE, CW0), pp. 656–666.
ESEC-FSEESEC-FSE-2018-AmarBB0M #finite #modelling #using
Using finite-state models for log differencing (HA, LB, NB, DL0, SM), pp. 49–59.
ESEC-FSEESEC-FSE-2018-GuoJZCS #fuzzing #learning #named #testing
DLFuzz: differential fuzzing testing of deep learning systems (JG, YJ0, YZ, QC, JS), pp. 739–743.
ESEC-FSEESEC-FSE-2018-LehmannP #interactive #testing
Feedback-directed differential testing of interactive debuggers (DL0, MP), pp. 610–620.
ESEC-FSEESEC-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.
CASECASE-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.
CCCC-2018-Barany #compilation #optimisation #testing
Finding missed compiler optimizations by differential testing (GB), pp. 82–92.
CAVCAV-2018-GoubaultPS #approximate #equation
Inner and Outer Approximating Flowpipes for Delay Differential Equations (EG, SP, LS), pp. 523–541.
IJCARIJCAR-2018-Platzer #game studies #logic
Uniform Substitution for Differential Game Logic (AP), pp. 211–227.
ICSAICSA-2017-ButtingKRW #architecture #component #semantics
Semantic Differencing for Message-Driven Component & Connector Architectures (AB, OK, BR, AW), pp. 145–154.
EDMEDM-2017-HanYY #comparison #estimation
Discovering skill prerequisite structure through Bayesian estimation and nested model comparison (SYH, JY, YJY).
MSRMSR-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.
AFLAFL-2017-MaraisZ #automaton #complexity #self #symmetry #verification
Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata (LM, LvZ), pp. 157–169.
DLTDLT-2017-Grandjean #2d #realtime
Differences Between 2D Neighborhoods According to Real Time Computation (AG), pp. 198–209.
FSCDFSCD-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.
AIIDEAIIDE-2017-BunianCCE #behaviour #game studies #modelling #using
Modeling Individual Differences in Game Behavior Using HMM (SB, AC, RCC, MSEN), pp. 158–164.
CIKMCIKM-2017-KimCCJY #named
DiagTree: Diagnostic Tree for Differential Diagnosis (YK, JC, YC, XJ, HY), pp. 1179–1188.
ICMLICML-2017-AgarwalS #learning #online #privacy
The Price of Differential Privacy for Online Learning (NA, KS), pp. 32–40.
ICMLICML-2017-RubinsteinA #privacy #random
Pain-Free Random Differential Privacy with Sensitivity Sampling (BIPR, FA), pp. 2950–2959.
ICMLICML-2017-ShrikumarGK #learning
Learning Important Features Through Propagating Activation Differences (AS, PG, AK), pp. 3145–3153.
ICMLICML-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.
ICMTICMT-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.
PLDIPLDI-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.
POPLPOPL-2017-ZhangK #automation #named #privacy #proving #towards
LightDP: towards automating differential privacy proofs (DZ, DK), pp. 888–901.
PPDPPPDP-2017-GirkaMR #semantics
Verifiable semantic difference languages (TG, DM, YRG), pp. 73–84.
SASSAS-2017-BouajjaniEL #concurrent #evolution #semantics #source code
Abstract Semantic Diffing of Evolving Concurrent Programs (AB, CE, SKL), pp. 46–65.
SASSAS-2017-TrostanetskiGK #analysis #composition #semantics
Modular Demand-Driven Analysis of Semantic Difference for Program Versions (AT, OG, DK), pp. 405–427.
ASEASE-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-FSEESEC-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.
CASECASE-2017-DengLXJ #design #multi
Differentiation copayment design to improve the multi-tiered healthcare system in China (YD, NL, XX, ZJ), pp. 201–206.
CASECASE-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.
CASECASE-2017-LiuLH #algorithm #evolution #problem
A differential evolution algorithm for the resource investment problem with discounted cash flows (ML, JL, XH), pp. 1554–1559.
CASECASE-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.
EDMEDM-2016-FengRMB #gender
Investigating Gender Difference on Homework in Middle School Mathematics (MF, JR, CM, RB), pp. 364–369.
FMFM-2016-ChenFLMZ #verification
Validated Simulation-Based Verification of Delayed Differential Dynamics (MC, MF, YL, PNM, NZ), pp. 137–154.
FMFM-2016-SogokonGJ #abstraction #equation
Decoupling Abstractions of Non-linear Ordinary Differential Equations (AS, KG, TTJ), pp. 628–644.
CHI-PLAYCHI-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.
CoGCIG-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.
ICMLICML-2016-BaiRWS #classification #geometry #learning
Differential Geometric Regularization for Supervised Learning of Classifiers (QB, SR, ZW, SS), pp. 1879–1888.
ICPRICPR-2016-AginakoMRLS #approach #machine learning
Machine Learning approach to dissimilarity computation: Iris matching (NA, JMMO, IRR, EL, BS), pp. 170–175.
ICPRICPR-2016-BertoliniOS #identification #multi #using
Multi-script writer identification using dissimilarity (DB, LSO, RS), pp. 3025–3030.
ICPRICPR-2016-WangZMLCL #image #retrieval
Mutli-channel micro-structure difference descriptor for image retrieval (XW, CZ, DM, CL, YC, ZL), pp. 2930–2935.
KDDKDD-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.
KDDKDD-2016-YuanYZH #approximate #linear #optimisation #privacy #query
Convex Optimization for Linear Query Processing under Approximate Differential Privacy (GY, YY, ZZ, ZH), pp. 2005–2014.
PLDIPLDI-2016-ChenSSSZ #implementation #testing #virtual machine
Coverage-directed differential testing of JVM implementations (YC, TS, CS, ZS, JZ), pp. 85–99.
POPLPOPL-2016-CardelliTTV #symbolic computation
Symbolic computation of differential equivalences (LC, MT, MT, AV), pp. 137–150.
ASEASE-2016-DotzlerP #source code
Move-optimized source code tree differencing (GD, MP), pp. 660–671.
CASECASE-2016-OltjenBKO #parallel #performance
Efficient computation of system-specific motion commands for serial and parallel robots based on differential flatness (, DB, JK, TO), pp. 328–334.
SIGMODSIGMOD-2015-YangSN #correlation #privacy
Bayesian Differential Privacy on Correlated Data (BY, IS, HN), pp. 747–762.
TPDLTPDL-2015-KernM #question #retrieval #set
Are There Any Differences in Data Set Retrieval Compared to Well-Known Literature Retrieval? (DK, BM), pp. 197–208.
VLDBVLDB-2015-GuerraouiKPT #named #privacy #recommendation
D2P: Distance-Based Differential Privacy in Recommenders (RG, AMK, RP, MT), pp. 862–873.
VLDBVLDB-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.
VLDBVLDB-2015-KhayyatLSOPQ0K #performance
Lightning Fast and Space Efficient Inequality Joins (ZK, WL, MS, MO, PP, JAQR, NT, PK), pp. 2074–2085.
EDMEDM-2015-Allen #adaptation #effectiveness #modelling
Who Do You Think I Am? Modeling Individual Differences for More Adaptive and Effective Instruction (LKA), pp. 659–661.
EDMEDM-2015-PaassenMH #adaptation #metric #sequence
A Toolbox for Adaptive Sequence Dissimilarity Measures for Intelligent Tutoring Systems (BP, BM, BH), p. 632.
ITiCSEITiCSE-2015-WangHRI #gender
Gender Differences in Factors Influencing Pursuit of Computer Science and Related Fields (JW, HH, JR, MI), pp. 117–122.
SANERSANER-2015-BezemerPG #comprehension #graph #performance #using
Understanding software performance regressions using differential flame graphs (CPB, JP, BG), pp. 535–539.
SANERSANER-2015-PalixFL #algorithm
Improving pattern tracking with a language-aware tree differencing algorithm (NP, JRF, JL), pp. 43–52.
SANERSANER-2015-PeteB #consistency #evolution #framework
Handling the differential evolution of software artefacts: A framework for consistency management (IP, DB), pp. 599–600.
FMFM-2015-NelsonFK #network #program analysis
Static Differential Program Analysis for Software-Defined Networks (TN, ADF, SK), pp. 395–413.
CHI-PLAYCHI-PLAY-2015-FodorMG #analysis
Agents and Avatars: Event based analysis of competitive differences (MF, PMB, JG), pp. 511–516.
CHI-PLAYCHI-PLAY-2015-SheininG #development #interface
Quantifying Individual Differences, Skill Development, and Fatigue Effects in Small-Scale Exertion Interfaces (MS, CG), pp. 57–66.
CHI-PLAYCHI-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.
CoGCIG-2015-TakahamaS #evolution
Emerging collective intelligence in Othello players evolved by differential evolution (TT, SS), pp. 214–221.
FDGFDG-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).
CHICHI-2015-CecchinatoCB #bound #email
Working 9-5?: Professional Differences in Email and Boundary Management Practices (MEC, ALC, JB), pp. 3989–3998.
CHICHI-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.
CHICHI-2015-MeutznerGK
Constructing Secure Audio CAPTCHAs by Exploiting Differences between Humans and Machines (HM, SG, DK), pp. 2335–2338.
CHICHI-2015-PaayKSLR #comprehension
Understanding Individual Differences for Tailored Smoking Cessation Apps (JP, JK, MBS, LL, SR), pp. 1699–1708.
CSCWCSCW-2015-BazarovaCSCW #facebook #social
Social Sharing of Emotions on Facebook: Channel Differences, Satisfaction, and Replies (NNB, YHC, VSS, DC, JW), pp. 154–164.
HCIDHM-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.
HCIDHM-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.
HCIDHM-HM-2015-SugimotoINYG #process
Difference in Polishing Process of FRP Between Expert and Non-expert (TS, DI, HN, YY, AG), pp. 174–181.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-UI-2015-Nawrot #data analysis #gender #question #towards #women
Gender Differences in Temporal Data Analysis — Toward Women or Men Empowerment? (IN), pp. 232–242.
HCIHIMI-IKC-2015-ChongS
Differences in Driver Distractibility Between Monolingual and Bilingual Drivers (IC, TZS), pp. 180–189.
HCIHIMI-IKC-2015-Iwata #learning
Method to Generate an Operation Learning Support System by Shortcut Key Differences in Similar Software (HI), pp. 332–340.
HCILCT-2015-Timotheou #online #student
Differentiation of Student Perceptions for Online Courses, Over Time (MMT), pp. 697–703.
CIKMCIKM-2015-ChenYC #clustering #privacy
WaveCluster with Differential Privacy (LC, TY, RC), pp. 1011–1020.
ECIRECIR-2015-WilkieA #bias #comparison #metric #retrieval
Retrievability and Retrieval Bias: A Comparison of Inequality Measures (CW, LA), pp. 209–214.
ICMLICML-2015-KairouzOV #composition #privacy #theorem
The Composition Theorem for Differential Privacy (PK, SO, PV), pp. 1376–1385.
KDDKDD-2015-LeeWK #consistency #constraints #privacy
Maximum Likelihood Postprocessing for Differential Privacy under Consistency Constraints (JL, YW, DK), pp. 635–644.
RecSysRecSys-2015-BerliozFKBB #matrix #privacy
Applying Differential Privacy to Matrix Factorization (AB, AF, MAK, RB, SB), pp. 107–114.
SEKESEKE-2015-GoncalesFSOV #comparison
Model Comparison: a Systematic Mapping Study (LG, KF, MS, TCO, MV), pp. 546–551.
SIGIRSIGIR-2015-CapraACV #complexity #using
Differences in the Use of Search Assistance for Tasks of Varying Complexity (RC, JA, AC, EV), pp. 23–32.
SIGIRSIGIR-2015-GwizdkaZ #metric #web
Differences in Eye-Tracking Measures Between Visits and Revisits to Relevant and Irrelevant Web Pages (JG, YZ), pp. 811–814.
SIGIRSIGIR-2015-WangSLE #generative #timeline #twitter
Assessor Differences and User Preferences in Tweet Timeline Generation (YW, GS, JL, ME), pp. 615–624.
ICMTICMT-2015-RozenS
Origin Tracking + + Text Differencing = = Textual Model Differencing (RvR, TvdS), pp. 18–33.
MoDELSMoDELS-2015-MaozR #framework #semantics
A framework for relating syntactic and semantic model differences (SM, JOR), pp. 24–33.
PLDIPLDI-2015-MachadoLR #concurrent #debugging
Concurrency debugging with differential schedule projections (NM, BL, LETR), pp. 586–595.
POPLPOPL-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.
POPLPOPL-2015-EbadiSS #privacy
Differential Privacy: Now it’s Getting Personal (HE, DS, GS), pp. 69–81.
ESEC-FSEESEC-FSE-2015-ChenS #implementation #testing #validation
Guided differential testing of certificate validation in SSL/TLS implementations (YC, ZS), pp. 793–804.
DACDAC-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.
DATEDATE-2015-DeyCAM #analysis #fault
Improved practical differential fault analysis of grain-128 (PD, AC, AA, DM), pp. 459–464.
FoSSaCSFoSSaCS-2015-AbadiMP #data flow
Foundations of Differential Dataflow (MA, FM, GDP), pp. 71–83.
STOCSTOC-2015-AbdullahV #bound
A Directed Isoperimetric Inequality with application to Bregman Near Neighbor Lower Bounds (AA, SV), pp. 509–518.
STOCSTOC-2015-LovettZ
Improved Noisy Population Recovery, and Reverse Bonami-Beckner Inequality for Sparse Functions (SL, JZ), pp. 137–142.
CADECADE-2015-Platzer #calculus #logic
A Uniform Substitution Calculus for Differential Dynamic Logic (AP), pp. 467–481.
CAVCAV-2015-ZouFZM #automation #equation #safety #verification
Automatic Verification of Stability and Safety for Delay Differential Equations (LZ, MF, NZ, PNM), pp. 338–355.
LICSLICS-2015-Edalat #calculus
Extensions of Domain Maps in Differential and Integral Calculus (AE), pp. 426–437.
ICSTSAT-2015-Oh #satisfiability
Between SAT and UNSAT: The Fundamental Difference in CDCL SAT (CO), pp. 307–323.
VMCAIVMCAI-2015-GhorbalSP #algebra #proving #set
A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets (KG, AS, AP), pp. 431–448.
VLDBVLDB-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.
EDMEDM-2014-EagleB #approach #data-driven #problem
Exploring Differences in Problem Solving with Data-Driven Approach Maps (ME, TB), pp. 76–83.
EDMEDM-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.
EDMEDM-2014-VarnerSM
The Long and Winding Road: Investigating the Differential Writing Patterns of High and Low Skilled Writers (LKV, ELS, DSM), pp. 304–407.
ITiCSEITiCSE-2014-LakanenIL #comprehension #student
Understanding differences among coding club students (AJL, VI, VL), pp. 159–164.
ICALPICALP-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.
CoGCIG-2014-SzubertJ #game studies #learning #network
Temporal difference learning of N-tuple networks for the game 2048 (MGS, WJ), pp. 1–8.
CoGCIG-2014-ThillBKK #game studies #learning
Temporal difference learning with eligibility traces for the game connect four (MT, SB, PK, WK), pp. 1–8.
CoGCIG-2014-VodopivecS #bound
Enhancing upper confidence bounds for trees with temporal difference values (TV, BS), pp. 1–8.
FDGFDG-2014-GuimaraesJ #development #game studies #gender
Gender differences in videogame development classes: U.S. and the U.A.E (MAMG, LJ).
FDGFDG-2014-OsbornM #game studies #independence #metric
A game-independent play trace dissimilarity metric (JCO, MM).
CoGVS-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.
CHICHI-2014-CareniniCHSTE #adaptation #visualisation
Highlighting interventions and user differences: informing adaptive information visualization support (GC, CC, EH, BS, DT, JE), pp. 1835–1844.
CHICHI-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.
CSCWCSCW-2014-Flanagan #design
Making a difference in and through playful design (MF), pp. 1–2.
CSCWCSCW-2014-GrevetTG #social #social media
Managing political differences in social media (CG, LGT, EG), pp. 1400–1408.
HCIDUXU-ELAS-2014-KuruK #design #gender #health
Exploring Possibilities of Designing Virtual Personal Health Coach in Relation to Gender Differences (HK, AK), pp. 63–71.
HCIDUXU-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.
HCIHCI-AS-2014-ZhaoSR #in the cloud
The Impact of Culture Differences on Cloud Computing Adoption (FZ, HJS, MvR), pp. 776–785.
HCIHCI-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.
HCIHIMI-AS-2014-HsiaoH #recognition
Age Difference in Recognition of Emoticons (KAH, PLH), pp. 394–403.
HCIHIMI-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.
CIKMCIKM-2014-NtoutsiSRK #clustering #quote #recommendation
“Strength Lies in Differences”: Diversifying Friends for Recommendations through Subspace Clustering (EN, KS, KR, HPK), pp. 729–738.
CIKMCIKM-2014-SongG #named #privacy #query
Aroma: A New Data Protection Method with Differential Privacy and Accurate Query Answering (CS, TG), pp. 1569–1578.
ECIRECIR-2014-KazaiS #evaluation #information retrieval #performance #query
Dissimilarity Based Query Selection for Efficient Preference Based IR Evaluation (GK, HS), pp. 172–183.
ICMLICML-c1-2014-SinghP #estimation #exponential
Generalized Exponential Concentration Inequality for Renyi Divergence Estimation (SS, BP), pp. 333–341.
ICMLICML-c2-2014-BarberW #equation #estimation #process
Gaussian Processes for Bayesian Estimation in Ordinary Differential Equations (DB, YW), pp. 1485–1493.
ICMLICML-c2-2014-GardnerKZWC #constraints #optimisation
Bayesian Optimization with Inequality Constraints (JRG, MJK, ZEX, KQW, JC), pp. 937–945.
ICPRICPR-2014-GilaniM #3d #perspective #women
Perceptual Differences between Men and Women: A 3D Facial Morphometric Perspective (SZG, ASM), pp. 2413–2418.
ICPRICPR-2014-MoilanenZP #agile #analysis #using
Spotting Rapid Facial Movements from Videos Using Appearance-Based Feature Difference Analysis (AM, GZ, MP), pp. 1722–1727.
ICPRICPR-2014-SavakisRP #gesture #learning #using
Gesture Control Using Active Difference Signatures and Sparse Learning (AES, RR, RWP), pp. 3969–3974.
ICPRICPR-2014-SicreTG #image
SuperPixel Based Angular Differences as a Mid-level Image Descriptor (RS, HET, TG), pp. 3732–3737.
ICPRICPR-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.
KDDKDD-2014-GhoshTLY #community #network
The interplay between dynamics and networks: centrality, communities, and cheeger inequality (RG, SHT, KL, XY), pp. 1406–1415.
KDDKDD-2014-LuM #estimation #exponential #graph #privacy #random
Exponential random graph estimation under differential privacy (WL, GM), pp. 921–930.
KMISKMIS-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.
KRKR-2014-DistelAB #concept
Concept Dissimilarity with Triangle Inequality (FD, JA, IB).
KRKR-2014-LudwigK #logic
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (ML, BK).
RecSysRecSys-2014-EkstrandHWK #algorithm #recommendation
User perception of differences in recommender algorithms (MDE, FMH, MCW, JAK), pp. 161–168.
SIGIRSIGIR-2014-GolbusA #modelling #on the #retrieval #standard
On the information difference between standard retrieval models (PBG, JAA), pp. 1135–1138.
SIGIRSIGIR-2014-KharazmiSSV #using
Using score differences for search result diversification (SK, MS, FS, DV), pp. 1143–1146.
SIGIRSIGIR-2014-LivneGTDA #named #recommendation #using
CiteSight: supporting contextual citation recommendation using differential search (AL, VG, JT, STD, EA), pp. 807–816.
MODELSMoDELS-2014-LangerMK #behaviour #semantics #specification
Semantic Model Differencing Utilizing Behavioral Semantics Specifications (PL, TM, GK), pp. 116–132.
OOPSLAOOPSLA-2014-PartushY #correlation #semantics
Abstract semantic differencing via speculative correlation (NP, EY), pp. 811–828.
PLDIPLDI-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.
QAPLQAPL-2014-TschaikowskiT #algebra #biology #performance #process
Extended Differential Aggregations in Process Algebra for Performance and Biology (MT, MT), pp. 34–47.
SASSAS-2014-GhorbalSP #algebra #equation #polynomial
Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations (KG, AS, AP), pp. 151–167.
ASEASE-2014-FalleriMBMM #fine-grained #source code
Fine-grained and accurate source code differencing (JRF, FM, XB, MM, MM), pp. 313–324.
ASEASE-2014-LutzD #comparison #data flow #interactive #programming #using #visual notation
Using visual dataflow programming for interactive model comparison (RL, SD), pp. 653–664.
ICSEICSE-2014-LinXXLPSZ #detection #multi
Detecting differences across multiple instances of code clones (YL, ZX, YX, YL, XP, JS, WZ), pp. 164–174.
ICSEICSE-2014-YangKPR #incremental
Property differencing for incremental checking (GY, SK, SP, NR), pp. 1059–1070.
SACSAC-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.
PDPPDP-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.
FASEFASE-2014-FahrenbergALW #diagrams
Sound Merging and Differencing for Class Diagrams (UF, MA, AL, AW), pp. 63–78.
STOCSTOC-2014-BunUV #approximate #privacy
Fingerprinting codes and the price of approximate differential privacy (MB, JU, SPV), pp. 1–10.
TACASTACAS-2014-GhorbalP #algebra #invariant
Characterizing Algebraic Invariants by Differential Radical Invariants (KG, AP), pp. 279–294.
IJCARIJCAR-2014-JeanninP #hybrid #logic #named
dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems (JBJ, AP), pp. 292–306.
ISSTAISSTA-2014-AlkhalafAB #semantics #validation
Semantic differential repair for input validation and sanitization (MA, AA, TB), pp. 225–236.
SMTSMT-2014-KhanhTO #named #polynomial #smt
raSAT: SMT for Polynomial Inequality (TVK, VXT, MO), p. 67.
QoSAQoSA-2013-KlattK #analysis #architecture
Improving product copy consolidation by architecture-aware difference analysis (BK, MK), pp. 117–122.
SIGMODSIGMOD-2013-ChenZ #privacy #recursion #strict #towards
Recursive mechanism: towards node differential privacy and unrestricted joins (SC, SZ), pp. 653–664.
VLDBVLDB-2013-Bonomi #mining #privacy
Mining Frequent Patterns with Differential Privacy (LB), pp. 1422–1427.
VLDBVLDB-2013-KellarisP #privacy
Practical Differential Privacy via Grouping and Smoothing (GK, SP), pp. 301–312.
ITiCSEITiCSE-2013-Luxton-ReillyDKTY #on the #student
On the differences between correct student solutions (ALR, PD, DK, EDT, SYY), pp. 177–182.
WCREWCRE-2013-HayashiTS #java #named #refactoring
REdiffs: Refactoring-aware difference viewer for java (SH, ST, MS), pp. 487–488.
WCREWCRE-2013-XingXJ
Distilling useful clones by contextual differencing (ZX, YX, SJ), pp. 102–111.
ICALPICALP-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.
ICALPICALP-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.
LATALATA-2013-MerweFG #symmetry
Counting Minimal Symmetric Difference NFAs (BvdM, MF, JG), pp. 419–430.
FDGFDG-2013-ZagalT #case study #game studies
Cultural differences in game appreciation: A study of player game reviews (JPZ, NT), pp. 86–93.
CHICHI-2013-FindlaterFFWD #performance
Age-related differences in performance with touchscreens compared to traditional mouse input (LF, JF, KF, JOW, TD), pp. 343–346.
CSCWCSCW-2013-BurkeK #facebook #using
Using facebook after losing a job: differential benefits of strong and weak ties (MB, RK), pp. 1419–1430.
CSCWCSCW-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.
CSCWCSCW-2013-Velden #community
Explaining field differences in openness and sharing in scientific communities (TV), pp. 445–458.
HCIDUXU-NTE-2013-ChuangH #case study
A Study on Time Differences between Actual Advertisement Viewing and Retrospective Perception (MHC, CH), pp. 455–464.
HCIDUXU-PMT-2013-BellowsHY #approach #design #research
An Individual Differences Approach to Design Fixation: Comparing Laboratory and Field Research (BGB, JFH, RJY), pp. 13–21.
HCIDUXU-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.
HCIHCI-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.
ICEISICEIS-v3-2013-DelgadoM #social
Social Robots, Cross-cultural Differences (ARD, MGM), pp. 19–22.
CIKMCIKM-2013-BonomiX #algorithm #mining #privacy
A two-phase algorithm for mining sequential patterns with differential privacy (LB, LX), pp. 269–278.
ICMLICML-c3-2013-TamarCM
Temporal Difference Methods for the Variance of the Reward To Go (AT, DDC, SM), pp. 495–503.
KDDKDD-2013-ShenY #graph #mining #privacy
Mining frequent graph patterns with differential privacy (ES, TY), pp. 545–553.
KDIRKDIR-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.
RecSysRecSys-2013-ChowJKS #data analysis #recommendation
Differential data analysis for recommender systems (RC, HJ, BPK, GS), pp. 323–326.
SIGIRSIGIR-2013-Sadeghi #evaluation
Task differentiation for personal search evaluation (SSS), p. 1147.
POPLPOPL-2013-GaboardiHHNP #dependent type #linear #privacy
Linear dependent types for differential privacy (MG, AH, JH, AN, BCP), pp. 357–370.
QAPLQAPL-2013-GazeauMP #privacy #semantics
Preserving differential privacy under finite-precision semantics (IG, DM, CP), pp. 1–18.
SASSAS-2013-PartushY #semantics #source code
Abstract Semantic Differencing for Numerical Programs (NP, EY), pp. 238–258.
ESEC-FSEESEC-FSE-2013-LahiriMSH
Differential assertion checking (SKL, KLM, RS, CH), pp. 345–355.
ICSEICSE-2013-SumnerZ #comparative
Comparative causality: explaining the differences between executions (WNS, XZ), pp. 272–281.
SACSAC-2013-HorieS
Extracting differences between regular tree grammars (KH, NS), pp. 859–864.
SACSAC-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.
CASECASE-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.
PDPPDP-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.
FASEFASE-2013-ZhongTX #api #behaviour
Exposing Behavioral Differences in Cross-Language API Mapping Relations (HZ, ST, TX), pp. 130–145.
STOCSTOC-2013-HsuRU #equilibrium #privacy
Differential privacy for the analyst via private equilibrium computation (JH, AR, JU), pp. 341–350.
STOCSTOC-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.
STOCSTOC-2013-NaorRV #commutative #performance
Efficient rounding for the noncommutative grothendieck inequality (AN, OR, TV), pp. 71–80.
STOCSTOC-2013-NikolovTZ #approximate #geometry #privacy
The geometry of differential privacy: the sparse and approximate cases (AN, KT, LZ), pp. 351–360.
STOCSTOC-2013-Ullman #privacy #query
Answering n{2+o(1)} counting queries with differential privacy is hard (JU), pp. 361–370.
CADECADE-2013-GangeSSS #composition #constraints
Solving Difference Constraints over Modular Arithmetic (GG, HS, PJS, PS), pp. 215–230.
SIGMODSIGMOD-2012-PengYZWY #multi #named #privacy
DP-tree: indexing multi-dimensional data under differential privacy (SP, YY, ZZ, MW, YY), p. 864.
SIGMODSIGMOD-2012-YangZMWX #analysis #privacy
Differential privacy in data publication and analysis (YY, ZZ, GM, MW, XX), pp. 601–606.
VLDBVLDB-2012-LiM #adaptation #privacy #query
An Adaptive Mechanism for Accurate Query Answering under Differential Privacy (CL, GM), pp. 514–525.
VLDBVLDB-2012-LiQSC #mining #named #privacy
PrivBasis: Frequent Itemset Mining with Differential Privacy (NL, WHQ, DS, JC), pp. 1340–1351.
VLDBVLDB-2012-YuanZWXYH #optimisation #privacy #query #rank
Low-Rank Mechanism: Optimizing Batch Queries under Differential Privacy (GY, ZZ, MW, XX, YY, ZH), pp. 1352–1363.
VLDBVLDB-2012-ZhangZXYW #analysis #functional #privacy
Functional Mechanism: Regression Analysis under Differential Privacy (JZ, ZZ, XX, YY, MW), pp. 1364–1375.
VLDBVLDB-2013-DrosouP12
DisC diversity: result diversification based on dissimilarity and coverage (MD, EP), pp. 13–24.
CSMRCSMR-2012-MoghadamC #automation #design #refactoring #using
Automated Refactoring Using Design Differencing (IHM, MÓC), pp. 43–52.
ICSMEICSM-2012-KehrerKOS #comprehension #evolution #semantics
Understanding model evolution through semantically lifting model differences with SiLift (TK, UK, MO, TS), pp. 638–641.
CoGCIG-2012-RunarssonL #game studies #learning
Imitating play from game trajectories: Temporal difference learning versus preference learning (TPR, SML), pp. 79–82.
FDGFDG-2012-Bergstrom #women
Virtual inequality: a woman's place in cyberspace (KB), pp. 267–269.
FDGFDG-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.
FDGFDG-2012-LevyGSMAW #gender
Fear of failure: gender differences in older adult gamers (LML, MG, RS, ACM, JCA, LAW), pp. 292–293.
CHICHI-2012-ChinF #health #learning
Age differences in exploratory learning from a health information website (JC, WTF), pp. 3031–3040.
CHICHI-2012-FlatlaG #modelling #named #tool support
SSMRecolor: improving recoloring tools with situation-specific models of color differentiation (DRF, CG), pp. 2297–2306.
CHICHI-2012-YardiB #product line
Income, race, and class: exploring socioeconomic differences in family technology use (SY, AB), pp. 3041–3050.
CAiSECAiSE-2012-AcherHCQLM #feature model
Feature Model Differences (MA, PH, PC, CQ, PL, PM), pp. 629–645.
EDOCEDOC-2012-ZhouXDL #network
Complicated Logistics Network Redesign Considering Service Differentiation (LZ, XX, SD, XL), pp. 93–102.
CIKMCIKM-2012-FanX #monitoring #privacy #realtime
Real-time aggregate monitoring with differential privacy (LF, LX), pp. 2169–2173.
CIKMCIKM-2012-SandersonTZS #effectiveness
Differences in effectiveness across sub-collections (MS, AT, YZ, FS), pp. 1965–1969.
ICMLICML-2012-GeistSLG #approach #learning
A Dantzig Selector Approach to Temporal Difference Learning (MG, BS, AL, MG), p. 49.
ICPRICPR-2012-DinhDL #case study #representation
A study on semi-supervised dissimilarity representation (VCD, RPWD, ML), pp. 2861–2864.
ICPRICPR-2012-ZhangLXL #gesture #recognition
Gesture recognition based on depth difference distribution (PZ, TL, HX, LL), pp. 157–160.
KDDKDD-2012-LeeC
Differential identifiability (JL, CC), pp. 1041–1049.
KRKR-2012-HalpernK #ambiguity
Ambiguous Language and Differences in Beliefs (JYH, WK).
RecSysRecSys-2012-DeDGM #learning #using
Local learning of item dissimilarity using content and link structure (AD, MSD, NG, PM), pp. 221–224.
SEKESEKE-2012-ZhuLLCZJ #continuation #logic #using #verification
HybridUML Based Verification of CPS Using Differential Dynamic Logic (MZ, BL, JL, QC, XZ, SJ), pp. 235–238.
SIGIRSIGIR-2012-WangOL #microblog
Summarizing the differences from microblogs (DW, MO, TL), pp. 1147–1148.
SIGIRSIGIR-2012-WhiteR #social
Effects of expertise differences in synchronous social Q&A (RWW, MR), pp. 1055–1056.
PADLPADL-2012-CampagnaSS #approximate #constraints #datalog #optimisation
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation (DC, BSS, TS), pp. 108–122.
POPLPOPL-2012-BartheKOB #privacy #probability #reasoning #relational
Probabilistic relational reasoning for differential privacy (GB, BK, FO, SZB), pp. 97–110.
QAPLQAPL-2012-PalamidessiS #algebra #bound #constraints #privacy #relational
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems (CP, MS), pp. 92–105.
ASEASE-2012-KehrerKPS #adaptation #comparison #tool support
Adaptability of model comparison tools (TK, UK, PP, MS), pp. 306–309.
ASEASE-2012-RubinC #set #using
Locating distinguishing features using diff sets (JR, MC), pp. 242–245.
SACSAC-2012-AvalhaisSRT #image #retrieval #search-based
Image retrieval employing genetic dissimilarity weighting and feature space transformation functions (LPSA, SFdS, JFRJ, AJMT), pp. 1012–1017.
SACSAC-2012-Koohi-MoghadamR #evolution
Molecular docking with opposition-based differential evolution (MKM, ATR), pp. 1387–1392.
SACSAC-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.
ASPLOSASPLOS-2012-KasikciZC #debugging
Data races vs. data race bugs: telling the difference with portend (BK, CZ, GC), pp. 185–198.
CASECASE-2012-LuiP #assembly #evolution #flexibility #scheduling #using
Scheduling Flexible Assembly Lines using variants of Differential Evolution (WHVL, SGP), pp. 594–599.
DATEDATE-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.
DATEDATE-2012-WangLPW #algorithm #linear #simulation
An operational matrix-based algorithm for simulating linear and fractional differential circuits (YW, HL, GKHP, NW), pp. 1463–1466.
CAVCAV-2012-Venet #analysis #invariant #linear #scalability
The Gauge Domain: Scalable Analysis of Linear Inequality Invariants (AV), pp. 139–154.
ICSTICST-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.
IJCARIJCAR-2012-KonevLW #logic
Logical Difference Computation with CEX2.5 (BK, ML, FW), pp. 371–377.
ISSTAISSTA-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.
ECSAECSA-2011-NakagawaAB #architecture #product line
Reference Architecture and Product Line Architecture: A Subtle But Critical Difference (EYN, POA, MB), pp. 207–211.
ICDARICDAR-2011-ColuttoG #performance #recognition #using #word
Efficient Word Recognition Using a Pixel-Based Dissimilarity Measure (SC, BG), pp. 1110–1114.
SIGMODSIGMOD-2011-XiaoBHG #fault #named #privacy
iReduct: differential privacy with reduced relative errors (XX, GB, MH, JG), pp. 229–240.
VLDBVLDB-2011-ChenMFDX #privacy
Publishing Set-Valued Data via Differential Privacy (RC, NM, BCMF, BCD, LX), pp. 1087–1098.
VLDBVLDB-2011-KhannaRT #database #probability #query
Queries with Difference on Probabilistic Databases (SK, SR, VT), pp. 1051–1062.
ITiCSEITiCSE-2011-SettleDD #student
Does lecture capture make a difference for students in traditional classrooms (AS, LD, MJD), pp. 78–82.
ICSMEICSM-2011-TsantalisNS #named
Webdiff: A generic differencing service for software artifacts (NT, NN, ES), pp. 586–589.
ICALPICALP-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.
ICALPICALP-v2-2011-LairdMM #category theory #game studies
Constructing Differential Categories and Deconstructing Categories of Games (JL, GM, GM), pp. 186–197.
TLCATLCA-2011-Gimenez #linear #logic #normalisation #proving
Realizability Proof for Normalization of Full Differential Linear Logic (SG), pp. 107–122.
CoGCIG-2011-AbdullahiL #learning
Temporal difference learning with interpolated n-tuples: Initial results from a simulated car racing environment (AAA, SML), pp. 321–328.
CHICHI-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.
CSCWCSCW-2011-WangFC
From diversity to creativity: stimulating group brainstorming with cultural differences and conversationally-retrieved pictures (HCW, SRF, DC), pp. 265–274.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIHCI-DDA-2011-KallinenER #multi
Individual Differences in Work Load While Doing Multitasking with a Computer (KK, IE, NR), pp. 351–358.
HCIIDGD-2011-LiRH #communication
The Impact of Cultural Differences on Instant Messaging Communication in China and Germany (HL, PLPR, AH), pp. 75–84.
HCIOCSC-2011-TsaiHT11a #behaviour #metric
Measurement of Tagging Behavior Differences (LCT, SLH, KHT), pp. 373–377.
VISSOFTVISSOFT-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.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-2011-GoncalvesPS #categorisation #logic #ontology #owl
Categorising logical differences between OWL ontologies (RSG, BP, US), pp. 1541–1546.
CIKMCIKM-2011-LeeLSY #robust #symmetry #video
Robust video fingerprinting based on hierarchical symmetric difference feature (JL, SL, YS, WY), pp. 2089–2092.
ICMLICML-2011-LiuI #bound #using
Bounding the Partition Function using Holder’s Inequality (QL, ATI), pp. 849–856.
ICMLICML-2011-SunGRS #fault #incremental
Incremental Basis Construction from Temporal Difference Error (YS, FJG, MBR, JS), pp. 481–488.
KDIRKDIR-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.
MLDMMLDM-2011-SimeonH #approach #correlation #mining #named #set
GENCCS: A Correlated Group Difference Approach to Contrast Set Mining (MS, RJH), pp. 140–154.
SIGIRSIGIR-2011-GossenLN #web #what
What are the real differences of children’s and adults’ web search (TG, TL, AN), pp. 1115–1116.
SIGIRSIGIR-2011-WanJHX #multi
Summarizing the differences in multilingual news (XW, HJ, SH, JX), pp. 735–744.
MODELSMoDELS-2011-FahrenbergLW #exclamation #semantics
Vision Paper: Make a Difference! (Semantically) (UF, AL, AW), pp. 490–500.
SPLCSPLC-2011-ZhangHM #comparison #modelling #product line
Model Comparison to Synthesize a Model-Driven Software Product Line (XZ, ØH, BMP), pp. 90–99.
ECOOPECOOP-2011-MaozRR #diagrams #named #semantics
CDDiff: Semantic Differencing for Class Diagrams (SM, JOR, BR), pp. 230–254.
OOPSLAOOPSLA-2011-PalmerS #java #metaprogramming
Backstage Java: making a difference in metaprogramming (ZP, SFS), pp. 939–958.
ASEASE-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.
ASEASE-2011-NguyenNNN11a #named
iDiff: Interaction-based program differencing tool (HAN, TTN, HVN, TNN), pp. 572–575.
ASEASE-2011-OverbeyJ #analysis #lightweight #refactoring #reuse #tool support
Differential precondition checking: A lightweight, reusable analysis for refactoring tools (JLO, REJ), pp. 303–312.
ASEASE-2011-XingXJ #named
CloneDifferentiator: Analyzing clones by differentiation (ZX, YX, SJ), pp. 576–579.
ESEC-FSEESEC-FSE-2011-MaozRR #diagrams #named #process #semantics
ADDiff: semantic differencing for activity diagrams (SM, JOR, BR), pp. 179–189.
GTTSEGTTSE-2011-MikhaielTNSX #modelling #uml
Differencing UML Models: A Domain-Specific vs. a Domain-Agnostic Method (RM, NT, NN, ES, ZX), pp. 159–196.
ICSEICSE-2011-LiKZJNMK
Characterizing the differences between pre- and post- release versions of software (PLL, RK, ZZ, SeJ, NN, BM, AJK), pp. 716–725.
DACDAC-2011-PotkonjakMNW #architecture
Differential public physically unclonable functions: architecture and applications (MP, SM, AN, SW), pp. 242–247.
CADECADE-2011-Platzer #hybrid #logic #probability #source code
Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (AP), pp. 446–460.
CSLCSL-2011-Ehrhard #λ-calculus
Resource λ-Calculus: the Differential Viewpoint (TE), p. 1.
DocEngDocEng-2010-BalinskyS #documentation #multi #workflow
Differential access for publicly-posted composite documents with multiple workflow participants (HB, SJS), pp. 115–124.
DocEngDocEng-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.
PODSPODS-2010-LiHRMM #linear #optimisation #privacy #query
Optimizing linear counting queries under differential privacy (CL, MH, VR, GM, AM), pp. 123–134.
VLDBVLDB-2011-SagyKSS10 #distributed #query #representation
Distributed Threshold Querying of General Functions by a Difference of Monotonic Representation (GS, DK, IS, AS), pp. 46–57.
EDMEDM-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.
EDMEDM-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.
MSRMSR-2010-JuzgadoV #re-engineering #using
Using differences among replications of software engineering experiments to gain knowledge (NJJ, SV).
LATALATA-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.
ICFPICFP-2010-ReedP #calculus #distance #privacy
Distance makes the types grow stronger: a calculus for differential privacy (JR, BCP), pp. 157–168.
FDGFDG-2010-RoweSML #learning #perspective
Individual differences in gameplay and learning: a narrative-centered learning perspective (JPR, LRS, BWM, JCL), pp. 171–178.
CHICHI-2010-ChinF #interactive #interface #performance
Interactive effects of age and interface differences on search strategies and performance (JC, WTF), pp. 403–412.
CHICHI-2010-DongF #image
Cultural difference in image tagging (WD, WTF), pp. 981–984.
CHICHI-2010-FlatlaG #modelling #visualisation
Individual models of color differentiation to improve interpretability of information visualization (DRF, CG), pp. 2563–2572.
CSCWCSCW-2010-ArazyN #quality #wiki
Determinants of wikipedia quality: the roles of global and local contribution inequality (OA, ON), pp. 233–236.
ICEISICEIS-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.
ICEISICEIS-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.
ICMLICML-2010-DowneyS #adaptation
Temporal Difference Bayesian Model Averaging: A Bayesian Perspective on Adapting λ (CD, SS), pp. 311–318.
ICMLICML-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.
ICMLICML-2010-Yu #convergence
Convergence of Least Squares Temporal Difference Methods Under General Conditions (HY), pp. 1207–1214.
ICPRICPR-2010-BatistaGS #representation #verification
Applying Dissimilarity Representation to Off-Line Signature Verification (LB, EG, RS), pp. 1293–1297.
ICPRICPR-2010-BuloP #clustering #probability #using
Probabilistic Clustering Using the Baum-Eagon Inequality (SRB, MP), pp. 1429–1432.
ICPRICPR-2010-CalanaROD #algorithm #prototype #representation #search-based
Prototype Selection for Dissimilarity Representation by a Genetic Algorithm (YPC, EBGR, MOA, RPWD), pp. 177–180.
ICPRICPR-2010-CeolinH #gender #metric #using
Characterising Facial Gender Difference Using Fisher-Rao Metric (SC, ERH), pp. 4308–4311.
ICPRICPR-2010-GueguenSP #composition #image #multi #segmentation
Differential Morphological Decomposition Segmentation: A Multi-Scale Object Based Image Description (LG, PS, MP), pp. 938–941.
ICPRICPR-2010-HuangSLT #multi
Saliency Based on Multi-scale Ratio of Dissimilarity (RH, NS, LL, QT), pp. 13–16.
ICPRICPR-2010-OuzounisS
Differential Area Profiles (GKO, PS), pp. 4085–4088.
ICPRICPR-2010-PalenichkaLZ #image
Outlier-Resistant Dissimilarity Measure for Feature-based Image Matching (RMP, AL, MBZ), pp. 846–849.
ICPRICPR-2010-Porro-MunozDOTL #representation
Classifying Three-way Seismic Volcanic Data by Dissimilarity Representation (DPM, RPWD, MOA, ITB, JMLB), pp. 814–817.
ICPRICPR-2010-QuWL #image #recognition #using
Action Recognition Using Space-Time Shape Difference Images (HQ, LW, CL), pp. 3661–3664.
ICPRICPR-2010-WangLGL #3d #comparison #kernel
3D Model Comparison through Kernel Density Matching (YW, TL, RG, WL), pp. 3159–3162.
KDDKDD-2010-FriedmanS #data mining #mining #privacy
Data mining with differential privacy (AF, AS), pp. 493–502.
ASEASE-2010-DuleySK #algorithm
A program differencing algorithm for verilog HDL (AD, CS, MK), pp. 477–486.
ASEASE-2010-Xing #comparison
Model comparison with GenericDiff (ZX), pp. 135–138.
ICSEICSE-2010-LohK #identification #named
LSdiff: a program differencing tool to identify systematic structural differences (AL, MK), pp. 263–266.
DATEDATE-2010-Eul #communication #standard
Wireless communication — successful differentiation on standard technology by innovation (HE), p. 2.
DATEDATE-2010-LomneDMTR #analysis #preprocessor #statistics
Differential Power Analysis enhancement with statistical preprocessing (VL, AD, PM, LT, MR), pp. 1301–1304.
STOCSTOC-2010-DworkNPR #privacy
Differential privacy under continual observation (CD, MN, TP, GNR), pp. 715–724.
STOCSTOC-2010-HardtT #geometry #on the #privacy
On the geometry of differential privacy (MH, KT), pp. 705–714.
CSLCSL-2010-Platzer #distributed #hybrid #logic #quantifier
Quantified Differential Dynamic Logic for Distributed Hybrid Systems (AP), pp. 469–483.
ISSTAISSTA-2010-PaleariMRB #testing
N-version disassembly: differential testing of x86 disassemblers (RP, LM, GFR, DB), pp. 265–274.
LICSLICS-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.
ICSTSAT-2010-Naveh #constraints
The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference (YN), pp. 1–7.
DocEngDocEng-2009-Fraser
Differential synchronization (NF), pp. 13–20.
DRRDRR-2009-LiD #independence #using #verification
Improving semi-text-independent method of writer verification using difference vector (XL, XD), pp. 1–10.
ICDARICDAR-2009-LandreMR #classification #image #using
Ornamental Letters Image Classification Using Local Dissimilarity Maps (JL, FMN, SR), pp. 186–190.
ICDARICDAR-2009-ShivakumaraPT #detection #video
A Gradient Difference Based Technique for Video Text Detection (PS, TQP, CLT), pp. 156–160.
VLDBVLDB-2009-BaoBDG #named #workflow
PDiffView: Viewing the Difference in Provenance of Workflow Results (ZB, SCB, SBD, PG), pp. 1638–1641.
VLDBVLDB-2009-LiuSC
Structured Search Result Differentiation (ZL, PS, YC), pp. 313–324.
EDMEDM-2009-Baker
Differences Between Intelligent Tutor Lessons, and the Choice to Go Off-Task (RB), pp. 11–20.
EDMEDM-2009-ZoubekB #visualisation
Visualization of Differences in Data Measuring Mathematical Skills (LZ, MB), pp. 319–324.
ITiCSEITiCSE-2009-Perrenet #student
Differences in beliefs and attitudes about computer science among students and faculty of the bachelor program (JP), pp. 129–133.
ICSMEICSM-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.
WCREWCRE-1999-BogdanovW99a #modelling
Computing the Structural Difference between State-Based Models (KB, NW), pp. 177–186.
TLCATLCA-2009-Pagani #theorem
The Cut-Elimination Theorem for Differential Nets with Promotion (MP), pp. 219–233.
TLCATLCA-2009-Vaux #linear #logic
Differential Linear Logic and Polarization (LV), pp. 371–385.
ICFPICFP-2009-Elliott
Beautiful differentiation (CME), pp. 191–202.
CoGCIG-2009-BurrowL #evolution #game studies #learning
Evolution versus Temporal Difference Learning for learning to play Ms. Pac-Man (PB, SML), pp. 53–60.
CoGCIG-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.
CoGCIG-2009-Lucas09b #learning
Temporal difference learning with interpolated table value functions (SML), pp. 32–37.
CoGCIG-2009-SzubertJK #learning
Coevolutionary Temporal Difference Learning for Othello (MGS, WJ, KK), pp. 104–111.
DiGRADiGRA-2009-NapIK #game studies
Age Differences in Associations with Digital Gaming (HHN, WAI, YAWdK).
CHICHI-2009-WangFS #adaptation #communication
Cultural difference and adaptation of communication styles in computer-mediated group brainstorming (HCW, SRF, LDS), pp. 669–678.
HCIHCD-2009-AdnanND #approach
Examining Individual Differences Effects: An Experimental Approach (WAWA, NLMN, NGND), pp. 570–575.
HCIHCD-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.
HCIHCD-2009-LokmanHNN #analysis #evaluation
Website Affective Evaluation: Analysis of Differences in Evaluations Result by Data Population (AML, AFH, NLMN, MN), pp. 643–652.
HCIHCD-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.
HCIHCI-NIMT-2009-Yee #gesture #multi
Potential Limitations of Multi-touch Gesture Vocabulary: Differentiation, Adoption, Fatigue (WY), pp. 291–300.
HCIHCI-NT-2009-Liu #design #gender #industrial #interface
Effects of Gender Difference on Emergency Operation Interface Design in Semiconductor Industry (HL), pp. 484–489.
HCIHCI-VAD-2009-LiHLW
The Differences of Aviation Human Factors between Individualism and Collectivism Culture (WCL, DH, LWL, TW), pp. 723–730.
HCIHIMI-DIE-2009-Goode #how #online
How Product Differentiation Affects Online Shopping (AWG), pp. 253–262.
HCIIDGD-2009-AlostathAA #design #identification #interface
Identifying and Measuring Cultural Differences in Cross-Cultural User-Interface Design (JMA, SA, ABA), pp. 3–12.
HCIIDGD-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.
CIKMCIKM-2009-MartineauFJP #classification #problem #using #word
Improving binary classification on text problems using differential word features (JM, TF, AJ, SP), pp. 2019–2024.
ECIRECIR-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.
ECIRECIR-2009-NamNLL #named
DiffPost: Filtering Non-relevant Content Based on Content Difference between Two Consecutive Blog Posts (SHN, SHN, YL, JHL), pp. 791–795.
ICMLICML-2009-KolterN09a #feature model #learning
Regularization and feature selection in least-squares temporal difference learning (JZK, AYN), pp. 521–528.
MLDMMLDM-2009-RiesenB #graph #prototype #reduction #using
Dissimilarity Based Vector Space Embedding of Graphs Using Prototype Reduction Schemes (KR, HB), pp. 617–631.
ICSEICSE-2009-CanforaCP #named
Ldiff: An enhanced line differencing tool (GC, LC, MDP), pp. 595–598.
SACSAC-2009-CipciganR #equation #probability
Interlaced Euler scheme for stiff systems of stochastic differential equations (IC, MR), pp. 989–994.
CASECASE-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.
STOCSTOC-2009-DworkL #privacy #robust #statistics
Differential privacy and robust statistics (CD, JL), pp. 371–380.
CSLCSL-2009-Tranquilli #confluence
Confluence of Pure Differential Nets with Promotion (PT), pp. 500–514.
ICLPICLP-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.
ISSTAISSTA-2009-GorgZ #aspectj #identification #semantics #source code
Identifying semantic differences in AspectJ programs (MTG, JZ), pp. 25–36.
TPDLECDL-2008-KeeganC #what
What a Difference a Default Setting Makes (TTK, SJC), pp. 264–267.
FLOPSFLOPS-2008-Yokouchi #algorithm #analysis #lazy evaluation #strict
Strictness Analysis Algorithms Based on an Inequality System for Lazy Types (HY), pp. 255–271.
CoGCIG-2008-Lucas #evolution #learning
Investigating learning rates for evolution and temporal difference learning (SML), pp. 1–7.
CoGCIG-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.
CHICHI-2008-Muller-TomfeldeS #collaboration #multi
Touchers and mousers: commonalities and differences in co-located collaboration with multiple input devices (CMT, CS), pp. 1149–1152.
ICEISICEIS-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.
ICMLICML-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.
ICMLICML-2008-YaoL #learning
Preconditioned temporal difference learning (HY, ZQL), pp. 1208–1215.
ICPRICPR-2008-ChivertonMX #similarity
Variational Maximum A Posteriori model similarity and dissimilarity matching (JC, MM, XX), pp. 1–4.
ICPRICPR-2008-DingB08a #probability #recognition
Probabilistic mixtures of differential profiles for shape recognition (LD, MB), pp. 1–4.
ICPRICPR-2008-DuinP #learning #matrix #on the
On refining dissimilarity matrices for an improved NN learning (RPWD, EP), pp. 1–4.
ICPRICPR-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.
ICPRICPR-2008-GuoX #recognition
Local Gabor phase difference pattern for face recognition (YG, ZX), pp. 1–4.
ICPRICPR-2008-KhushabaAA #evolution #set
Differential evolution basedfeature subset selection (RNK, AAA, AAJ), pp. 1–4.
ICPRICPR-2008-NingXZGH #detection #learning
Temporal difference learning to detect unsafe system states (HN, WX, YZ, YG, TSH), pp. 1–4.
ICPRICPR-2008-TaEL #equation #graph
Nonlocal morphological levelings by partial difference equations over weighted graphs (VTT, AE, OL), pp. 1–4.
KDDKDD-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.
KRKR-2008-KontchakovWZ #ontology #question
Can You Tell the Difference Between DL-Lite Ontologies? (RK, FW, MZ), pp. 285–295.
RecSysRecSys-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.
SEKESEKE-2008-OliveiraO #approach #comparison
Model Comparison: a Strategy-Based Approach (KSFO, TCdO), pp. 912–917.
TOOLSTOOLS-EUROPE-2008-RiveraV #representation
Representing and Operating with Model Differences (JER, AV), pp. 141–160.
PPDPPPDP-2008-FeydySS #constraints #finite
Global difference constraint propagation for finite domain solvers (TF, AS, PJS), pp. 226–235.
RERE-2008-MakinoO #generative
A Method of Scenario Generation with Differential Scenario (MM, AO), pp. 337–338.
FSEFSE-2008-PersonDEP #execution #symbolic computation
Differential symbolic execution (SP, MBD, SGE, CSP), pp. 226–237.
CASECASE-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.
CASECASE-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.
CGOCGO-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.
DATEDATE-2008-BadelGIMVGL #design #standard
A Generic Standard Cell Design Methodology for Differential Circuit Styles (SB, EG, OI, APM, PV, FKG, YL), pp. 843–848.
OSDIOSDI-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.
STOCSTOC-2008-GamaN
Finding short lattice vectors within mordell’s inequality (NG, PQN), pp. 207–216.
CAVCAV-2008-PlatzerC #hybrid #invariant
Computing Differential Invariants of Hybrid Systems as Fixedpoints (AP, EMC), pp. 176–189.
IJCARIJCAR-2008-KaminskiS #hybrid #logic
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (MK, GS), pp. 210–225.
IJCARIJCAR-2008-KonevWW #logic #problem
The Logical Difference Problem for Description Logic Terminologies (BK, DW, FW), pp. 259–274.
LICSLICS-2008-Falco #geometry #interactive
The Geometry of Interaction of Differential Interaction Nets (MdF), pp. 465–475.
DRRDRR-2007-YangKR
Scale-controlled area difference shape descriptor (MY, KK, JR).
ICDARICDAR-2007-HirayamaNK #classification #using
A Classifier of Similar Characters using Compound Mahalanobis Function based on Difference Subspace (JH, HN, NK), pp. 432–436.
ICDARICDAR-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.
ICDARICDAR-2007-JlaielKAM
Three decision levels strategy for Arabic and Latin texts differentiation in printed and handwritten natures (MBJ, SK, AMA, RM), pp. 1103–1107.
ITiCSEITiCSE-2007-VoylesHF #education #gender #student
Teacher responses to student gender differences (MMV, SMH, TVF), pp. 226–230.
TLCATLCA-2007-Fiore #linear #logic #modelling #multi
Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (MPF), pp. 163–177.
CoGCIG-2007-LucasT #evolution #learning
Point-to-Point Car Racing: an Initial Study of Evolution Versus Temporal Difference Learning (SML, JT), pp. 260–267.
CoGCIG-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.
CoGCIG-2007-Mayer #learning
Board Representations for Neural Go Players Learning by Temporal Difference (HAM), pp. 183–188.
HCIDHM-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.
HCIHCI-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.
HCIHCI-IDU-2007-KangY #performance
Age Differences in Performance, Operation Methods, and Workload While Interacting with an MP3 Player (NEK, WCY), pp. 854–861.
HCIHCI-IPT-2007-AuerD
When Does a Difference Make a Difference? A Snapshot on Global Icon Comprehensibility (SA, ED), pp. 3–12.
HCIHIMI-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.
HCIOCSC-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.
EDOCEDOC-2007-Dijkman #classification
A Classification of Differences between Similar BusinessProcesses (RMD), pp. 37–50.
ICEISICEIS-SAIC-2007-ChenC #bottom-up #detection #process
A Simulation-Based Difference Detection Technique for Bottom-Up Process Reconciliation (XC, PWHC), pp. 72–77.
ICMLICML-2007-WangYF #learning #on the
On learning with dissimilarity functions (LW, CY, JF), pp. 991–998.
KDDKDD-2007-VreekenLS
Characterising the difference (JV, MvL, AS), pp. 765–774.
TOOLSTOOLS-EUROPE-2007-CicchettiRP #approach #independence #metamodelling #representation
A Metamodel Independent Approach to Difference Representation (AC, DDR, AP), pp. 165–185.
QAPLQAPL-2007-BortolussiP #concurrent #constraints #equation #probability #programming
Stochastic Concurrent Constraint Programming and Differential Equations (LB, AP), pp. 27–42.
ESEC-FSEESEC-FSE-2007-EvansS #approach #detection #testing
Differential testing: a new approach to change detection (RBE, AS), pp. 549–552.
ESEC-FSEESEC-FSE-2007-SharpHBB #developer
Exploring motivational differences between software developers and project managers (HS, TH, NB, SB), pp. 501–504.
ESEC-FSEESEC-FSE-2007-TreudeBWK #modelling #scalability
Difference computation of large models (CT, SB, SW, UK), pp. 295–304.
ICSEICSE-2007-GroceHJ #random #testing #verification
Randomized Differential Testing as a Prelude to Formal Verification (AG, GJH, RJ), pp. 621–631.
SACSAC-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.
DACDAC-2007-JiangHS #design
A New Twisted Differential Line Structure in Global Bus Design (ZJ, SH, WS), pp. 180–183.
DACDAC-2007-SmithCHRSW #industrial #named
Electronics: The New Differential in the Automotive Industry (NS, AC, CH, WCR, ALSV, FW), p. 446.
PDPPDP-2007-FalcoMSTC #distributed #evolution #image
Distributed Differential Evolution for the Registration of Remotely Sensed Images (IDF, DM, US, ET, ADC), pp. 358–362.
PDPPDP-2007-FalcoSTC #approach #distributed #evolution #grid
A Distributed Differential Evolution Approach for Mapping in a Grid Environment (IDF, US, ET, ADC), pp. 442–449.
ESOPESOP-2007-SeidlFP #linear
Interprocedurally Analysing Linear Inequality Relations (HS, AF, MP), pp. 284–299.
SMTSMT-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.
SMTSMT-J-2006-KimJS #finite #integer #logic
Disequality Management in Integer Difference Logic via Finite Instantiations (HK, HJ, FS), pp. 47–66.
DocEngDocEng-2006-LindholmKT #performance #sequence #xml
Fast and simple XML tree differencing by sequence alignment (TL, JK, ST), pp. 75–84.
ITiCSEITiCSE-2006-VilnerZ #gender
Once she makes it, she is there: gender differences in computer science study (TV, EZ), pp. 227–231.
ICSMEICSM-2006-FisherCZ #comprehension #using
Using Sex Differences to Link Spatial Cognition and Program Comprehension (MF, AC, LZ), pp. 289–298.
SCAMSCAM-2006-CollardKM
Factoring Differences for Iterative Change Management (MLC, HHK, JIM), pp. 217–226.
ICALPICALP-v2-2006-Dwork #privacy
Differential Privacy (CD), pp. 1–12.
CoGCIG-2006-LucasR #co-evolution #evaluation #learning
Temporal Difference Learning Versus Co-Evolution for Acquiring Othello Position Evaluation (SML, TPR), pp. 52–59.
CSCWCSCW-2006-KayanFS #using
Cultural differences in the use of instant messaging in Asia and North America (SK, SRF, LDS), pp. 525–528.
CIKMCIKM-2006-MullerFL #database
Describing differences between databases (HM, JCF, UL), pp. 612–621.
CIKMCIKM-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.
ICMLICML-2006-AsgharbeygiSL #learning #relational
Relational temporal difference learning (NA, DJS, PL), pp. 49–56.
ICPRICPR-v1-2006-YalcinG #algorithm #evolution
Integrating Differential Evolution and Condensation Algorithms for License Plate Tracking (IKY, MG), pp. 658–661.
ICPRICPR-v3-2006-HeTHY #recognition
Face Recognition with Relative Difference Space and SVM (XH, JT, YH, XY), pp. 527–531.
ICPRICPR-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.
KDDKDD-2006-LiuZWMP #clustering #order #set
Clustering pair-wise dissimilarity data into partially ordered sets (JL, QZ, WW, LM, JP), pp. 637–642.
SIGIRSIGIR-2006-ZhaZFS #information retrieval #learning #query
Incorporating query difference for learning retrieval functions in information retrieval (HZ, ZZ, HF, GS), pp. 721–722.
ASEASE-2006-Abi-AntounANSG #architecture
Differencing and Merging of Architectural Views (MAA, JA, NHN, BRS, DG), pp. 47–58.
FSEFSE-2006-ElbaumCDD #testing
Carving differential unit test cases from system test cases (SGE, HNC, MBD, JD), pp. 253–264.
SACSAC-2006-dAmatoFE #concept
A dissimilarity measure for ALC concept descriptions (Cd, NF, FE), pp. 1695–1699.
CASECASE-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.
DACDAC-2006-WangGG #deduction #learning #logic
Predicate learning and selective theory deduction for a difference logic solver (CW, AG, MKG), pp. 235–240.
LICSLICS-2006-TatsutaD #normalisation
Normalisation is Insensible to λ-Term Identity or Difference (MT, MDC), pp. 327–338.
ICSTSAT-2006-CottonM #constraints #flexibility #performance
Fast and Flexible Difference Constraint Propagation for DPLL(T) (SC, OM), pp. 170–183.
PODSPODS-2005-SayrafiG #constraints
Differential constraints (BS, DVG), pp. 348–357.
ITiCSEITiCSE-2005-LiccardiW #comprehension #effectiveness
Understanding disciplinary differences: an insight into selecting effective e-learning approaches (IL, SW), p. 411.
DiGRADiGRA-2005-BoltonF #game studies #research #video
Styles of Playing Violent Video Games: An Individual Differences Research Methodology (AB, GF).
DiGRADiGRA-2005-BoltonF05a #game studies #video
Individual Differences in Violent Video Game Play (AB, GF).
DiGRADiGRA-2005-Curlew #social
Liberal Sims?: Simulated Difference and the Commodity of Social Diversity (ABC).
CHICHI-2005-BrushWTS #metadata #social
Assessing differential usage of usenet social accounting meta-data (AJBB, XW, TCT, MAS), pp. 889–898.
CHICHI-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.
MLDMMLDM-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.
PLDIPLDI-2005-ZhuangP
Differential register allocation (XZ, SP), pp. 168–179.
ASEASE-2005-MehraGH #approach #collaboration #design #diagrams
A generic approach to supporting diagram differencing and merging for collaborative design (AM, JCG, JGH), pp. 204–213.
ASEASE-2005-XingS #algorithm #design #named #object-oriented
UMLDiff: an algorithm for object-oriented design differencing (ZX, ES), pp. 54–65.
DATEDATE-2005-TiriV #constant #design #logic #power management
Design Method for Constant Power Consumption of Differential Logic Circuits (KT, IV), pp. 628–633.
FoSSaCSFoSSaCS-2005-EdalatLP #calculus #multi
A Computational Model for Multi-variable Differential Calculus (AE, AL, DP), pp. 505–519.
ICSTSAT-J-2004-ArmandoCGM05 #constraints #satisfiability
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints (AA, CC, EG, MM), pp. 16–29.
CAVCAV-2005-NieuwenhuisO #logic
DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic (RN, AO), pp. 321–334.
ICSMEICSM-2004-MaleticC #analysis #source code
Supporting Source Code Difference Analysis (JIM, MLC), pp. 210–219.
ICSMEICSM-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.
ICSMEICSM-2004-XieN #black box #testing
Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences (TX, DN), pp. 28–37.
CIAACIAA-2004-Zijl #symmetry
Magic Numbers for Symmetric Difference NFAs (LvZ), pp. 333–334.
CHICHI-2004-LudfordCFT #community #online #using
Think different: increasing online community participation using uniqueness and group dissimilarity (PJL, DC, DF, LGT), pp. 631–638.
ICEISICEIS-v2-2004-Feoktistov #evolution
New Energetic Selection Principle in Differential Evolution (VF), pp. 29–35.
CIKMCIKM-2004-HuangOM #category theory #clustering
Compression schemes for differential categorical stream clustering (WH, EO, LM), pp. 232–233.
ICPRICPR-v1-2004-KawanoKY #comparison #gender
A Comparison of the Gender Differentiation Capability between Facial Parts (TK, KK, KY), pp. 350–353.
ICPRICPR-v2-2004-EwerthF #detection #normalisation
Improving Cut Detection in MPEG Videos by GOP-Oriented Frame Difference Normalization (RE, BF), pp. 807–810.
ICPRICPR-v2-2004-SeropianGV
Differentiation of Alphabets in Handwritten Texts (AS, MG, NV), pp. 622–625.
ICPRICPR-v4-2004-Richard #approach #consistency #image
A New Approach For The Registration of Images With Inconsistent Differences (FJPR), pp. 649–652.
ICPRICPR-v4-2004-SangiHS #analysis #metric #using
Motion Analysis Using Frame Differences with Spatial Gradient Measures (PS, JH, OS), pp. 733–736.
ICPRICPR-v4-2004-SawanoO
Road Extraction by Snake with Inertia and Differential Features (HS, MO), pp. 380–383.
ICPRICPR-v4-2004-XuF #clustering
Delta-MSE Dissimilarity in Suboptimal K-Means Clustering (MX, PF), pp. 577–580.
ICPRICPR-v4-2004-ZhangS #metric
Discovery of the Tri-Edge Inequality with Binary Vector Dissimilarity Measures (BZ, SNS), pp. 669–672.
KDDKDD-2004-KummamuruKA #learning #metric
Learning spatially variant dissimilarity (SVaD) measures (KK, RK, RA), pp. 611–616.
KDDKDD-2004-NijssenK #mining
A quickstart in frequent structure mining can make a difference (SN, JNK), pp. 647–652.
ASEASE-2004-ApiwattanapongOH #algorithm #object-oriented #source code
A Differencing Algorithm for Object-Oriented Programs (TA, AO, MJH), pp. 2–13.
HPDCHPDC-2004-Abu-GhazalehLG #performance
Differential Serialization for Optimized SOAP Performance (NAG, MJL, MG), pp. 55–64.
STOCSTOC-2004-AlonN #approximate
Approximating the cut-norm via Grothendieck’s inequality (NA, AN), pp. 72–80.
SATSAT-2004-ArmandoCGM #constraints #satisfiability
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints (AA, CC, EG, MM), pp. 166–173.
VMCAIVMCAI-2004-PaceS #kernel #model checking #using
Model Checking Polygonal Differential Inclusions Using Invariance Kernels (GJP, GS), pp. 110–121.
DRRDRR-2003-ZhangS #identification #metric
Binary vector dissimilarity measures for handwriting identification (BZ, SNS), pp. 28–38.
ITiCSEITiCSE-2003-MeedenNBK #gender #using
Using departmental surveys to assess computing culture: quantifying gender differences in the classroom (LM, TN, DSB, DK), pp. 188–192.
CSMRCSMR-2003-JiangS #case study #tool support
Exploring Differences in Exchange Formats — Tool Support and Case Studies (JJ, TS), pp. 389–398.
ICSMEICSM-2003-OhstWK #analysis #design #documentation #tool support
Difference Tools for Analysis and Design Documents (DO, MW, UK), pp. 13–22.
IWPCIWPC-2003-KoU #comprehension #programming
Individual Differences in Program Comprehension Strategies in Unfamiliar Programming Systems (AJK, BU), pp. 175–184.
SCAMSCAM-2003-PearceKH #analysis #detection #online #pointer
Online Cycle Detection and Difference Propagation for Pointer Analysis (DJP, PHJK, CH), pp. 3–12.
ICALPICALP-2003-Blaser #algorithm #approximate #symmetry
An Improved Approximation Algorithm for the Asymmetric TSP with Strengthened Triangle Inequality (MB), pp. 157–163.
ICALPICALP-2003-BorosEGKM #generative #problem
An Intersection Inequality for Discrete Distributions and Related Generation Problems (EB, KME, VG, LK, KM), pp. 543–555.
ICFPICFP-2003-Nilsson #automation #functional
Functional automatic differentiation with dirac impulses (HN), pp. 153–164.
CHICHI-2003-ShechtmanH #how #people
Media inequality in conversation: how people behave differently when interacting with computers and people (NS, LMH), pp. 281–288.
ICEISICEIS-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.
ICEISICEIS-v3-2003-SutharshanMK #design #implementation
Implementing User Centred Partnership Design — Change in Attitude Made a Difference (AS, SPM, GK), pp. 456–461.
ICMLICML-2003-Elkan #using
Using the Triangle Inequality to Accelerate k-Means (CE), pp. 147–153.
ICMLICML-2003-EngelMM #approach #learning #process
Bayes Meets Bellman: The Gaussian Process Approach to Temporal Difference Learning (YE, SM, RM), pp. 154–161.
ICMLICML-2003-Graepel #equation #linear #process
Solving Noisy Linear Operator Equations by Gaussian Processes: Application to Ordinary and Partial Differential Equations (TG), pp. 234–241.
KDDKDD-2003-WebbBN #detection #on the
On detecting differences between groups (GIW, SMB, DAN), pp. 256–265.
MLDMMLDM-2003-GiacintoR #feedback #image #representation #retrieval
Dissimilarity Representation of Images for Relevance Feedback in Content-Based Image Retrieval (GG, FR), pp. 202–214.
UMLUML-2003-AlanenP #modelling
Difference and Union of Models (MA, IP), pp. 2–17.
ASEASE-2003-Collard #framework #refactoring #source code
An Infrastructure to Support Meta-Differencing and Refactoring of Source Code (MLC), pp. 377–380.
ESEC-FSEESEC-FSE-2003-OhstWK #diagrams #uml
Differences between versions of UML diagrams (DO, MW, UK), pp. 227–236.
SACSAC-2003-BuckerLRB #automation #fourier #parallel
Automatic Parallelism in Differentiation of Fourier Transforms (HMB, BL, AR, CHB), pp. 148–152.
DACDAC-2003-BeniniMMOPP #analysis #design #energy
Energy-aware design techniques for differential power analysis protection (LB, AM, EM, EO, FP, MP), pp. 36–41.
ESOPESOP-2003-RepsSL #finite #logic #static analysis
Finite Differencing of Logical Formulas for Static Analysis (TWR, SS, AL), pp. 380–398.
ITiCSEITiCSE-2002-CarterJ #gender #programming #question
Gender differences in programming? (JC, TJ), pp. 188–192.
ITiCSEITiCSE-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.
IWPCIWPC-2002-Binkley #comprehension #empirical #semantics
An Empirical Study of the Effect of Semantic Differences on Programmer Comprehension (DB), pp. 97–106.
ICPRICPR-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.
ICPRICPR-v1-2002-CoquinBI #metric
Dissimilarity Measures in Color Spaces (DC, PB, BI), pp. 612–615.
ICPRICPR-v1-2002-CostaGB #statistics
Orientation Difference Statistics for Texture Description (JPDC, CG, PB), pp. 652–655.
ICPRICPR-v1-2002-GoncalvesA #3d #estimation
Estimation of 3D Motion from Stereo Images- Differential and Discrete Formulations (NG, HA), pp. 335–338.
ICPRICPR-v1-2002-KanekoMM #agile #constraints #correlation #image #using
Using Constraint Inequality on Estimated Correlation for Rapid Image Search (SK, TM, AM), pp. 87–90.
ICPRICPR-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.
ICPRICPR-v3-2002-ArmangueAS #constraints #estimation #mobile
Differential Epipolar Constraint in Mobile Robot Egomotion Estimation (XA, HA, JS), pp. 599–602.
ICPRICPR-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.
ICPRICPR-v3-2002-PekalskaD #performance #prototype
Prototype Selection for Finding Efficient Representations of Dissimilarity Data (EP, RPWD), pp. 37–40.
ICPRICPR-v4-2002-LamXS #using
Differentiation between Alphabetic and Numeric Data Using NN Ensembles (LL, QX, CYS), pp. 40–43.
KRKR-2002-BrandtKT #approximate #logic
Approximation and Difference in Description Logics (SB, RK, AYT), pp. 203–214.
SIGIRSIGIR-2002-Kawatani #categorisation #documentation #set #topic
Topic difference factor extraction between two document sets and its application to text categorization (TK), pp. 137–144.
ECOOPECOOP-2002-IchisugiT #independence
Difference-Based Modules: A Class-Independent Module Mechanism (YI, AT), pp. 62–88.
LOPSTRLOPSTR-2002-SimonKH #abstract domain #linear
Two Variables per Linear Inequality as an Abstract Domain (AS, AK, JMH), pp. 71–89.
PEPMPEPM-2002-BischofHN #automation #implementation #tool support
Implementation of automatic differentiation tools (CHB, PDH, BN), pp. 98–107.
SACSAC-2002-CarlssonJ #game studies
Differences between the iterated prisoner’s dilemma and the chicken game under noisy conditions (BC, KIJ), pp. 42–48.
SACSAC-2002-YoungBGL #object-oriented #using
Using an object oriented model for resolving representational differences between heterogeneous systems (PY, VB, JG, L), pp. 976–983.
STOCSTOC-2002-Smyth
Reimer’s inequality and tardos’ conjecture (CDS), pp. 218–221.
CADECADE-2002-Moller #library #named #quantifier
DDDLIB: A Library for Solving Quantified Difference Inequalities (JBM), pp. 129–133.
LICSLICS-2002-EdalatL #calculus
Domain Theory and Differential Calculus (Functions of one Variable) (AE, AL), pp. 277–286.
SATSAT-2002-MalerMNA #logic #satisfiability
A satisfiability checker for difference logic (OM, MM, PN, EA), p. 27.
ITiCSEITiCSE-2001-CarterJ #gender #programming #question
Gender differences in programming? (JC, TJ), p. 173.
ICSMEICSM-2001-BinkleyCRS #empirical #implementation #semantics
An Implementation of and Experiment with Semantic Differencing (DB, RC, LRR, CS), pp. 82–91.
ICMLICML-2001-ChoiR #approximate #fixpoint #learning #performance
A Generalized Kalman Filter for Fixed Point Approximation and Efficient Temporal Difference Learning (DC, BVR), pp. 43–50.
ICMLICML-2001-PrecupSD #approximate #learning
Off-Policy Temporal Difference Learning with Function Approximation (DP, RSS, SD), pp. 417–424.
DACDAC-2001-MassoudKMW #analysis #induction #modelling
Modeling and Analysis of Differential Signaling for Minimizing Inductive Cross-Talk (YM, JK, DM, JW), pp. 804–809.
DATEDATE-2001-XuM #modelling #performance #using
Efficient and passive modeling of transmission lines by using differential quadrature method (QX, PM), pp. 437–444.
HPCAHPCA-2001-GoemanVB #performance #predict
Differential FCM: Increasing Value Prediction Accuracy by Improving Table Usage Efficiency (BG, HV, KDB), pp. 207–216.
WLCWLC-2000-Dassow #generative #on the
On the Differentiation Function of some Language Generating Devices (JD), pp. 151–161.
CHICHI-2000-CorbettT #learning
Instructional interventions in computer-based tutoring: differential impact on learning time and accuracy (ATC, HJT), pp. 97–104.
ICMLICML-2000-BayP
Characterizing Model Erros and Differences (SDB, MJP), pp. 49–56.
ICMLICML-2000-TodorovskiDSWG #behaviour #equation
Discovering the Structure of Partial Differential Equations from Example Behaviour (LT, SD, AS, JPW, DG), pp. 991–998.
ICPRICPR-v2-2000-FredL #clustering
Clustering Under a Hypothesis of Smooth Dissimilarity Increments (ALNF, JMNL), pp. 2190–2194.
ICPRICPR-v3-2000-BaumelaARB #equation #estimation #using
Motion Estimation Using the Differential Epipolar Equation (LB, LdA, IDR, PB), pp. 3848–3851.
KRKR-2000-Konieczny #knowledge base #on the
On the Difference between Merging Knowledge Bases and Combining them (SK), pp. 135–144.
SACSAC-2000-Reich #algorithm #equation #simulation #using
Simulation of Imprecise Ordinary Differential Equations Using Evolutionary Algorithms (CR), pp. 428–432.
ICDARICDAR-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.
VLDBVLDB-1999-Sarawagi #multi
Explaining Differences in Multidimensional Aggregates (SS), pp. 42–53.
HCIHCI-CCAD-1999-LinDF #comprehension #data flow #diagrams
Strategy differences in data flow diagram comprehension between intermediates and novices (CJL, TCD, YMF), pp. 48–52.
HCIHCI-EI-1999-Lin #recognition
Cultural Differences in Icon Recognition (RL), pp. 725–729.
HCIHCI-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.
HCIHCI-EI-1999-SuzukiA #process
Difference in the ANS activity between gaze angles while seated (KS, DRA), pp. 69–73.
ICMLICML-1999-Boyan #learning
Least-Squares Temporal Difference Learning (JAB), pp. 49–56.
KDDKDD-1999-DongL #mining #performance #roadmap
Efficient Mining of Emerging Patterns: Discovering Trends and Differences (GD, JL), pp. 43–52.
HPCAHPCA-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.
CAVCAV-1999-BehrmannLPWY #analysis #diagrams #performance #reachability #using
Efficient Timed Reachability Analysis Using Clock Difference Diagrams (GB, KGL, JP, CW, WY), pp. 341–353.
CSLCSL-1999-MollerLAH #diagrams
Difference Decision Diagrams (JBM, JL, HRA, HH), pp. 111–125.
CSMRCSMR-1998-SeemannG #object-oriented #visualisation
Visualization of Differences between Versions of Object-Oriented Software (JS, JWvG), pp. 201–204.
ICSMEICSM-1998-VokolosF #empirical #evaluation #testing
Empirical Evaluation of the Textual Differencing Regression Testing Technique (FIV, PGF), pp. 44–53.
ICFPICFP-1998-Karczmarczuk #functional #source code
Functional Differentiation of Computer Programs (JK), pp. 195–203.
ICPRICPR-1998-LengagneFM #3d #constraints #using
Using differential constraints to generate a 3D face model from stereo (RL, PF, OM), pp. 637–639.
ICPRICPR-1998-MontesinosGD #image #invariant
Differential invariants for color images (PM, VG, RD), pp. 838–840.
ICPRICPR-1998-SporringNWO #metric
A note on differential corner measures (JS, MN, JW, OFO), pp. 652–654.
SASSAS-1998-TadjouddineEF #automation #program analysis
Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis (MT, FE, CF), pp. 311–326.
PDPPDP-1998-PinuelLT #equation #parallel
A special-purpose parallel computer for solving partial differential equations (LP, IML, FT), pp. 509–517.
ESOPESOP-1998-FechtS #algorithm #constraints #fixpoint #performance
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems (CF, HS), pp. 90–104.
ICDARICDAR-1997-KawataniS #classification #component #design #using
Complementary Classifier Design Using Difference Principal Components (TK, HS), pp. 875–880.
PODSPODS-1997-Shoshani #database #statistics
OLAP and Statistical Databases: Similarities and Differences (AS), pp. 185–196.
ITiCSEITiCSE-1997-Naps #algorithm #exclamation #java #visualisation #web
Algorithm visualization on the World Wide Web — the difference Java makes! (TLN), pp. 59–61.
CHICHI-1997-BalakrishnanM #performance
Performance Differences in the Fingers, Wrist, and Forearm in Computer Input Control (RB, ISM), pp. 303–310.
CHICHI-1997-Golovchinsky #query #question
Queries? Links? Is there a Difference? (GG), pp. 407–414.
HCIHCI-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.
HCIHCI-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.
HCIHCI-SEC-1997-NordbottenC #comprehension
Individual User Differences in Data Model Comprehension (JCN, MEC), pp. 663–666.
HCIHCI-SEC-1997-Umemuro #effectiveness
Age Differences Between Elderly and Young Workers in Effectiveness of Computer Skill Training and Task Cognition (HU), pp. 177–180.
TAPSOFTTAPSOFT-1997-AndreB #bound #transducer
Word-into-Tree Transducers with Bounded Difference (YA, FB), pp. 177–188.
ICLPICLP-1997-ZukowskiF #bottom-up #semantics
Differential Bottom-Up Computation of the Well-Founded Semantics (UZ, BF, SB), p. 421.
VLDBVLDB-1996-LabioG #algorithm #performance
Efficient Snapshot Differential Algorithms for Data Warehousing (WL, HGM), pp. 63–74.
CHICHI-1996-DouglasK #modelling #question
Do Color Models Really Make a Difference? (SAD, TK), p. 399–?.
CHICHI-1996-MithalD
Differences in Movement Microstructure of the Mouse and the Finger-Controlled Isometric Joystick (AKM, SAD), pp. 300–307.
CHICHI-1996-SawyerFW
Making a Difference — the Impact of Inspections (PS, AF, DRW), pp. 376–382.
CIKMCIKM-1996-Shoshani #database #statistics
OLAP and Statistical Databases: Similarities and Differences (AS), p. 5.
ICMLICML-1996-PendrithR #learning
Actual Return Reinforcement Learning versus Temporal Differences: Some Theoretical and Experimental Results (MDP, MRKR), pp. 373–381.
ICPRICPR-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.
ICPRICPR-1996-HeijdenV #approach
A landmark-based approach of shape dissimilarity (GWAMvdH, AMV), pp. 120–124.
ICPRICPR-1996-Kimmel #image
Affine differential signatures for gray level images of planar shapes (RK), pp. 45–49.
ICPRICPR-1996-Melichar #automaton #finite #string
String matching with k differences by finite automata (BM), pp. 256–260.
AdaTRI-Ada-1996-RybinS #ada
Ada and ASIS: Justification of Differences in Terminology and Mechanisms (SR, AS), pp. 249–254.
ASEKBSE-1996-Darche #algorithm #automation #generative #set
Set Differentiation: A Method for the Automatic Generation of Filtering Algorithms (FDD), p. 19.
ASEKBSE-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.
CAVCAV-1996-Greenstreet #equation #safety #verification
Verifying Safety Properties of Differential Equations (MRG), pp. 277–287.
ICMLICML-1995-CichoszM #learning #performance
Fast and Efficient Reinforcement Learning with Truncated Temporal Differences (PC, JJM), pp. 99–107.
SIGIRSIGIR-1995-Iivonen #consistency
Searchers and Searchers: Differences between the Most and Least Consistent Searchers (MI), pp. 149–157.
SIGIRSIGIR-1995-Riloff #classification #word
Little Words Can Make a Big Difference for Text Classification (ER), pp. 130–136.
DACDAC-1995-VinnakotaHS #design
System-Level Design for Test of Fully Differential Analog Circuits (BV, RH, NJS), pp. 450–454.
PDPPDP-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.
KRKR-1994-Teege #logic
Making the Difference: A Subtraction Operation for Description Logics (GT), pp. 540–550.
PPDPPLILP-1994-MoreauQ #continuation
Partial Continuations as the Difference of Continuations — A Duumvirate of Control Operators (LM, CQ), pp. 182–197.
HPDCHPDC-1994-HuiCYHA #equation #network
Solving Partial Differential Equations on a Network of Workstations (CCH, GKKC, MMSY, MH, IA), pp. 194–201.
CAVCAV-1994-PuriV #decidability #hybrid
Decidability of Hybrid Systems with Rectangular Differential Inclusion (AP, PV), pp. 95–104.
HCIHCI-SHI-1993-Gautsch #analysis #architecture #hypermedia
An Analysis of Hypermedia Program Architecture with Individual Differences of Learners (SG), pp. 482–487.
HCIHCI-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.
POPLPOPL-1993-BossiB #logic programming
Differential Logic Programming (AB, MB, MG, GL, MCM), pp. 359–370.
ICMLML-1992-Tesauro #learning
Temporal Difference Learning of Backgammon Strategy (GT), pp. 451–457.
SEKESEKE-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.
SIGIRSIGIR-1992-Allen
Cognitive Differences in End User Searching of a CD-ROM Index (BA), pp. 298–309.
CADECADE-1992-BasinW
Difference Matching (DAB, TW), pp. 295–309.
PODSPODS-1991-BrodskyS #constraints #logic programming #source code
Inference of Inequality Constraints in Logic Programs (AB, YS), pp. 227–240.
KRKR-1991-KatsunoM #knowledge base #on the
On the Difference between Updating a Knowledge Base and Revising It (HK, AOM), pp. 387–394.
STOCSTOC-1991-CohenM #algorithm #linear
Improved Algorithms for Linear Inequalities with Two Variables per Inequality (EC, NM), pp. 145–155.
ICMLML-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.
PLDIPLDI-1990-Horwitz #identification #semantics
Identifying the Semantic and Textual Differences Between Two Versions of a Program (SH), pp. 234–245.
ESOPESOP-1990-Paige #finite
Symbolic Finite Differencing — Part I (RP), pp. 36–56.
KRKR-1989-Sandewall #equation #logic
Combining Logic and Differential Equations for Describing Real-World Systems (ES), pp. 412–420.
OOPSLAOOPSLA-1989-Jerrell #automation #c++ #using
Function Minimization and Automatic Differentiation Using C++ (MEJ), pp. 169–173.
DACDAC-1989-ChengY #fault #memory management #performance #simulation #using
Differential Fault Simulation — a Fast Method Using Minimal Memory (WTC, MLY), pp. 424–428.
HCIHCI-CE-1987-Ulich #concept #human-computer #interactive #research
Individual Differences in Human-Computer Interaction: Concepts and Research Findings (EU), pp. 29–36.
SIGIRSIGIR-1987-Borgman #information retrieval #using
Individual Differences in the Use of Information Retrieval Systems: Some Issues and Some Data (CLB), pp. 61–71.
OOPSLAOOPSLA-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.
SIGMODSIGMOD-1986-LindsayHM #algorithm
A Snapshot Differential Refresh Algorithm (BGL, LMH, CM, HP, PFW), pp. 53–60.
DACDAC-1986-Daehn #fault
A unified treatment of PLA faults by Boolean differences (WD), pp. 334–338.
STOCSTOC-1986-LuekerMR #linear #programming
Linear Programming with Two Variables per Inequality in Poly-Log Time (GSL, NM, VR), pp. 196–205.
VLDBVLDB-1984-YoshikawaK #query
Processing Inequality Queries Based on Generalized Semi-Joins (MY, YK), pp. 416–428.
ICALPICALP-1984-Willard #algorithm #problem #retrieval
Sampling Algorithms for Differential Batch Retrieval Problems (DEW), pp. 514–526.
ICSEICSE-1984-Curtis #re-engineering
Fifteen Years of Psychology in Software Engineering: Individual Differences and Cognitive Science (BC), pp. 97–107.
STOCSTOC-1981-ArjomandiFL #performance
A Difference in Efficiency between Synchronous and Asynchronous Systems (EA, MJF, NAL), pp. 128–132.
VLDBVLDB-1978-SagivY #equivalence #relational
Equivalence among Relational Expressions with the Union and Difference Operation (YS, MY), pp. 535–548.
ICGTGG-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.
ICALPICALP-1977-Simon #on the
On the Difference Between One and Many (JS), pp. 480–491.
SIGMODSIGMOD-1976-SeveranceL #database #maintenance #scalability
Differential Files: Their Application to the Maintenance of Large Data Bases (DGS, GML), p. 43.

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