BibSLEIGH — difference tag

difference

difference

Tag #difference

713 papers:

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