BibSLEIGH — modelling tag

modelling

modelling

Tag #modelling

8457 papers:

ASPLOS-2020-Kokologiannakis #hardware #memory management #model checking #named: HMC: Model Checking for Hardware Memory Models (MK, VV), pp. 1157–1171.
CC-2020-BrauckmannGEC #graph #learning: Compiler-based graph representations for deep learning models of code (AB, AG, SE, JC), pp. 201–211.
CC-2020-FegadeW #analysis #data type #pointer #scalability #semantics #using: Scalable pointer analysis of data structures using semantic models (PF, CW), pp. 39–50.
CGO-2020-VermaKPR #concurrent #debugging #interactive #memory management #source code: Interactive debugging of concurrent programs under relaxed memory models (AV, PKK, AP, SR), pp. 68–80.
CSL-2020-CavalloMS #type system: Unifying Cubical Models of Univalent Type Theory (EC, AM, AWS), p. 17.
CSL-2020-Mascle0 #decidability #satisfiability: The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas (CM, MZ0), p. 16.
CSL-2020-Miquey #algebra #analysis: Revisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability Models (ÉM), p. 18.
ICSA-2019-ArcelliCPET #architecture #performance #runtime #traceability: Exploiting Architecture/Runtime Model-Driven Traceability for Performance Improvement (DA, VC, DDP, RE, MT0), pp. 81–90.
ICSA-2019-EismannGWKK #architecture #performance #statistics: Integrating Statistical Response Time Models in Architectural Performance Models (SE, JG, JW, JvK, SK), pp. 71–80.
ICSA-2019-RademacherSZ #architecture #aspect-oriented: Aspect-Oriented Modeling of Technology Heterogeneity in Microservice Architecture (FR, SS, AZ), pp. 21–30.
EDM-2019-ArthursSKP #using: Grades are not Normal: Improving Exam Score Models Using the Logit-Normal Distribution (NA, BS, SK, CP).
EDM-2019-BoumiV #markov #performance #student: Application of Hidden Markov Models to quantify the impact of enrollment patterns on student performance (SB, AV).
EDM-2019-ChoffinPBV #distributed #learning #named #scheduling #student: DAS3H: Modeling Student Learning and Forgetting for Optimally Scheduling Distributed Practice of Skills (BC, FP, YB, JJV).
EDM-2019-EmersonSSRMWMBL #predict #programming #student: Predicting Early and Often: Predictive Student Modeling for Block-Based Programming Environments (AE, AS, CS, FJR, WM, ENW, BWM, KEB, JCL).
EDM-2019-GardnerYBB #design #perspective #predict #replication: Modeling and Experimental Design for MOOC Dropout Prediction: A Replication Perspective (JG, YY, RSB, CB).
EDM-2019-GruverMCPSP #using: Using Latent Variable Models to Observe Academic Pathways (NG, AM, BC, CP, MLS, AP).
EDM-2019-HansenHAL #education: Modelling End-of-Session Actions in Educational Systems (CH0, CH, SA, CL).
EDM-2019-HuttGDD #predict: Evaluating Fairness and Generalizability in Models Predicting On-Time Graduation from College Applications (SH, MG, ALD, SKD).
EDM-2019-JensenHD #dataset #detection #student: Generalizability of Sensor-Free Affect Detection Models in a Longitudinal Dataset of Tens of Thousands of Students (EJ, SH, SKD).
EDM-2019-KaserS #classification #interactive #network #student: Exploring Neural Network Models for the Classification of Students in Highly Interactive Environments (TK, DLS).
EDM-2019-KraussMA #learning #recommendation: Smart Learning Object Recommendations based on Time-Dependent Learning Need Models (CK, AM, SA).
EDM-2019-NguyenSM #problem #student #towards: Towards Modeling Students' Problem-solving Skills in Non-routine Mathematics Problems (HN, JCS, BMM).
EDM-2019-NguyenWSM #component #comprehension #game studies #learning #using: Using Knowledge Component Modeling to Increase Domain Understanding in a Digital Learning Game (HN, YW, JCS, BMM).
EDM-2019-OuHSBMM #development: Modeling person-specific development of math skills in continuous time: New evidence for mutualism (LO, ADH, VRS, TB, GKJM, HLJvdM).
EDM-2019-StoneDDCKGD: Utterance-level Modeling of Indicators of Engaging Classroom Discourse (CS, PJD, MD, SC, SK, AG, SKD).
EDM-2019-SunahaseBK #assessment #probability: Probabilistic Modeling of Peer Correction and Peer Assessment (TS, YB, HK).
EDM-2019-Unal #composition #performance #student #using: Modeling Student Performance and Disengagement Using Decomposition of Response Time Data (DSU).
EDM-2019-ZaidiCDMBR #learning #student #using: Accurate Modelling of Language Learning Tasks and Students Using Representations of Grammatical Proficiency (AHZ, AC, CD, RM, PB, AR).
EDM-2019-ZhangHWLFSFHA #comparison #detection: Early Detection of Wheel Spinning: Comparison across Tutors, Models, Features, and Operationalizations (CZ, YH, JW, DL, WF, JCS, SF, KH, VA).
ICPC-2019-SaidQK #embedded #question #state machine: Do extracted state machine models help to understand embedded software? (WS, JQ, RK), pp. 191–196.
ICSME-2019-Alsuhaibani #identification #identifier #markov: Applying Markov Models to Identify Grammatical Patterns of Function Identifiers (RSA), pp. 610–614.
ICSME-2019-NewmanPA #behaviour #identifier: Modeling the Relationship Between Identifier Name and Behavior (CDN, AP, RSA), pp. 376–378.
MSR-2019-EfstathiouS #identifier #semantics #source code #using: Semantic source code models using identifier embeddings (VE, DS), pp. 29–33.
MSR-2019-RaghuramanHCSV #empirical #fault #uml: Does UML modeling associate with lower defect proneness?: a preliminary empirical investigation (AR, THQ, MRVC, AS, BV), pp. 101–104.
MSR-2019-Treude0 #git #predict #stack overflow #topic: Predicting good configurations for GitHub and stack overflow topic models (CT, MW0), pp. 84–95.
SANER-2019-ArcelliCP #automation #detection #performance #refactoring #uml: Automating Performance Antipattern Detection and Software Refactoring in UML Models (DA, VC, DDP), pp. 639–643.
SCAM-2019-LeeBFGY #approximate #dependence #named: MOAD: Modeling Observation-Based Approximate Dependency (SL, DWB, RF, NG, SY), pp. 12–22.
SCAM-2019-RahmanCKR #information retrieval #re-engineering #towards: Toward Optimal Selection of Information Retrieval Models for Software Engineering Tasks (MMR, SC, GEK, BR), pp. 127–138.
DLT-2019-GoldwurmLV #analysis #component #statistics: Analysis of Symbol Statistics in Bicomponent Rational Models (MG, JL, MV), pp. 306–318.
FM-2019-IroftiD #consistency #data flow: Local Consistency Check in Synchronous Dataflow Models (DI, PD), pp. 389–405.
FM-2019-MarmsolerB #architecture #named #proving: APML: An Architecture Proof Modeling Language (DM, GB), pp. 611–630.
FM-2019-SmithCM #data flow #memory management #security: Value-Dependent Information-Flow Security on Weak Memory Models (GS, NC, TM), pp. 539–555.
IFM-2019-BeekLLV #analysis #configuration management #framework #summary: Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems (MHtB, AL, ALL, AV), pp. 547–551.
IFM-2019-WangAKS #abstraction #execution #testing #visualisation: Visualization and Abstractions for Execution Paths in Model-Based Software Testing (RW, CA, LMK, VS), pp. 474–492.
SEFM-2019-BartocciMMMN #automation #continuation: Automatic Failure Explanation in CPS Models (EB, NM, LM, CM, DN), pp. 69–86.
SEFM-2019-GleirscherFN #assurance #evolution #formal method: Evolution of Formal Model-Based Assurance Cases for Autonomous Robots (MG, SF0, YN), pp. 87–104.
ICFP-2019-ShermanMC #robust: Sound and robust solid modeling via exact real arithmetic and continuity (BS, JM, MC), p. 29.
AIIDE-2019-Hernandez-LealK #learning: Agent Modeling as Auxiliary Task for Deep Reinforcement Learning (PHL, BK, MET), pp. 31–37.
AIIDE-2019-Sanghrajka #authoring #interactive #using: Interactive Narrative Authoring Using Cognitive Models in Narrative Planning (RS), pp. 224–226.
AIIDE-2019-WangSZ #behaviour #learning: Beyond Winning and Losing: Modeling Human Motivations and Behaviors with Vector-Valued Inverse Reinforcement Learning (BW, TS, XSZ), pp. 195–201.
CHI-PLAY-2019-AhmadBKTNE #analysis #behaviour: Modeling Individual and Team Behavior through Spatio-temporal Analysis (SA, AB, EK, ZT, THDN, MSEN), pp. 601–612.
CoG-2019-BlomBS #multi #towards: Towards Multi-modal Stress Response Modelling in Competitive League of Legends (PMB, SB, PS), pp. 1–4.
CoG-2019-BonomettiRHWD #estimation #interactive #probability: Modelling Early User-Game Interactions for Joint Estimation of Survival Time and Churn Probability (VB, CR, MH, ARW, AD), pp. 1–8.
CoG-2019-DockhornLVBGL #game studies #learning: Learning Local Forward Models on Unforgiving Games (AD, SML, VV, IB, RDG, DPL), pp. 1–4.
CoG-2019-MelhartACLY #motivation: Your Gameplay Says It All: Modelling Motivation in Tom Clancy's The Division (DM, AA, AC, AL, GNY), pp. 1–8.
CoG-2019-WarriarWT #game studies #mobile: Modelling Player Preferences in AR Mobile Games (VRW, JRW, LNT), pp. 1–8.
DiGRA-2019-Kerich: Polygonal Modeling: The Aestheticization of Identity (CK).
FDG-2019-GandhiH #generative #probability #using #visual notation: Guided open story generation using probabilistic graphical models (SG, BH), p. 7.
VS-Games-2019-BeeverPJ #design #game studies: Evaluating LevelEd AR: An Indoor Modelling Application for Serious Games Level Design (LB, SRP, NWJ), pp. 1–4.
CIKM-2019-BernhauerSHPS #named #similarity: SIMILANT: An Analytic Tool for Similarity Modeling (DB, TS, IH, LP, MS), pp. 2889–2892.
CIKM-2019-CaoZSX #named #network #sequence: HiCAN: Hierarchical Convolutional Attention Network for Sequence Modeling (YC, WZ, BS, CX), pp. 1723–1732.
CIKM-2019-ChenZLYY #approximate #matrix: Synergizing Local and Global Models for Matrix Approximation (CC0, HZ, DL, JY, XY), pp. 2197–2200.
CIKM-2019-DoanYR: Adversarial Factorization Autoencoder for Look-alike Modeling (KDD, PY, CKR), pp. 2803–2812.
CIKM-2019-Dutta0KMM0 #online: Into the Battlefield: Quantifying and Modeling Intra-community Conflicts in Online Discussion (SD, DD0, GK, SM, AM, TC0), pp. 1271–1280.
CIKM-2019-JiangSTWZXY #topic: Federated Topic Modeling (DJ, YS, YT, XW0, WZ, QX, QY), pp. 1071–1080.
CIKM-2019-KangPKCC #recommendation #topic #using: Recommender System Using Sequential and Global Preference via Attention Mechanism and Topic Modeling (KK, JP, WK, HC, JC), pp. 1543–1552.
CIKM-2019-LiCWZW #feature model #graph #interactive #named #network #predict: Fi-GNN: Modeling Feature Interactions via Graph Neural Networks for CTR Prediction (ZL, ZC, SW, XZ, LW0), pp. 539–548.
CIKM-2019-LuLW0 #database #machine learning #similarity #string: Synergy of Database Techniques and Machine Learning Models for String Similarity Search and Join (JL, CL, JW, CL0), pp. 2975–2976.
CIKM-2019-QianW0 #behaviour #comprehension #named #process: BePT: A Behavior-based Process Translator for Interpreting and Understanding Process Models (CQ, LW, AK0), pp. 1873–1882.
CIKM-2019-SrivastavaLF #adaptation #community #multimodal #platform #visual notation: Adapting Visual Question Answering Models for Enhancing Multimodal Community Q&A Platforms (AS, HWL, SF), pp. 1421–1430.
CIKM-2019-WangLL19a #evolution #sentiment #social: Modeling Sentiment Evolution for Social Incidents (YW, HL, CL), pp. 2413–2416.
CIKM-2019-XiaoGJLCZY: Model-based Constrained MDP for Budget Allocation in Sequential Incentive Marketing (SX, LG, ZJ, LL, YC, JZ, SY), pp. 971–980.
CIKM-2019-YiDLLZZ #approach #named: CityTraffic: Modeling Citywide Traffic via Neural Memorization and Generalization Approach (XY, ZD, TL, TL, JZ, YZ), pp. 2665–2671.
CIKM-2019-YinRYZZZLZ #case study #multi: Experimental Study of Multivariate Time Series Forecasting Models (JY, WR, MY, JZ, KZ, CZ, JL, QZ), pp. 2833–2839.
CIKM-2019-YuPY #concurrent #recognition: Modeling Long-Range Context for Concurrent Dialogue Acts Recognition (YY, SP, GHY), pp. 2277–2280.
CIKM-2019-ZhengZ: Enhancing Conversational Dialogue Models with Grounded Knowledge (WZ, KZ), pp. 709–718.
ECIR-p1-2019-JeawakJS #using: Embedding Geographic Locations for Modelling the Natural Environment Using Flickr Tags and Structured Data (SSJ, CBJ, SS), pp. 51–66.
ECIR-p1-2019-KimY #approach #automation #hybrid: A Hybrid Modeling Approach for an Automated Lyrics-Rating System for Adolescents (JK, MYY), pp. 779–786.
ECIR-p1-2019-LandinVPB #named #probability #recommendation: PRIN: A Probabilistic Recommender with Item Priors and Neural Models (AL, DV, JP, ÁB), pp. 133–147.
ECIR-p1-2019-LinjordetB #dataset: Impact of Training Dataset Size on Neural Answer Selection Models (TL, KB), pp. 828–835.
ECIR-p1-2019-OosterhuisR #online #optimisation #ranking: Optimizing Ranking Models in an Online Setting (HO, MdR), pp. 382–396.
ECIR-p1-2019-PfeiferL #approach #clustering #topic: Topic Grouper: An Agglomerative Clustering Approach to Topic Modeling (DP, JLL), pp. 590–603.
ECIR-p1-2019-RenningsMH #approach #axiom #information retrieval: An Axiomatic Approach to Diagnosing Neural IR Models (DR, FM, CH), pp. 489–503.
ECIR-p1-2019-Sanz-CruzadoC #information retrieval #network #recommendation #social: Information Retrieval Models for Contact Recommendation in Social Networks (JSC, PC), pp. 148–163.
ECIR-p1-2019-WicaksonoMZ: Modeling User Actions in Job Search (AFW, AM, JZ), pp. 652–664.
ECIR-p2-2019-AkbariCBOSW #process #using: Modeling User Return Time Using Inhomogeneous Poisson Process (MA, AC, SB, ADO, MS, JW0), pp. 37–44.
ECIR-p2-2019-Masood #adaptation #internet #predict #risk management: Adapting Models for the Case of Early Risk Prediction on the Internet (RM), pp. 353–358.
ECIR-p2-2019-Sabbah #retrieval #social #social media: Logic-Based Models for Social Media Retrieval (FS), pp. 348–352.
ICML-2019-AdamsJWS #fault #learning #metric: Learning Models from Data with Measurement Error: Tackling Underreporting (RA, YJ, XW, SS), pp. 61–70.
ICML-2019-AlaaS #validation: Validating Causal Inference Models via Influence Functions (AMA, MvdS), pp. 191–201.
ICML-2019-ArazoOAOM: Unsupervised Label Noise Modeling and Loss Correction (EA, DO, PA, NEO, KM), pp. 312–321.
ICML-2019-AyedLC #behaviour #process #statistics: Beyond the Chinese Restaurant and Pitman-Yor processes: Statistical Models with double power-law behavior (FA, JL, FC), pp. 395–404.
ICML-2019-BrutzkusG #problem #why: Why do Larger Models Generalize Better? A Theoretical Perspective via the XOR Problem (AB, AG), pp. 822–830.
ICML-2019-BunneA0J #generative #learning: Learning Generative Models across Incomparable Spaces (CB, DAM, AK0, SJ), pp. 851–861.
ICML-2019-CinelliKCPB #analysis #linear: Sensitivity Analysis of Linear Structural Causal Models (CC, DK, BC, JP, EB), pp. 1252–1261.
ICML-2019-CohenB #analysis #empirical #performance #sequence: Empirical Analysis of Beam Search Performance Degradation in Neural Sequence Models (EC, JCB), pp. 1290–1299.
ICML-2019-DuklerLLM #generative #learning: Wasserstein of Wasserstein Loss for Learning Generative Models (YD, WL, ATL, GM), pp. 1716–1725.
ICML-2019-DunckerBBS #learning #probability: Learning interpretable continuous-time models of latent stochastic dynamical systems (LD, GB, JB, MS), pp. 1726–1734.
ICML-2019-GeladaKBNB #learning #named #representation: DeepMDP: Learning Continuous Latent Space Models for Representation Learning (CG, SK, JB, ON, MGB), pp. 2170–2179.
ICML-2019-GengYKK #linear #visual notation: Partially Linear Additive Gaussian Graphical Models (SG, MY, MK, SK), pp. 2180–2190.
ICML-2019-GhorbaniJM #topic: An Instability in Variational Inference for Topic Models (BG, HJ, AM), pp. 2221–2231.
ICML-2019-GottesmanLSBD #evaluation #parametricity: Combining parametric and nonparametric models for off-policy evaluation (OG, YL0, SS, EB, FDV), pp. 2366–2375.
ICML-2019-GroverZE #generative #graph #named: Graphite: Iterative Generative Modeling of Graphs (AG, AZ, SE), pp. 2434–2444.
ICML-2019-GuanWZCH0 #comprehension #towards: Towards a Deep and Unified Understanding of Deep Neural Models in NLP (CG, XW, QZ, RC, DH, XX0), pp. 2454–2463.
ICML-2019-GuY #algorithm #multi #performance #ranking: Fast Algorithm for Generalized Multinomial Models with Ranking Data (JG, GY), pp. 2445–2453.
ICML-2019-HashemiGVT #information management #polynomial: Submodular Observation Selection and Information Gathering for Quadratic Models (AH, MG, HV, UT), pp. 2653–2662.
ICML-2019-HoCSDA #architecture #design #generative: Flow++: Improving Flow-Based Generative Models with Variational Dequantization and Architecture Design (JH, XC0, AS, YD, PA), pp. 2722–2730.
ICML-2019-Huang0GG: Causal Discovery and Forecasting in Nonstationary Environments with State-Space Models (BH, KZ0, MG, CG), pp. 2901–2910.
ICML-2019-IalongoWHR #approximate #process: Overcoming Mean-Field Approximations in Recurrent Gaussian Process Models (ADI, MvdW, JH, CER), pp. 2931–2940.
ICML-2019-IshidaNMS #learning: Complementary-Label Learning for Arbitrary Losses and Models (TI, GN, AKM, MS), pp. 2971–2980.
ICML-2019-JeongKKN #graph #music #network #performance: Graph Neural Network for Music Score Data and Modeling Expressive Piano Performance (DJ, TK, YK, JN), pp. 3060–3070.
ICML-2019-KalimerisKS #robust: Robust Influence Maximization for Hyperparametric Models (DK, GK, YS), pp. 3192–3200.
ICML-2019-KalyanALB #sequence #set: Trainable Decoding of Sets of Sequences for Neural Sequence Models (AK, PA, SL, DB), pp. 3211–3221.
ICML-2019-KatharopoulosF #image: Processing Megapixel Images with Deep Attention-Sampling Models (AK, FF), pp. 3282–3291.
ICML-2019-KatiyarHC #estimation #robust #visual notation: Robust Estimation of Tree Structured Gaussian Graphical Models (AK, JH, CC), pp. 3292–3300.
ICML-2019-KempkaKW #adaptation #algorithm #invariant #learning #linear #online: Adaptive Scale-Invariant Online Algorithms for Learning Linear Models (MK, WK, MKW), pp. 3321–3330.
ICML-2019-KleimanP #machine learning #metric #multi #named #performance: AUCμ: A Performance Metric for Multi-Class Machine Learning Models (RK, DP), pp. 3439–3447.
ICML-2019-LambBGSMBM #network: State-Reification Networks: Improving Generalization by Modeling the Distribution of Hidden Representations (AL, JB, AG, SS, IM, YB, MM), pp. 3622–3631.
ICML-2019-LikhosherstovMC: Inference and Sampling of $K_33$-free Ising Models (VL, YM, MC), pp. 3963–3972.
ICML-2019-LiutkusSMDS #generative #parametricity: Sliced-Wasserstein Flows: Nonparametric Generative Modeling via Optimal Transport and Diffusions (AL, US, SM, AD, FRS), pp. 4104–4113.
ICML-2019-LuYFZ0 #generative #named: CoT: Cooperative Training for Generative Modeling of Discrete Data (SL, LY, SF, YZ, WZ0), pp. 4164–4172.
ICML-2019-MahoneyM #network: Traditional and Heavy Tailed Self Regularization in Neural Network Models (MWM, CM), pp. 4284–4293.
ICML-2019-MalikKSNSE #learning: Calibrated Model-Based Deep Reinforcement Learning (AM, VK, JS, DN, HS, SE), pp. 4314–4323.
ICML-2019-MannelliKUZ #algorithm: Passed & Spurious: Descent Algorithms and Local Minima in Spiked Matrix-Tensor Models (SSM, FK, PU, LZ), pp. 4333–4342.
ICML-2019-MartensCY #process: Decomposing feature-level variation with Covariate Gaussian Process Latent Variable Models (KM, KRC, CY), pp. 4372–4381.
ICML-2019-MatteiF #generative #named #semistructured data #set: MIWAE: Deep Generative Modelling and Imputation of Incomplete Data Sets (PAM, JF), pp. 4413–4423.
ICML-2019-McKennaSM #difference #estimation #privacy: Graphical-model based estimation and inference for differential privacy (RM, DS, GM), pp. 4435–4444.
ICML-2019-MillerOCM: Discriminative Regularization for Latent Variable Models with Applications to Electrocardiography (ACM, ZO, JPC, SM), pp. 4585–4594.
ICML-2019-MollenhoffC #generative #metric: Flat Metric Minimization with Applications in Generative Modeling (TM, DC), pp. 4626–4635.
ICML-2019-NacsonGLSS: Lexicographic and Depth-Sensitive Margins in Homogeneous and Non-Homogeneous Deep Models (MSN, SG, JDL, NS, DS), pp. 4683–4692.
ICML-2019-NalisnickMTGL #hybrid: Hybrid Models with Deep and Invertible Features (ETN, AM, YWT, DG, BL), pp. 4723–4732.
ICML-2019-OberstS #evaluation: Counterfactual Off-Policy Evaluation with Gumbel-Max Structural Causal Models (MO, DAS), pp. 4881–4890.
ICML-2019-Ravi #performance #using: Efficient On-Device Models using Neural Projections (SR), pp. 5370–5379.
ICML-2019-RossiMF: Good Initializations of Variational Bayes for Deep Models (SR, PM, MF), pp. 5487–5497.
ICML-2019-ScheinWSZW: Locally Private Bayesian Inference for Count Models (AS, ZSW, AS, MZ, HMW), pp. 5638–5648.
ICML-2019-ShenOAR: Mixture Models for Diverse Machine Translation: Tricks of the Trade (TS, MO, MA, MR), pp. 5719–5728.
ICML-2019-ShiK0 #network #scalability: Scalable Training of Inference Networks for Gaussian-Process Models (JS, MEK, JZ0), pp. 5758–5768.
ICML-2019-ShyamJG: Model-Based Active Exploration (PS, WJ, FG), pp. 5779–5788.
ICML-2019-SimonWR #generative #precise: Revisiting precision recall definition for generative modeling (LS, RW, JR), pp. 5799–5808.
ICML-2019-StelznerPK #performance #probability: Faster Attend-Infer-Repeat with Tractable Probabilistic Models (KS, RP, KK), pp. 5966–5975.
ICML-2019-Tang #ranking: Mallows ranking models: maximum likelihood estimate and regeneration (WT), pp. 6125–6134.
ICML-2019-VarmaSHRR #dependence #learning: Learning Dependency Structures for Weak Supervision Models (PV, FS, AH, AR, CR), pp. 6418–6427.
ICML-2019-VedantamDLRBP #probability #visual notation: Probabilistic Neural Symbolic Models for Interpretable Visual Question Answering (RV, KD, SL, MR, DB, DP), pp. 6428–6437.
ICML-2019-Wang0 #learning: Nonlinear Stein Variational Gradient Descent for Learning Diversified Mixture Models (DW, QL0), pp. 6576–6585.
ICML-2019-WangG0: Improving Neural Language Modeling via Adversarial Training (DW, CG, QL0), pp. 6555–6565.
ICML-2019-WeiDGG #linear: Generalized Linear Rule Models (DW, SD, TG, OG), pp. 6687–6696.
ICML-2019-WeiYW #generative #on the #statistics: On the statistical rate of nonlinear recovery in generative models with heavy-tailed data (XW, ZY, ZW), pp. 6697–6706.
ICML-2019-YoungBN #generative #learning #synthesis: Learning Neurosymbolic Generative Models via Program Synthesis (HY, OB, MN), pp. 7144–7153.
ICML-2019-YuanLX #composition #generative #infinity #representation: Generative Modeling of Infinite Occluded Objects for Compositional Scene Representation (JY, BL, XX), pp. 7222–7231.
ICML-2019-YuanZLS #difference: Differential Inclusions for Modeling Nonsmooth ADMM Variants: A Continuous Limit Theory (HY, YZ, CJL, QS), pp. 7232–7241.
ICML-2019-ZhangP #correlation #random: Random Function Priors for Correlation Modeling (AZ, JWP), pp. 7424–7433.
ICML-2019-ZhangVSA0L #learning #named: SOLAR: Deep Structured Representations for Model-Based Reinforcement Learning (MZ, SV, LS, PA, MJJ0, SL), pp. 7444–7453.
ICML-2019-ZhangY #estimation #multi #performance: Fast and Stable Maximum Likelihood Estimation for Incomplete Multinomial Models (CZ, GY), pp. 7463–7471.
KDD-2019-BernardiME #lessons learnt #machine learning: 150 Successful Machine Learning Models: 6 Lessons Learned at Booking.com (LB, TM, PE), pp. 1743–1751.
KDD-2019-Caruana #black box #machine learning: Friends Don't Let Friends Deploy Black-Box Models: The Importance of Intelligibility in Machine Learning (RC), p. 3174.
KDD-2019-ChenBF #network #on the: On Dynamic Network Models and Application to Causal Impact (YCC, ASB, JLF), pp. 1194–1204.
KDD-2019-ChenC0GLLW #named #recommendation: λOpt: Learn to Regularize Recommender Models in Finer Levels (YC, BC, XH0, CG, YL0, JGL, YW), pp. 978–986.
KDD-2019-ChengSHZ #analysis #performance: Incorporating Interpretability into Latent Factor Models via Fast Influence Analysis (WC, YS, LH, YZ), pp. 885–893.
KDD-2019-DeshpandeS #adaptation #streaming #using: Streaming Adaptation of Deep Forecasting Models using Adaptive Recurrent Units (PD, SS), pp. 1560–1568.
KDD-2019-DingZP0H #predict: Modeling Extreme Events in Time Series Prediction (DD, MZ, XP, MY0, XH0), pp. 1114–1122.
KDD-2019-DoronSS #black box #interactive: Discovering Unexpected Local Nonlinear Interactions in Scientific Black-box Models (MD, IS, DS), pp. 425–435.
KDD-2019-HuangWZZZYC #behaviour #multi #online #predict: Online Purchase Prediction via Multi-Scale Modeling of Behavior Dynamics (CH0, XW, XZ, CZ, JZ, DY, NVC), pp. 2613–2622.
KDD-2019-KapoorLK #3d #image #named: Nostalgin: Extracting 3D City Models from Historical Image Data (AK, HL, RK), pp. 2565–2575.
KDD-2019-LambaS #multi #visual notation: Modeling Dwell Time Engagement on Visual Multimedia (HL, NS), pp. 1104–1113.
KDD-2019-MatsubaraS #data type: Dynamic Modeling and Forecasting of Time-evolving Data Streams (YM, YS), pp. 458–468.
KDD-2019-NosakhareP #behaviour #probability: Probabilistic Latent Variable Modeling for Assessing Behavioral Influences on Well-Being (EN, RWP), pp. 2718–2726.
KDD-2019-PiBZZG #behaviour #predict: Practice on Long Sequential User Behavior Modeling for Click-Through Rate Prediction (QP, WB, GZ, XZ, KG), pp. 2671–2679.
KDD-2019-Rudin #how #question: Do Simpler Models Exist and How Can We Find Them? (CR), pp. 1–2.
KDD-2019-ShiZYLSJ #markov #personalisation #sequence: State-Sharing Sparse Hidden Markov Models for Personalized Sequences (HS, CZ0, QY, YL0, FS, DJ), pp. 1549–1559.
KDD-2019-SongS: Auditing Data Provenance in Text-Generation Models (CS, VS), pp. 196–206.
KDD-2019-Tao0WFYZ0 #memory management #named #semantics #towards: Log2Intent: Towards Interpretable User Modeling via Recurrent Semantics Memory Unit (ZT, SL0, ZW, CF, LY, HZ, YF0), pp. 1055–1063.
KDD-2019-TuLYC #approach #feedback: Feedback Shaping: A Modeling Approach to Nurture Content Creation (YT, CL, YY, SC), pp. 2241–2250.
KDD-2019-WangYCW00 #graph #matrix #predict: Origin-Destination Matrix Prediction via Graph Convolution: a New Perspective of Passenger Demand Modeling (YW, HY, HC, TW, JX0, KZ0), pp. 1227–1235.
KDD-2019-WuGGWC #predict #recommendation: Dual Sequential Prediction Models Linking Sequential Recommendation and Information Dissemination (QW, YG, XG, PW, GC), pp. 447–457.
KDD-2019-YangZZX0 #adaptation #capacity #incremental #learning #scalability: Adaptive Deep Models for Incremental Learning: Considering Capacity Scalability and Sustainability (YY, DWZ, DCZ, HX, YJ0), pp. 74–82.
KDD-2019-YanXL #process: Modeling and Applications for Temporal Point Processes (JY, HX, LL), pp. 3227–3228.
KDD-2019-ZhangTKLCC #axiom #multi: Axiomatic Interpretability for Multiclass Additive Models (XZ, ST, PK, YL, UC, RC), pp. 226–234.
MoDELS-2019-AlferezPSBR #behaviour #development #requirements: Bridging the Gap between Requirements Modeling and Behavior-Driven Development (MA, FP, MS, LCB, JRR), pp. 239–249.
MoDELS-2019-BencomoP #learning #named #ram #runtime #using: RaM: Causally-Connected and Requirements-Aware Runtime Models using Bayesian Learning (NB, LHGP), pp. 216–226.
MoDELS-2019-BesnardTJ0D19a #approach #automaton #monitoring #uml #verification: Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach (VB, CT, FJ, MB0, PD), pp. 161–171.
MoDELS-2019-BrandG #adaptation #approach #architecture #evaluation #runtime: Modeling Approach and Evaluation Criteria for Adaptable Architectural Runtime Model Instances (TB, HG), pp. 227–232.
MoDELS-2019-BucchiaroneCM19a #design #multi: Exploiting Multi-level Modelling for Designing and Deploying Gameful Systems (AB, AC, AM), pp. 34–44.
MoDELS-2019-DeVriesC #analysis #non-functional #requirements: Goal-Based Modeling and Analysis of Non-Functional Requirements (BD, BHCC), pp. 261–271.
MoDELS-2019-IqbalSKHQ #approach #testing: A Model-Based Testing Approach for Cockpit Display Systems of Avionics (MZI, HS, MUK, FUH, IQ), pp. 67–77.
MoDELS-2019-JumagaliyevE #architecture #evolution #multitenancy: A Modelling Language to Support the Evolution of Multi-tenant Cloud Data Architectures (AJ, YE), pp. 139–149.
MoDELS-2019-KusmenkoNPRT: Modeling and Training of Neural Processing Systems (EK, SN, SP, BR, TT), pp. 283–293.
MoDELS-2019-Morin0 #independence #platform: Model-Based, Platform-Independent Logging for Heterogeneous Targets (BM, NF0), pp. 172–182.
MoDELS-2019-PeldszusT0JS #automation #data flow: Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings (SP, KT, DS0, JJ, RS), pp. 23–33.
MoDELS-2019-PhilippSE #analysis #architecture #synthesis: Model-Based Resource Analysis and Synthesis of Service-Oriented Automotive Software Architectures (PO, SK, ES), pp. 128–138.
MoDELS-2019-PouraliA19a #approach #challenge #debugging #editing #uml: A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models (PP, JMA), pp. 183–193.
MoDELS-2019-ProcterW #architecture #design: Guided Architecture Trade Space Exploration: Fusing Model Based Engineering & Design by Shopping (SP, LW), pp. 117–127.
MoDELS-2019-RajbahadurOHD #pipes and filters #quality: Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines (GKR, GAO, AEH, JD), pp. 12–22.
MoDELS-2019-SanchezZRKP #execution #on the fly #query: On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models (BS0, AZ, HHR, DSK, RFP), pp. 205–215.
MoDELS-2019-TorreSSBAG #case study #experience #using: Using Models to Enable Compliance Checking Against the GDPR: An Experience Report (DT, GS, MS, LCB, YA, PG), pp. 1–11.
MoDELS-2019-ViscontiTHG #bidirectional #design: Model-Driven Design of City Spaces via Bidirectional Transformations (EV, CT, ZH, CG), pp. 45–55.
ECOOP-2019-FourtounisS: Deep Static Modeling of invokedynamic (GF, YS), p. 28.
ECOOP-2019-TurcotteAR #interface #reasoning: Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (AT, EA, GR), p. 32.
Onward-2019-Allamanis #machine learning: The adverse effects of code duplication in machine learning models of code (MA), pp. 143–153.
OOPSLA-2019-RaadWV #formal method #semantics #transaction: Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models (AR, JW, VV), p. 27.
PLDI-2019-0001R #database #learning #using: Using active learning to synthesize models of applications that access databases (JS0, MCR), pp. 269–285.
PLDI-2019-GopinathGSS #compilation #machine learning: Compiling KB-sized machine learning models to tiny IoT devices (SG, NG, VS, RS0), pp. 79–95.
PLDI-2019-KongP #manycore: Model-driven transformations for multi- and many-core CPUs (MK, LNP), pp. 469–484.
POPL-2019-PodkopaevLV #hardware #memory management #programming language: Bridging the gap between programming languages and hardware weak memory models (AP, OL, VV), p. 31.
POPL-2019-RaadDRLV #concurrent #consistency #correctness #declarative #library #memory management #on the #specification #verification: On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models (AR, MD, LR, OL, VV), p. 31.
POPL-2019-SaadCSRM #automation #probability #source code #synthesis: Bayesian synthesis of probabilistic programs for automatic data modeling (FAS, MFCT, US, MCR, VKM), p. 32.
ASE-2019-BagherzadehJKD #execution #named #uml: PMExec: An Execution Engine of Partial UML-RT Models (MB, KJ, NK, JD), pp. 1178–1181.
ASE-2019-Boronat #agile: Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling (AB), pp. 874–886.
ASE-2019-HuangFZZWJMP #analysis #editing #named #precise #requirements: Prema: A Tool for Precise Requirements Editing, Modeling and Analysis (YH, JF, HZ, JZ, SW, SJ, WM, GP), pp. 1166–1169.
ASE-2019-MuhlbauerAS #evolution #performance: Accurate Modeling of Performance Histories for Evolving Software Systems (SM, SA, NS), pp. 640–652.
ASE-2019-ZhangC #adaptation #approach #learning #named: Apricot: A Weight-Adaptation Approach to Fixing Deep Learning Models (HZ, WKC), pp. 376–387.
ASE-2019-ZhangYFSL0 #learning #named #visualisation: NeuralVis: Visualizing and Interpreting Deep Learning Models (XZ, ZY, YF0, QS, JL, ZC0), pp. 1106–1109.
ESEC-FSE-2019-AggarwalLNDS #black box #machine learning #testing: Black box fairness testing of machine learning models (AA, PL, SN, KD, DS), pp. 625–635.
ESEC-FSE-2019-AhmadiD #testing: Concolic testing for models of state-based systems (RA, JD), pp. 4–15.
ESEC-FSE-2019-DuXLM0Z #analysis #learning #named: DeepStellar: model-based quantitative analysis of stateful deep learning systems (XD, XX, YL0, LM0, YL0, JZ), pp. 477–487.
ESEC-FSE-2019-MenghiNGB #automation #behaviour #generative #nondeterminism #online #testing: Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors (CM, SN, KG, LCB), pp. 27–38.
ESEC-FSE-2019-MollerT #library #testing: Model-based testing of breaking changes in Node.js libraries (AM, MTT), pp. 409–419.
ESEC-FSE-2019-NajafiRS #commit #testing: Bisecting commits and modeling commit risk during testing (AN, PCR, WS), pp. 279–289.
ESEC-FSE-2019-NejatiGMBFW #model checking #requirements #testing: Evaluating model testing and model checking for finding requirements violations in Simulink models (SN, KG, CM, LCB, SF, DW), pp. 1015–1025.
ESEC-FSE-2019-NesicKSB #feature model: Principles of feature modeling (DN, JK, SS, TB), pp. 62–73.
ESEC-FSE-2019-Radavelli #testing #using: Using software testing to repair models (MR), pp. 1253–1255.
ESEC-FSE-2019-TundoMORGM #as a service #framework #named: VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud (AT, MM, MO, OR, MG, LM), pp. 1085–1089.
ICSE-2019-HeradioFME #analysis #statistics #variability: Supporting the statistical analysis of variability models (RH, DFA, CMD, AE), pp. 843–853.
ICSE-2019-PanCP0L #predict #verification: Easy modelling and verification of unpredictable and preemptive interrupt-driven systems (MP, SC, YP0, TZ0, XL), pp. 212–222.
GPCE-2019-HinterreiterNLS #evolution #feature model #product line: Harmonized temporal feature modeling to uniformly perform, track, analyze, and replay software product line evolution (DH, MN, LL, CS, HP, PG), pp. 115–128.
SLE-2019-Broman #compilation #composition #interactive #self: A vision of miking: interactive programmatic modeling, sound language composition, and self-learning compilation (DB), pp. 55–60.
SLE-2019-IzquierdoC #analysis #programming language: Analysis and modeling of the governance in general programming languages (JLCI, JC), pp. 179–183.
SLE-2019-SousaSF #editing #integration #interactive #specification #synthesis: Operationalizing the integration of user interaction specifications in the synthesis of modeling editors (VS, ES, KF), pp. 42–54.
SLE-2019-VoelterBLR #incremental: Shadow models: incremental transformations for MPS (MV, KB, SL, AR), pp. 61–65.
ASPLOS-2019-BanerjeeKI #algorithm #markov #monte carlo #probability: AcMC 2 : Accelerating Markov Chain Monte Carlo Algorithms for Probabilistic Models (SSB, ZTK, RKI), pp. 515–528.
CASE-2019-BaltaTB #detection #framework #monitoring #performance: A Digital Twin Framework for Performance Monitoring and Anomaly Detection in Fused Deposition Modeling (ECB, DMT, KB), pp. 823–829.
CASE-2019-FarooquiF #learning #synthesis #using: Synthesis of Supervisors for Unknown Plant Models Using Active Learning (AF, MF), pp. 502–508.
CASE-2019-GaoZ0 #behaviour #learning #navigation: Modeling Socially Normative Navigation Behaviors from Demonstrations with Inverse Reinforcement Learning (XG, XZ, MT0), pp. 1333–1340.
CASE-2019-ImamM #metric #using: Thermal Modeling of Indoor Spaces using Illumination Measurement as a Surrogate for Solar Heat Gain (MHTI, SM), pp. 1093–1098.
CASE-2019-ImaniCT0 #analysis #random: Random Forest Modeling for Survival Analysis of Cancer Recurrences (FI, RC, CT, HY0), pp. 399–404.
CASE-2019-KanekolTPODKM #image #learning #process: Learning Deep Dynamical Models of a Waste Incineration Plant from In-furnace Images and Process Data (TK, YT, JP, YO, YD, KK, TM), pp. 873–878.
CASE-2019-LeeKH #order #sorting: Modelling a batch assorting operation for an autonomous cart in a parallel-aisle order assorting system (JL, YK, SH), pp. 60–65.
CASE-2019-LugaresiAFM #approach #novel #realtime #validation: Real-time Validation of Digital Models for Manufacturing Systems: a Novel Signal-processing-based Approach (GL, GA, FF, AM), pp. 450–455.
CASE-2019-MoritaF: Modeling Bimorph Piezoelectric Actuator Exhibiting Frequency-Dependent Interleaved Hysteresis with Occasional Odd Harmonic Oscillation (KM, FF), pp. 1548–1554.
CASE-2019-OeiKHFS: Modelling the Flow and Heat Transfer Characteristics of Perforated Foldcore Sandwich Composites for Application in Room Air Conditioning (MO, YK, NH, DF, OS), pp. 1269–1274.
CASE-2019-PaczonaM #development: Model-Driven Mechatronic System Development (MP, HCM), pp. 1730–1736.
CASE-2019-PangXHP #multi #optimisation #using: optimizing outpatient Department Staffing Level using Multi-Fidelity Models (BP, XX, BH, YP), pp. 715–720.
CASE-2019-SchulerS #analysis #automation #process #towards #using: Spray pattern analysis using wet-mix concrete for model based process control towards automated construction (BS, OS), pp. 661–666.
CASE-2019-StrengeSR #approach #petri net: Modeling and control of prosumer-based microgrids: a Petri net approach (LS, GS, JR), pp. 209–215.
CASE-2019-YuLTWG #adaptation #design #validation: An Adaptive Chain-type Treadmill-Based Traction Testbed for the Wheeled Planetary Exploration Rover: Design, Modeling and Experimental Validation (HY, CL, LT, SW, HG), pp. 1517–1523.
CASE-2019-ZhangH #optimisation #random: Enhancing Random Search with Surrogate Models for Lipschitz Continuous Optimization (QZ, JH), pp. 768–773.
CASE-2019-ZhouWXS00G #approach #learning #personalisation #predict: A Model-Driven Learning Approach for Predicting the Personalized Dynamic Thermal Comfort in Ordinary Office Environment (YZ, XW, ZX, YS, TL0, CS0, XG), pp. 739–744.
CGO-2019-Castro-LopezL #compilation #deployment #machine learning #multi: Multi-target Compiler for the Deployment of Machine Learning Models (OCL, IFVL), pp. 280–281.
CGO-2019-GomesB #automation #code generation #formal method: Code Generation from Formal Models for Automatic RTOS Portability (RMG, MB), pp. 271–272.
CGO-2019-MururuGP #commit #execution #optimisation: Quantifying and Reducing Execution Variance in STM via Model Driven Commit Optimization (GM, AG, SP), pp. 109–121.
FASE-2019-ParkJR #automation #javascript #static analysis: Automatic Modeling of Opaque Code for JavaScript Static Analysis (JP, AJ, SR), pp. 43–60.
FASE-2019-QianZWO #c #named #source code #verification: KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs (JQ, MZ0, YW, KO0), pp. 299–305.
FASE-2019-ZweihoffNS #collaboration #generative #named #online: Pyro: Generating Domain-Specific Collaborative Online Modeling Environments (PZ, SN, BS), pp. 101–115.
CADE-2019-FioriW #learning: SCL Clause Learning from Simple Models (AF, CW), pp. 233–249.
CADE-2019-GutierrezL #automation #generative #logic: Automatic Generation of Logical Models with AGES (RG, SL), pp. 287–299.
CAV-2019-GavrilenkoLFHM #analysis #encoding #memory management #smt: BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings (NG, HPdL, FF, KH, RM0), pp. 355–365.
ICST-2019-Radavelli #testing #using: Using Testing to Repair Models (MR), pp. 489–491.
ICST-2019-Tan #approach #testing: A Model-Based Approach to Generate Dynamic Synthetic Test Data (CT), pp. 495–497.
ICTSS-2019-AichernigB0HPRR #behaviour #hybrid #machine learning #testing: Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (BKA, RB, ME0, MH, FP, WR, AR, MT, MT), pp. 3–21.
TAP-2019-OliveiraMDM #named #testing: BTestBox: A Tool for Testing B Translators and Coverage of B Models (DdAO, VMJ, DD, MAM), pp. 83–92.
VMCAI-2019-BouillaguetBSY #analysis #deduction #in memory #memory management #pointer #verification: Exploiting Pointer Analysis in Memory Models for Deductive Verification (QB, FB, MS, BY), pp. 160–182.
VMCAI-2019-HaarKP #parametricity #reduction #refinement: Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics (SH, JK, LP), pp. 555–576.
ECSA-2018-CastellanosCR #architecture #big data #data analysis: Executing Architectural Models for Big Data Analytics (CC, DC, JDR), pp. 364–371.
ICSA-2018-ArtacBNGPT #approach #architecture #data-driven #development: Infrastructure-as-Code for Data-Intensive Architectures: A Model-Driven Development Approach (MA, TB, EDN, MG, DPP, DAT), pp. 156–165.
ICSA-2018-CortellessaET #architecture #bidirectional #co-evolution #model transformation #petri net #uml: Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models (VC, RE, MT0), pp. 125–134.
ICSA-2018-EismannWKK #component #dependence #parametricity #performance #predict #runtime: Modeling of Parametric Dependencies for Performance Prediction of Component-Based Software Systems at Run-Time (SE, JW, JvK, SK), pp. 135–144.
ICSA-2018-SzvetitsZ #analysis #architecture #design #multi #runtime: Architectural Design Decisions for Systems Supporting Model-Based Analysis of Runtime Events: A Qualitative Multi-method Study (MS, UZ), pp. 115–124.
ICSA-2018-TenbergenDOB #cyber-physical #network: View-Centric Context Modeling to Foster the Engineering of Cyber-Physical System Networks (BT, MD, PAO, JB), pp. 206–216.
ICSA-2018-Yasaweerasinghelage #architecture #data analysis #performance #predict #privacy #simulation #using: Predicting the Performance of Privacy-Preserving Data Analytics Using Architecture Modelling and Simulation (RY, MS, IW, HYP), pp. 166–175.
JCDL-2018-BunkK #named #topic #word: WELDA: Enhancing Topic Models by Incorporating Local Word Context (SB, RK), pp. 293–302.
JCDL-2018-JayarathnaS #bound #eye tracking: Evaluating Saccade-Bounded Eye Movement Features for the User Modeling (SJ, SS), pp. 21–24.
EDM-2018-AbhinavSDBV #framework #named: LeCoRe: A Framework for Modeling Learner's preference (KA, VS, AD, PB, ADV).
EDM-2018-ChenWZ #student #towards: Towards a Model-Free Estimate of the Limits to Student Modeling Accuracy (BC, MW0, CBZ).
EDM-2018-CrossleyOLBDB #analysis #sentiment: Modeling Math Identity and Math Success through Sentiment Analysis and Linguistic Features (SAC, JO, MJL, FB, MD, RSB).
EDM-2018-EagleCSBSL #online #predict #student: Predictive Student Modeling for Interventions in Online Classes (ME, TC, JS, MJB, JCS, JL).
EDM-2018-EagleCSM #predict: Predicting Individualized Learner Models Across Tutor Lessons (ME, ATC, JCS, BMM).
EDM-2018-HoernleGGPR #interactive #markov #simulation #student #using: Modeling the Effects of Students' Interactions with Immersive Simulations using Markov Switching Systems (NH, YG, BJG, PP, AR).
EDM-2018-NandaHWDG #comprehension #online #topic #using: Understanding Learners' Opinion about Participation Certificates in Online Courses using Topic Modeling (GN, NMH, DRW, KAD, DG).
EDM-2018-NguyenL #student #using: Using Student Logs to Build Bayesian Models of Student Knowledge and Skills (HN, CWL).
EDM-2018-ParkYRBSW #comprehension #student: Understanding Student Procrastination via Mixture Models (JP, RY, FR, RB, PS, MW).
EDM-2018-SinghSCD #behaviour #learning #multi #student: Modeling Hint-Taking Behavior and Knowledge State of Students with Multi-Task Learning (HS, SKS, RC, PD).
ICSME-2018-JiarpakdeeTT #automation #correlation #fault #metric #named: AutoSpearman: Automatically Mitigating Correlated Software Metrics for Interpreting Defect Models (JJ, CT, CT), pp. 92–103.
ICSME-2018-LinanBAL #android #automation: Automated Extraction of Augmented Models for Android Apps (SL, LBJ, MA, MLV), pp. 549–553.
ICSME-2018-SaidQK18a #state machine #verification: Reflexion Models for State Machine Extraction and Verification (WS, JQ, RK), pp. 149–159.
ICSME-2018-SchlieSS #analysis #matlab #matrix #multi #using: Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis (AS, SS, IS), pp. 160–171.
MSR-2018-Ernst08 #metric: Bayesian hierarchical modelling for tailoring metric thresholds (NAE), pp. 587–591.
SANER-2018-DamsMKRV #industrial #interface #legacy #lessons learnt: Model-based software restructuring: Lessons from cleaning up COM interfaces in industrial legacy code (DD, AJM, PK, AR, JV), pp. 552–556.
SANER-2018-JolakLSC #concurrent #interactive #multi #named #uml #visualisation: OctoBubbles: A Multi-view interactive environment for concurrent visualization and synchronization of UML models and code (RJ, KDL, KBS, MRVC), pp. 482–486.
SANER-2018-LeemansAB #analysis #recursion: Recursion aware modeling and discovery for hierarchical software event log analysis (ML, WMPvdA, MGJvdB), pp. 185–196.
SANER-2018-SantosCPHA #detection #fault #syntax #using: Syntax and sensibility: Using language models to detect and correct syntax errors (EAS, JCC, DP, AH, JNA), pp. 311–322.
FM-2018-AlbertGRS0 #named #source code #verification: SDN-Actors: Modeling and Verification of SDN Programs (EA, MGZ, AR, MS, AS0), pp. 550–567.
FM-2018-BrauerS #testing: Model-Based Testing for Avionics Systems (JB, US), pp. 657–661.
FM-2018-ColvinS #memory management #source code #verification: A Wide-Spectrum Language for Verification of Programs on Weak Memory Models (RJC, GS), pp. 240–257.
FM-2018-NellenRWAK #challenge #empirical #evaluation #recommendation #verification: Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations (JN, TR, MTBW, EÁ, JPK), pp. 382–398.
FSCD-2018-LicataOPS #type system: Internal Universes in Models of Homotopy Type Theory (DRL, IO, AMP, BS), p. 17.
IFM-2018-CavalcantiMSL0T #verification: Modelling and Verification for Swarm Robotics (AC, AM, AS, WL, PR0, JT), pp. 1–19.
IFM-2018-Galpin #formal method #network: Formal Modelling of Software Defined Networking (VG), pp. 172–193.
IFM-2018-SchmidtKL #formal method #generative #synthesis #using: Repair and Generation of Formal Models Using Synthesis (JS, SK, ML), pp. 346–366.
AIIDE-2018-KunanusontLP #algorithm #experience: Modeling Player Experience with the N-Tuple Bandit Evolutionary Algorithm (KK, SML, DPL), pp. 180–186.
AIIDE-2018-Sanghrajka #authoring: Leveraging Cognitive Models in Planning to Assist Narrative Authoring (RS), p. 293–?.
AIIDE-2018-SawyerRAL: Modeling Player Engagement with Bayesian Hierarchical Models (RS, JPR, RA, JCL), pp. 215–221.
AIIDE-2018-ZhangV #comprehension: Modelling Player Understanding of Non-Player Character Paths (MXZ, CV), pp. 257–264.
CHI-PLAY-2018-DeppingJM #design #game studies #social: Designing for Friendship: Modeling Properties of Play, In-Game Social Capital, and Psychological Well-being (AED, CJ, RLM), pp. 87–100.
CHI-PLAY-2018-LongG #experience #game studies #latency #performance: Characterizing and Modeling the Effects of Local Latency on Game Performance and Experience (ML, CG), pp. 285–297.
CHI-PLAY-2018-PfauSM #behaviour #towards: Towards Deep Player Behavior Models in MMORPGs (JP, JDS, RM), pp. 381–392.
CIG-2018-Weber #standard: Standard Economic Models in Nonstandard Settings - StarCraft: Brood War (BSW), pp. 1–8.
FDG-2018-BichoM #generative #multi: Multi-dimensional player skill progression modelling for procedural content generation (FB, CM), p. 10.
CIKM-2018-0002SZW0 #approach #quantum: A Quantum Many-body Wave Function Inspired Language Modeling Approach (PZ0, ZS, LZ, BW, DS0), pp. 1303–1312.
CIKM-2018-0013H #consistency #interactive #learning #multi: Interactions Modeling in Multi-Task Multi-View Learning with Consistent Task Diversity (XL0, JH), pp. 853–861.
CIKM-2018-AdigaCKMRRS #network #probability #query #using: Inferring Probabilistic Contagion Models Over Networks Using Active Queries (AA, VCM, CJK, MVM, SSR, DJR, RES), pp. 377–386.
CIKM-2018-BaiCLKX #analysis #relational #topic: Neural Relational Topic Models for Scientific Article Analysis (HB, ZC, MRL, IK, ZX), pp. 27–36.
CIKM-2018-BorisovKMR #named: Calibration: A Simple Way to Improve Click Models (AB, JK, IM, MdR), pp. 1503–1506.
CIKM-2018-CaiBWSSW #behaviour #interactive #online #process: Modeling Sequential Online Interactive Behaviors with Temporal Point Process (RC, XB, ZW, YS, PS, HW), pp. 873–882.
CIKM-2018-ChenFEZC0 #recommendation #social: Modeling Users' Exposure with Social Knowledge Influence and Consumption Influence for Recommendation (JC, YF, ME, SZ, CC0, CW0), pp. 953–962.
CIKM-2018-DedieuMZV #predict #streaming: Hierarchical Modeling and Shrinkage for User Session LengthPrediction in Media Streaming (AD, RM, ZZ, HV), pp. 607–616.
CIKM-2018-DerrAT #network: Signed Network Modeling Based on Structural Balance Theory (TD, CCA, JT), pp. 557–566.
CIKM-2018-FangOMHXY #approach #effectiveness #topic #twitter: An Effective Approach for Modelling Time Features for Classifying Bursty Topics on Twitter (AF, IO, CM, PH, XX, HTY), pp. 1547–1550.
CIKM-2018-GeZZCLYHLSLYHZZ #behaviour #image #matter #using #visual notation: Image Matters: Visually Modeling User Behaviors Using Advanced Model Server (TG, LZ, GZ, KC, SL, HY, ZH, BL, PS, HL, PY, SH, ZZ, XZ, YZ, KG), pp. 2087–2095.
CIKM-2018-GiannakopoulosT #approach: A Content-Based Approach for Modeling Analytics Operators (IG, DT, NK), pp. 227–236.
CIKM-2018-Grefenstette #education: Teaching Artificial Agents to Understand Language by Modelling Reward (EG), pp. 5–6.
CIKM-2018-LiangYTLYXZ #linear #optimisation: Optimizing Generalized Linear Models with Billions of Variables (YL, YY, MT, CL, WY, WX, RZ), pp. 2155–2163.
CIKM-2018-LiLCOL #approach #classification #documentation #topic: Dataless Text Classification: A Topic Modeling Approach with Document Manifold (XL, CL, JC, JO, CL), pp. 973–982.
CIKM-2018-MouraoM #rank: Low-Complexity Supervised Rank Fusion Models (AM, JM), pp. 1691–1694.
CIKM-2018-NguyenH #flexibility #parametricity #privacy: Privacy Protection for Flexible Parametric Survival Models (TTN, SCH), pp. 1273–1282.
CIKM-2018-PatidarAVS #automation #using: Automatic Conversational Helpdesk Solution using Seq2Seq and Slot-filling Models (MP, PA, LV, GMS), pp. 1967–1975.
CIKM-2018-SahaSGD #information management #named #process: CRPP: Competing Recurrent Point Process for Modeling Visibility Dynamics in Information Diffusion (AS, BS, NG, AD), pp. 537–546.
CIKM-2018-SantuLCZ #behaviour #named: JIM: Joint Influence Modeling for Collective Search Behavior (SKKS, LL, YC, CZ), pp. 637–646.
CIKM-2018-Seki #similarity: Exploring Neural Translation Models for Cross-Lingual Text Similarity (KS), pp. 1591–1594.
CIKM-2018-ViegasLGKCMSRG #semantics #topic: Semantically-Enhanced Topic Modeling (FV, WL, CG, AK, SDC, FM, TS, LCdR, MAG), pp. 893–902.
CIKM-2018-Wang0C #overview #recommendation: Word-Driven and Context-Aware Review Modeling for Recommendation (QW, SL0, GC), pp. 1859–1862.
CIKM-2018-WicaksonoM #effectiveness #empirical: Empirical Evidence for Search Effectiveness Models (AFW, AM), pp. 1571–1574.
CIKM-2018-WuZSW #hybrid #predict #social: Hybrid Deep Sequential Modeling for Social Text-Driven Stock Prediction (HW, WZ, WS, JW), pp. 1627–1630.
CIKM-2018-XiaJSZWS #learning #multi #recommendation: Modeling Consumer Buying Decision for Recommendation Based on Multi-Task Deep Learning (QX, PJ, FS, YZ, XW, ZS), pp. 1703–1706.
CIKM-2018-YuTCY #multi: Modeling Multi-way Relations with Hypergraph Embedding (CAY, CLT, TSC, YHY), pp. 1707–1710.
ECIR-2018-FerranteFP #evaluation #metric: Modelling Randomness in Relevance Judgments and Evaluation Measures (MF, NF0, SP), pp. 197–209.
ECIR-2018-GuptaSP #music #recommendation: Explicit Modelling of the Implicit Short Term User Preferences for Music Recommendation (KG, NS, VP), pp. 333–344.
ECIR-2018-Martinez-Castano #approach #detection #realtime #social #social media: A Micromodule Approach for Building Real-Time Systems with Python-Based Models: Application to Early Risk Detection of Depression on Social Media (RMC, JCP, DEL, FC), pp. 801–805.
ECIR-2018-MaxwellA #behaviour: Information Scent, Searching and Stopping - Modelling SERP Level Stopping Behaviour (DM, LA), pp. 210–222.
ECIR-2018-SinghMOBK #summary: Long-Span Language Models for Query-Focused Unsupervised Extractive Text Summarization (MS, AM, YO, KB, DK), pp. 657–664.
ECIR-2018-WangWH0 #metric #quantum: Modeling Relevance Judgement Inspired by Quantum Weak Measurement (PW, TW, YH, DS0), pp. 424–436.
ICML-2018-AchlioptasDMG #3d #generative #learning: Learning Representations and Generative Models for 3D Point Clouds (PA, OD, IM, LJG), pp. 40–49.
ICML-2018-AdelGW #generative: Discovering Interpretable Representations for Both Deep Generative and Discriminative Models (TA, ZG, AW), pp. 50–59.
ICML-2018-AgrawalUB #graph #scalability: Minimal I-MAP MCMC for Scalable Structure Discovery in Causal DAG Models (RA, CU, TB), pp. 89–98.
ICML-2018-AlaaS18a #automation #kernel #learning #named #optimisation: AutoPrognosis: Automated Clinical Prognostic Modeling via Bayesian Optimization with Structured Kernel Learning (AMA, MvdS), pp. 139–148.
ICML-2018-AsadiML #learning: Lipschitz Continuity in Model-based Reinforcement Learning (KA, DM, MLL), pp. 264–273.
ICML-2018-BamlerM #optimisation #symmetry: Improving Optimization in Models With Continuous Symmetry Breaking (RB, SM), pp. 432–441.
ICML-2018-BrukhimG #predict: Predict and Constrain: Modeling Cardinality in Deep Structured Prediction (NB, AG), pp. 658–666.
ICML-2018-CeylanG #estimation: Conditional Noise-Contrastive Estimation of Unnormalised Models (CC, MUG), pp. 725–733.
ICML-2018-ChapfuwaTLPGCH: Adversarial Time-to-Event Modeling (PC, CT, CL, CP, BG, LC, RH), pp. 734–743.
ICML-2018-ChePLJL #generative #multi: Hierarchical Deep Generative Models for Multi-Rate Multivariate Time Series (ZC, SP, MGL, BJ, YL0), pp. 783–792.
ICML-2018-DeshpandeMST #adaptation #linear: Accurate Inference for Adaptive Linear Models (YD, LWM, VS, MT), pp. 1202–1211.
ICML-2018-DharGE #generative #using: Modeling Sparse Deviations for Compressed Sensing using Generative Models (MD, AG, SE), pp. 1222–1231.
ICML-2018-DoerrDSNSTT #probability: Probabilistic Recurrent State-Space Models (AD, CD, MS, DNT, SS, MT, ST), pp. 1279–1288.
ICML-2018-FraccaroRZPEV #generative #memory management: Generative Temporal Models with Spatial Memory for Partially Observed Environments (MF, DJR, YZ, AP, SMAE, FV), pp. 1544–1553.
ICML-2018-GanapathiramanS #induction #parametricity: Inductive Two-layer Modeling with Parametric Bregman Transfer (VG, ZS, XZ, YY), pp. 1622–1631.
ICML-2018-GengKPP #visual notation: Temporal Poisson Square Root Graphical Models (SG, ZK, PLP, DP), pp. 1700–1709.
ICML-2018-GhoshalH #learning #polynomial #predict: Learning Maximum-A-Posteriori Perturbation Models for Structured Prediction in Polynomial Time (AG, JH), pp. 1749–1757.
ICML-2018-GibsonG #robust #scalability: Robust and Scalable Models of Microbiome Dynamics (TEG, GKG), pp. 1758–1767.
ICML-2018-HartfordGLR #interactive #set: Deep Models of Interactions Across Sets (JSH, DRG, KLB, SR), pp. 1914–1923.
ICML-2018-HeinonenYMIL #learning #process: Learning unknown ODE models with Gaussian processes (MH, CY, HM, JI, HL), pp. 1964–1973.
ICML-2018-Huang0S #learning #markov #topic: Learning Hidden Markov Models from Pairwise Co-occurrences with Application to Topic Modeling (KH, XF0, NDS), pp. 2073–2082.
ICML-2018-JaffeWCKN #approach #learning: Learning Binary Latent Variable Models: A Tensor Eigenpair Approach (AJ, RW, SC, YK, BN), pp. 2201–2210.
ICML-2018-JanzingS #detection #linear #multi: Detecting non-causal artifacts in multivariate linear regression models (DJ, BS), pp. 2250–2258.
ICML-2018-Johnson0 #functional #generative #learning: Composite Functional Gradient Learning of Generative Adversarial Models (RJ, TZ0), pp. 2376–2384.
ICML-2018-KaiserBRVPUS #performance #sequence #using: Fast Decoding in Sequence Models Using Discrete Latent Variables (LK, SB, AR, AV, NP, JU, NS), pp. 2395–2404.
ICML-2018-Kim #markov #process: Markov Modulated Gaussian Cox Processes for Semi-Stationary Intensity Modeling of Events Data (MK), pp. 2645–2653.
ICML-2018-KrauseK0R #evaluation #sequence: Dynamic Evaluation of Neural Sequence Models (BK, EK, IM0, SR), pp. 2771–2780.
ICML-2018-LorenziF #probability: Constraining the Dynamics of Deep Probabilistic Models (ML, MF), pp. 3233–3242.
ICML-2018-MorvanV #algorithm #higher-order #interactive #named #set: WHInter: A Working set algorithm for High-dimensional sparse second order Interaction models (MLM, JPV), pp. 3632–3641.
ICML-2018-OsamaZS #learning #locality #streaming: Learning Localized Spatio-Temporal Models From Streaming Data (MO, DZ, TBS), pp. 3924–3932.
ICML-2018-OstrovskiDM #generative #network: Autoregressive Quantile Networks for Generative Modeling (GO, WD, RM), pp. 3933–3942.
ICML-2018-ParmasR0D #flexibility #named #policy #robust: PIPPS: Flexible Model-Based Policy Search Robust to the Curse of Chaos (PP, CER, JP0, KD), pp. 4062–4071.
ICML-2018-RaileanuDSF #learning #multi #using: Modeling Others using Oneself in Multi-Agent Reinforcement Learning (RR, ED, AS, RF), pp. 4254–4263.
ICML-2018-RavuriMRV #generative #learning: Learning Implicit Generative Models with the Method of Learned Moments (SVR, SM, MR, OV), pp. 4311–4320.
ICML-2018-SaCW #scalability #visual notation: Minibatch Gibbs Sampling on Large Graphical Models (CDS, VC, WW), pp. 1173–1181.
ICML-2018-SheldonWS #automation #difference #integer #learning: Learning in Integer Latent Variable Models with Nested Automatic Differentiation (DS, KW, DS), pp. 4622–4630.
ICML-2018-Streeter #algorithm #approximate #predict: Approximation Algorithms for Cascading Prediction Models (MS), pp. 4759–4767.
ICML-2018-WangSQ #learning #multi #performance #scalability #visual notation: A Fast and Scalable Joint Estimator for Integrating Additional Knowledge in Learning Multiple Related Sparse Gaussian Graphical Models (BW, AS, YQ), pp. 5148–5157.
ICML-2018-WangSZRBSXJRS #speech #synthesis: Style Tokens: Unsupervised Style Modeling, Control and Transfer in End-to-End Speech Synthesis (YW, DS, YZ, RJSR, EB, JS, YX, YJ, FR, RAS), pp. 5167–5176.
ICML-2018-WangZ0 #message passing #visual notation: Stein Variational Message Passing for Continuous Graphical Models (DW, ZZ, QL0), pp. 5206–5214.
ICML-2018-YangK #network #process #relational: Dependent Relational Gamma Process Models for Longitudinal Networks (SY, HK), pp. 5547–5556.
ICML-2018-YeZ0Z #semantics: Rectify Heterogeneous Models with Semantic Mapping (HJY, DCZ, YJ0, ZHZ), pp. 1904–1913.
ICML-2018-YoonJS18a #dataset #generative #multi #named #network #predict #using: RadialGAN: Leveraging multiple datasets to improve target-specific predictive models using Generative Adversarial Networks (JY, JJ, MvdS), pp. 5685–5693.
ICML-2018-YouYRHL #generative #graph #named: GraphRNN: Generating Realistic Graphs with Deep Auto-regressive Models (JY, RY, XR, WLH, JL), pp. 5694–5703.
ICML-2018-ZhaoX #random: Composite Marginal Likelihood Methods for Random Utility Models (ZZ, LX), pp. 5917–5926.
ICPR-2018-AbreuFVBDNW #2d #graph #image #segmentation: Model-based graph segmentation in 2-D fluorescence microsecopy images (AA, FXF, SV, PB, PD, BN, CW), pp. 3844–3849.
ICPR-2018-BicegoLDGA #mining #topic #using: Mining NMR Spectroscopy Using Topic Models (MB, PL, MD, FG, MA), pp. 3784–3789.
ICPR-2018-ChenSSZ #evaluation #named: WiTT: Modeling and the evaluation of table tennis actions based on WIFI signals (CC, YS, KIS, HZ0), pp. 3100–3107.
ICPR-2018-DhakaIS #behaviour #linear: Latent Linear Dynamics for Modeling Pedestrian Behaviors (DD, MI, AS), pp. 1592–1597.
ICPR-2018-KokakiTKHO #using: Sequential Fish Catch Forecasting Using Bayesian State Space Models (YK, NT, TK, KH, TO), pp. 776–781.
ICPR-2018-SharmaCJ #correlation: Variational Bayes Block Sparse Modeling with Correlated Entries (SS, SC, J), pp. 1313–1318.
ICPR-2018-ShiZWTYZ #lens #network: Radial Lens Distortion Correction by Adding a Weight Layer with Inverted Foveal Models to Convolutional Neural Networks (YS, DZ, JW, XT, XY, HZ), pp. 1–6.
ICPR-2018-SogiF #recognition #set: Action Recognition Method Based on Sets of Time Warped ARMA Models (NS, KF), pp. 1773–1778.
ICPR-2018-TsangDX #network: Recurrent Neural Networks for Financial Time-Series Modelling (GT, JD, XX), pp. 892–897.
ICPR-2018-XuCG #learning #multi #random #using: Common Random Subgraph Modeling Using Multiple Instance Learning (TX, DKYC, IG), pp. 1205–1210.
ICPR-2018-XuD #detection #using: Human Routine Change Detection using Bayesian Modelling (YX, DD), pp. 1833–1838.
KDD-2018-AckermannWUNRLB #framework #machine learning #policy: Deploying Machine Learning Models for Public Policy: A Framework (KA, JW, ADU, HN, ANR, SJL, JB, MD, CC, LH, RG), pp. 15–22.
KDD-2018-BaiQD #behaviour: Discovering Models from Structural and Behavioral Brain Imaging Data (ZB, BQ, ID), pp. 1128–1137.
KDD-2018-BhagatMLV #recommendation: Buy It Again: Modeling Repeat Purchase Recommendations (RB, SM, AL, SV), pp. 62–70.
KDD-2018-Christakopoulou18a #recommendation: Local Latent Space Models for Top-N Recommendation (EC, GK), pp. 1235–1243.
KDD-2018-DabrowskiRGAM #quality: State Space Models for Forecasting Water Quality Variables: An Application in Aquaculture Prawn Farming (JJD, AR, AG, SA, JM), pp. 177–185.
KDD-2018-GongW #analysis #behaviour #network #sentiment #social: When Sentiment Analysis Meets Social Network: A Holistic User Behavior Modeling in Opinionated Data (LG, HW), pp. 1455–1464.
KDD-2018-LiAKMVW #evaluation #policy #ranking: Offline Evaluation of Ranking Policies with Click Models (SL, YAY, BK, SM, VV, ZW), pp. 1685–1694.
KDD-2018-LiuTZ #predict: Enhancing Predictive Modeling of Nested Spatial Data through Group-Level Feature Disaggregation (BL, PNT, JZ), pp. 1784–1793.
KDD-2018-MaZYCHC #learning #multi: Modeling Task Relationships in Multi-task Learning with Multi-gate Mixture-of-Experts (JM, ZZ, XY, JC, LH, EHC), pp. 1930–1939.
KDD-2018-PeakeW #mining #recommendation: Explanation Mining: Post Hoc Interpretability of Latent Factor Models for Recommendation Systems (GP, JW), pp. 2060–2069.
KDD-2018-Ruhrlander0U #predict #using: Improving Box Office Result Predictions for Movies Using Consumer-Centric Models (RPR, MB0, MU), pp. 655–664.
KDD-2018-SunBZWZ #multi #network: Subspace Network: Deep Multi-Task Censored Regression for Modeling Neurodegenerative Diseases (MS, IMB, LZ, ZW, JZ), pp. 2259–2268.
KDD-2018-SunTYWZ #identification #predict: Identify Susceptible Locations in Medical Records via Adversarial Attacks on Deep Predictive Models (MS, FT, JY, FW, JZ), pp. 793–801.
KDD-2018-TangW #learning #performance #ranking #recommendation: Ranking Distillation: Learning Compact Ranking Models With High Performance for Recommender System (JT, KW), pp. 2289–2298.
KDD-2018-WangOWW #learning: Learning Credible Models (JW, JO, HW, JW), pp. 2417–2426.
KDD-2018-YanZ #towards: Coupled Context Modeling for Deep Chit-Chat: Towards Conversations between Human and Computer (RY0, DZ0), pp. 2574–2583.
KDD-2018-YinCLZYW #clustering: Model-based Clustering of Short Text Streams (JY, DC, ZL, WZ0, XY0, JW), pp. 2634–2642.
KDD-2018-ZhangWCDYW #named #reliability: StockAssIstant: A Stock AI Assistant for Reliability Modeling of Stock Comments (CZ, YW, CC, CD, HY, HW), pp. 2710–2719.
ECMFA-2018-AhmadiHD #testing #uml: Property-Aware Unit Testing of UML-RT Models in the Context of MDE (RA, NH, JD), pp. 147–163.
ECMFA-2018-BaduelCBO #challenge #industrial #validation #verification: SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation (RB, MC, JMB, IO), pp. 132–146.
ECMFA-2018-ChenADR #implementation: Modeling AUTOSAR Implementations in Simulink (JC, MHA, TRD, SR), pp. 279–292.
ECMFA-2018-MashkoorKBE #case study #experience #re-engineering: Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report (AM, FK, MB, AE), pp. 264–278.
ECMFA-2018-MustafizDKT #ide #named #process: MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems (SM, GD, FK, MT), pp. 164–178.
ECMFA-2018-Ramadan0SRJ #detection #process #requirements #security: Detecting Conflicts Between Data-Minimization and Security Requirements in Business Process Models (QR, DS, MS, VR, JJ), pp. 179–198.
ECMFA-2018-RutleIKD #automation #co-evolution #graph transformation #traceability #using: Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation (AR, LI, HK, ZD), pp. 80–96.
ECMFA-2018-YohannisRPK #performance #towards: Towards Efficient Loading of Change-Based Models (AY, HHR, FP, DSK), pp. 235–250.
ICMT-2018-Hinkel #framework #multi #named #platform: NMF: A Multi-platform Modeling Framework (GH), pp. 184–194.
MoDELS-2018-AhmadiPD #embedded #realtime #slicing #uml: Slicing UML-based Models of Real-time Embedded Systems (RA, EP, JD), pp. 346–356.
MoDELS-2018-ArcegaFC #algorithm #configuration management #debugging #locality #runtime: Evolutionary Algorithm for Bug Localization in the Reconfigurations of Models at Runtime (LA, JF, CC), pp. 90–100.
MoDELS-2018-BadreddinKFML #bibliography #design #roadmap: A Decade of Software Design and Modeling: A Survey to Uncover Trends of the Practice (OB, RK, AF, OM, TCL), pp. 245–255.
MoDELS-2018-BesnardBJTD #embedded #execution #ltl #uml #verification: Unified LTL Verification and Embedded Execution of UML Models (VB, MB, FJ, CT, PD), pp. 112–122.
MoDELS-2018-BucchiaroneC: A Model-Driven Solution to Support Smart Mobility Planning (AB, AC), pp. 123–132.
MoDELS-2018-BurguenoBMV #model transformation: Expressing Confidence in Models and in Model Transformation Elements (LB, MFB, NM, AV), pp. 57–66.
MoDELS-2018-DouBB #specification: Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications (WD, DB, LCB), pp. 278–288.
MoDELS-2018-GuerraL #flexibility #on the: On the Quest for Flexible Modelling (EG, JdL), pp. 23–33.
MoDELS-2018-HenriquesLAG #developer #experience #process: Improving the Developer Experience with a Low-Code Process Modelling Language (HH, HL, VA, MG), pp. 200–210.
MoDELS-2018-HolmesZ #architecture #refactoring #requirements: Refactoring Architecture Models for Compliance with Custom Requirements (TH, UZ), pp. 267–277.
MoDELS-2018-JolakHCS #case study #challenge #development #multi #re-engineering: Model-Based Software Engineering: A Multiple-Case Study on Challenges and Development Efforts (RJ, THQ, MRVC, RRHS), pp. 213–223.
MoDELS-2018-KusmenkoRSW #c++ #compilation #component #embedded #multi: Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc (EK, BR, SS, MvW), pp. 447–457.
MoDELS-2018-MartinezGC #robust: Robust Hashing for Models (SM, SG, JC), pp. 312–322.
MoDELS-2018-MarussySV #incremental #using: Incremental View Model Synchronization Using Partial Models (KM, OS, DV), pp. 323–333.
MoDELS-2018-MorinHSHB #approach: Engineering Software Diversity: a Model-Based Approach to Systematically Diversify Communications (BM, JH, HS, NH, BB), pp. 155–165.
MoDELS-2018-NordmannM #assessment #component #fault #lessons learnt #safety: Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees (AN, PM), pp. 134–143.
MoDELS-2018-PouraliA #challenge #empirical #tool support #using: An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools (PP, JMA), pp. 224–234.
MoDELS-2018-RioMBB #energy #performance #process: Efficient use of local energy: An activity oriented modeling to guide Demand Side Management (AR, YM, OB, YB), pp. 458–468.
MoDELS-2018-Rodriguez-Echeverria #framework #protocol #towards #visual notation: Towards a Language Server Protocol Infrastructure for Graphical Modeling (RRE, JLCI, MW, JC), pp. 370–380.
MoDELS-2018-Tolvanen0 #domain-specific language: Effort Used to Create Domain-Specific Modeling Languages (JPT, SK), pp. 235–244.
MoDELS-2018-WeckesserLRS #analysis #programming: Mathematical Programming for Anomaly Analysis of Clafer Models (MW, ML, MR, AS), pp. 34–44.
MoDELS-2018-ZoubekLM #bibliography #evolution #perspective #visual notation #visualisation: Visualizations of Evolving Graphical Models in the Context of Model Review (FZ, PL, TM), pp. 381–391.
ECOOP-2018-AnconaDZ #behaviour #infinity: Modeling Infinite Behaviour by Corules (DA, FD, EZ), p. 31.
OOPSLA-2018-BostonGC #execution #fault tolerance #hardware #named #programmable #verification: Leto: verifying application-specific hardware fault tolerance with programmable execution models (BB, ZG, MC), p. 30.
PLDI-2018-BohrerTMMP #bytecode #cyber-physical #named: VeriPhy: verified controller executables from verified cyber-physical system models (BB, YKT, SM, MOM, AP), pp. 617–630.
PLDI-2018-LeeHAN #probability #search-based #synthesis #using: Accelerating search-based program synthesis using learned probabilistic models (WL, KH, RA, MN), pp. 436–449.
POPL-2018-BaoKPS #behaviour #source code: Analytical modeling of cache behavior for affine programs (WB, SK, LNP, PS), p. 26.
POPL-2018-PulteFDFSS #axiom #concurrent #multi: Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8 (CP, SF, WD, JF, SS, PS), p. 29.
ASE-2018-FadhelBB #data access #policy #runtime: Model-driven run-time enforcement of complex role-based access control policies (ABF, DB, LCB), pp. 248–258.
ASE-2018-Sferruzza #top-down #web #web service: Top-down model-driven engineering of web services from extended OpenAPI models (DS), pp. 940–943.
ASE-2018-Yin0LW #abstraction #constraints #memory management #refinement #scheduling: Scheduling constraint based abstraction refinement for weak memory models (LY, WD0, WL, JW0), pp. 645–655.
ESEC-FSE-2018-AmarBB0M #difference #finite #using: Using finite-state models for log differencing (HA, LB, NB, DL0, SM), pp. 49–59.
ESEC-FSE-2018-Gusmanov #network #on the #reliability: On the adoption of neural networks in modeling software reliability (KG), pp. 962–964.
ESEC-FSE-2018-JamshidiVKS #configuration management #learning #performance: Learning to sample: exploiting similarities across environments to learn performance models for configurable systems (PJ, MV, CK, NS), pp. 71–82.
ESEC-FSE-2018-LlerenaBBSR #behaviour #nondeterminism #probability #verification: Verifying the long-run behavior of probabilistic system models in the presence of uncertainty (YRSL, MB, MB, GS, DSR), pp. 587–597.
ESEC-FSE-2018-MansoorSSBCF #case study #experience #product line #testing: Modeling and testing a family of surgical robots: an experience report (NM, JAS, BS, HB, MBC, SF), pp. 785–790.
ESEC-FSE-2018-QuerelR #debugging #named #static analysis #statistics: WarningsGuru: integrating statistical bug models with static analysis to provide timely and specific bug warnings (LPQ, PCR), pp. 892–895.
ESEC-FSE-2018-Tzoref-BrillM #co-evolution #combinator #testing: Modify, enhance, select: co-evolution of combinatorial models and test plans (RTB, SM), pp. 235–245.
ICSE-2018-DamevskiCSKP #behaviour #developer #ide #predict #topic #using: Predicting future developer behavior in the IDE using topic models (KD, HC, DCS, NAK, LLP), p. 932.
ICSE-2018-LaraG #analysis #concept #type system: A posteriori typing for model-driven engineering: concepts, analysis, and applications (JdL, EG), p. 1136.
ICSE-2018-RuscioFMM #classification #collaboration #framework #re-engineering #research: Collaborative model-driven software engineering: a classification framework and a research map (DDR, MF, HM, IM), p. 535.
ICSE-2018-SemerathNV #automation #consistency #generative #graph: A graph solver for the automated generation of consistent domain-specific models (OS, ASN, DV), pp. 969–980.
GPCE-2018-Peldszus0J #analysis #feature model #product line #security: Model-based security analysis of feature-oriented software product lines (SP, DS0, JJ), pp. 93–106.
SLE-2018-LaraGKH: Facet-oriented modelling: open objects for model-driven engineering (JdL, EG, JK, YH), pp. 147–159.
SLE-2018-TikhonovaSSD #constraints #migration #runtime: Constraint-based run-time state migration for live modeling (UT, JS, TvdS, TD), pp. 108–120.
CASE-2018-AcerbiNORL #robust: Accuracy and Robustness Against Covariate Shift of Water Chiller Models (FA, GDN, JO, PR, CDL), pp. 809–816.
CASE-2018-AnanievaBS #consistency: Model-Driven Consistency Preservation in AutomationML (SA, EB, CS), pp. 1536–1541.
CASE-2018-AurisFBSSD #data-driven: Enhancing Data-Driven Models with Knowledge from Engineering Models in Manufacturing (FA, JF, MB, SS, AS, CD), pp. 653–656.
CASE-2018-BandyszakDTW #cyber-physical #documentation #nondeterminism: Model-based Documentation of Context Uncertainty for Cyber-Physical Systems (TB, MD, BT, TW), pp. 1087–1092.
CASE-2018-DelangTBP #approach #implementation: An approach of service modeling for the demand-driven implementation of Human-Robot-Interaction in manufacturing (KD, MT, MB, MP), pp. 705–710.
CASE-2018-DrathR: Modeling and exchange of IO-Link configurations with AutomationML (RD, MR), pp. 1530–1535.
CASE-2018-FarooquiFF #automation #learning #simulation #towards: Towards Automatic Learning of Discrete-Event Models from Simulations (AF, PF, MF), pp. 857–862.
CASE-2018-HeJ: NARNET-based Prognostics Modeling for Deteriorating Systems under Dynamic Operating Conditions (AH, XJ), pp. 1322–1327.
CASE-2018-HujoSB #generative #runtime #standard: Dynamic Generation of Shop Floor Gateway Configurations from Standard System Engineering Models during Runtime (DH, DS, BB), pp. 630–633.
CASE-2018-KronthalerW #framework #platform #precise: Model based control of a high precision dual gantry platform with elastic cross coupling (PK, FW), pp. 491–498.
CASE-2018-LiWZL #geometry #mobile #parametricity #representation #validation: Modeling and Validation of Free Road with Geometric Parameter Representation for wheeled mobile robots (PL, HW, MZ, JL), pp. 1152–1157.
CASE-2018-LuderPW #consistency: Modelling consistency rules within production system engeering (AL, JLP, MW), pp. 664–667.
CASE-2018-MarussyM #analysis #configuration management #dependence: Constructing Dependability Analysis Models of Reconfigurable Production Systems (KM, IM), pp. 1158–1163.
CASE-2018-OutafraoutAN #analysis #approach #hybrid #multi #performance #petri net: A colored hybrid Petri net-based modeling approach for performance analysis of a multi-modal transportation system (KO, EhCEA, ANSM), pp. 1568–1573.
CASE-2018-RoselliBA #comparison #evaluation #performance #problem #scheduling #smt: SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation (SFR, KB, KÅ), pp. 547–552.
CASE-2018-RostamiBCY: Equipment Deterioration Modeling and Causes Diagnosis in Semiconductor Manufacturing (HR, JB, AC, CY), pp. 1316–1321.
CASE-2018-SolerBMCPM #clustering #evolution: Emergency Department Admissions Overflow Modeling by a Clustering of Time Evolving Clinical Diagnoses (GS, GB, EM, AC, SP, OM), pp. 365–370.
CASE-2018-SunPZBZPX #coordination #energy #multi #simulation: Cyber-coordinated Simulation Models for Multi-stage Additive Manufacturing of Energy Products (HS, GP, GZ, AB, CZ, RP, WX), pp. 893–898.
CASE-2018-WimmerM #query: From AutomationML to AutomationQL: A By-Example Query Language for CPPS Engineering Models (MW, AM), pp. 1394–1399.
CASE-2018-ZouLV #consistency #development #nondeterminism: Resolving Inconsistencies Optimally in the Model-Based Development of Production Systems (MZ, BL, BVH), pp. 1064–1070.
CC-2018-ZinenkoVRSGS0 #locality #parallel #scheduling: Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling (OZ, SV, CR, JS, TG, VS, AC0), pp. 3–13.
FASE-2018-0012SRYHBRS #analysis #approach #effectiveness: Effective Analysis of Attack Trees: A Model-Driven Approach (RK0, SS, ER, BMY, DH, JB, AR, MS), pp. 56–73.
FASE-2018-SemerathV #domain-specific language #generative #specification #testing #tool support: Iterative Generation of Diverse Models for Testing Specifications of DSL Tools (OS, DV), pp. 227–245.
CAV-2018-Yahav #source code: From Programs to Interpretable Deep Models and Back (EY), pp. 27–37.
CSL-2018-ClairambaultP #probability #λ-calculus: Fully Abstract Models of the Probabilistic lambda-calculus (PC, HP), p. 17.
CSL-2018-Luck #canonical #complexity #logic: Canonical Models and the Complexity of Modal Team Logic (ML), p. 23.
ICTSS-2018-BonfantiGM #c++ #state machine #validation: Validation of Transformation from Abstract State Machine Models to C++ Code (SB, AG, AM), pp. 17–32.
ICTSS-2018-SalvaBL #component #data analysis #learning: Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems (SS, EB, PL), pp. 142–148.
ICTSS-2018-WotawaL #combinator #ontology #testing: From Ontologies to Input Models for Combinatorial Testing (FW, YL), pp. 155–170.
IJCAR-2018-KatelaanJW #automation #logic: A Separation Logic with Data: Small Models and Automation (JK, DJ, GW), pp. 455–471.
TAP-2018-BernardHK #approach #approximate #random #scalability: An Approximation-Based Approach for the Random Exploration of Large Models (JB0, PCH, OK), pp. 27–43.
VMCAI-2018-ButlerTP #design #domain model #education #framework: A Framework for Computer-Aided Design of Educational Domain Models (EB, ET, ZP), pp. 138–160.
ECSA-2017-HaselbockWB #case study #design #requirements: Decision Models for Microservices: Design Areas, Stakeholders, Use Cases, and Requirements (SH, RW, GB), pp. 155–170.
ECSA-2017-SharafAMA #architecture #cyber-physical #framework #simulation: An Architecture Framework for Modelling and Simulation of Situational-Aware Cyber-Physical Systems (MS, MA, HM, MA), pp. 95–111.
ECSA-2017-TrubianiM #analysis #architecture #collaboration #nondeterminism #reduction: Continuous Rearchitecting of QoS Models: Collaborative Analysis for Uncertainty Reduction (CT, RM), pp. 40–48.
ICSA-2017-BedjetiLLBH #architecture: Modeling Context with an Architecture Viewpoint (AB, PL, GAL, RCdB, RH), pp. 117–120.
ICSA-2017-HoppeEVB #semantics: Digital Space Systems Engineering through Semantic Data Models (TH, HE, AV, OB0), pp. 93–96.
ICSA-2017-TaivalsaariMPS #architecture #web: Comparing the Built-In Application Architecture Models in the Web Browser (AT, TM, CP, KS), pp. 51–54.
ICSA-2017-Yasaweerasinghelage #architecture #latency #predict #simulation #using: Predicting Latency of Blockchain-Based Systems Using Architectural Modelling and Simulation (RY, MS, IW), pp. 253–256.
JCDL-2017-ElekesSB #on the #semantics #similarity #word: On the Various Semantics of Similarity in Word Embedding Models (AE, MS, KB), pp. 139–148.
CSEET-2017-DaunBOPMSR #concept #education #feedback #online: Teaching Conceptual Modeling in Online Courses: Coping with the Need for Individual Feedback to Modeling Exercises (MD, JB, PAO, KP, SM, HS, MR), pp. 134–143.
CSEET-2017-LiebelBH #case study #education #multi #re-engineering #tool support #uml: Model Driven Software Engineering in Education: A Multi-Case Study on Perception of Tools and UML (GL, OB, RH), pp. 124–133.
CSEET-2017-SteppeCT #automation #dependence #design #education: Improving the Teaching of Software Design with Automated Modelling of Syntactic Dependencies (KS, SC, WWT), pp. 144–151.
EDM-2017-CaiEDPGS #analysis #chat #collaboration #learning #network #topic: Epistemic Network Analysis and Topic Modeling for Chat Data from Collaborative Learning Environment (ZC, BRE, ND, JWP, ACG, DWS).
EDM-2017-ChountaMAJK #approach #development: Modeling the Zone of Proximal Development with a Computational Approach (IAC, BMM, PLA, PWJ, SK).
EDM-2017-CookLHM #student: Task and Timing: Separating Procedural and Tactical Knowledge in Student Models (JC, CL, AH, BM).
EDM-2017-DongB #behaviour #learning #student: An Extended Learner Modeling Method to Assess Students' Learning Behaviors (YD, GB).
EDM-2017-GautamSSRG #classification: Modeling Classifiers for Virtual Internships Without Participant Data (DG, ZS, DWS, VR, ACG).
EDM-2017-GeigleZ #behaviour #markov #student: Modeling MOOC Student Behavior With Two-Layer Hidden Markov Models (CG, CZ).
EDM-2017-GrawemeyerWSHMP #graph #learning #student #using: Using Graph-based Modelling to explore changes in students' affective states during exploratory learning tasks (BG, AW, SGS, WH, MM, AP).
EDM-2017-HansenHHAL #education #interactive #sequence #student: Sequence Modelling For Analysing Student Interaction with Educational Systems (CH0, CH, NH, SA, CL).
EDM-2017-HanWZ: Improving Models of Peer Grading in SPOC (YH, WW0, XZ).
EDM-2017-KaiABSHH #effectiveness #persistent: Modeling Wheel-spinning and Productive Persistence in Skill Builders (SK, MVA, RSB, NS, CH, NTH).
EDM-2017-OlneySDD: Assessing the Dialogic Properties of Classroom Discourse: Proportion Models for Imbalanced Classes (AO, BS, PJD, SD).
EDM-2017-Ortiz-VazquezLL #analysis #clustering #realtime: Cluster Analysis of Real Time Location Data - An Application of Gaussian Mixture Models (AOV, XL, CFL, HSC, GN).
EDM-2017-PokrajacSYH #markov #using: Modeling Dormitory Occupancy Using Markov Chains (DDP, KS, DY, TH).
EDM-2017-ZhangS #interactive #network #scalability: Modeling Network Dynamics of MOOC Discussion Interactions at Scale (JZ, MS).
ICSME-2017-HuangXL #fault #predict: Supervised vs Unsupervised Models: A Holistic Look at Effort-Aware Just-in-Time Defect Prediction (QH, XX0, DL0), pp. 159–170.
ICSME-2017-RaposC #impact analysis #named: SimPact: Impact Analysis for Simulink Models (EJR, JRC), pp. 489–493.
ICSME-2017-RomanskyBCHG #energy: Deep Green: Modelling Time-Series of Software Energy Consumption (SR, NCB, SAC, AH, RG), pp. 273–283.
ICSME-2017-YanXZYX #automation #quality: Automating Aggregation for Software Quality Modeling (MY, XX0, XZ0, DY0, LX), pp. 529–533.
MSR-2017-BisongTB #performance #predict: Built to last or built too fast?: evaluating prediction models for build times (EB, ET, OB), pp. 487–490.
MSR-2017-GhotraMH #classification #fault #feature model #scalability: A large-scale study of the impact of feature selection techniques on defect classification models (BG, SM, AEH), pp. 146–157.
MSR-2017-RajbahadurWKH #classification #fault #using: The impact of using regression models to build defect classifiers (GKR, SW0, YK, AEH), pp. 135–145.
MSR-2017-RoblesHHCF #dataset #git #uml: An extensive dataset of UML models in GitHub (GR, THQ, RH, MRVC, MAF), pp. 519–522.
SANER-2017-LaverdiereM #security #using: Computing counter-examples for privilege protection losses using security models (MAL, EM), pp. 240–249.
SANER-2017-LiuLNB #fault #locality #predict #search-based #testing #using: Improving fault localization for Simulink models using search-based testing and prediction models (BL, L, SN, LCB), pp. 359–370.
FSCD-2017-OrtonP #type system: Models of Type Theory Based on Moore Paths (IO, AMP), p. 16.
FSCD-2017-Pistone #on the: On Dinaturality, Typability and beta-eta-Stable Models (PP), p. 17.
IFM-2017-0002MLCT #verification: Modelling and Verification of Timed Robotic Controllers (PR0, AM, WL, AC, JT), pp. 18–33.
SEFM-2017-BernasconiMSZG #model checking #proving: From Model Checking to a Temporal Proof for Partial Models (AB0, CM, PS, LDZ, CG), pp. 54–69.
SEFM-2017-KumarS #data access #generative: A Complete Generative Label Model for Lattice-Based Access Control Models (NVNK, RKS), pp. 35–53.
SEFM-2017-NguyenSGM #evolution #reasoning #requirements: Modeling and Reasoning on Requirements Evolution with Constrained Goal Models (CMN, RS, PG, JM), pp. 70–86.
SEFM-2017-TomascoN0TP #abstraction #design #memory management #using: Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models (ET, TLN, BF0, SLT, GP), pp. 185–202.
AIIDE-2017-Berov: Character Focused Narrative Models for Computational Storytelling (LB), pp. 277–279.
AIIDE-2017-BunianCCE #behaviour #difference #game studies #using: Modeling Individual Differences in Game Behavior Using HMM (SB, AC, RCC, MSEN), pp. 158–164.
AIIDE-2017-OsbornLM #game studies #hybrid #named: HyPED: Modeling and Analyzing Action Games as Hybrid Systems (JCO, BL, MM), pp. 87–93.
CIG-2017-KimK #game studies: Opponent modeling based on action table for MCTS-based fighting game AI (MJK, KJK), pp. 178–180.
DiGRA-2017-ToHFZKH #design: Modeling and Designing for Key Elements of Curiosity: Risking Failure, Valuing Questions (AT, JRH, EF, EZ, GK, JH).
FDG-2017-ChakraborttiFW #game studies #generative #towards: Towards generative emotions in games based on cognitive modeling (CC, LNF, JW), p. 2.
FDG-2017-CleghernLOR #predict #using: Predicting future states in DotA 2 using value-split models of time series attribute data (ZC, SL, OYÖ, DLR), p. 10.
FDG-2017-LiaoGR: Deep convolutional player modeling on log and level data (NL, MG, MR), p. 4.
FDG-2017-MazeikaW #3d #generative #graph #named: Solusforge: controlling the generation of the 3D models with spatial relation graphs (JM, JW), p. 4.
VS-Games-2017-KoskelaPHAAO #3d #named #scalability #web: DRUMM: Dynamic viewing of large-scale 3D city models on the web (TK, MP, AH, TA, PA, TO), pp. 8–14.
VS-Games-2017-MaltezosDI #3d #detection #visualisation: Improving the visualisation of 3D textured models via shadow detection and removal (EM, AD, CI), pp. 161–164.
VS-Games-2017-TsatsouVD #adaptation #case study #experience #learning #multi: Modelling learning experiences in adaptive multi-agent learning environments (DT, NV, PD), pp. 193–200.
CIKM-2017-CaiLZ #behaviour #detection #social: Detecting Social Bots by Jointly Modeling Deep Behavior and Content Information (CC, LL, DZ), pp. 1995–1998.
CIKM-2017-ChaGK #assessment #clustering #readability #word: Language Modeling by Clustering with Word Embeddings for Text Readability Assessment (MC, YG, HTK), pp. 2003–2006.
CIKM-2017-ChenLL #analysis #sentiment: Modeling Language Discrepancy for Cross-Lingual Sentiment Analysis (QC, CL, WL0), pp. 117–126.
CIKM-2017-ChenWL: Modeling Opinion Influence with User Dual Identity (CC, ZW, WL0), pp. 2019–2022.
CIKM-2017-CristoHCLP #performance #recognition #word: Fast Word Recognition for Noise channel-based Models in Scenarios with Noise Specific Domain Knowledge (MC, RH, ALdCC, FAL, MdGCP), pp. 607–616.
CIKM-2017-DongSWGZ #interactive #predict #social: Weakly-Guided User Stance Prediction via Joint Modeling of Content and Social Interaction (RD, YS, LW0, YG, YZ), pp. 1249–1258.
CIKM-2017-HeWJ #category theory #relational #topic: Incorporating the Latent Link Categories in Relational Topic Modeling (YH, CW, CJ), pp. 1877–1886.
CIKM-2017-HuJ #data mining #mining: IDM 2017: Workshop on Interpretable Data Mining - Bridging the Gap between Shallow and Deep Models (XH, SJ), pp. 2565–2566.
CIKM-2017-Jiang0ZWZ #composition #topic: A Topic Model Based on Poisson Decomposition (HJ, RZ0, LZ, HW0, YZ), pp. 1489–1498.
CIKM-2017-JinZ #network #social: Emotions in Social Networks: Distributions, Patterns, and Models (SJ, RZ), pp. 1907–1916.
CIKM-2017-KimML: Modeling Affinity based Popularity Dynamics (MK, DAM, JL), pp. 477–486.
CIKM-2017-KimPP #machine learning #performance: Machine Learning based Performance Modeling of Flash SSDs (JK, JP, SP), pp. 2135–2138.
CIKM-2017-Li0CH #video #visual notation: Jointly Modeling Static Visual Appearance and Temporal Pattern for Unsupervised Video Hashing (CL, YY0, JC, ZH), pp. 9–17.
CIKM-2017-LiaoSSLGL #ambiguity #query #web: Deep Context Modeling for Web Query Entity Disambiguation (ZL, XS, YS, SL, JG, CL), pp. 1757–1765.
CIKM-2017-LiGBC #approach #correlation #named #online #process: FM-Hawkes: A Hawkes Process Based Approach for Modeling Online Activity Correlations (SL, XG, WB, GC), pp. 1119–1128.
CIKM-2017-LinMZ #approach #identification #multi #topic: An Enhanced Topic Modeling Approach to Multiple Stance Identification (JL, WM, YZ), pp. 2167–2170.
CIKM-2017-LinYL #design: Modeling Menu Bundle Designs of Crowdfunding Projects (YL, PY, WCL), pp. 1079–1088.
CIKM-2017-MarkovBR #online: Online Expectation-Maximization for Click Models (IM, AB, MdR), pp. 2195–2198.
CIKM-2017-MehrotraASYZKK #predict: Deep Sequential Models for Task Satisfaction Prediction (RM, AHA, MS, EY, IZ, AEK, MK), pp. 737–746.
CIKM-2017-PersiaBH #detection #framework #interactive #video: An Interactive Framework for Video Surveillance Event Detection and Modeling (FP, FB, SH), pp. 2515–2518.
CIKM-2017-SahaJHH #learning #representation: Regularized and Retrofitted models for Learning Sentence Representation with Context (TKS, SRJ, NH, MAH), pp. 547–556.
CIKM-2017-ShiPW #learning #student: Modeling Student Learning Styles in MOOCs (YS, ZP, HW), pp. 979–988.
CIKM-2017-ThonetCBP #network #social #topic: Users Are Known by the Company They Keep: Topic Models for Viewpoint Discovery in Social Networks (TT, GC, MB, KPS), pp. 87–96.
CIKM-2017-WangFTH #behaviour #recommendation #topic #visual notation: Improving the Gain of Visual Perceptual Behaviour on Topic Modeling for Text Recommendation (CW, YF, ZT, YH), pp. 2339–2342.
CIKM-2017-WilliamsZ #detection #interactive #sequence: Does That Mean You're Happy?: RNN-based Modeling of User Interaction Sequences to Detect Good Abandonment (KW, IZ), pp. 727–736.
CIKM-2017-WuSZ #approach #behaviour #detection #performance: A Fast Trajectory Outlier Detection Approach via Driving Behavior Modeling (HW0, WS, BZ), pp. 837–846.
CIKM-2017-ZhaoT #correlation #predict: Modeling Temporal-Spatial Correlations for Crime Prediction (XZ, JT), pp. 497–506.
CIKM-2017-ZhengWGNOY: Capturing Feature-Level Irregularity in Disease Progression Modeling (KZ, WW0, JG, KYN, BCO, JWLY), pp. 1579–1588.
CIKM-2017-ZhengWWYJ #generative #memory management #sequence: Sequence Modeling with Hierarchical Deep Generative Models with Dual Memory (YZ, LW, JW0, JY0, LJ), pp. 1369–1378.
ECIR-2017-AmerMG #personalisation #social: Personalized Parsimonious Language Models for User Modeling in Social Bookmaking Systems (NOA, PM, MG), pp. 582–588.
ECIR-2017-AzarbonyadDKMKR #topic: Hierarchical Re-estimation of Topic Models for Measuring Topical Diversity (HA, MD0, TK, MM, JK, MdR), pp. 68–81.
ECIR-2017-ValavanisSK #classification #image: Fusion of Bag-of-Words Models for Image Classification in the Medical Domain (LV, SS, TK), pp. 134–145.
ECIR-2017-ZagheliAS #feedback #framework #recommendation: Negative Feedback in the Language Modeling Framework for Text Recommendation (HRZ, MA, AS), pp. 662–668.
ICML-2017-0001N #composition #learning #scalability: Relative Fisher Information and Natural Gradient for Learning Large Modular Models (KS0, FN), pp. 3289–3298.
ICML-2017-BachHRR #generative #learning: Learning the Structure of Generative Models without Labeled Data (SHB, BDH, AR, CR), pp. 273–282.
ICML-2017-BelilovskyKVB #learning #visual notation: Learning to Discover Sparse Graphical Models (EB, KK, GV, MBB), pp. 440–448.
ICML-2017-BernsteinMSSHM #learning #using #visual notation: Differentially Private Learning of Undirected Graphical Models Using Collective Graphical Models (GB, RM, TS, DS, MH, GM), pp. 478–487.
ICML-2017-BoraJPD #generative #using: Compressed Sensing using Generative Models (AB, AJ, EP, AGD), pp. 537–546.
ICML-2017-ChebotarHZSSL #learning: Combining Model-Based and Model-Free Updates for Trajectory-Centric Reinforcement Learning (YC, KH, MZ, GSS, SS, SL), pp. 703–711.
ICML-2017-ChenB #estimation #robust: Robust Structured Estimation with Single-Index Models (SC, AB), pp. 712–721.
ICML-2017-ChenKB #equation #identification #linear #testing #using: Identification and Model Testing in Linear Structural Equation Models using Auxiliary Variables (BC, DK, EB), pp. 757–766.
ICML-2017-DauphinFAG #network: Language Modeling with Gated Convolutional Networks (YND, AF, MA, DG), pp. 933–941.
ICML-2017-Hoffman #learning #markov #monte carlo: Learning Deep Latent Gaussian Models with Markov Chain Monte Carlo (MDH), pp. 1510–1519.
ICML-2017-HuRC #generative #relational: Deep Generative Models for Relational Data with Side Information (CH, PR, LC), pp. 1578–1586.
ICML-2017-IngrahamM: Variational Inference for Sparse and Undirected Models (JI, DSM), pp. 1607–1616.
ICML-2017-JainMR #generative #learning #multi #scalability: Scalable Generative Models for Multi-label Learning with Missing Labels (VJ, NM, PR), pp. 1636–1644.
ICML-2017-JaquesGBHTE #generative #sequence: Sequence Tutor: Conservative Fine-Tuning of Sequence Generation Models with KL-control (NJ, SG, DB, JMHL, RET, DE), pp. 1645–1654.
ICML-2017-KolesnikovL #image: PixelCNN Models with Auxiliary Variables for Natural Image Modeling (AK, CHL), pp. 1905–1914.
ICML-2017-KucukelbirWB: Evaluating Bayesian Models with Posterior Dispersion Indices (AK, YW, DMB), pp. 1925–1934.
ICML-2017-MaFF #markov #probability: Stochastic Gradient MCMC Methods for Hidden Markov Models (YAM, NJF, EBF), pp. 2265–2274.
ICML-2017-MasegosaNLRSM #data type: Bayesian Models of Data Streams with Hierarchical Power Priors (ARM, TDN, HL, DRL, AS, ALM), pp. 2334–2343.
ICML-2017-MishraAM #predict: Prediction and Control with Temporal Segment Models (NM, PA, IM), pp. 2459–2468.
ICML-2017-MollaysaSK #using: Regularising Non-linear Models Using Feature Side-information (AM, PS, AK), pp. 2508–2517.
ICML-2017-NiQWC #clustering #persistent #visual notation: Composing Tree Graphical Models with Persistent Homology Features for Clustering Mixed-Type Data (XN, NQ, YW, CC0), pp. 2622–2631.
ICML-2017-OngieWNB #algebra #matrix #rank: Algebraic Variety Models for High-Rank Matrix Completion (GO, RW, RDN, LB), pp. 2691–2700.
ICML-2017-OsogamiKS #bidirectional #learning: Bidirectional Learning for Time-series Models with Hidden Units (TO, HK, TS), pp. 2711–2720.
ICML-2017-OstrovskiBOM: Count-Based Exploration with Neural Density Models (GO, MGB, AvdO, RM), pp. 2721–2730.
ICML-2017-RiquelmeGL #estimation #learning #linear: Active Learning for Accurate Estimation of Linear Models (CR, MG, AL), pp. 2931–2939.
ICML-2017-SuggalaYR #visual notation: Ordinal Graphical Models: A Tale of Two Approaches (ASS, EY, PR), pp. 3260–3269.
ICML-2017-SuzumuraNUTT #higher-order #interactive: Selective Inference for Sparse High-Order Interaction Models (SS, KN, YU, KT, IT), pp. 3338–3347.
ICML-2017-TanM #learning: Partitioned Tensor Factorizations for Learning Mixed Membership Models (ZT, SM0), pp. 3358–3367.
ICML-2017-WangKB #probability #robust: Robust Probabilistic Modeling with Bayesian Data Reweighting (YW, AK, DMB), pp. 3646–3655.
ICML-2017-WangWHMZD #sequence: Sequence Modeling via Segmentations (CW, YW, PSH, AM, DZ, LD0), pp. 3674–3683.
ICML-2017-WenMBY: Latent Intention Dialogue Models (THW, YM, PB, SJY), pp. 3732–3741.
ICML-2017-WinnerSS #integer: Exact Inference for Integer Latent-Variable Models (KW, DS, DS), pp. 3761–3770.
ICML-2017-XieDZKYZX #constraints #learning: Learning Latent Space Models with Angular Constraints (PX, YD, YZ, AK, YY, JZ, EPX), pp. 3799–3810.
ICML-2017-YangBL #estimation: High-dimensional Non-Gaussian Single Index Models via Thresholded Score Function Estimation (ZY, KB, HL0), pp. 3851–3860.
ICML-2017-YangHSB #using: Improved Variational Autoencoders for Text Modeling using Dilated Convolutions (ZY, ZH, RS, TBK), pp. 3881–3890.
ICML-2017-YangL #statistics: Sparse + Group-Sparse Dirty Models: Statistical Guarantees without Unreasonable Conditions and a Case for Non-Convexity (EY, ACL), pp. 3911–3920.
ICML-2017-ZaheerAS #clustering #sequence: Latent LSTM Allocation: Joint Clustering and Non-Linear Dynamic Modeling of Sequence Data (MZ, AA, AJS), pp. 3967–3976.
ICML-2017-Zhang0KALZ #learning #linear #named #precise: ZipML: Training Linear Models with End-to-End Low Precision, and a Little Bit of Deep Learning (HZ, JL0, KK, DA, JL0, CZ), pp. 4035–4043.
ICML-2017-ZhaoSE #generative #learning: Learning Hierarchical Features from Deep Generative Models (SZ, JS, SE), pp. 4091–4099.
ICML-2017-ZoghiTGKSW #learning #online #probability #rank: Online Learning to Rank in Stochastic Click Models (MZ, TT, MG, BK, CS, ZW), pp. 4199–4208.
KDD-2017-AhmedLSW #algorithm #industrial #problem #topic: A Practical Algorithm for Solving the Incoherence Problem of Topic Models In Industrial Applications (AA, JL, DS, YW), pp. 1713–1721.
KDD-2017-BojchevskiMG #clustering #robust #semistructured data: Robust Spectral Clustering for Noisy Data: Modeling Sparse Corruptions Improves Latent Embeddings (AB, YM, SG), pp. 737–746.
KDD-2017-CaoZZYPZARL #detection #mobile #named #type system: DeepMood: Modeling Mobile Phone Typing Dynamics for Mood Detection (BC, LZ, CZ, PSY, AP, JZ, OA, KR, ADL), pp. 747–755.
KDD-2017-HeHBHX #correlation #performance #topic: Efficient Correlated Topic Modeling with Topic Embedding (JH, ZH, TBK, YH, EPX), pp. 225–233.
KDD-2017-LiuLLTZX: Point-of-Interest Demand Modeling with Human Mobility Patterns (YL, CL, XL, MT, HZ, HX), pp. 947–955.
KDD-2017-SinghSGMC #evolution #network: Relay-Linking Models for Prominence and Obsolescence in Evolving Networks (MS0, RS, PG, AM0, SC), pp. 1077–1086.
KDD-2017-WangJY #framework #hybrid: A Hybrid Framework for Text Modeling with Convolutional RNN (CW, FJ, HY), pp. 2061–2069.
KDD-2017-WangSZTJZ #matrix #multi: Multi-Modality Disease Modeling via Collective Deep Matrix Factorization (QW, MS, LZ, PT0, SJ, JZ), pp. 1155–1164.
KDD-2017-WoodsAMM #feedback #predict #using: Formative Essay Feedback Using Predictive Scoring Models (BW, DA, SM, EM), pp. 2071–2080.
KDD-2017-WuSY #normalisation: Decomposed Normalized Maximum Likelihood Codelength Criterion for Selecting Hierarchical Latent Variable Models (TW, SS, KY), pp. 1165–1174.
KDD-2017-ZangCF0 #memory management #process #social: Long Short Memory Process: Modeling Growth Dynamics of Microscopic Social Connectivity (CZ, PC0, CF, WZ0), pp. 565–574.
KDD-2017-ZhangHMWZFGY #combinator #optimisation #order: A Taxi Order Dispatch Model based On Combinatorial Optimization (LZ, TH, YM, GW, JZ, PF, PG, JY), pp. 2151–2159.
BX-2017-SeifermannH #comparison #qvt #syntax: Comparison of QVT-O and Henshin-TGG for Synchronization of Concrete Syntax Models (SS, JH), pp. 6–14.
ECMFA-2017-AddaziCLP #hybrid #towards #uml: Towards Seamless Hybrid Graphical-Textual Modelling for UML and Profiles (LA, FC, PL, EP), pp. 20–33.
ECMFA-2017-AhmadianSRJ #analysis #ecosystem #industrial #privacy: Model-Based Privacy Analysis in Industrial Ecosystems (ASA, DS, VR, JJ), pp. 215–231.
ECMFA-2017-ArcegaFHC #feature model #on the #runtime: On the Influence of Models at Run-Time Traces in Dynamic Feature Location (LA, JF, ØH, CC), pp. 90–105.
ECMFA-2017-BucaioniMCCS #manycore: Technology-Preserving Transition from Single-Core to Multi-core in Modelling Vehicular Systems (AB, SM, FC, AC, MS), pp. 285–299.
ECMFA-2017-Debbi #analysis #formal method #probability: Modeling and Formal Analysis of Probabilistic Complex Event Processing (CEP) Applications (HD), pp. 248–263.
ECMFA-2017-GomezMBCDGKLT #case study #development #experience #on the #scalability: On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development (AG, XM, GB, JC, CD, AG, DSK, JdL, ST), pp. 300–315.
ECMFA-2017-KlugeSGSM #c #embedded #generative #named #network: cMoflon: Model-Driven Generation of Embedded C Code for Wireless Sensor Networks (RK, MS, DG, AS, MM), pp. 109–125.
ECMFA-2017-KonigD #consistency #performance: Efficient Consistency Checking of Interrelated Models (HK, ZD), pp. 161–178.
ECMFA-2017-Kusmenko0RW #architecture #cyber-physical: Modeling Architectures of Cyber-Physical Systems (EK, AR, BR, MvW), pp. 34–50.
ECMFA-2017-PrieferKS #content management #development #web: Iterative Model-Driven Development of Software Extensions for Web Content Management Systems (DP, PK, DS), pp. 142–157.
ECMFA-2017-Sunye #collaboration #consistency #distributed: Model Consistency for Distributed Collaborative Modeling (GS), pp. 197–212.
ECMFA-2017-YigitbasS0E #adaptation #development #self: Self-adaptive UIs: Integrated Model-Driven Development of UIs and Their Adaptations (EY, HS, SS, GE), pp. 126–141.
ICMT-2017-BurguenoHVG #testing #using: Testing Transformation Models Using Classifying Terms (LB, FH, AV, MG), pp. 69–85.
ICMT-2017-NassarRA #approach #automation #emf #interactive #rule-based: Rule-Based Repair of EMF Models: An Automated Interactive Approach (NN, HR, TA), pp. 171–181.
ICMT-2017-SemerathV #constraints #evaluation #graph: Graph Constraint Evaluation over Partial Models by Constraint Rewriting (OS, DV), pp. 138–154.
ICMT-2017-Strueber #generative #performance #search-based: Generating Efficient Mutation Operators for Search-Based Model-Driven Engineering (DS), pp. 121–137.
MoDELS-2017-AbrahaoBCKPSW #challenge #experience #user interface: User Experience for Model-Driven Engineering: Challenges and Future Directions (SA, FB, BHCC, SK, RFP, HS, JW), pp. 229–236.
MoDELS-2017-AgnerL #education #overview: A Survey of Tool Use in Modeling Education (LTWA, TCL), pp. 303–311.
MoDELS-2017-Al-RefaiCG #approach #fuzzy #logic #testing: A Fuzzy Logic Based Approach for Model-Based Regression Test Selection (MAR, WC, SG), pp. 55–62.
MoDELS-2017-BarnerDMSFFP: DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems (SB, AD, JM, AS, GF, MF, DGP), pp. 259–269.
MoDELS-2017-BenelallamHMFBB: Raising Time Awareness in Model-Driven Engineering: Vision Paper (AB, TH, LM, FF, JB, OB, YLT), pp. 181–188.
MoDELS-2017-DebreceniBRD #collaboration: Property-Based Locking in Collaborative Modeling (CD, GB, IR, DV), pp. 199–209.
MoDELS-2017-DenneyPW #architecture #development #safety: Model-Driven Development of Safety Architectures (ED, GP, IW), pp. 156–166.
MoDELS-2017-DouBB #approach: A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties (WD, DB, LCB), pp. 323–333.
MoDELS-2017-DurisicMST #case study #co-evolution #metamodelling #semantics #syntax: Co-Evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments — A Case Study of AUTOSAR (DD, CM, MS, MT), pp. 189–198.
MoDELS-2017-HartmannMFT #domain model #evolution #integration #machine learning: The Next Evolution of MDE: A Seamless Integration of Machine Learning into Domain Modeling (TH, AM, FF, YLT), p. 180.
MoDELS-2017-IzquierdoCC #eclipse #ecosystem #empirical #maturity: An Empirical Study on the Maturity of the Eclipse Modeling Ecosystem (JLCI, VC, JC), pp. 292–302.
MoDELS-2017-RamadanS0JG #process #security #verification: From Secure Business Process Modeling to Design-Level Security Verification (QR, MS, DS, JJ, PG), pp. 123–133.
MoDELS-2017-WortmannCB #industrial: A Systematic Mapping Study on Modeling for Industry 4.0 (AW, BC, OB), pp. 281–291.
MoDELS-2017-ZolotasRKPH #model management #open source #tool support: Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon (AZ, HHR, DSK, RFP, SH), pp. 237–247.
ECOOP-2017-BergerTU #generative #metaprogramming: Modelling Homogeneous Generative Meta-Programming (MB, LT, CU), p. 23.
Onward-2017-Biddle #how #research: How can our publication models best serve our research? (panel) (RB), pp. 260–261.
OOPSLA-2017-UgawaAM #concurrent #garbage collection #memory management #model checking: Model checking copy phases of concurrent copying garbage collection with various memory models (TU, TA0, TM), p. 26.
LOPSTR-2017-LiqatBLH #bound #energy #program analysis: Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks (UL, ZB, PLG0, MVH), pp. 54–72.
PLDI-2017-BornholtT #framework #memory management #sketching #testing: Synthesizing memory models from framework sketches and Litmus tests (JB, ET), pp. 467–481.
PLDI-2017-HuangTM #algorithm #compilation #markov #monte carlo #probability: Compiling Markov chain Monte Carlo algorithms for probabilistic modeling (DH0, JBT, GM), pp. 111–125.
PLDI-2017-TanLX #analysis #automaton #performance #points-to #precise: Efficient and precise points-to analysis: modeling the heap by merging equivalent automata (TT0, YL0, JX), pp. 278–291.
POPL-2017-AlglaveC #consistency #proving: Ogre and Pythia: an invariance proof method for weak consistency models (JA, PC), pp. 3–18.
POPL-2017-WickersonBSC #automation #consistency #memory management: Automatically comparing memory consistency models (JW, MB, TS0, GAC), pp. 190–204.
PPDP-2017-BartakM #attribute grammar #constraints #domain model #framework #set: Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models (RB, AM), pp. 39–48.
SAS-2017-LeonFHM #analysis #memory management: Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models (HPdL, FF, KH, RM0), pp. 299–320.
ASE-2017-Busari #analysis #architecture #requirements #search-based #towards: Towards search-based modelling and analysis of requirements and architecture decisions (SAB), pp. 1026–1029.
ASE-2017-CorradiniFP0TV #framework #named #process #verification: BProVe: a formal verification framework for business process models (FC, FF, AP, BR0, FT, AV), pp. 217–228.
ASE-2017-JamshidiSVKPA #analysis #configuration management #learning #performance: Transfer learning for performance modeling of configurable systems: an exploratory analysis (PJ, NS, MV, CK, AP, YA), pp. 497–508.
ASE-2017-Perez-SolerGLJ #network #social #towards: The rise of the (modelling) bots: towards assisted modelling via social networks (SPS, EG, JdL, FJ0), pp. 723–728.
ESEC-FSE-2017-AhmadianPRJ #analysis #privacy #security: Model-based privacy and security analysis with CARiSMA (ASA, SP, QR, JJ), pp. 989–993.
ESEC-FSE-2017-BagherzadehHD #debugging #development #independence #platform #realtime: Model-level, platform-independent debugging in the context of the model-driven development of real-time systems (MB, NH, JD), pp. 419–430.
ESEC-FSE-2017-DebreceniBBRV #collaboration #framework #version control: The MONDO collaboration framework: secure collaborative modeling over existing version control systems (CD, GB, MB, IR, DV), pp. 984–988.
ESEC-FSE-2017-DijkCHB #network #privacy #re-engineering: Model-driven software engineering in practice: privacy-enhanced filtering of network traffic (RvD, CC, JvdH, JvdB), pp. 860–865.
ESEC-FSE-2017-Easterbrook #how #verification: Verifying the forecast: how climate models are developed and tested (invited talk) (SE), p. 2.
ESEC-FSE-2017-GoldBHIKY #slicing: Generalized observational slicing for tree-represented modelling languages (NEG, DWB, MH, SSI, JK, SY), pp. 547–558.
ESEC-FSE-2017-GreenyerGKDSW #programming: From scenario modeling to scenario programming for reactive systems with dynamic topology (JG, DG, FK, JD, JS, EW), pp. 974–978.
ESEC-FSE-2017-HellendoornD #network #question #source code: Are deep neural networks the best choice for modeling source code? (VJH, PTD), pp. 763–773.
ESEC-FSE-2017-KnuppelTMMS #feature model #product line #question #research: Is there a mismatch between real-world feature models and product-line research? (AK, TT, SM, JM, IS), pp. 291–302.
ESEC-FSE-2017-Kogel #development #recommendation: Recommender system for model driven software development (SK), pp. 1026–1029.
ESEC-FSE-2017-KusanoW #memory management #static analysis #thread: Thread-modular static analysis for relaxed memory models (MK, CW0), pp. 337–348.
ESEC-FSE-2017-Nigar #scheduling: Model-based dynamic software project scheduling (NN), pp. 1042–1045.
ESEC-FSE-2017-RegisCBPRPAGF #alloy #analysis #behaviour #specification: DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour (GR, CC, SGB, MP, FR, PP, NA, JPG, MFF), pp. 969–973.
ESEC-FSE-2017-SiegmundSA #variability: Attributed variability models: outside the comfort zone (NS, SS, SA), pp. 268–278.
ESEC-FSE-2017-SuMCWYYPLS #android #probability #testing #user interface: Guided, stochastic model-based GUI testing of Android apps (TS, GM, YC, KW, WY, YY, GP, YL0, ZS), pp. 245–256.
ESEC-FSE-2017-TsigkanosKG #cyber-physical #evolution #verification: Modeling and verification of evolving cyber-physical spaces (CT, TK, CG), pp. 38–48.
ICSE-2017-Tzoref-BrillM #combinator #design #difference #semantics: Syntactic and semantic differencing for combinatorial models of test designs (RTB, SM), pp. 621–631.
GPCE-2017-LapenaFPC #feature model #natural language: Analyzing the impact of natural language processing over feature location in models (RL, JF, OP, CC), pp. 63–76.
SLE-2017-TendelooMMV #approach #multi #syntax: Concrete syntax: a multi-paradigm modelling approach (YVT, SVM, BM, HV), pp. 182–193.
ASPLOS-2017-LiCCZ #learning #named #topic: SaberLDA: Sparsity-Aware Learning of Topic Models on GPUs (KL, JC0, WC, JZ0), pp. 497–509.
CASE-2017-ChangCC #how #performance #variability: How simplified models of different variability affects performance of ordinal transformation (CMC, SCC, CHC), pp. 1065–1066.
CASE-2017-ChenY0: Learning-based modeling and control of underactuated balance robotic systems (KC, JY, TL0), pp. 1118–1123.
CASE-2017-ChienLDCC #parametricity: Modeling collinear WATs for parametric yield enhancement in semiconductor manufacturing (CFC, PCL, RD, YJC, CCC), pp. 739–743.
CASE-2017-ClementeFNSU #multi #problem: Modelling and solving the multi-day container drayage problem (MC, MPF, MN, GS, WU), pp. 231–236.
CASE-2017-FriedrichZTLV #approach #maintenance #recognition: Environment modeling for maintenance automation-a next-best-view approach for combining space exploration and object recognition tasks (CF, VZ, MT, AL, AV), pp. 1445–1450.
CASE-2017-GohSS #learning #predict: A model-based learning controller with predictor augmentation for non-stationary conditions and time delay in water shooting (CFG, GLGS, KS), pp. 1110–1117.
CASE-2017-HanPM #approach #learning #linear: Model-based reinforcement learning approach for deformable linear object manipulation (HH, GP, TM), pp. 750–755.
CASE-2017-HuangL #flexibility #novel: A novel model-based path planning method for robot-assisted flexible needle insertion (CH, YL), pp. 1414–1419.
CASE-2017-JingPTGLS #3d #industrial: Model-based coverage motion planning for industrial 3D shape inspection applications (WJ, JP, PYT, CFG, WL, KS), pp. 1293–1300.
CASE-2017-JinMNS #flexibility #online #topic: Online computation of polytopic flexibility models for demand shifting applications (BJ, MM, PN, ALSV), pp. 900–905.
CASE-2017-KangMPJ #analysis #multi: Multi-fidelity modeling for analysis of serial production lines (YK, LM, GP, FJ), pp. 30–35.
CASE-2017-KinghorstGLCYFZ #algorithm #approach #maintenance #markov #predict #search-based: Hidden Markov model-based predictive maintenance in semiconductor manufacturing: A genetic algorithm approach (JK, OG, ML, HLC, KY, JF, MZ, BVH), pp. 1260–1267.
CASE-2017-LeeJFBGBL #analysis #process #simulation #using: Modeling and analysis of postoperative intervention process for total joint replacement patients using simulations (HKL, RJ, YF, PAB, JG, CB, JL), pp. 568–573.
CASE-2017-LuanH #3d: Prescriptive modeling and compensation of in-plane shape deformation for 3-D printed freeform products (HL, QH), p. 987.
CASE-2017-MaP #framework #programmable #testing: A model-based testing framework with reduced set of test cases for programmable controllers (CM, JP), pp. 944–949.
CASE-2017-RashidWQCF #cyber-physical #simulation: Modeling and simulation of cyberattacks for resilient cyber-physical systems (NR, JW, GQ, AC, MAAF), pp. 988–993.
CASE-2017-ScholzHF #functional #workflow: Functional modelling in production engineering workflows (AS, CH, AF), pp. 695–700.
CASE-2017-SugimotoMMM #3d #using: A 3D block printer using toy bricks for various models (CS, YM, TM, SM), pp. 958–963.
CASE-2017-WallyHM #integration: A view on model-driven vertical integration: Alignment of production facility models and business models (BW, CH, AM), pp. 1012–1018.
CASE-2017-ZhangGWHG: Model-based active viewpoint transfer for purposive perception (LJZ, CG, KW0, YH, XPG), pp. 1085–1089.
CASE-2017-ZhongPPJ #analysis #case study #health #process: Modeling and analysis of primary care to specialty care referral process: A case study at the university of florida health Jacksonville (XZ, AMP, LP, RJ), pp. 819–824.
CGO-2017-CumminsP0L #benchmark #metric #predict: Synthesizing benchmarks for predictive modeling (CC, PP, ZW0, HL), pp. 86–99.
FASE-2017-LaraRRGIPC #model transformation #requirements #reuse #type system: Reusing Model Transformations Through Typing Requirements Models (JdL, JDR, DDR, EG, LI, AP, JSC), pp. 264–282.
FASE-2017-Wang0YP #approach #empirical #model checking #probability: Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study (JW, JS0, QY, JP0), pp. 3–21.
ICST-2017-Al-QahtaniER #api #approach #ontology #security #semantics #traceability: Recovering Semantic Traceability Links between APIs and Security Vulnerabilities: An Ontological Modeling Approach (SSAQ, EEE, JR), pp. 80–91.
ICST-2017-ArthoGRBMKHTY #api #testing: Model-Based API Testing of Apache ZooKeeper (CA, QG, GR, KB, LM0, TK, MH, YT, MY), pp. 288–298.
ICST-2017-DarwishGT #automation #empirical #industrial #testing: A Controlled Experiment on Coverage Maximization of Automated Model-Based Software Test Cases in the Automotive Industry (RD, LNG, RT), pp. 546–547.
ICST-2017-DevroeyPPLSH #automaton #empirical #equivalence #evaluation #simulation: Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation (XD, GP, MP, AL, PYS, PH), pp. 424–429.
ICST-2017-TapplerAB #automaton #communication #learning #testing: Model-Based Testing IoT Communication via Active Automata Learning (MT, BKA, RB), pp. 276–287.
ICTSS-2017-PetrenkoS #fault #generative #sequence: Generating Checking Sequences for User Defined Fault Models (AP, AdSS), pp. 320–325.
TAP-2017-GerholdS #probability #testing: Model-Based Testing of Probabilistic Systems with Stochastic Time (MG, MS), pp. 77–97.
TAP-2017-MaalejKJ #composition #named #testing: WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions (AJM, MK, MJ), pp. 139–151.
VMCAI-2017-0062BW #memory management #program analysis: Partitioned Memory Models for Program Analysis (WW0, CWB, TW), pp. 539–558.
VMCAI-2017-DSilvaKS #abstraction #concurrent #independence: Independence Abstractions and Models of Concurrency (VD, DK, MS), pp. 151–168.
CBSE-2016-MubeenNSLGL #abstraction #distributed #embedded #legacy: Modeling of Legacy Distributed Embedded Systems at Vehicle Abstraction Level (SM, TN, MS, JL, MG, KLL), pp. 7–12.
CBSE-2016-StevaneticZ #architecture #component #experience #metric #using: Exploring the Understandability of Components in Architectural Component Models Using Component Level Metrics and Participants' Experience (SS, UZ), pp. 1–6.
ECSA-2016-SchmerlGSBMCG #analysis #android #architecture #security: Architecture Modeling and Analysis of Security in Android Systems (BRS, JG, AS, HB, SM, JC, DG), pp. 274–290.
QoSA-2016-FrancoCBR #component: Modeling the Failure Pathology of Software Components (JMF, FC, RB, MZR), pp. 41–49.
QoSA-2016-LehrigB #as a service #case study #performance #using: Using Performance Models for Planning the Redeployment to Infrastructure-as-a-Service Environments: A Case Study (SL, SB0), pp. 11–20.
QoSA-2016-StierK #adaptation #analysis #performance #self: Considering Transient Effects of Self-Adaptations in Model-Driven Performance Analyses (CS, AK), pp. 80–89.
WICSA-2016-AmalfitanoSFLS #design #experience #industrial #process #product line: Introducing Software Product Lines in Model-Based Design Processes: An Industrial Experience (DA, VDS, ARF, ML, SS), pp. 287–290.
WICSA-2016-GerlitzK #matlab #slicing: Flow Sensitive Slicing for MATLAB/Simulink Models (TG, SK), pp. 81–90.
WICSA-2016-GerlitzK16a #analysis #architecture #matlab: Architectural Analysis of MATLAB/Simulink Models with Artshop (TG, SK), pp. 307–310.
WICSA-2016-KleinGAGGKNS #big data: Model-Driven Observability for Big Data Storage (JK, IG, LA, JG, CG, RK, PN, VS), pp. 134–139.
WICSA-2016-LanghammerSMR #automation: Automated Extraction of Rich Software Models from Limited System Information (ML, AS, NM, RHR), pp. 99–108.
CSEET-2016-LiebelHS #education #industrial #tool support #using: Impact of the Use of Industrial Modelling Tools on Modelling Education (GL, RH, JPS), pp. 18–27.
CSEET-2016-MarsicanoMFF #approach #education #process #requirements: An Integrated Approach to the Requirements Engineering and Process Modelling Teaching (GM, FFM, MVF, SAAdF), pp. 166–174.
CSEET-2016-WeiDCS #concept #education #framework #graph #requirements #uml: A Conceptual Graphs Framework for Teaching UML Model-Based Requirements Acquisition (BW, HSD, EC, CS), pp. 71–75.
EDM-2016-BotelhoAH #interactive #predict: Modeling Interactions Across Skills: A Method to Construct and Compare Models Predicting the Existence of Skill Relationships (AFB, SA, NTH), pp. 292–297.
EDM-2016-BoyerV #predict #robust: Robust Predictive Models on MOOCs : Transferring Knowledge across Courses (SB, KV), pp. 298–305.
EDM-2016-ChenGT #graph #student: Joint Discovery of Skill Prerequisite Graphs and Student Models (YC, JPGB, JT0), pp. 46–53.
EDM-2016-DominguezBU #learning #predict: Predicting STEM Achievement with Learning Management System Data: Prediction Modeling and a Test of an Early Warning System (MD, MLB, PMU), pp. 589–590.
EDM-2016-HuangB #framework #learning #student #towards: Towards Modeling Chunks in a Knowledge Tracing Framework for Students' Deep Learning (YH0, PB), pp. 666–668.
EDM-2016-HuangGB #data-driven #framework: A Data-Driven Framework of Modeling Skill Combinations for Deeper Knowledge Tracing (YH0, JG, PB), pp. 593–594.
EDM-2016-JoTFRG #behaviour #learning #social: Expediting Support for Social Learning with Behavior Modeling (YJ, GT, OF, CPR, DG), pp. 400–405.
EDM-2016-KidzinskiSBD #on the: On generalizability of MOOC models (LK, KS, MSB, PD), pp. 406–411.
EDM-2016-MaassP #retrieval: Modeling the Influence of Format and Depth during Effortful Retrieval Practice (JKM, PIPJ), pp. 143–150.
EDM-2016-NgHLK #learning #sequence #using: Modelling the way: Using action sequence archetypes to differentiate learning pathways from learning outcomes (KHRN, KH, KL, AWHK), pp. 167–174.
EDM-2016-RauP #predict #representation: Adding eye-tracking AOI data to models of representation skills does not improve prediction accuracy (MAR, ZAP), pp. 622–623.
EDM-2016-RenRJ #multi #performance #predict #using: Predicting Performance on MOOC Assessments using Multi-Regression Models (ZR, HR, AJ), pp. 484–489.
EDM-2016-SahebiLB #performance #predict #student: Tensor Factorization for Student Modeling and Performance Prediction in Unstructured Domain (SS, YRL, PB), pp. 502–506.
EDM-2016-ShenC #feature model #learning: Aim Low: Correlation-based Feature Selection for Model-based Reinforcement Learning (SS, MC), pp. 507–512.
EDM-2016-TissenbaumBK #behaviour #game studies #markov #visitor: Modeling Visitor Behavior in a Game-Based Engineering Museum Exhibit with Hidden Markov Models (MT, MB, VK), pp. 517–522.
EDM-2016-ZhangSC #automation #clustering #effectiveness #learning #student: Deep Learning + Student Modeling + Clustering: a Recipe for Effective Automatic Short Answer Grading (YZ, RS, MC), pp. 562–567.
ICPC-2016-ScalabrinoVPO #readability: Improving code readability models with textual features (SS, MLV, DP, RO), pp. 1–10.
ICSME-2016-Mengerink #co-evolution #metamodelling #roadmap: A Roadmap for Co-Evolution of Meta-Models and Models (JGMM), p. 619.
ICSME-2016-PatilKDB #approach #domain model #optimisation: An Optimization Approach for Matching Textual Domain Models with Existing Code (TP, RK, DD, IB), pp. 133–143.
ICSME-2016-SinghHFL #empirical #evaluation #navigation: An Empirical Evaluation of Models of Programmer Navigation (AS, AZH, SDF, MVL), pp. 9–19.
ICSME-2016-WalkinshawH #state machine: Inferring Computational State Machine Models from Program Executions (NW, MH), pp. 122–132.
MSR-2016-LaymanNMM #problem #research #topic: Topic modeling of NASA space system problem reports: research in practice (LL, APN, JM, TM), pp. 303–314.
SANER-2016-AltingerDSVW #on the: On Error-Class Distribution in Automotive Model-Based Software (HA, YD, SS, JJV, FW), pp. 688–692.
SANER-2016-KarasnehCKG #anti #design #source code: Studying the Relation between Anti-Patterns in Design Models and in Source Code (BK, MRVC, FK, YGG), pp. 36–45.
SANER-2016-LiuLNBB #fault #multi: Localizing Multiple Faults in Simulink Models (BL, L, SN, LCB, TB), pp. 146–156.
SANER-2016-OliveiraTCX #android #case study #development #energy #web: Native or Web? A Preliminary Study on the Energy Consumption of Android Development Models (WO, WT, FC, BHX), pp. 589–593.
SCAM-2016-JimenezPT #case study #kernel #linux #predict: Vulnerability Prediction Models: A Case Study on the Linux Kernel (MJ, MP, YLT), pp. 1–10.
DLT-2016-Maletti #composition #statistics: Compositions of Tree-to-Tree Statistical Machine Translation Models (AM), pp. 293–305.
FM-2016-BeckerCGHHKNSTT #analysis #formal method #proving #testing: Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor (HB, JMC, JG, UH, YH, CK, KN0, JLS, HT, TT), pp. 69–84.
FM-2016-CavadaCCRT #design #embedded #energy #using: Model-Based Design of an Energy-System Embedded Controller Using Taste (RC, AC, LC, MR, ST), pp. 741–747.
FM-2016-JiangLSKGSS #design #formal method #multi: Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller (YJ0, HL0, HS, HK, MG0, JS, LS), pp. 757–763.
FM-2016-LahavV #memory management #program transformation: Explaining Relaxed Memory Models with Program Transformations (OL, VV), pp. 479–495.
FM-2016-PeleskaH #safety #testing: Industrial-Strength Model-Based Testing of Safety-Critical Systems (JP0, WlH), pp. 3–22.
FSCD-2016-Blot #continuation: Classical Extraction in Continuation Models (VB), p. 17.
FSCD-2016-Laird #relational: Weighted Relational Models for Mobility (JL), p. 15.
IFM-2016-FreitasBCW #runtime #verification: Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment (LF, JB, AC, AJW), pp. 63–78.
IFM-2016-KringsL #smt #validation: SMT Solvers for Validation of B and Event-B Models (SK, ML), pp. 361–375.
SEFM-2016-Agha #abstraction #analysis #concurrent #problem #semantics #tool support: Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract) (GA), pp. 3–8.
AIIDE-2016-GunesSAES #approach #using: A Generic Approach for Player Modeling Using Event-Trait Mapping and Feature Weighting (MAG, GS, UA, OE, SS), pp. 169–175.
AIIDE-2016-MarinoL #framework #game studies #generative #platform #symmetry #visual notation: A Computational Model Based on Symmetry for Generating Visually Pleasing Maps of Platform Games (JRHM, LHSL), pp. 65–71.
AIIDE-2016-UriarteO #monte carlo #policy #probability: Improving Monte Carlo Tree Search Policies in StarCraft via Probabilistic Models Learned from Replay Data (AU, SO), pp. 100–106.
CIG-2016-KersjesS #game studies: Modeling believable game characters (HK, PS), pp. 1–8.
CIG-2016-KiourtK #social #using: Using opponent models to train inexperienced synthetic agents in social environments (CK, DK), pp. 1–4.
CIG-2016-SunLSHK #game studies: Modeling player decisions in a supply chain game (YS, CL, SCS, CH, DRK), pp. 1–8.
CIG-2016-TamassiaRSDZH #approach #game studies #markov #online #predict: Predicting player churn in destiny: A Hidden Markov models approach to predicting player departure in a major online game (MT, WLR, RS, AD, FZ, MH), pp. 1–8.
CIG-2016-ViljanenAPH #game studies #mobile: Modelling user retention in mobile games (MV, AA, TP, JH), pp. 1–8.
VS-Games-2016-KonecnySL #approximate #game studies: Procedural Modeling in Archaeology: Approximating Ionic Style Columns for Games (RK, SS, FL), pp. 1–8.
VS-Games-2016-KontogianniKSGC #3d #game studies: Developing and Exploiting 3D Textured Models for a Serious Game Application (GK, CK, MS, AG, CC), pp. 1–4.
CIKM-2016-Bao #predict #process #self: Modeling and Predicting Popularity Dynamics via an Influence-based Self-Excited Hawkes Process (PB), pp. 1897–1900.
CIKM-2016-CaoY #benchmark #dataset #metric #named #network #platform #social: ASNets: A Benchmark Dataset of Aligned Social Networks for Cross-Platform User Modeling (XC, YY0), pp. 1881–1884.
CIKM-2016-ChenNLXA #feedback #recommendation #scalability: Separating-Plane Factorization Models: Scalable Recommendation from One-Class Implicit Feedback (HC, DN, KL, YX, MA), pp. 669–678.
CIKM-2016-DehghaniAKHM #word: Luhn Revisited: Significant Words Language Models (MD0, HA, JK, DH, MM), pp. 1301–1310.
CIKM-2016-GongC #classification #sequence: Model-Based Oversampling for Imbalanced Sequence Classification (ZG, HC), pp. 1009–1018.
CIKM-2016-ManotumruksaMO #recommendation #using: Regularising Factorised Models for Venue Recommendation using Friends and their Comments (JM, CM, IO), pp. 1981–1984.
CIKM-2016-MishraB: Estimating Time Models for News Article Excerpts (AM, KB), pp. 781–790.
CIKM-2016-PiaoB #concept #personalisation #recommendation #twitter: User Modeling on Twitter with WordNet Synsets and DBpedia Concepts for Personalized Recommendations (GP, JGB), pp. 2057–2060.
CIKM-2016-RekabsazLHZ #framework #probability: Generalizing Translation Models in the Probabilistic Relevance Framework (NR, ML, AH, GZ), pp. 711–720.
CIKM-2016-SantuSZ #generative #mining: Generative Feature Language Models for Mining Implicit Features from Customer Reviews (SKKS, PS, CZ), pp. 929–938.
CIKM-2016-SoleimaniM #classification #documentation #multi #topic: Semi-supervised Multi-Label Topic Models for Document Classification and Sentence Labeling (HS, DJM0), pp. 105–114.
CIKM-2016-StojanovicGO: Modeling Customer Engagement from Partial Observations (JS, DG, ZO), pp. 1403–1412.
CIKM-2016-TsukudaHG #order #why: Why Did You Cover That Song?: Modeling N-th Order Derivative Creation with Content Popularity (KT, MH, MG), pp. 2239–2244.
CIKM-2016-ZhangSWQ #online #streaming: Derivative Delay Embedding: Online Modeling of Streaming Time Series (ZZ, YS, WW0, HQ), pp. 969–978.
ECIR-2016-ChenJYYZ #graph #probability #semantics #topic: Probabilistic Topic Modelling with Semantic Graph (LC0, JMJ, HY, FY, HZ), pp. 240–251.
ECIR-2016-IencoRRRT #learning #mining #multi: MultiLingMine 2016: Modeling, Learning and Mining for Cross/Multilinguality (DI, MR, SR, PR, AT), pp. 869–873.
ECIR-2016-TamineS #collaboration #concept #evaluation #information retrieval: Collaborative Information Retrieval: Concepts, Models and Evaluation (LT, LS), pp. 885–888.
ECIR-2016-ValcarcePB16a #collaboration: Language Models for Collaborative Filtering Neighbourhoods (DV, JP, AB), pp. 614–625.
ECIR-2016-YangGSMSMC #ranking: Modeling User Interests for Zero-Query Ranking (LY0, QG, YS, SM, MS, KM, WBC), pp. 171–184.
ECIR-2016-ZhangCW #collaboration #estimation: Implicit Look-Alike Modelling in Display Ads - Transfer Collaborative Filtering to CTR Estimation (WZ0, LC, JW0), pp. 589–601.
ICML-2016-AroraGKMM #algorithm #topic: Provable Algorithms for Inference in Topic Models (SA, RG0, FK, TM, AM), pp. 2859–2867.
ICML-2016-DaiDS: Discriminative Embeddings of Latent Variable Models for Structured Data (HD, BD, LS), pp. 2702–2711.
ICML-2016-ElhoseinyEBE #analysis #categorisation #comparative #estimation #multi: A Comparative Analysis and Study of Multiview CNN Models for Joint Object Categorization and Pose Estimation (ME, TEG, AB, AME), pp. 888–897.
ICML-2016-FriesenD #learning #theorem: The Sum-Product Theorem: A Foundation for Learning Tractable Models (ALF, PMD), pp. 1909–1918.
ICML-2016-GuLSL: Continuous Deep Q-Learning with Model-based Acceleration (SG, TPL, IS, SL), pp. 2829–2838.
ICML-2016-HeB #learning: Opponent Modeling in Deep Reinforcement Learning (HH0, JLBG), pp. 1804–1813.
ICML-2016-HoangHL #distributed #framework #parallel #process: A Distributed Variational Inference Framework for Unifying Parallel Sparse Gaussian Process Regression Models (TNH, QMH, BKHL), pp. 382–391.
ICML-2016-HwangTC #automation #multi #parametricity #relational: Automatic Construction of Nonparametric Relational Regression Models for Multiple Time Series (YH, AT, JC), pp. 3030–3039.
ICML-2016-InouyeRD #dependence #exponential #multi #product line #visual notation: Square Root Graphical Models: Multivariate Generalizations of Univariate Exponential Families that Permit Positive Dependencies (DII, PR, ISD), pp. 2445–2453.
ICML-2016-MaaloeSSW #generative: Auxiliary Deep Generative Models (LM, CKS, SKS, OW), pp. 1445–1453.
ICML-2016-MelnykB: Estimating Structured Vector Autoregressive Models (IM, AB), pp. 830–839.
ICML-2016-PaigeW #monte carlo #network #visual notation: Inference Networks for Sequential Monte Carlo in Graphical Models (BP, FDW), pp. 3040–3049.
ICML-2016-PodosinnikovaBL #multi: Beyond CCA: Moment Matching for Multi-View Models (AP, FRB, SLJ), pp. 458–467.
ICML-2016-RanganathTB: Hierarchical Variational Models (RR, DT, DMB), pp. 324–333.
ICML-2016-RaviIJS #design #linear: Experimental Design on a Budget for Sparse Linear Models and Applications (SNR, VKI, SCJ, VS), pp. 583–592.
ICML-2016-RezendeMDGW #generative: One-Shot Generalization in Deep Generative Models (DJR, SM, ID, KG, DW), pp. 1521–1529.
ICML-2016-ShahBGW #statistics #transitive: Stochastically Transitive Models for Pairwise Comparisons: Statistical and Computational Issues (NBS, SB, AG, MJW), pp. 11–20.
ICML-2016-ShibagakiKHT: Simultaneous Safe Screening of Features and Samples in Doubly Sparse Modeling (AS, MK, KH, IT), pp. 1577–1586.
ICML-2016-SuLCC #learning #statistics #visual notation: Nonlinear Statistical Learning with Truncated Gaussian Graphical Models (QS, XL, CC, LC), pp. 1948–1957.
ICML-2016-VinogradskaBNRS #process: Stability of Controllers for Gaussian Process Forward Models (JV, BB, DNT, AR, HS, JP0), pp. 545–554.
ICML-2016-VojnovicY #estimation #parametricity: Parameter Estimation for Generalized Thurstone Choice Models (MV, SYY), pp. 498–506.
ICML-2016-WangDL #linear: No penalty no tears: Least squares in high-dimensional linear models (XW0, DBD, CL), pp. 1814–1822.
ICML-2016-Weller #visual notation: Uprooting and Rerooting Graphical Models (AW), pp. 21–29.
ICML-2016-XieZX #learning: Diversity-Promoting Bayesian Learning of Latent Variable Models (PX, JZ0, EPX), pp. 59–68.
ICML-2016-ZhaiCLZ #detection #energy: Deep Structured Energy Based Models for Anomaly Detection (SZ, YC, WL, ZZ), pp. 1100–1109.
ICML-2016-ZhangP #feature model #markov: Markov Latent Feature Models (AZ, JWP), pp. 1129–1137.
ICML-2016-ZhaoPX #learning: Learning Mixtures of Plackett-Luce Models (ZZ, PP, LX), pp. 2906–2914.
ICPR-2016-Forstner #learning #semantics: A future for learning semantic models of man-made environments (WF), pp. 2475–2485.
ICPR-2016-GordonL #machine learning: Exposing and modeling underlying mechanisms in ALS with machine learning (JG0, BL), pp. 2168–2173.
ICPR-2016-Guo0WLW #recognition: An attention model based on spatial transformers for scene recognition (SG, LL0, WW0, SL, LW0), pp. 3757–3762.
ICPR-2016-JavedJMB #graph: Motion-Aware Graph Regularized RPCA for background modeling of complex scenes (SJ, SKJ, AM, TB), pp. 120–125.
ICPR-2016-JohnKGNMI #learning #performance #segmentation #using: Fast road scene segmentation using deep learning and scene-based models (VJ, KK, CG, HTN, SM, KI), pp. 3763–3768.
ICPR-2016-KimCLM #3d #invariant #video: Expression invariant 3D face modeling from an RGB-D video (DK, JC, JTL, GGM), pp. 2362–2367.
ICPR-2016-KimKAK #markov #process #recognition: Integrating hidden Markov models based on Mixture-of-Templates and k-NN2 ensemble for activity recognition (YJK, YK, JA, DK0), pp. 1636–1641.
ICPR-2016-KovvuriNS #detection: Segment-based models for event detection and recounting (RK, RN, CGMS), pp. 3868–3873.
ICPR-2016-LeiT #using: Modeling human-skeleton motion patterns using conditional deep Boltzmann machine (PL, ST), pp. 1845–1850.
ICPR-2016-MiyauchiMTMFK #self: Angle- and volume-preserving mapping of organ volume model based on modified Self-organizing Deformable Model (SM, KM, TT, YM, TF, RK), pp. 2204–2209.
ICPR-2016-MurguiaRA #adaptation #architecture #dataset #evaluation #network #parallel: Evaluation of the background modeling method Auto-Adaptive Parallel Neural Network Architecture in the SBMnet dataset (MICM, JARQ, GRA), pp. 137–142.
ICPR-2016-Ohn-BarT #detection #locality #multi: Detection and localization with multi-scale models (EOB, MMT), pp. 1382–1387.
ICPR-2016-QuachDLB #robust: Robust Deep Appearance Models (KGQ, CND, KL, TDB), pp. 390–395.
ICPR-2016-RidiGH: Aggregation procedure of Gaussian Mixture Models for additive features (AR, CG, JH), pp. 2544–2549.
ICPR-2016-StephensB #process #recognition: Human group activity recognition based on modelling moving regions interdependencies (KS, AGB), pp. 2115–2120.
ICPR-2016-SuCHH #detection #image #recognition #symmetry #using: Moment-based symmetry detection for scene modeling and recognition using RGB-D images (JYS, SCC, JWH, THH), pp. 3621–3626.
ICPR-2016-VinhEPBLR #random #robust #using: Training robust models using Random Projection (XVN, SME, SP, JB0, CL, KR), pp. 531–536.
ICPR-2016-VoTPV #classification #detection: Model-based classification and novelty detection for point pattern data (BNV, NQT, DQP, BTV), pp. 2622–2627.
ICPR-2016-WuLZN #re-engineering #using: Model-based face reconstruction using SIFT flow registration and spherical harmonics (FW, SL, TZ, KNN), pp. 1774–1779.
ICPR-2016-ZhangQ #adaptation #agile #network: Rapid feature space MLLR speaker adaptation for deep neural network acoustic modeling (SZ, YQ0), pp. 2889–2894.
ICPR-2016-ZhuangYH #approach #retrieval #scalability #video: DLSTM approach to video modeling with hashing for large-scale video retrieval (NZ, JY0, KAH), pp. 3222–3227.
KDD-2016-0002GOL #predict #scalability: Business Applications of Predictive Modeling at Scale (QZ0, SG, PO, YL), pp. 2139–2140.
KDD-2016-AmoualianCGA #approach #dependence #documentation #named #topic: Streaming-LDA: A Copula-based Approach to Modeling Topic Dependencies in Document Streams (HA, MC, ÉG, MRA), pp. 695–704.
KDD-2016-BorisyukKSZ #documentation #framework #learning #named #query: CaSMoS: A Framework for Learning Candidate Selection Models over Structured Queries and Documents (FB, KK, DS, BZ), pp. 441–450.
KDD-2016-Chayes #estimation #machine learning #network: Graphons and Machine Learning: Modeling and Estimation of Sparse Massive Networks (JTC), p. 1.
KDD-2016-Herbrich #learning #scalability: Learning Sparse Models at Scale (RH), p. 407.
KDD-2016-KhanB #behaviour #predict: Predictors without Borders: Behavioral Modeling of Product Adoption in Three Developing Countries (MRK, JEB), pp. 145–154.
KDD-2016-KimMJO #how #online #word: How to Compete Online for News Audience: Modeling Words that Attract Clicks (JHK, AM, AJ, AHO), pp. 1645–1654.
KDD-2016-KummerfeldR #clustering #metric: Causal Clustering for 1-Factor Measurement Models (EK, JR), pp. 1655–1664.
KDD-2016-LabutovSLLS #data-driven #design #set: Optimally Discriminative Choice Sets in Discrete Choice Models: Application to Data-Driven Test Design (IL, FS, KL, HL, CS), pp. 1665–1674.
KDD-2016-MelnykBMO #detection #markov: Semi-Markov Switching Vector Autoregressive Model-Based Anomaly Detection in Aviation Systems (IM, AB, BLM, NCO), pp. 1065–1074.
KDD-2016-MuZLXWZ: User Identity Linkage by Latent User Space Modelling (XM, FZ0, EPL, JX, JW, ZHZ), pp. 1775–1784.
KDD-2016-NingMRR #learning #multi: Modeling Precursors for Event Forecasting via Nested Multi-Instance Learning (YN, SM, HR, NR), pp. 1095–1104.
KDD-2016-PetitjeanW #learning #scalability #visual notation: Scalable Learning of Graphical Models (FP, GIW), pp. 2131–2132.
KDD-2016-PrakashR #algorithm #data mining #mining: Leveraging Propagation for Data Mining: Models, Algorithms and Applications (BAP, NR), pp. 2133–2134.
KDD-2016-Robles-GrandaMN #generative #network: Sampling of Attributed Networks from Hierarchical Generative Models (PRG, SM, JN), pp. 1155–1164.
KDD-2016-ShanHJWYM #combinator: Deep Crossing: Web-Scale Modeling without Manually Crafted Combinatorial Features (YS, TRH, JJ, HW, DY, JCM), pp. 255–262.
KDD-2016-TrouleauADE #behaviour: Just One More: Modeling Binge Watching Behavior (WT, AA, WD, BE), pp. 1215–1224.
KDD-2016-WanCKHGZ #approach: From Truth Discovery to Trustworthy Opinion Discovery: An Uncertainty-Aware Quantitative Modeling Approach (MW, XC, LMK, JH0, JG0, BZ0), pp. 1885–1894.
KDD-2016-WangCF0E #analysis #topic: Targeted Topic Modeling for Focused Analysis (SW, ZC0, GF, BL0, SE), pp. 1235–1244.
KDD-2016-WangZD #data mining #matrix #mining: Healthcare Data Mining with Matrix Models (FW0, PZ0, JD), pp. 2137–2138.
KDD-2016-ZhangZMCZA #linear #named #predict #scalability: GLMix: Generalized Linear Mixed Models For Large-Scale Response Prediction (XZ, YZ, YM, BCC, LZ, DA), pp. 363–372.
KDD-2016-ZhangZYZHH #named #social #social media #using: GMove: Group-Level Mobility Modeling Using Geo-Tagged Social Media (CZ0, KZ, QY0, LZ, TH, JH0), pp. 1305–1314.
KDD-2016-ZhuZXDX #analysis: Recruitment Market Trend Analysis with Sequential Latent Variable Models (CZ, HZ, HX, PD, FX), pp. 383–392.
KDD-2016-ZuoWZLWXX #perspective #pseudo #topic: Topic Modeling of Short Texts: A Pseudo-Document View (YZ, JW, HZ0, HL, FW, KX0, HX), pp. 2105–2114.
SKY-2016-Gallant #semantics: Modeling Semantics sans Mathematical Formalism (RG), pp. 44–54.
SKY-2016-Martins #assessment #concept #quality: Some Blends Are Better Than Others: Blend Quality Assessment in Computational Models of Concept Blending (PM), p. 5.
BX-2016-GottmannNE0E #multi #towards: Towards the Propagation of Model Updates along different Views in Multi-View Models (SG, NN, CE, FH0, TE0), pp. 45–60.
BX-2016-SemerathDHV #co-evolution #logic #satisfiability #synthesis #using: Change Propagation of View Models by Logic Synthesis using SAT solvers (OS, CD, ÁH0, DV), pp. 40–44.
ECMFA-2016-El-khouryEE #approach #emf #linked data #maintenance #open data: Supporting the Linked Data Approach to Maintain Coherence Across Rich EMF Models (JEk, CE, CE), pp. 36–47.
ECMFA-2016-HinkelDKG #case study #experience: Experiences with Model-Driven Engineering in Neurorobotics (GH, OD, SK, HG), pp. 217–228.
ECMFA-2016-Lopez-Fernandez #generative #visual notation: Example-Based Generation of Graphical Modelling Environments (JJLF, AG, EG, JdL), pp. 101–117.
ECMFA-2016-WangLYAN #automation #framework #named: MBF4CR: A Model-Based Framework for Supporting an Automated Cancer Registry System (SW, HL, TY, SA, JN), pp. 191–204.
ICMT-2016-RoccoRPCLG #atl #collaboration #framework #platform #using: Using ATL Transformation Services in the MDEForge Collaborative Modeling Platform (JDR, DDR, AP, JSC, JdL, EG), pp. 70–78.
ICMT-2016-TrollmannA #graph grammar #multi: Extending Model Synchronization Results from Triple Graph Grammars to Multiple Models (FT, SA), pp. 91–106.
MoDELS-2016-AroraSBZ #approach #domain model #evaluation #industrial #requirements: Extracting domain models from natural-language requirements: approach and industrial evaluation (CA, MS, LCB, FZ), pp. 250–260.
MoDELS-2016-BergmannDRV #bidirectional #collaboration #data access #using: Query-based access control for secure collaborative modeling using bidirectional transformations (GB, CD, IR, DV), pp. 351–361.
MoDELS-2016-Blache #bound #c #development #embedded #safety #using: Handling index-out-of-bounds in safety-critical embedded C code using model-based development (GB), pp. 143–149.
MoDELS-2016-DanielSC #framework #named: PrefetchML: a framework for prefetching and caching models (GD, GS, JC), pp. 318–328.
MoDELS-2016-DasGJBHD #animation #code generation #development #embedded #monitoring #realtime #runtime: Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation (ND, SG, LJ, MB, NH, JD), pp. 36–43.
MoDELS-2016-FalknerSC #performance #predict: Model-driven performance prediction of systems of systems (KEF, CS, VC), p. 44.
MoDELS-2016-FangLDE #automation #industrial #multi #variability: Multi-variability modeling and realization for software derivation in industrial automation management (MF, GL, JD, CE), pp. 2–12.
MoDELS-2016-FontAHC #algorithm #feature model #information retrieval #search-based: Feature location in models through a genetic algorithm driven by information retrieval techniques (JF, LA, ØH, CC), pp. 272–282.
MoDELS-2016-FreundB #algorithm #development: A generic transformation algorithm to simplify the development of mapping models (MF, AB), pp. 284–294.
MoDELS-2016-Garcia-Dominguez #graph #integration #tool support: Integration of a graph-based model indexer in commercial modelling tools (AGD, KB, DSK, MAAdS, AA, AB), pp. 340–350.
MoDELS-2016-GolraBDGG #agile #using: Using free modeling as an agile method for developing domain specific modeling languages (FRG, AB, FD, SG, CG), pp. 24–34.
MoDELS-2016-HeldalPELDW #industrial: Descriptive vs prescriptive models in industry (RH, PP, UE, JL, JD, JW), pp. 216–226.
MoDELS-2016-IvanchikjPS #rest #visual notation: Visual modeling of RESTful conversations with RESTalk (AI, CP, SS), p. 114.
MoDELS-2016-KahaniBDC #analysis #eclipse #problem #tool support #topic: The problems with eclipse modeling tools: a topic analysis of eclipse forums (NK, MB, JD, JRC), pp. 227–237.
MoDELS-2016-KalenkovaALR #mining #process #using: Process mining using BPMN: relating event logs and process models (AAK, WMPvdA, IAL, VAR), p. 123.
MoDELS-2016-KalninsB #metamodelling #visual notation: Metamodel specialization for graphical modeling language support (AK, JB), pp. 103–112.
MoDELS-2016-KargRTL #case study #experience #lessons learnt #re-engineering: Model-driven software engineering in the openETCS project: project experiences and lessons learned (SK, AR, MT, GL), pp. 238–248.
MoDELS-2016-Kuhne #concept #ontology #towards: Unifying explanatory and constructive modeling: towards removing the gulf between ontologies and conceptual models (TK), pp. 95–102.
MoDELS-2016-PrehoferWJ #approach #interactive #multi: A model-based approach for multi-device user interactions (CP, AW, YJ), pp. 13–23.
MoDELS-2016-SemerathDHV #co-evolution #incremental #logic: Incremental backward change propagation of view models by logic solvers (OS, CD, ÁH, DV), pp. 306–316.
MoDELS-2016-SzarnyasKSV #evaluation #graph #metric #multi #towards: Towards the characterization of realistic models: evaluation of multidisciplinary graph metrics (GS, ZK, ÁS, DV), pp. 87–94.
MoDELS-2016-SzvetitsZ #comprehension #design #empirical #runtime #using: Controlled experiment on the comprehension of runtime phenomena using models created at design time (MS, UZ), pp. 151–161.
MoDELS-2016-TuchschererWT #automation #c++ #collaboration: Modern C++ as a modeling language for automated driving and human-robot collaboration (DT, AW, FT), pp. 136–142.
MoDELS-2016-WeiKGBP #xmi: Partial loading of XMI models (RW, DSK, AGD, KB, RFP), pp. 329–339.
OOPSLA-2016-DanLHV #analysis #memory management #programming: Modeling and analysis of remote memory access programming (AMD, PL0, TH, MTV), pp. 129–144.
AdaEurope-2016-BaracchiMPV #development #lessons learnt #towards: Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development (LB, SM, SP, TV), pp. 113–128.
AdaEurope-2016-MohaqeqiAY #analysis #data flow #graph #realtime #using: Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model (MM, JA, WY0), pp. 15–29.
POPL-2016-CurienFM #calculus #formal method: A theory of effects and resources: adjunction models and polarised calculi (PLC, MPF, GMM), pp. 44–56.
POPL-2016-FlurGPSSMDS #architecture #concurrent: Modelling the ARMv8 architecture, operationally: concurrency and ISA (SF, KEG, CP, SS, AS, LM, WD, PS), pp. 608–621.
POPL-2016-KatzEY #predict #using: Estimating types in binaries using predictive modeling (OK, REY, EY), pp. 313–326.
POPL-2016-OcteauJDMB0KT #android #component #probability #static analysis: Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis (DO, SJ, MD, PDM, AB, LL0, JK, YLT), pp. 469–484.
QAPL-2016-BortolussiF: Location Aggregation of Spatial Population CTMC Models (LB, CF), pp. 30–43.
QAPL-2016-VissatHMS #named: MELA: Modelling in Ecology with Location Attributes (LLV, JH, GM, MJS), pp. 82–97.
SAS-2016-SuzanneM #abstract interpretation #array #memory management: From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models (TS, AM), pp. 469–488.
ASE-2016-Babur #analysis #scalability #set #statistics: Statistical analysis of large sets of models (ÖB), pp. 888–891.
ASE-2016-BaekB #android #automation #comparison #multi #testing #user interface #using: Automated model-based Android GUI testing using multi-level GUI comparison criteria (YMB, DHB), pp. 238–249.
ASE-2016-PhamBR #fuzzing: Model-based whitebox fuzzing for program binaries (VTP, MB, AR), pp. 543–553.
ASE-2016-SchwagerlW #collaboration #named #product line #tool support: SuperMod: tool support for collaborative filtered model-driven software product line engineering (FS, BW), pp. 822–827.
ASE-2016-ThakurG16a #domain model #generative #named #specification: AnModeler: a tool for generating domain models from textual specifications (JST, AG), pp. 828–833.
ASE-2016-Tzoref-BrillWM #combinator #testing #visualisation: Visualization of combinatorial models and test plans (RTB, PW, SM), pp. 144–154.
ASE-2016-WangCMT #debugging #detection #n-gram #named: Bugram: bug detection with n-gram language models (SW, DC, DMA, LT), pp. 708–719.
ASE-2016-ZhangJLZGS #design #embedded: Model driven design of heterogeneous synchronous embedded systems (HZ, YJ, HL, HZ, MG, JGS), pp. 774–779.
FSE-2016-HajriGBS #case study #domain model #named #product line: PUMConf: a tool to configure product specific use case and domain models in a product line (IH, AG, LCB, TS), pp. 1008–1012.
FSE-2016-Monteiro #bound #finite #fixpoint #implementation #model checking: Bounded model checking of state-space digital systems: the impact of finite word-length effects on the implementation of fixed-point digital controllers based on state-space modeling (FRM), pp. 1151–1153.
FSE-2016-NejatiS0BM #automation #design #impact analysis #requirements: Automated change impact analysis between SysML models of requirements and design (SN, MS, CA0, LCB, FM), pp. 242–253.
FSE-2016-YangZLZL0XL #fault #predict: Effort-aware just-in-time defect prediction: simple unsupervised models could be better than supervised models (YY, YZ, JL, YZ, HL, LX0, BX, HL), pp. 157–168.
ICSE-2016-AlrajehLKRU #requirements: Risk-driven revision of requirements models (DA, AvL, JK, AR, SU), pp. 855–865.
ICSE-2016-DevroeyPPLSH #analysis #mutation testing: Featured model-based mutation analysis (XD, GP, MP, AL, PYS, PH), pp. 655–666.
ICSE-2016-JeonQFFS #execution #framework #symbolic computation: Synthesizing framework models for symbolic execution (JJ, XQ, JFD, JSF, ASL), pp. 156–167.
ICSE-2016-MatinnejadNBB #automation #generative #testing: Automated test suite generation for time-continuous simulink models (RM, SN, LCB, TB), pp. 595–606.
ICSE-2016-Tantithamthavorn #automation #classification #fault #optimisation #parametricity #predict: Automated parameter optimization of classification techniques for defect prediction models (CT, SM, AEH, KM), pp. 321–332.
GPCE-2016-KowalAT #feature model: Explaining anomalies in feature models (MK, SA, TT), pp. 132–143.
GPCE-2016-ZacharopoulosIS #java: Extensible modeling with managed data in Java (TZ, PI, TvdS), pp. 25–35.
SLE-2016-KuhnBRA #editing #named: FRaMED: full-fledge role modeling editor (TK, KB, SR, UA), pp. 132–136.
SLE-2016-LuoA #c #configuration management #named #programming #semantics #state machine: BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment (ZL, JMA), pp. 105–117.
SLE-2016-MayerhoferWV #nondeterminism: Adding uncertainty and units to quantity types in software models (TM, MW, AV), pp. 118–131.
SLE-2016-MeyersDDV #automation #domain-specific language #testing: Automated testing support for reactive domain-specific modelling languages (BM, JD, ID, HV), pp. 181–194.
SLE-2016-SeyboldDRHGT #case study #emf #experience #runtime: Experiences of models@run-time with EMF and CDO (DS, JD, AR, CBH, FG, AT), pp. 46–56.
ASPLOS-2016-BornholtKLKTW #file system #specification: Specifying and Checking File System Crash-Consistency Models (JB, AK, JL, AK, ET, XW0), pp. 83–98.
CASE-2016-AltSS #distributed: Model-based control of MIMO transport systems with spatially distributed control input (SA, SS, OS), pp. 531–536.
CASE-2016-AndreJT #assembly #reliability #using: Reliable robot assembly using haptic rendering models in combination with particle filters (RA, MJ, UT), pp. 1134–1139.
CASE-2016-AziziTM #navigation: Magnetic Fringe Field Navigation of a guidewire based on Thin Plate Spline modeling (AA, CT, SM), pp. 567–572.
CASE-2016-CampbellTLPOF #approach #concurrent #configuration management #π-calculus: Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach (JC, CET, PL0, TPP, ÜÖ, GEF), pp. 523–530.
CASE-2016-ChuSS #predict #probability #realtime: Stochastic Lagrangian Traffic flow modeling and real-time traffic prediction (KCC, RS, KS), pp. 213–218.
CASE-2016-FilaretovYZGM #3d: Method of combination of three-dimensional models of details with their CAD-models at the presence of deformations (VFF, DAY, AVZ, ASG, ESM), pp. 257–261.
CASE-2016-GaddouriBD #hybrid #network #petri net: Controlled Triangular Batches Petri Nets for hybrid mesoscopic modeling of traffic road networks under VSL control (RG, LB, ID), pp. 427–432.
CASE-2016-KatoSHO #calculus #development #ide #multi: Integrated development environment for the multiple ambient calculus for modeling freight systems (TK, MS, MH, HO), pp. 367–372.
CASE-2016-LangsfeldKKG #learning #online: Robotic bimanual cleaning of deformable objects with online learning of part and tool models (JDL, AMK, KNK, SKG), pp. 626–632.
CASE-2016-RegulinSAV #automation #configuration management #design #knowledge base #multi: Model based design of knowledge bases in multi agent systems for enabling automatic reconfiguration capabilities of material flow modules (DR, DS, TA, BVH), pp. 133–140.
CASE-2016-RonB #identification #industrial #probability: Stochastic modelling and identification of industrial robots (MR, PB), pp. 342–347.
CASE-2016-TinhLCTAA #feedback #mobile: Modeling and feedback linearization control of a nonholonomic wheeled mobile robot with longitudinal, lateral slips (NVT, NTL, PTC, PMT, MNA, NPTA), pp. 996–1001.
CASE-2016-ZhangSZ #multi #statistics: Inferring building occupancy based on statistical modeling of multi-sensor data (BZ, YS, LZ), pp. 809–814.
FASE-2016-BolignanoJS #abstraction #memory management: Modeling and Abstraction of Memory Management in a Hypervisor (PB, TJ, VS), pp. 214–230.
FASE-2016-ChrszonDKB #analysis #probability: Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat (PC, CD, SK, CB), pp. 287–304.
FASE-2016-DuranMA #domain-specific language #model checking #statistics: Statistical Model Checking of e-Motions Domain-Specific Modeling Languages (FD, AMD, JMÁP), pp. 305–322.
FASE-2016-GerholdS #probability #testing: Model-Based Testing of Probabilistic Systems (MG, MS), pp. 251–268.
FASE-2016-LinYJL #clustering #framework #named: ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters (JCL, ICY, EBJ, MCL), pp. 49–65.
FASE-2016-WeckesserLSRS #automation #bound #detection #exclamation #feature model: Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models (MW, ML, TS, BR, AS), pp. 158–175.
CAV-2016-FanQM0D #analysis #automation #hybrid #reachability: Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 (CF, BQ, SM, MV0, PSD), pp. 531–538.
CAV-2016-NgoLJ #named #probability #runtime #verification: PSCV: A Runtime Verification Tool for Probabilistic SystemC Models (VCN, AL, VJ), pp. 84–91.
CAV-2016-PernsteinerLTTW #safety #using: Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers (SP, CL, ET, ZT, XW0, MDE, JJ), pp. 23–41.
CSL-2016-OrtonP #axiom #type system: Axioms for Modelling Cubical Type Theory in a Topos (IO, AMP), p. 19.
CSL-2016-ParysT #logic #λ-calculus: Models of Lambda-Calculus and the Weak MSO Logic (PP, ST), p. 12.
ICST-2016-Al-RefaiGC #adaptation #runtime #testing #validation: Model-Based Regression Test Selection for Validating Runtime Adaptation of Software Systems (MAR, SG, WC), pp. 288–298.
ICST-2016-ArcainiGV #automation #consistency #detection #fault #feature model: Automatic Detection and Removal of Conformance Faults in Feature Models (PA, AG, PV), pp. 102–112.
ICST-2016-BernardinoZR #domain-specific language #named #performance #testing: Canopus: A Domain-Specific Language for Modeling Performance Testing (MB, AFZ, EdMR), pp. 157–167.
ICST-2016-Kowalczyk #behaviour #multi: Modeling App Behavior from Multiple Artifacts (EK), pp. 385–386.
ICST-2016-LiEK #named #testing: Skyfire: Model-Based Testing with Cucumber (NL0, AE, TK), pp. 393–400.
CBSE-2015-KramerLMSB #architecture #component #consistency #contract: Change-Driven Consistency for Component Code, Architectural Models, and Contracts (MEK, ML, DM, SS, EB), pp. 21–26.
ECSA-2015-PahlJ #architecture #formal method #roadmap #towards: Software Architecture for the Cloud — A Roadmap Towards Control-Theoretic, Model-Based Cloud Architecture (CP, PJ), pp. 212–220.
ECSA-2015-PautassoIS #diagrams #rest: Modeling RESTful Conversations with Extended BPMN Choreography Diagrams (CP, AI, SS), pp. 87–94.
ECSA-2015-StierKGR #analysis #architecture #energy #performance: Model-Based Energy Efficiency Analysis of Software Architectures (CS, AK, HG, RHR), pp. 221–238.
ECSA-2015-TahriDP #architecture #deployment #distributed #feature model #smarttech #using: Using Feature Models for Distributed Deployment in Extended Smart Home Architecture (AT, LD, JP), pp. 285–293.
ECSA-2015-TrubianiGE #analysis #architecture #nondeterminism #performance #traceability: Exploiting Traceability Uncertainty Between Software Architectural Models and Performance Analysis Results (CT, AG, AE), pp. 305–321.
QoSA-2015-AlzahraniP #aspect-oriented #fault tolerance #reuse: Modeling Fault Tolerance Tactics with Reusable Aspects (NAMA, DCP), pp. 43–52.
QoSA-2015-ArcelliCFL #adaptation: Control Theory for Model-based Performance-driven Software Adaptation (DA, VC, AF, AL), pp. 11–20.
QoSA-2015-IzurietaRG #quality #technical debt: Preemptive Management of Model Driven Technical Debt for Improving Software Quality (CI, GR, IG), pp. 31–36.
QoSA-2015-Kramer #approach #consistency #generative #multi: A Generative Approach to Change-Driven Consistency in Multi-View Modeling (MEK), pp. 129–134.
QoSA-2015-WuLG #architecture #performance: Exploring Performance Models of Hadoop Applications on Cloud Architecture (XW, YL, IG), pp. 93–101.
WICSA-2015-HauptLP #api #approach #rest: A Conversation Based Approach for Modeling REST APIs (FH, FL, CP), pp. 165–174.
WICSA-2015-ZimmermannWKG #architecture #in the cloud #problem: Architectural Decision Guidance Across Projects — Problem Space Modeling, Decision Backlog Management and Cloud Computing Knowledge (OZ, LW, HK, TG), pp. 85–94.
DocEng-2015-BarabucciBIMM #detection #documentation #visualisation: Document Changes: Modeling, Detection, Storage and Visualization (DChanges 2015) (GB, UMB, ADI, SM, EVM), pp. 227–228.
JCDL-2015-ChoiLWD #library #music #topic: Topic Modeling Users' Interpretations of Songs to Inform Subject Access in Music Digital Libraries (KC, JHL, CW, JSD), pp. 183–186.
JCDL-2015-JayarathnaPS #feedback #multi: Unified Relevance Feedback for Multi-Application User Interest Modeling (SJ, AP, FS), pp. 129–138.
SIGMOD-2015-DongS #challenge: Knowledge Curation and Knowledge Fusion: Challenges, Models and Applications (XLD, DS), pp. 2063–2066.
SIGMOD-2015-HeimelKM #estimation #kernel #multi #self: Self-Tuning, GPU-Accelerated Kernel Density Models for Multidimensional Selectivity Estimation (MH, MK, VM), pp. 1477–1492.
SIGMOD-2015-KumarNP #learning #linear #normalisation: Learning Generalized Linear Models Over Normalized Data (AK, JFN, JMP), pp. 1969–1984.
SIGMOD-2015-SahaSSVMC #framework: Apache Tez: A Unifying Framework for Modeling and Building Data Processing Applications (BS, HS, SS, GV, ACM, CC), pp. 1357–1369.
VLDB-2015-KhanC #graph #nondeterminism #on the #query: On Uncertain Graphs Modeling and Queries (AK, LC), pp. 2042–2053.
EDM-2015-AlHarbiH #automation #segmentation #topic #using: Using Topic Segmentation Models for the Automatic Organisation of MOOCs resources (GA, TH), pp. 524–527.
EDM-2015-Allen #adaptation #difference #effectiveness: Who Do You Think I Am? Modeling Individual Differences for More Adaptive and Effective Instruction (LKA), pp. 659–661.
EDM-2015-AllenM #natural language #student #word: You are your words: Modeling Students' Vocabulary Knowledge with Natural Language Processing Techniques (LKA, DSM), pp. 258–265.
EDM-2015-CastroACH #predict #student: Building Models to Predict Hint-or-Attempt Actions of Students (FEVC, SA, TC, NTH), pp. 476–479.
EDM-2015-ChangHC #approach: Modeling Exercise Relationships in E-Learning: A Unified Approach (HSC, HJH, KTC), pp. 532–535.
EDM-2015-DowellSJGDGVHK #performance #social: Modeling Learners' Social Centrality and Performance through Language and Discourse (ND, OS, SJ, ACG, SD, DG, PdV, TH, VK), pp. 250–257.
EDM-2015-Fancsali #algebra #behaviour #learning #using #visual notation: Confounding Carelessness? Exploring Causal Relationships Between Carelessness, Affect, Behavior, and Learning in Cognitive Tutor Algebra Using Graphical Causal Models (SF), pp. 508–511.
EDM-2015-HuangG0B #evaluation #framework #multi #student: A Framework for Multifaceted Evaluation of Student Models (YH0, JPGB, RK0, PB), pp. 203–210.
EDM-2015-InwegenWAH #predict: The Effect of the Distribution of Predictions of User Models (EVI, YW0, SA, NTH), pp. 620–621.
EDM-2015-KlinglerKSG #on the #performance: On the Performance Characteristics of Latent-Factor and Knowledge Tracing Models (SK, TK, BS, MHG), pp. 37–44.
EDM-2015-MacLellanLK #learning #student: Accounting for Slipping and Other False Negatives in Logistic Models of Student Learning (CJM, RL0, KRK), pp. 53–60.
EDM-2015-MatsudaFBF #automation #data-driven #online #refinement: Machine Beats Experts: Automatic Discovery of Skill Models for Data-Driven Online Courseware Refinement (NM, TF, NB, CF), pp. 101–108.
EDM-2015-Niznan #adaptation #estimation #trade-off: Modeling Speed-Accuracy Tradeoff in Adaptive System for Practicing Estimation (JN), pp. 648–650.
EDM-2015-NiznanPR #estimation #information management #student: Student Models for Prior Knowledge Estimation (JN, RP, JR), pp. 109–116.
EDM-2015-Pelanek #evaluation #metric #student: Metrics for Evaluation of Student Models (RP), p. 19.
EDM-2015-Pelanek15a #adaptation #education #memory management #student: Modeling Students' Memory for Application in Adaptive Educational Systems (RP), pp. 480–483.
EDM-2015-Pelanek15b #learning #question #student: Modeling Student Learning: Binary or Continuous Skill? (RP), pp. 560–561.
EDM-2015-Rihak #adaptation #using: Use of Time Information in Models behind Adaptive Practice System for Building Fluency in Mathematics (JR), pp. 642–644.
EDM-2015-RollinsonB #policy #predict: From Predictive Models to Instructional Policies (JR, EB), pp. 179–186.
EDM-2015-SameiOKNDBG #predict #question: Modeling Classroom Discourse: Do Models of Predicting Dialogic Instruction Properties Generalize across Populations? (BS, AO, SK, MN, SKD, NB, ACG), pp. 444–447.
EDM-2015-Snow #game studies: Dynamic User Modeling within a Game-Based ITS (ELS), pp. 639–641.
EDM-2015-StrechtCSMA #algorithm #case study #classification #comparative #performance #student: A Comparative Study of Regression and Classification Algorithms for Modelling Students' Academic Performance (PS, LC0, CS, JMM, RA), pp. 392–395.
EDM-2015-Streeter #learning: Mixture Modeling of Individual Learning Curves (MJS), pp. 45–52.
EDM-2015-ViePGBB #adaptation #performance #predict #scalability #testing: Predicting Performance on Dichotomous Questions: Comparing Models for Large-Scale Adaptive Testing (JJV, FP, JBG, EB, YB), pp. 618–619.
ICPC-2015-RomanelliML #towards #visual notation: Towards visual reflexion models (MR, AM, ML), pp. 277–280.
ICPC-2015-SaeidiHKJ #analysis #interactive #named #source code #topic: ITMViz: interactive topic modeling for source code analysis (AS, JH, RK, SJ), pp. 295–298.
ICSME-2015-CorleyKK #feature model #topic: Modeling changeset topics for feature location (CSC, KLK, NAK), pp. 71–80.
ICSME-2015-Verebi #approach #refactoring: A model-based approach to software refactoring (IV), pp. 606–609.
MSR-2015-AltingerSDW #dataset #embedded #fault #industrial #novel #predict: A Novel Industry Grade Dataset for Fault Prediction Based on Model-Driven Developed Automotive Embedded Software (HA, SS, YD, FW), pp. 494–497.
MSR-2015-HellendoornDB: Will They Like This? Evaluating Code Contributions with Language Models (VH, PTD, AB), pp. 157–167.
SANER-2015-GarzonAL #development #framework #named #object-oriented: Umple: A framework for Model Driven Development of Object-Oriented Systems (MG, HIA, TCL), pp. 494–498.
SANER-2015-HeroldEBCC #detection: Detection of violation causes in reflexion models (SH, ME, JB, SC, MÓC), pp. 565–569.
SANER-2015-HuSLL #development #evolution #topic #using: Modeling the evolution of development topics using Dynamic Topic Models (JH, XS, DL, BL), pp. 3–12.
SANER-2015-LemmaLM #named: CEL: Touching software modeling in essence (RL, ML, AM), pp. 439–448.
SCAM-2015-RenatusBE #security #using: Improving prioritization of software weaknesses using security models with AVUS (SR, CB, JE), pp. 259–264.
CIAA-2015-Bollig #automaton #concurrent #logic: Automata and Logics for Concurrent Systems: Five Models in Five Pages (BB), pp. 3–12.
DLT-2015-CzybaST #automaton #finite #infinity: Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change (CC, CS, WT), pp. 203–214.
ICALP-v2-2015-LahavV #memory management #reasoning: Owicki-Gries Reasoning for Weak Memory Models (OL, VV), pp. 311–323.
FM-2015-DerrickS #correctness #framework #memory management: A Framework for Correctness Criteria on Weak Memory Models (JD, GS), pp. 178–194.
FM-2015-KuritaIA #documentation #evolution #formal method #mobile: Practices for Formal Models as Documents: Evolution of VDM Application to “Mobile FeliCa” IC Chip Firmware (TK, FI, KA), pp. 593–596.
FM-2015-Lecomte #verification: Formal Virtual Modelling and Data Verification for Supervision Systems (TL), pp. 597–600.
FM-2015-SafilianMD #feature model #formal method #semantics: The Semantics of Cardinality-Based Feature Models via Formal Languages (AS, TSEM, ZD), pp. 453–469.
FM-2015-SchneiderLW #problem #validation: Model-Based Problem Solving for University Timetable Validation and Improvement (DS, ML, TW), pp. 487–495.
RTA-2015-Talcott #execution #formal method #logic: Executable Formal Models in Rewriting Logic (CLT), p. 22.
SEFM-2015-NicolaMPST #interactive #interpreter #twitter: Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter (RDN, AM, MP, AS, FT), pp. 327–343.
SEFM-2015-SavaryFLL #robust #testing #using: Model-Based Robustness Testing in Event-B Using Mutation (AS, MF, ML, JLL), pp. 132–147.
SFM-2015-Alglave #architecture: Modeling of Architectures (JA), pp. 97–145.
TLCA-2015-AtkeyGFRS #morphism #physics #polymorphism: Models for Polymorphism over Physical Dimension (RA, NG, FNF, TR, SS), pp. 45–59.
CEFP-2015-Korecko #design #functional #petri net: Functional Languages in Design of Coloured Petri Nets Models (SK), pp. 161–206.
AIIDE-2015-LimH #approach #behaviour #data-driven: A Data-Driven Approach for Computationally Modeling Players' Avatar Customization Behaviors (CUL, DFH), pp. 135–141.
AIIDE-2015-Martens #generative #interactive #named: Ceptre: A Language for Modeling Generative Interactive Systems (CM), pp. 51–57.
AIIDE-2015-SchwabH #automation #behaviour #generative #towards: Capturing the Essence: Towards the Automated Generation of Transparent Behavior Models (PS, HH), pp. 184–190.
AIIDE-2015-ShakerSA #experience #towards: Towards Generic Models of Player Experience (NS, MS, MAZ), pp. 191–197.
AIIDE-2015-UriarteO #automation #game studies #learning: Automatic Learning of Combat Models for RTS Games (AU, SO), pp. 212–219.
CHI-PLAY-2015-WallnerPHW #approach #game studies: Modeling Routinization in Games: An Information Theory Approach (SW, MP, MH, MW), pp. 727–732.
CIG-2015-KaoH #education #game studies #performance #towards: Toward avatar models to enhance performance and engagement in educational games (DK, DFH), pp. 246–253.
CIG-2015-MizukamiT #monte carlo #simulation: Building a computer Mahjong player based on Monte Carlo simulation and opponent models (NM, YT), pp. 275–283.
FDG-2015-HolmgardLTY #game studies: MiniDungeons 2: An Experimental Game for Capturing and Modeling Player Decisions (CH, AL, JT, GNY).
FDG-2015-LimH #game studies: Developing Computational Models of Players' Identities and Values from Videogame Avatars (CUL, DFH).
FDG-2015-ShakerAS #learning: Active Learning for Player Modeling (NS, MAZ, MS).
FDG-2015-TanenbaumT15a #concept #future of #game studies #smarttech: Envisioning the Future of Wearable Play: Conceptual Models for Props and Costumes as Game Controllers (JGT0, KT).
GaM-2015-ValletKPM #approach #network #social #visual notation: A Visual Analytics Approach to Compare Propagation Models in Social Networks (JV, HK, BP, GM), pp. 65–79.
GCM-2015-BottoniNP #constraints #contract #policy #using: Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling (PB, RN, FPP), pp. 18–33.
ICGT-2015-KwantesGKR #process #towards #verification: Towards Compliance Verification Between Global and Local Process Models (PMK, PVG, JK, AR), pp. 221–236.
CHI-2015-AchibetCLM #3d #interactive #named: THING: Introducing a Tablet-based Interaction Technique for Controlling 3D Hand Models (MA, GC, AL, MM), pp. 317–326.
CHI-2015-BellottiATGDC #motivation #peer-to-peer #using: A Muddle of Models of Motivation for Using Peer-to-Peer Economy Systems (VB, AA, DT, CG, KD, JMC), pp. 1085–1094.
CHI-2015-FowlerPCBOZ #performance #personalisation #type system: Effects of Language Modeling and its Personalization on Touchscreen Typing Performance (AF, KP, CC, XB, TO, SZ), pp. 649–658.
CHI-2015-Mayer0SH: Modeling Distant Pointing for Compensating Systematic Displacements (SM, KW, SS, NH), pp. 4165–4168.
CHI-2015-PengZG #3d #approach #design #named: D-Coil: A Hands-on Approach to Digital 3D Models Design (HP, AZ, FG), pp. 1807–1815.
CHI-2015-ZhangC #policy #predict #social #social media: Modeling Ideology and Predicting Policy Change with Social Media: Case of Same-Sex Marriage (AXZ, SC), pp. 2603–2612.
CSCW-2015-KnowlesRHDBHWW #trust: Models and Patterns of Trust (BK, MR, MH, ND, LB, JH, JW, DW), pp. 328–338.
CSCW-2015-SharmaC #people #resource management: Studying and Modeling the Connection between People’s Preferences and Content Sharing (AS, DC), pp. 1246–1257.
DHM-EH-2015-EndoTM #estimation: Estimation of Arbitrary Human Models from Anthropometric Dimensions (YE, MT, MM), pp. 3–14.
DHM-EH-2015-FuLCZ #simulation: Modeling and Simulating Lifting Task of Below-Knee Amputees (YF, SL, QC, WZ), pp. 134–143.
DHM-EH-2015-GeurtsSKBL #3d #algorithm #comparison #image #segmentation #statistics #visual notation: Visual Comparison of 3D Medical Image Segmentation Algorithms Based on Statistical Shape Models (AG, GS, AK, MB, TvL), pp. 336–344.
DHM-EH-2015-MeryS #requirements #using: Analyzing Requirements Using Environment Modelling (DM, NKS), pp. 345–357.
DHM-EH-2015-PerestreloTNS #framework #platform #simulation: Modeling of a Virtual Open Platform for Human Cranium Simulation (PP, MT, PN, JS), pp. 358–366.
DHM-EH-2015-SinghWLMW #formal method #reasoning #requirements: Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements (NKS, HW, ML, TSEM, AW), pp. 387–398.
DHM-HM-2015-BoringJM #analysis #performance #reliability: Human Performance Modeling for Dynamic Human Reliability Analysis (RLB, JCJ, DM), pp. 223–234.
DHM-HM-2015-FassG #physics #towards: Towards a Theory for Bio — — Cyber Physical Systems Modelling (DF, FG), pp. 245–255.
DUXU-DD-2015-AsthanaS #named #testing #usability #using #xml: Maareech: Usability Testing Tool for Voice Response System Using XML Based User Models (SA, PS), pp. 101–112.
DUXU-IXD-2015-Celi #experience #learning #risk management #user interface: Application of Dashboards and Scorecards for Learning Models IT Risk Management: A User Experience (EC), pp. 153–165.
DUXU-IXD-2015-FioriniFASWRL #3d #education #interactive #simulation #tool support: Three-Dimensional Models and Simulation Tools Enabling Interaction and Immersion in Medical Education (STF, LF, BAdA, JRLdS, HW, ABR, CJPdL), pp. 662–671.
DUXU-UI-2015-WollnerLC #design #framework #process #user interface: Integrating a Cognitive Modelling Framework into the Design Process of Touchscreen User Interfaces (PKAW, PML, PJC), pp. 473–484.
HCI-IT-2015-MurataMF #performance: Effects of Target Shape and Display Location on Pointing Performance by Eye-Gaze Input System — Modeling of Pointing Time by Extended Fitts’ Law (AM, MM, DF), pp. 94–106.
HCI-IT-2015-Yigitbas0E #adaptation #framework #multi #user interface: A Model-Based Framework for Multi-Adaptive Migratory User Interfaces (EY, SS, GE), pp. 563–572.
HIMI-IKC-2015-TakedaHKN #lifecycle #process: Modelling of a Business Process for Alarm Management Lifecycle in Chemical Industries (KT, TH, NK, MN), pp. 579–587.
HIMI-IKD-2015-BurkhardtNGAK #impact analysis #policy #simulation #visualisation: Explorative Visualization of Impact Analysis for Policy Modeling by Bonding Open Government and Simulation Data (DB, KN, EG, AA, JK), pp. 34–45.
HIMI-IKD-2015-GonzalezCB #approach #design #sentiment: Modeling User’s Sentiment in User Segmentations: An Argumentation Approach for User Centered Design (MPG, CIC, RFB), pp. 595–606.
HIMI-IKD-2015-SharmaMMTD #graph: A Team Hiring Solution Based on Graph-Based Modelling of Human Resource Entities (AS, JM, AM, AT, PD), pp. 115–126.
LCT-2015-XueZZ #interactive: Human-Human Interaction Modeling of Trainer (HX, WZ, XZ), pp. 528–534.
SCSM-2015-Sookhanaphibarn #social #social media: User Modeling on Social Media for Art Museums and Galleries (KS, UC, KNN), pp. 89–95.
CAiSE-2015-0001H #adaptation #integration: Integration Adapter Modeling (DR, MH), pp. 468–482.
CAiSE-2015-Batoulis0BDW #logic #process: Extracting Decision Logic from Process Models (KB, AM, EB, GD, MW), pp. 349–366.
CAiSE-2015-EstanolST #process #uml #validation #verification: Verification and Validation of UML Artifact-Centric Business Process Models (ME, MRS, ET), pp. 434–449.
CAiSE-2015-GiacomoDMM #declarative #process: Declarative Process Modeling in BPMN (GDG, MD, FMM, MM), pp. 84–100.
CAiSE-2015-GuarinoG #quote: “We Need to Discuss the Relationship”: Revisiting Relationships as Modeling Constructs (NG, GG), pp. 279–294.
CAiSE-2015-LeopoldMFPSM #automation #process #towards: Towards the Automated Annotation of Process Models (HL, CM, MF, FP, HS, JM), pp. 401–416.
CAiSE-2015-MrasekMB #automation #declarative #generative #process #specification: Automatic Generation of Optimized Process Models from Declarative Specifications (RM, JAM, KB), pp. 382–397.
CAiSE-2015-OrtegaGTRC #outsourcing #process: Modelling Service Level Agreements for Business Process Outsourcing Services (AdRO, AMG, ADT, MR, ARC), pp. 485–500.
CAiSE-2015-YeddulaDR #approach #enterprise #migration: A Model-Driven Approach to Enterprise Data Migration (RRY, PD, SR), pp. 230–243.
ICEIS-v1-2015-ArevaloRC #approach #information management #legacy #process: Discovering Business Models for Software Process Management — An Approach for Integrating Time and Resource Perspectives from Legacy Information Systems (CA, IMR, MJEC), pp. 353–359.
ICEIS-v1-2015-BrodskyL #knowledge base #reuse #towards: Decision Guidance Analytics Language (DGAL) — Toward Reusable Knowledge Base Centric Modeling (AB, JL), pp. 67–78.
ICEIS-v1-2015-FolinoGP #behaviour #on the #process: On the Discovery of Explainable and Accurate Behavioral Models for Complex Lowly-structured Business Processes (FF, MG, LP), pp. 206–217.
ICEIS-v1-2015-MorriHS #multi: Multi-agent Modelling for a Regulation Support System of Public Transport (NM, SEH, LBS), pp. 624–629.
ICEIS-v1-2015-Roos-FrantzBFSF #concept #integration #petri net #simulation #using: Using Petri Nets to Enable the Simulation of Application Integration Solutions Conceptual Models (FRF, MB, RZF, SS, VBF), pp. 87–96.
ICEIS-v1-2015-SautotBJF #clustering #design #multi #refinement: Mixed Driven Refinement Design of Multidimensional Models based on Agglomerative Hierarchical Clustering (LS, SB, LJ, BF), pp. 547–555.
ICEIS-v2-2015-BeraOC #component #identification #representation #variability: Evidence-based SMarty Support for Variability Identification and Representation in Component Models (MHGB, EOJ, TEC), pp. 295–302.
ICEIS-v2-2015-Brant-RibeiroAM #approach #interactive #petri net #using #web: A User-centered Approach for Modeling Web Interactions Using Colored Petri Nets (TBR, RDA, IM, MSS, RGC), pp. 37–48.
ICEIS-v2-2015-BraunE #enterprise #framework: A Generic Framework for Modifying and Extending Enterprise Modeling Languages (RB, WE), pp. 277–286.
ICEIS-v2-2015-CruzMS #process #set: Deriving a Data Model from a Set of Interrelated Business Process Models (EFC, RJM, MYS), pp. 49–59.
ICEIS-v2-2015-CruzMS15a #process #set: Bridging the Gap between a Set of Interrelated Business Process Models and Software Models (EFC, RJM, MYS), pp. 338–345.
ICEIS-v2-2015-GalalE #twitter: Dynamic Modeling of Twitter Users (AG, AEK), pp. 585–593.
ICEIS-v2-2015-GeraldiOCS #empirical #variability: Checklist-based Inspection of SMarty Variability Models — Proposal and Empirical Feasibility Study (RTG, EOJ, TC, IS), pp. 268–276.
ICEIS-v2-2015-LucenaAAAJ #approach: Integrating User Stories and i* Models — A Systematic Approach (ML, CA, FMRA, EA, AJ), pp. 428–438.
ICEIS-v2-2015-MazurKW #data access #on the #performance #security: On the Modelling of the Influence of Access Control Management to the System Security and Performance (KM, BK, AW), pp. 346–354.
ICEIS-v2-2015-MeloFOS #approach #diagrams #process #uml: A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams (MdSM, JMSF, EAOJ, MSS), pp. 92–101.
ICEIS-v2-2015-MoraisS #interface #quality: Assessing the Quality of User-interface Modeling Languages (FM, ARdS), pp. 311–319.
ICEIS-v2-2015-MunizNM #functional #named #statistics #testing: TCG — A Model-based Testing Tool for Functional and Statistical Testing (LLM, USCN, PHMM), pp. 404–411.
ICEIS-v2-2015-SarmientoALS #petri net: Mapping Textual Scenarios to Analyzable Petri-Net Models (ES, EA, JCSdPL, GS), pp. 494–501.
ICEIS-v2-2015-TrinkenreichS #case study #maturity #metric: Metrics to Support It Service Maturity Models — A Case Study (BT, GS), pp. 395–403.
ICEIS-v2-2015-TrinkenreichSB #maturity #metric: Metrics to Support IT Service Maturity Models — A Systematic Mapping Study (BT, GS, MPB), pp. 330–337.
ICEIS-v2-2015-WeissAHK #reuse: Fostering Reuse in Choreography Modeling Through Choreography Fragments (AW, VA, MH, DK), pp. 28–36.
ICEIS-v3-2015-AversanoT #enterprise #overview: A Review of Enterprise Modelling Studies (LA, MT), pp. 346–351.
ICEIS-v3-2015-LopesMBC #case study #design #human-computer #interactive: Evaluating HCI Design with Interaction Modeling and Mockups — A Case Study (AL, ABM, SDJB, TC), pp. 79–87.
ICEIS-v3-2015-SaidCAB #adaptation #named #process #using: BPMN4V — An Extension of BPMN for Modelling Adaptive Processes using Versions (IBS, MAC, EA, RB), pp. 258–267.
ICEIS-v3-2015-SilvaMLFNS #architecture #experience #health #information management #using: An Experience of using SoaML for Modeling a Service-Oriented Architecture for Health Information Systems (FGS, JSSdM, JdSL, JMSF, RPCdN, MSS), pp. 322–327.
ICEIS-v3-2015-Syynimaa #architecture #enterprise: Modelling the Resistance of Enterprise Architecture Adoption — Linking Strategic Level of Enterprise Architecture to Organisational Changes and Change Resistance (NS), pp. 143–153.
ICEIS-v3-2015-VolpentestaF #interactive #smarttech: Modeling NFC-triggered User Interactions with Simple Services in a Smart Environment (APV, NF), pp. 96–104.
CIKM-2015-AletrasLBS #topic: TM 2015 - Topic Models: Post-Processing and Applications Workshop (NA, JHL, TB, MS), pp. 1953–1954.
CIKM-2015-ChenZSW #approach #eye tracking #query #realtime #topic: A Real-Time Eye Tracking Based Query Expansion Approach via Latent Topic Modeling (YC, PZ0, DS0, BW), pp. 1719–1722.
CIKM-2015-GiurgiuBW #configuration management #database #enterprise #relational: Comprehensible Models for Reconfiguring Enterprise Relational Databases to Avoid Incidents (IG, MB, DW), pp. 1371–1380.
CIKM-2015-HeCKC #aspect-oriented #named #recommendation: TriRank: Review-aware Explainable Recommendation by Modeling Aspects (XH0, TC0, MYK, XC0), pp. 1661–1670.
CIKM-2015-LimsopathamMO #documentation #query: Modelling the Usefulness of Document Collections for Query Expansion in Patient Search (NL, CM, IO), pp. 1739–1742.
CIKM-2015-LuMC #cost analysis #on the #proximity: On the Cost of Extracting Proximity Features for Term-Dependency Models (XL0, AM, JSC), pp. 293–302.
CIKM-2015-PuJWHX #keyword #semantics #topic: Topic Modeling in Semantic Space with Keywords (XP, RJ, GW, DH, GRX), pp. 1141–1150.
CIKM-2015-SangLX #framework #microblog #probability: A Probabilistic Framework for Temporal User Modeling on Microblogs (JS, DL, CX), pp. 961–970.
CIKM-2015-TuarobTSR #network #social #using: Modeling Individual-Level Infection Dynamics Using Social Network Information (ST, CST, MS, NR), pp. 1501–1510.
CIKM-2015-WangA #concept #information retrieval #semantics: Concept-Based Relevance Models for Medical and Semantic Information Retrieval (CW, RA), pp. 173–182.
CIKM-2015-WangZZLL #behaviour #dependence #infinity #social #topic: Modeling Infinite Topics on Social Behavior Data with Spatio-temporal Dependence (PW0, PZ0, CZ0, ZL, GL), pp. 1919–1922.
CIKM-2015-YinZSWS #behaviour #recommendation: Joint Modeling of User Check-in Behaviors for Point-of-Interest Recommendation (HY, XZ0, YS, HW0, SWS), pp. 1631–1640.
CIKM-2015-ZhangJRXCY #graph #learning #query: Learning Entity Types from Query Logs via Graph-Based Modeling (JZ, LJ, AR, SX, YC, PSY), pp. 603–612.
CIKM-2015-ZhangXLGXHC #interactive #parametricity #ranking: Modeling Parameter Interactions in Ranking SVM (YZ, JX0, YL, JG, MX, YH, XC), pp. 1799–1802.
CIKM-2015-ZhaoMK #personalisation #recommendation: Improving Latent Factor Models via Personalized Feature Projection for One Class Recommendation (TZ, JJM, IK), pp. 821–830.
ECIR-2015-ChongDL #predict #topic #using: Prediction of Venues in Foursquare Using Flipped Topic Models (WHC, BTD, EPL), pp. 623–634.
ECIR-2015-JameelLB #parametricity #topic #using: Nonparametric Topic Modeling Using Chinese Restaurant Franchise with Buddy Customers (SJ, WL, LB), pp. 648–659.
ECIR-2015-KotovRAR #microblog #retrieval: Geographical Latent Variable Models for Microblog Retrieval (AK, VR, EA, CKR), pp. 635–647.
ECIR-2015-ValcarcePB #case study #recommendation: A Study of Smoothing Methods for Relevance-Based Language Modelling of Recommender Systems (DV, JP, AB), pp. 346–351.
ICML-2015-AllamanisTGW #natural language #source code: Bimodal Modelling of Source Code and Natural Language (MA, DT, ADG, YW), pp. 2123–2132.
ICML-2015-ChenSYU #learning: Learning Deep Structured Models (LCC, AGS, ALY, RU), pp. 1785–1794.
ICML-2015-CortesKMS: Structural Maxent Models (CC, VK, MM, US), pp. 391–399.
ICML-2015-DasBB #order #parametricity: Ordered Stick-Breaking Prior for Sequential MCMC Inference of Bayesian Nonparametric Models (MKD, TB, CB), pp. 550–559.
ICML-2015-DjolongaK #scalability: Scalable Variational Inference in Log-supermodular Models (JD, AK), pp. 1804–1813.
ICML-2015-FouldsKG #framework #network #probability #programming #topic: Latent Topic Networks: A Versatile Probabilistic Programming Framework for Topic Models (JRF, SHK, LG), pp. 777–786.
ICML-2015-GanCHCC #analysis #scalability #topic: Scalable Deep Poisson Factor Analysis for Topic Modeling (ZG, CC, RH, DEC, LC), pp. 1823–1832.
ICML-2015-GeCWG #distributed #process: Distributed Inference for Dirichlet Process Mixture Models (HG, YC, MW, ZG), pp. 2276–2284.
ICML-2015-HallakSMM #learning: Off-policy Model-based Learning under Unknown Factored Dynamics (AH, FS, TAM, SM), pp. 711–719.
ICML-2015-HanXA #consistency #estimation #multi: Consistent estimation of dynamic and multi-layer block models (QH, KSX, EA), pp. 1511–1520.
ICML-2015-HeRFGL #named #network #topic: HawkesTopic: A Joint Model for Network Inference and Topic Modeling from Text-Based Cascades (XH, TR, JRF, LG, YL), pp. 871–880.
ICML-2015-HoangHL #big data #framework #probability #process: A Unifying Framework of Anytime Sparse Gaussian Process Regression Models with Stochastic Variational Inference for Big Data (TNH, QMH, BKHL), pp. 569–578.
ICML-2015-JerniteRS #approach #learning #markov #performance #random: A Fast Variational Approach for Learning Markov Random Field Language Models (YJ, AMR, DS), pp. 2209–2217.
ICML-2015-JiangKS #abstraction #learning: Abstraction Selection in Model-based Reinforcement Learning (NJ, AK, SS), pp. 179–188.
ICML-2015-KandasamySP #optimisation: High Dimensional Bayesian Optimisation and Bandits via Additive Models (KK, JGS, BP), pp. 295–304.
ICML-2015-LiuFFM #relational #scalability: Scalable Model Selection for Large-Scale Factorial Relational Models (CL, LF, RF, YM), pp. 1227–1235.
ICML-2015-MacdonaldHH #process: Controversy in mechanistic modelling with Gaussian processes (BM, CFH, DH), pp. 1539–1547.
ICML-2015-ShethWK: Sparse Variational Inference for Generalized GP Models (RS, YW, RK), pp. 1302–1311.
ICML-2015-SteinhardtL: Reified Context Models (JS, PL), pp. 1043–1052.
ICML-2015-SteinhardtL15a #learning #predict: Learning Fast-Mixing Models for Structured Prediction (JS, PL), pp. 1063–1072.
ICML-2015-SunSK #message passing #visual notation: Message Passing for Collective Graphical Models (TS, DS, AK), pp. 853–861.
ICML-2015-TraskGR #order #scalability #word: Modeling Order in Neural Word Embeddings at Scale (AT, DG, MR), pp. 2266–2275.
ICML-2015-VirtanenG: Ordinal Mixed Membership Models (SV, MG), pp. 588–596.
ICML-2015-WuS #algorithm #learning #online: An Online Learning Algorithm for Bilinear Models (YW, SS), pp. 890–898.
ICML-2015-YenLZRD #approach #process: A Convex Exemplar-based Approach to MAD-Bayes Dirichlet Process Mixture Models (IEHY, XL, KZ, PKR, ISD), pp. 2418–2426.
ICML-2015-YuanHTLC: Non-Gaussian Discriminative Factor Models via the Max-Margin Rank-Likelihood (XY, RH, ET, RL, LC), pp. 1254–1263.
ICML-2015-ZhangP #markov: Markov Mixed Membership Models (AZ, JP), pp. 475–483.
KDD-2015-BarajasA #approach #health: Dynamically Modeling Patient’s Health State from Electronic Medical Records: A Time Series Approach (KLCB, RA), pp. 69–78.
KDD-2015-BeutelAF #behaviour #detection #graph #predict: Graph-Based User Behavior Modeling: From Prediction to Fraud Detection (AB, LA, CF), pp. 2309–2310.
KDD-2015-CaruanaLGKSE #predict: Intelligible Models for HealthCare: Predicting Pneumonia Risk and Hospital 30-day Readmission (RC, YL, JG, PK, MS, NE), pp. 1721–1730.
KDD-2015-CostaYTTF #mining #named #process #social #social media: RSC: Mining and Modeling Temporal Activity in Social Media (AFC, YY, AJMT, CTJ, CF), pp. 269–278.
KDD-2015-DuncanE #probability: Probabilistic Modeling of a Sales Funnel to Prioritize Leads (BAD, CPE), pp. 1751–1758.
KDD-2015-FrenoSJA #ranking #recommendation: One-Pass Ranking Models for Low-Latency Product Recommendations (AF, MS, RJ, CA), pp. 1789–1798.
KDD-2015-FuLPXGZZ #ranking: Real Estate Ranking via Mixed Land-use Latent Models (YF, GL, SP, HX, YG, HZ, CZ), pp. 299–308.
KDD-2015-GabelKS #distributed #monitoring: Monitoring Least Squares Models of Distributed Streams (MG, DK, AS), pp. 319–328.
KDD-2015-Gomez-Rodriguez #machine learning #network #probability #problem #research #social: Diffusion in Social and Information Networks: Research Problems, Probabilistic Models and Machine Learning Methods (MGR, LS), pp. 2315–2316.
KDD-2015-GongSRG: Instance Weighting for Patient-Specific Risk Stratification Models (JJG, TMS, JDR, JVG), pp. 369–378.
KDD-2015-KalyanamMSVL #evolution #social #topic: Leveraging Social Context for Modeling Topic Evolution (JK, AM, DST, HV, GRGL), pp. 517–526.
KDD-2015-LakretzCFR #probability #visual notation: Probabilistic Graphical Models of Dyslexia (YL, GC, NF, MRZ), pp. 1919–1928.
KDD-2015-NoriKYII #multi #predict: Simultaneous Modeling of Multiple Diseases for Mortality Prediction in Acute Hospital Care (NN, HK, KY, HI, YI), pp. 855–864.
KDD-2015-PotashBLMRWRJMG #health #predict: Predictive Modeling for Public Health: Preventing Childhood Lead Poisoning (EP, JB, AL, SM, AR, JW, ER, EJ, RM, RG), pp. 2039–2047.
KDD-2015-RongCM #identification #social #why: Why It Happened: Identifying and Modeling the Reasons of the Happening of Social Events (YR, HC, ZM), pp. 1015–1024.
KDD-2015-Verroios0JG #clustering: Client Clustering for Hiring Modeling in Work Marketplaces (VV, PP, RJ, HGM), pp. 2187–2196.
KDD-2015-WangFM: Trading Interpretability for Accuracy: Oblique Treed Sparse Additive Models (JW, RF, YM), pp. 1245–1254.
KDD-2015-XieDX #documentation #strict: Diversifying Restricted Boltzmann Machine for Document Modeling (PX, YD, EPX), pp. 1315–1324.
KDD-2015-Yang #industrial #internet: User Modeling in Telecommunications and Internet Industry (QY0), p. 1639.
KDD-2015-YanRHC #distributed #learning #optimisation #performance #scalability: Performance Modeling and Scalability Optimization of Distributed Deep Learning Systems (FY, OR, YH, TMC), pp. 1355–1364.
KDD-2015-ZhangKX #contest #image #monitoring #online #topic: Dynamic Topic Modeling for Monitoring Market Competition from Online Text and Image Data (HZ, GK, EPX), pp. 1425–1434.
KDD-2015-ZhangLZSKYJ #analysis #biology #image #learning #multi: Deep Model Based Transfer and Multi-Task Learning for Biological Image Analysis (WZ, RL, TZ, QS, SK, JY, SJ), pp. 1475–1484.
KDD-2015-ZhengYX #composition #linear #topic #using: Linear Time Samplers for Supervised Topic Models using Compositional Proposals (XZ, YY, EPX), pp. 1523–1532.
KDD-2015-ZhiZTGYJH: Modeling Truth Existence in Truth Discovery (SZ, BZ, WT, JG, DY, HJ, JH), pp. 1543–1552.
KDD-2015-ZhuPCZZ #network #social: Modeling User Mobility for Location Promotion in Location-based Social Networks (WYZ, WCP, LJC, KZ, XZ), pp. 1573–1582.
MLDM-2015-RibeiroOFVC: Patient-Specific Modeling of Medical Data (GASR, ACMdO, ALSF, SV, GFC), pp. 415–424.
RecSys-2015-AghdamHMB #adaptation #markov #recommendation #using: Adapting Recommendations to Contextual Changes Using Hierarchical Hidden Markov Models (MHA, NH, BM, RDB), pp. 241–244.
RecSys-2015-Guardia-Sebaoun #performance #recommendation: Latent Trajectory Modeling: A Light and Efficient Way to Introduce Time in Recommender Systems (ÉGS, VG, PG), pp. 281–284.
RecSys-2015-Hidasi: Context-aware Preference Modeling with Factorization (BH), pp. 371–374.
RecSys-2015-MouliC #dependence #feedback: Making the Most of Preference Feedback by Modeling Feature Dependencies (SCM, SC), pp. 285–288.
RecSys-2015-Valcarce #recommendation #statistics: Exploring Statistical Language Models for Recommender Systems (DV), pp. 375–378.
RecSys-2015-ValcarcePB #case study #recommendation: A Study of Priors for Relevance-Based Language Modelling of Recommender Systems (DV, JP, AB), pp. 237–240.
SEKE-2015-AssuncaoFLSV #automaton #generative #markov #named #network #predict #probability: SANGE — Stochastic Automata Networks Generator. A tool to efficiently predict events through structured Markovian models (JA, PF, LL, AS, JMV), pp. 581–584.
SEKE-2015-DingZ #petri net #using: Modeling and Analyzing Publish Subscribe Architcture using Petri Nets (JD, DZ), pp. 589–594.
SEKE-2015-FanYC #adaptation #composition #energy: Modeling and Analyzing Adaptive Energy Consumption for Service Composition (GF, HY, LC), pp. 585–588.
SEKE-2015-KchaouBB #uml: CQV-UML Tool: a tool for managing the impact of change on UML models (DK, NB, HBA), pp. 670–673.
SEKE-2015-ManiPW #co-evolution #performance #using: Exploring SOA Pattern Performance using Coupled Transformations and Performance Models (NM, DCP, CMW), pp. 552–557.
SEKE-2015-QinMDJ #case study #safety: Study on the Accident-causing Model Based on Safety Region and Applications in China Railway Transportation System (YQ, HM, MD, LJ), pp. 528–535.
SEKE-2015-SaharAA #approach #case study #detection #image #prototype: A Case Study Approach: Iterative Prototyping Model Based Detection of Macular Edema in Retinal OCT Images (SS, SA, MUA), pp. 266–271.
SEKE-2015-TerencianiPLC #process #representation #towards #variability: BPMN* — A Notation for Representation of Variability in Business Process Towards Supporting Business Process Line Modeling (MT, DMBP, GL, MIC), pp. 227–230.
SEKE-2015-TunnellA #fault #predict #release planning #using: Using Time Series Models for Defect Prediction in Software Release Planning (JT, JA), pp. 451–454.
SIGIR-2015-AzzopardiZ #retrieval #tutorial #using: Building and Using Models of Information Seeking, Search and Retrieval: Full Day Tutorial (LA, GZ), pp. 1107–1110.
SIGIR-2015-ChuklinMR #information retrieval #tutorial: Advanced Click Models and their Applications to IR: SIGIR 2015 Tutorial (AC, IM, MdR), pp. 1111–1112.
SIGIR-2015-ChuklinMR15a #tutorial #web: An Introduction to Click Models for Web Search: SIGIR 2015 Tutorial (AC, IM, MdR), pp. 1113–1115.
SIGIR-2015-ClarkeSY #behaviour #effectiveness #evaluation #information retrieval: IR Evaluation: Modeling User Behavior for Measuring Effectiveness (CLAC, MDS, EY), pp. 1117–1120.
SIGIR-2015-EickhoffVH #dependence: Modelling Term Dependence with Copulas (CE, APdV, TH), pp. 783–786.
SIGIR-2015-EswaranBP #classification #scalability #topic: Modeling Website Topic Cohesion at Scale to Improve Webpage Classification (DE, PNB, JJPI), pp. 787–790.
SIGIR-2015-KrstovskiSK #analysis #retrieval: Evaluating Retrieval Models through Histogram Analysis (KK, DAS, MJK), pp. 859–862.
SIGIR-2015-LagunA #interactive: Inferring Searcher Attention by Jointly Modeling User Interactions and Content Salience (DL, EA), pp. 483–492.
SIGIR-2015-LiLZS #matrix #multi #retrieval #using: Modeling Multi-query Retrieval Tasks Using Density Matrix Transformation (QL, JL, PZ, DS), pp. 871–874.
SIGIR-2015-OdijkMSR #query: Dynamic Query Modeling for Related Content Finding (DO, EM, IS, MdR), pp. 33–42.
SIGIR-2015-RuotsaloPEGRJMK #interactive #named: SciNet: Interactive Intent Modeling for Information Discovery (TR, JP, MJAE, DG, AR, GJ, PM, SK), pp. 1043–1044.
SIGIR-2015-VolkovsY #effectiveness #feedback #recommendation: Effective Latent Models for Binary Feedback in Recommender Systems (MV, GWY), pp. 313–322.
SIGIR-2015-VulicM #information retrieval #word: Monolingual and Cross-Lingual Information Retrieval Models Based on (Bilingual) Word Embeddings (IV, MFM), pp. 363–372.
SIGIR-2015-WangLWZNM #behaviour: Incorporating Non-sequential Behavior into Click Models (CW, YL, MW, KZ, JYN, SM), pp. 283–292.
SIGIR-2015-YangKML #parametricity #sentiment #topic: Parametric and Non-parametric User-aware Sentiment Topic Models (ZY, AK, AM, SL), pp. 413–422.
SKY-2015-Yagel15a #design: Test Driven Design - The Modeling Aspect (RY), p. 71.
MoDELS-J-2011-BlouinCBB15 #generative #named: Kompren: modeling and generating model slicers (AB, BC, BB, OB), pp. 321–337.
ECMFA-J-2012-LaraGC15 #metamodelling: Model-driven engineering with domain-specific meta-modelling languages (JdL, EG, JSC), pp. 429–459.
ECMFA-J-2012-SelimWCD15 #deployment #industrial #legacy #migration #model transformation: Model transformations for migrating legacy deployment models in the automotive industry (GMKS, SW, JRC, JD), pp. 365–381.
ICMT-J-2012-AtkinsonGT15 #model transformation #multi #transformation language: Enhancing classic transformation languages to support multi-level modeling (CA, RG, CVT), pp. 645–666.
ICMT-J-2012-DemuthLE15 #constraints: Constraint-driven modeling through transformation (AD, RELH, AE), pp. 573–596.
ICMT-J-2012-VarroDWS15 #algorithm #emf #generative #pattern matching: An algorithm for generating model-sensitive search plans for pattern matching on EMF models (GV, FD, MW, AS), pp. 597–621.
AMT-2015-HilkenBGV #development #using: Iterative Development of Transformation Models by Using Classifying Terms (FH, LB, MG, AV), pp. 1–6.
ECMFA-2015-BruneliereGDKHB #lightweight #metamodelling #on the #tool support: On Lightweight Metamodel Extension to Support Modeling Tools Agility (HB, JG, PD, DEK, RH, RB, JC), pp. 62–74.
ECMFA-2015-JahanbanifarKT #approach #integration: A Model-Based Approach for the Integration of Configuration Fragments (AJ, FK, MT), pp. 125–136.
ECMFA-2015-RossiniLGN #comparison #multi: A Comparison of Two-Level and Multi-level Modelling for Cloud-Based Applications (AR, JdL, EG, NN), pp. 18–32.
ECMFA-2015-SafdarIK #empirical #evaluation #tool support #uml: Empirical Evaluation of UML Modeling Tools — A Controlled Experiment (SAS, MZI, MUK), pp. 33–44.
ECMFA-2015-ZolotasMDKP #flexibility #type inference: Type Inference in Flexible Model-Driven Engineering (AZ, NDM, SD, DSK, RFP), pp. 75–91.
ICMT-2015-GetirGBKST #co-evolution #evaluation #framework #multi #named: CoWolf — A Generic Framework for Multi-view Co-evolution and Evaluation of Models (SG, LG, CKB, VK, TS, MT), pp. 34–40.
ICMT-2015-HilkenNGW #concept #ocl #uml #validation #verification: From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification (FH, PN, MG, RW), pp. 149–165.
ICMT-2015-MooijEHW #effectiveness #industrial #using: Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models (AJM, GE, JH, HvW), pp. 66–81.
ICMT-2015-TrollmannA #graph grammar #model transformation #multi: Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models (FT, SA), pp. 214–229.
MoDELS-2015-AhmarGDP #communication #uml #visual notation: Enhancing the communication value of UML models with graphical layers (YEA, SG, CD, XLP), pp. 64–69.
MoDELS-2015-AtkinsonGK15a #approach #multi: A unifying approach to connections for multi-level modeling (CA, RG, TK), pp. 216–225.
MoDELS-2015-Easterbrook #question: Modelling the climate system: Is model-based science like model-based engineering? (SME), p. 1.
MoDELS-2015-FoucheNGE #diagrams #generative #standard #tool support: Systematic generation of standard compliant tool support of diagrammatic modeling languages (AF, FN, SG, ME), pp. 348–357.
MoDELS-2015-HajriGBS #approach #case study #embedded #industrial #lessons learnt #product line: Applying product line Use case modeling in an industrial automotive embedded system: Lessons learned and a refined approach (IH, AG, LCB, TS), pp. 338–347.
MoDELS-2015-HartmannMFNKT #distributed #peer-to-peer #runtime: Stream my models: Reactive peer-to-peer distributed models@run.time (TH, AM, FF, GN, JK, YLT), pp. 80–89.
MoDELS-2015-IftikharIKM #approach #automation #framework #game studies #platform #testing: An automated model based testing approach for platform games (SI, MZI, MUK, WM), pp. 426–435.
MoDELS-2015-KetataMFLC #migration #performance #predict: Performance prediction upon toolchain migration in model-based software (AK, CM, SF, JHL, KC), pp. 302–311.
MoDELS-2015-KrikavaRS #framework #resource management #runtime #towards: Infrastructure as runtime models: Towards Model-Driven resource management (FK, RR, LS), pp. 100–105.
MoDELS-2015-KuselEKRSS #co-evolution #consistency: Consistent co-evolution of models and transformations (AK, JE, EK, WR, WS, JS), pp. 116–125.
MoDELS-2015-LaraGC #type system: A-posteriori typing for Model-Driven Engineering (JdL, EG, JSC), pp. 156–165.
MoDELS-2015-LeemansA #distributed #mining #process #transaction: Process mining in software systems: Discovering real-life business transactions and process models from distributed systems (ML, WMPvdA), pp. 44–53.
MoDELS-2015-LettnerEGP #case study #experience #feature model #industrial #lessons learnt #scalability: Feature modeling of two large-scale industrial software systems: Experiences and lessons learned (DL, KE, PG, HP), pp. 386–395.
MoDELS-2015-LuddeckeSSS #network #using: Modeling user intentions for in-car infotainment systems using Bayesian networks (DL, CS, JS, IS), pp. 378–385.
MoDELS-2015-Moawad0FNKT #performance: Beyond discrete modeling: A continuous and efficient model for IoT (AM, TH, FF, GN, JK, YLT), pp. 90–99.
MoDELS-2015-MontaghamiR #debugging #declarative: Pattern-based debugging of declarative models (VM, DR), pp. 322–327.
MoDELS-2015-PescadorGGCL #development #domain-specific language: Pattern-based development of Domain-Specific Modelling Languages (AP, AG, EG, JSC, JdL), pp. 166–175.
MoDELS-2015-PrzigodaHWPD #behaviour #concurrent #ocl #uml: Checking concurrent behavior in UML/OCL models (NP, CH, RW, JP, RD), pp. 176–185.
MoDELS-2015-S #challenge #named #smarttech: Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (RS), p. 3.
MoDELS-2015-SandenRGBJVS #composition #design: Modular model-based supervisory controller design for wafer logistics in lithography machines (BvdS, MAR, MG, TB, JJ, JV, RRHS), pp. 416–425.
MoDELS-2015-SchottleK #api #reuse #using: Concern-oriented interfaces for model-based reuse of APIs (MS, JK), pp. 286–291.
MoDELS-2015-SimmondsPBS #evolution #megamodelling #process: A megamodel for Software Process Line modeling and evolution (JS, DP, MCB, LS), pp. 406–415.
MoDELS-2015-SoltanaSSB #framework #policy #probability #simulation: A model-based framework for probabilistic simulation of legal policies (GS, NS, MS, LCB), pp. 70–79.
MoDELS-2015-SunkleKK #case study: Model-driven regulatory compliance: A case study of “Know Your Customer” regulations (SS, DK, VK), pp. 436–445.
MoDELS-2015-SzvetitsZ #reuse #runtime: Reusable event types for models at runtime to support the examination of runtime phenomena (MS, UZ), pp. 4–13.
SPLC-2015-BecanBGA #feature model #synthesis: Synthesis of attributed feature models from product descriptions (GB, RB, AG, MA), pp. 1–10.
SPLC-2015-BeekLLV #analysis #constraints #probability #product line #statistics: Statistical analysis of probabilistic models of software product lines with quantitative constraints (MHtB, AL, ALL, AV), pp. 11–15.
SPLC-2015-Beuche #feature model #variability: Managing variability with feature models (DB), p. 386.
SPLC-2015-ChavarriagaRNCJ #case study #configuration management #experience #feature model #multi #using: Using multiple feature models to specify configuration options for electrical transformers: an experience report (JC, CR, CN, RC, VJ), pp. 216–224.
SPLC-2015-DomisAB #analysis #safety #tool support #uml #using #variability: Integrating variability and safety analysis models using commercial UML-based tools (DD, RA, MB), pp. 225–234.
SPLC-2015-FangLDEZ #automation #industrial #towards: Towards model-based derivation of systems in the industrial automation domain (MF, GL, JD, CE, JZ), pp. 283–292.
SPLC-2015-GaetaC #product line: Modeling aerospace systems product lines in SysML (JPG, KC), pp. 293–302.
SPLC-2015-LiangGCR #analysis #feature model #satisfiability #scalability: SAT-based analysis of large real-world feature models is easy (JH(L, VG, KC, VR), pp. 91–100.
SPLC-2015-MontalvilloD #branch #development #git #repository: Tuning GitHub for SPL development: branching models & repository operations for product engineers (LM, OD), pp. 111–120.
SPLC-2015-RumpeSWRM #behaviour #evolution #maintenance #product line: Behavioral compatibility of simulink models for product line maintenance and evolution (BR, CS, MvW, JOR, PM), pp. 141–150.
SPLC-2015-SoutoGdMKB #debugging #detection #feature model #performance #product line: Faster bug detection for software product lines with incomplete feature models (SS, DG, Md, DM, SK, DSB), pp. 151–160.
SPLC-2015-TraskR #architecture #product line: Leveraging model driven engineering in software product line architectures (BT, AR), p. 392.
AdaEurope-2015-BaldovinZNP #development: The CONCERTO Methodology for Model-Based Development of Avionics Software (AB, AZ, GN, SP), pp. 131–145.
PLDI-2015-ZhangKW #memory management #partial order #reduction: Dynamic partial order reduction for relaxed memory models (NZ, MK, CW), pp. 250–259.
PPDP-2015-BartakDZ #logic programming #on the #problem: On modeling planning problems in tabled logic programming (RB, AD, NFZ), pp. 31–42.
QAPL-2015-BortolussiH #markov #performance: Efficient Checking of Individual Rewards Properties in Markov Population Models (LB, JH), pp. 32–47.
REFSQ-2015-CanchiD #functional #interactive #requirements: Functional Requirements Modelling for Interactive TV Applications (SC, JED), pp. 254–261.
REFSQ-2015-GharibG #quality #reasoning #requirements: Modeling and Reasoning About Information Quality Requirements (MG, PG), pp. 49–64.
REFSQ-2015-OliinykPSBS #case study #evaluation #feature model #industrial #metric: Metrics for the Evaluation of Feature Models in an Industrial Context: A Case Study at Opel (OO, KP, MS, MB, SS), pp. 33–48.
ASE-2015-ArthoSGCKMRY #api #testing: Model-Based Testing of Stateful APIs with Modbat (CA, MS, QG, EHC, TK, AM, RR, YY), pp. 858–863.
ASE-2015-GerasimouTC #probability #re-engineering #search-based #synthesis: Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T) (SG, GT, RC), pp. 319–330.
ASE-2015-KowalTTS #parametricity #performance #scalability #variability: Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T) (MK, MT, MT, IS), pp. 407–417.
ASE-2015-MartinezZBKT #automation #product line: Automating the Extraction of Model-Based Software Product Lines from Model Variants (T) (JM, TZ, TFB, JK, YLT), pp. 396–406.
ASE-2015-NardoPAB #robust #testing #using: Evolutionary Robustness Testing of Data Processing Systems Using Models and Data Mutation (T) (DDN, FP, AA, LCB), pp. 126–137.
ASE-2015-ParkWJR #javascript #static analysis #web: Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling (T) (CP, SW, JJ, SR), pp. 552–562.
ASE-2015-PietschKKRO #framework #named #product line: SiPL — A Delta-Based Modeling Framework for Software Product Line Engineering (CP, TK, UK, DR, MO), pp. 852–857.
ASE-2015-PohlmannH: Model-Driven Allocation Engineering (T) (UP, MH), pp. 374–384.
ASE-2015-Sutii #composition #named: MetaMod: A Modeling Formalism with Modularity at Its Core (AMS), pp. 890–893.
ASE-2015-YouRHKKS #implementation #platform #testing: Executing Model-Based Tests on Platform-Specific Implementations (T) (DY, SR, MPEH, JK, BK, OS), pp. 418–428.
ESEC-FSE-2015-ArcainiGR #composition #generative #testing: Improving model-based test generation by model decomposition (PA, AG, ER), pp. 119–130.
ESEC-FSE-2015-DakaCFDW #readability #testing: Modeling readability to improve unit tests (ED, JC, GF, JD, WW), pp. 107–118.
ESEC-FSE-2015-HeuleSC #named: Mimic: computing models for opaque code (SH, MS, SC), pp. 710–720.
ESEC-FSE-2015-NguyenGA #case study #rule-based: Rule-based extraction of goal-use case models from text (THN, JCG, MA), pp. 591–601.
ESEC-FSE-2015-Olajubu #domain-specific language: A textual domain specific language for requirement modelling (OO), pp. 1060–1062.
ESEC-FSE-2015-SiegmundGAK #configuration management: Performance-influence models for highly configurable systems (NS, AG, SA, CK), pp. 284–294.
ICSE-v1-2015-FilieriGL #adaptation #learning #lightweight #performance #probability: Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models (AF, LG, AL), pp. 200–211.
ICSE-v1-2015-GhotraMH #classification #fault #performance #predict: Revisiting the Impact of Classification Techniques on the Performance of Defect Prediction Models (BG, SM, AEH), pp. 789–800.
ICSE-v1-2015-Tantithamthavorn #fault #performance #predict: The Impact of Mislabelling on the Performance and Interpretation of Defect Prediction Models (CT, SM, AEH, AI, KiM), pp. 812–823.
ICSE-v2-2015-BaoLXWZ #behaviour #developer #interactive #named #using #video: scvRipper: Video Scraping Tool for Modeling Developers’ Behavior Using Interaction Data (LB, JL, ZX, XW, BZ), pp. 673–676.
ICSE-v2-2015-DixitLW #effectiveness #integration #named #testing: FormTester: Effective Integration of Model-Based and Manually Specified Test Cases (RD, CL, GW), pp. 745–748.
ICSE-v2-2015-EtienneMAD #performance #predict #process #proving #trust: Improving Predictability, Efficiency and Trust of Model-Based Proof Activity (JFÉ, MM, FA, VD), pp. 139–148.
ICSE-v2-2015-FranksTDH #named: CACHECA: A Cache Language Model Based Code Suggestion Tool (CF, ZT, PTD, VH), pp. 705–708.
ICSE-v2-2015-Hachem #analysis #architecture #data access #towards: Towards Model Driven Architecture and Analysis of System of Systems Access Control (JEH), pp. 867–870.
ICSE-v2-2015-Kallehbasti #scalability #uml #verification: Scalable Formal Verification of UML Models (MMPK), pp. 847–850.
ICSE-v2-2015-KlasBDSH #analysis #evaluation #scalability #testing: A Large-Scale Technology Evaluation Study: Effects of Model-based Analysis and Testing (MK, TB, AD, TS, PH), pp. 119–128.
ICSE-v2-2015-LindvallGAW #case study #experience #testing: Metamorphic Model-Based Testing Applied on NASA DAT — An Experience Report (ML, DG, RA, REW), pp. 129–138.
ICSE-v2-2015-Ouriques #testing: Strategies for Prioritizing Test Cases Generated Through Model-Based Testing Approaches (JFSO), pp. 879–882.
ICSE-v2-2015-TannoZHS #automation #enterprise #generative #testing #tool support: TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications (HT, XZ, TH, KS), pp. 717–720.
SAC-2015-AldeaIHQBF: Modelling strategy with ArchiMate (AA, MEI, JvH, DACQ, LB, HMF), pp. 1211–1218.
SAC-2015-CamaraHJJ #graph #persuasion #recommendation #social #using: Using graph-based models in a persuasive social recommendation system (JPC, SH, JJ, VJ), pp. 189–194.
SAC-2015-CordobaL #design #effectiveness #java: A modelling language for the effective design of Java annotations (IC, JdL), pp. 2087–2092.
SAC-2015-CostaCFR #diagrams #precise #uml: From UML diagrams to simulink models: a precise and verified translation (AC, SAdCC, LF, LR), pp. 1547–1552.
SAC-2015-DermoucheKVL #sentiment #topic: A joint model for topic-sentiment modeling from text (MD, LK, JV, SL), pp. 819–824.
SAC-2015-GassaraRJ #approach #architecture #deployment #multi: A multi-scale modeling approach for software architecture deployment (AG, IBR, MJ), pp. 1405–1410.
SAC-2015-Grossl #network: Modeling dependable systems with continuous time Bayesian networks (MG), pp. 436–441.
SAC-2015-Homm0G #concurrent #markov #statistics #testing: Concurrent streams in Markov chain usage models for statistical testing of complex systems (DH, JE, RG), pp. 1803–1807.
SAC-2015-JoshiSIY #architecture #behaviour #design #embedded #functional: Mapping functional behavior onto architectural model in a model driven embedded system design (PJ, SKS, JPT, HY), pp. 1624–1630.
SAC-2015-KhlifKKD #approach #architecture #multi #towards: Towards a multi-scale modeling approach for software architectures (IK, MHK, AHK, KD), pp. 1468–1470.
SAC-2015-MeftehBB #approach #case study #diagrams #evaluation #feature model #implementation #uml: Implementation and evaluation of an approach for extracting feature models from documented UML use case diagrams (MM, NB, HBA), pp. 1602–1609.
SAC-2015-Morelli #automation #generative: Automated generation of robotics applications from simulink and SysML models (MM), pp. 1948–1954.
SAC-2015-NonnenmacherOBV #process: Modelling consumers decision-making process about excluding products as a result of mutual influence (VN, LPLdO, BEJB, MBV), pp. 1123–1128.
SAC-2015-RiccobeneS #adaptation #formal method #self: Formal modeling self-adaptive service-oriented applications (ER, PS), pp. 1704–1710.
SAC-2015-SanchezJ #interactive #music #testing: Model based testing of an interactive music system (CPS, FJ), pp. 1759–1764.
SAC-2015-SantiagoPH #approach #detection: A modeling approach for credit card fraud detection in electronic payment services (GPS, AMP, RHJ), pp. 2328–2331.
SAC-2015-Soares0W #approach #named #recognition #requirements #speech: VoiceToModel: an approach to generate requirements models from speech recognition mechanisms (FS, JA, FW), pp. 1350–1357.
SAC-2015-TambeN #behaviour #game studies #resource management #robust #security: Robust resource allocation in security games and ensemble modeling of adversary behavior (AT, TN), pp. 277–282.
SAC-2015-Valverde-Rebaza #naive bayes #network #online #predict #social: A naïve Bayes model based on ovelapping groups for link prediction in online social networks (JCVR, AV, LB, TdPF, AdAL), pp. 1136–1141.
SAC-2015-VilelaCPSCL #behaviour: Deriving the behavior of context-sensitive systems from contextual goal models (JV, JBdC, JP, MS, PC, ML), pp. 1397–1400.
GPCE-2015-FontAHC #metamodelling #product line: Addressing metamodel revisions in model-based software product lines (JF, LA, ØH, CC), pp. 161–170.
GPCE-2015-NogueraJ #query: Model querying with query models (CN, VJ), pp. 181–184.
SLE-2015-LatombeCCDP #concurrent #domain-specific language #execution #weaving: Weaving concurrency in executable domain-specific modeling languages (FL, XC, BC, JD, MP), pp. 125–136.
SLE-2015-OchoaRT #feature model #using: Using decision rules for solving conflicts in extended feature models (LO, OGR, TT), pp. 149–160.
SLE-2015-UmuhozaBRC #empirical #process: An empirical study on simplification of business process modeling languages (EU, MB, DR, JC), pp. 13–24.
ASPLOS-2015-MishraZLH #approach #constraints #energy #performance #probability #visual notation: A Probabilistic Graphical Model-based Approach for Minimizing Energy Under Performance Constraints (NM, HZ, JDL, HH), pp. 267–281.
CASE-2015-BaeM #markov #multi #random: Markovian modeling of multiclass deterministic flow lines with random arrivals: The case of a single-channel (SYB, JRM), pp. 649–654.
CASE-2015-BasileCC #identification #petri net #realtime: Real time identification of Time Petri net faulty models (FB, PC, JC), pp. 280–285.
CASE-2015-CarmenateRLBM #analysis #approach #behaviour #energy #using: Modeling and analyzing occupant behaviors in building energy analysis using an information space approach (TC, MMR, DL, LB, AM), pp. 425–431.
CASE-2015-ChengTLCH #algorithm #network #optimisation: Modeling and optimizing tensile strength and yield point on steel bar by artificial neural network with evolutionary algorithm (CKC, JTT, TTL, JHC, KSH), pp. 1562–1563.
CASE-2015-David-HenrietRH #constraints: Modeling and control for (max, +)-linear systems with set-based constraints (XDH, JR, LH, BC), pp. 1369–1374.
CASE-2015-HaufMPF #energy: Energy consumption modeling within the virtual commissioning tool chain (DH, DM, P, JF), pp. 1357–1362.
CASE-2015-HuangCZ: Interval model based human welder’s movement control in machine assisted manual GTAW torch operation (NH, SC, YZ), pp. 395–400.
CASE-2015-JiangDZZ #formal method #mobile #verification: Formal modeling and verification of secure mobile agent systems (MJ, ZD, MZ, YZ), pp. 545–550.
CASE-2015-KanY #image #monitoring #network: Network models for monitoring high-dimensional image profiles (CK, HY), pp. 1078–1083.
CASE-2015-KloetzerM #multi #petri net: Accomplish multi-robot tasks via Petri net models (MK, CM), pp. 304–309.
CASE-2015-LaskeyMMPPBKAG #2d #multi #nondeterminism: Multi-armed bandit models for 2D grasp planning with uncertainty (ML, JM, ZM, FTP, SP, JPvdB, DK, PA, KG), pp. 572–579.
CASE-2015-LinSPV #order: A SysML profile supporting change orders in model driven engineering (HYL, SS, NP, VV), pp. 1054–1059.
CASE-2015-LiuY #predict #self: A self-organizing method for predictive modeling with highly-redundant variables (GL, HY), pp. 1084–1089.
CASE-2015-LiuZ #adaptation #human-computer #predict #process: Adaptive predictive ANFIS based human arm movement modeling and control in machine-human cooperative GTAW process (YL, YZ), pp. 1465–1470.
CASE-2015-LuanH #3d #geometry #predict: Predictive modeling of in-plane geometric deviation for 3D printed freeform products (HL, QH), pp. 912–917.
CASE-2015-LuoCCOLL #fault #geometry #locality: Enhancement of weld coverage and localization of defect through geometrical modeling for ultrasound inspection of TKY weld (HL, QHC, WSC, ETO, WJL, WL), pp. 1484–1489.
CASE-2015-LuoZHZ #synthesis: Discrete-event controller synthesis based on state space models (JL, QZ, YSH, MZ), pp. 87–92.
CASE-2015-LuTZ #assessment #design #estimation #industrial: Model-based temperature estimation methods in design of industrial manipulator and their assessment (QL, GT, JZ), pp. 1242–1248.
CASE-2015-MoradUHCPV #flexibility: Modelling and control of a water jet cutting probe for flexible surgical robot (SM, CU, PH, JC, KP, RV), pp. 1159–1164.
CASE-2015-NguyenWKLH #geometry #predict: Predictive models for the geometrical characteristics of channels milled by abrasive waterjet (TDN, JW, NMK, HL, QPH), pp. 1459–1464.
CASE-2015-QiuZL: Visible light communication-based indoor environment modeling and metric-free path planning (KQ, FZ, ML), pp. 200–205.
CASE-2015-ReisgenLMBW #process #quality: Process control of gas metal arc welding processes by optical weld pool observation with combined quality models (UR, PL, SM, GB, KW), pp. 407–410.
CASE-2015-SabbaghiHD #3d #quality: Bayesian additive modeling for quality control of 3D printed products (AS, QH, TD), pp. 906–911.
CASE-2015-Schwung #automaton #cyber-physical #hybrid #using: Cyber-physical modeling of compression systems using hybrid automata (AS), pp. 1125–1130.
CASE-2015-SikstromCL #case study #feedback: Model based feedback control of gas tungsten arc welding — An experimental study (FS, AKC, BL), pp. 411–416.
CASE-2015-SongLBKNSSC #cyber-physical #industrial #integration #process: Model-based cyber-physical system integration in the process industry (ZS, PL, RB, WK, SN, SS, LS, AC), pp. 1012–1017.
CASE-2015-SrinivasanBSSR #automation #machine learning #network #using: Modelling time-varying delays in networked automation systems with heterogeneous networks using machine learning techniques (SS, FB, GS, BS, SR), pp. 362–368.
CASE-2015-SundarkumarRNG #api #detection #machine learning #topic: Malware detection via API calls, topic models and machine learning (GGS, VR, IN, VG), pp. 1212–1217.
CASE-2015-TsaiCLT: Dynamic modeling and vibration suppression of the feed drive system (MST, SJC, CCL, PYT), pp. 106–110.
CASE-2015-UeharaHK #petri net: Mesoscopic modeling of airport surface by object Petri nets (KU, KH, KK), pp. 298–303.
CASE-2015-WangZ #predict #simulation: A prediction method for interior temperature of grain storage via dynamics models: A simulation study (DW, XZ), pp. 1477–1483.
CASE-2015-YeCC #energy #overview #simulation: Metal-based addictive manufacturing: A literature review on modeling, simulation and energy consumption (QY, SC, QC), pp. 218–224.
CASE-2015-ZhongLBM #analysis: Modeling and analysis of e-visits in primary care (XZ, JL, PAB, AJM), pp. 955–960.
CASE-2015-ZhuQZ #clustering #multi #petri net #scheduling #tool support: Petri net modeling and one-wafer scheduling of single-arm tree-like multi-cluster tools (QZ, YQ, MZ), pp. 292–297.
CGO-2015-KimHSLH #architecture #concurrent #cpu #programming #scheduling #thread: Locality-centric thread scheduling for bulk-synchronous programming models on CPU architectures (HSK, IEH, JAS, SSL, WmWH), pp. 257–268.
DAC-2015-BalajiFDGA #abstraction #architecture #cyber-physical: Models, abstractions, and architectures: the missing links in cyber-physical systems (BB, MAAF, NDD, RKG, YA), p. 6.
DAC-2015-BockHKS #algorithm: Local search algorithms for timing-driven placement under arbitrary delay models (AB, SH, NK, US), p. 6.
DAC-2015-BuiniPG #automation #cyber-physical #design #physics #variability: Including variability of physical models into the design automation of cyber-physical systems (HMB, SP, TG), p. 6.
DAC-2015-ChaariENTK #approach #safety: A model-based and simulation-assisted FMEDA approach for safety-relevant E/E systems (MC, WE, CN, BAT, TK), p. 6.
DAC-2015-ChenTSHK #analysis #multi #reliability: Interconnect reliability modeling and analysis for multi-branch interconnect trees (HBC, SXDT, VS, XH, TK), p. 6.
DAC-2015-KagalwallaG #effectiveness #reduction: Effective model-based mask fracturing for mask cost reduction (AAK, PG), p. 6.
DAC-2015-KrishnaNRT #analysis #composition #product line: Compositional modeling and analysis of automotive feature product lines (SNK, GKN, SR, AT), p. 6.
DAC-2015-NishimiyaSS #evaluation #functional #interface #mockup #network: Evaluation of functional mock-up interface for vehicle power network modeling (KN, TS, SS), p. 6.
DAC-2015-PetersWPKD #constraints #representation #uml: A generic representation of CCSL time constraints for UML/MARTE models (JP, RW, NP, UK, RD), p. 6.
DAC-2015-PetrenkoTR #challenge #testing: Model-based testing of automotive software: some challenges and solutions (AP, ONT, SR), p. 6.
DAC-2015-XuLP #adaptation #physics #statistics #using: Adaptive characterization and emulation of delay-based physical unclonable functions using statistical models (TX, DL, MP), p. 6.
DAC-2015-YuJTSS #challenge #integration: The challenge of interoperability: model-based integration for automotive control software (HY, PJ, JPT, SKS, SS), p. 6.
DATE-2015-AndradeMVAPL #analysis #data flow: Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation (LA, TM, AV, CBA, FP, MML), pp. 1671–1676.
DATE-2015-BiondiB #analysis: Engine control: task modeling and analysis (AB, GCB), pp. 525–530.
DATE-2015-BurnsSY #synthesis #verification: GALS synthesis and verification for xMAS models (FPB, DS, AY), pp. 1419–1424.
DATE-2015-ChangD #analysis #model checking #using: May-happen-in-parallel analysis of ESL models using UPPAAL model checking (CWC, RD), pp. 1567–1570.
DATE-2015-DaneseGP #automation #behaviour #execution: Automatic extraction of assertions from execution traces of behavioural models (AD, TG, GP), pp. 67–72.
DATE-2015-DghaisR #empirical #simulation: Empirical modelling of FDSOI CMOS inverter for signal/power integrity simulation (WD, JR), pp. 1555–1558.
DATE-2015-DoustiPP #generative: Accurate electrothermal modeling of thermoelectric generators (MJD, AP, MP), pp. 1603–1606.
DATE-2015-FuggerNNS #physics #towards: Towards binary circuit models that faithfully capture physical solvability (MF, RN, TN, US), pp. 1455–1460.
DATE-2015-GoncalvesLCTCB #algorithm #performance #reduction: A fast spatial variation modeling algorithm for efficient test cost reduction of analog/RF circuits (HRG, XL, MVC, VT, JMCJ, KMB), pp. 1042–1047.
DATE-2015-JoostenS #architecture #automation #communication #design: Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs (SJCJ, JS), pp. 1413–1418.
DATE-2015-KimFPSL #framework #implementation #platform #verification: Platform-specific timing verification framework in model-based implementation (BK, LF, LTXP, OS, IL), pp. 235–240.
DATE-2015-KobbeBH #adaptation #on the fly #performance: Adaptive on-the-fly application performance modeling for many cores (SK, LB, JH), pp. 730–735.
DATE-2015-MohammadiGM #fault: Fault modeling in controllable polarity silicon nanowire circuits (HGM, PEG, GDM), pp. 453–458.
DATE-2015-NiemannHGW #formal method #generative: Assisted generation of frame conditions for formal models (PN, FH, MG, RW), pp. 309–312.
DATE-2015-PaganiCSH #named #performance: MatEx: efficient transient and peak temperature computation for compact thermal models (SP, JJC, MS, JH), pp. 1515–1520.
DATE-2015-PoplavkoSBBB #execution #multi #realtime: Models for deterministic execution of real-time multiprocessor applications (PP, DS, PB, SB, MB), pp. 1665–1670.
DATE-2015-PorembaMLVX #3d #named: DESTINY: a tool for modeling emerging 3D NVM and eDRAM caches (MP, SM, DL, JSV, YX), pp. 1543–1546.
DATE-2015-RaiT #manycore: A calibration based thermal modeling technique for complex multicore systems (DR, LT), pp. 1138–1143.
DATE-2015-VijayakumarK #design #novel: A novel modeling attack resistant PUF design based on non-linear voltage transfer characteristics (AV, SK), pp. 653–658.
DATE-2015-Weis0ESVGKW #fault #metric: Retention time measurements and modelling of bit error rates of WIDE I/O DRAM in MPSoCs (CW, MJ, PE, CS, PV, SG, MK, NW), pp. 495–500.
PDP-2015-AltomareCT #data mining #energy #migration #mining #predict #virtual machine: Energy-Aware Migration of Virtual Machines Driven by Predictive Data Mining Models (AA, EC, DT), pp. 549–553.
PDP-2015-EvrardL #automation #code generation #concurrent #distributed #formal method #process: Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes (HE, FL), pp. 459–466.
PDP-2015-Holmbacka0EL #energy #manycore: Accurate Energy Modelling for Many-Core Static Schedules (SH, JK, PE, JL), pp. 525–532.
PDP-2015-OstroumovBW #parallel #source code: Derivation of Parallel and Resilient Programs from Simulink Models (SO, PB, MAW), pp. 416–420.
PDP-2015-SayedsalehiR #implementation: Modeling an Improved Modified Type in Metallic Quantum-Dot Fixed Cell for Nano Structure Implementation (SS, AR), pp. 412–415.
PPoPP-2015-AcharyaB #locality #parallel: PLUTO+: near-complete modeling of affine transformations for parallelism and locality (AA, UB), pp. 54–64.
PPoPP-2015-JinLMLLPCK #automation #benchmark #generative #identification #metric #parallel #statistics: Combining phase identification and statistic modeling for automated parallel benchmark generation (YJ, ML, XM, QL, JSL, NP, JYC, SK), pp. 269–270.
FASE-2015-CanalS #adaptation #communication: Model-Based Adaptation of Software Communicating via FIFO Buffers (CC, GS), pp. 252–266.
FASE-2015-DaniaC #reasoning: Model-Based Formal Reasoning about Data-Management Applications (CD, MC), pp. 218–232.
FASE-2015-GomezTSC #persistent #scalability: Map-Based Transparent Persistence for Very Large Models (AG, MT, GS, JC), pp. 19–34.
FASE-2015-SalayC #framework: A Generalized Formal Framework for Partial Modeling (RS, MC), pp. 133–148.
STOC-2015-Bresler #graph #learning: Efficiently Learning Ising Models on Arbitrary Graphs (GB), pp. 771–782.
TACAS-2015-DuggiralaMVP #named #verification: C2E2: A Verification Tool for Stateflow Models (PSD, SM, MV, MP), pp. 68–82.
CADE-2015-DinBH #concurrent #deduction #named #verification: KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS (CCD, RB, RH), pp. 517–526.
CAV-2015-BozzanoCGM #analysis #performance #safety: Efficient Anytime Techniques for Model-Based Safety Analysis (MB, AC, AG, CM), pp. 603–621.
CAV-2015-ManskyGZ #axiom #memory management #specification: An Axiomatic Specification for Sequential Memory Models (WM, DG, SZ), pp. 413–428.
CSL-2015-BreuvartP #linear #logic #relational #semantics: Modelling Coeffects in the Relational Semantics of Linear Logic (FB, MP), pp. 567–581.
ICLP-2015-MartinezRIAT #learning #probability: Learning Probabilistic Action Models from Interpretation Transitions (DM, TR, KI, GA, CT), pp. 114–127.
ICST-2015-AliY #behaviour #cyber-physical #evolution #named #nondeterminism #testing: U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems (SA, TY), pp. 1–2.
ICST-2015-ArcainiGV #detection #fault #feature model #generative #testing: Generating Tests for Detecting Faults in Feature Models (PA, AG, PV), pp. 1–10.
ICST-2015-BrajnikBF #integration #latency #testing #web: Model-Based Continuous Integration Testing of Responsiveness of Web Applications (GB, AB, SF), pp. 1–2.
ICST-2015-KrennSTAJB #mutation testing #named #testing #uml: MoMut: : UML Model-Based Mutation Testing for UML (WK, RS, ST, BKA, EJ, HB), pp. 1–8.
ICST-2015-Lorber #mutation testing #realtime #testing: Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems (FL), pp. 1–2.
ICST-2015-MohacsiFB #case study #performance #testing: A Case Study on the Efficiency of Model-Based Testing at the European Space Agency (SM, MF, AB), pp. 1–2.
ICST-2015-NardoPB #analysis #generative #mutation testing #testing: Generating Complex and Faulty Test Data through Model-Based Mutation Analysis (DDN, FP, LCB), pp. 1–10.
ICST-2015-Rapos #co-evolution #industrial #testing: Co-Evolution of Model-Based Tests for Industrial Automotive Software (EJR), pp. 1–2.
ICST-2015-RodriguesBCZO #named #performance #testing: PLeTsPerf — A Model-Based Performance Testing Tool (EdMR, MB, LTC, AFZ, FMdO), pp. 1–8.
ICST-2015-Tiran #incremental #mutation testing #testing: Incremental Model-Based Mutation Testing (ST), pp. 1–2.
ICTSS-2015-BoudhibaGGP #contract #testing: Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts (IB, CG, PLG, VP), pp. 35–51.
ISSTA-2015-XueWLXSC #behaviour #classification #detection #javascript: Detection and classification of malicious JavaScript via attack behavior modelling (YX, JW, YL, HX, JS, MC), pp. 48–59.
LICS-2015-McIverMR #data flow #markov #monad: Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow (AM, CM, TMR), pp. 597–608.
TAP-2015-AichernigNT #behaviour #generative #incremental #scalability #testing: Scalable Incremental Test-case Generation from Large Behavior Models (BKA, DN, ST), pp. 1–18.
TAP-2015-BirchFP #fault #locality #performance #testing: Fast Model-Based Fault Localisation with Test Suites (GB, BF, MRP), pp. 38–57.
VMCAI-2015-DanMVY #abstraction #effectiveness #memory management #verification: Effective Abstractions for Verification under Relaxed Memory Models (AMD, YM, MTV, EY), pp. 449–466.
CBSE-2014-BuresHP #architecture #continuation #product line #runtime: Strengthening architectures of smart CPS by modeling them as runtime product-lines (TB, PH, FP), pp. 91–96.
CBSE-2014-Lau #component #past present future: Software component models: past, present and future (KKL), pp. 185–186.
CBSE-2014-NoorshamsRRKR #architecture #performance #predict #statistics: Enriching software architecture models with statistical models for performance prediction in modern storage environments (QN, RR, AR, SK, RHR), pp. 45–54.
CBSE-2014-SpacekDT #architecture #component #implementation #programming #prototype: A component-based meta-level architecture and prototypical implementation of a reflective component-based programming and modeling language (PS, CD, CT), pp. 13–22.
ECSA-2014-ChiprianovFSP #architecture #distributed #embedded #performance #predict #realtime: Architectural Support for Model-Driven Performance Prediction of Distributed Real-Time Embedded Systems of Systems (VC, KEF, CS, GP), pp. 357–364.
ECSA-2014-SolimanR #architecture #interactive: Modeling the Interactions between Decisions within Software Architecture Knowledge (MS, MR), pp. 33–40.
QoSA-2014-BrunnertWK #architecture #enterprise #performance #using: Using architecture-level performance models as resource profiles for enterprise applications (AB, KW, HK), pp. 53–62.
QoSA-2014-BuhnovaCF #overview #predict #reliability: Failure data collection for reliability prediction models: a survey (BB, SC, LF), pp. 83–92.
QoSA-2014-GooijerH #case study #experience #industrial #manycore #memory management #realtime: Experiences with modeling memory contention for multi-core industrial real-time systems (TdG, KEH), pp. 43–52.
QoSA-2014-JohnsenLPH #dependence #graph #slicing #verification: Regression verification of AADL models through slicing of system dependence graphs (AJ, KL, PP, KH), pp. 103–112.
QoSA-2014-MirandolaP #adaptation #formal method #self: Software QoS enhancement through self-adaptation and formal models (RM, DPP), pp. 145–146.
QoSA-2014-MzidMBA #concurrent #design pattern #named #realtime: SRMP: a software pattern for deadlocks prevention inreal-time concurrency models (RM, CM, JPB, MA), pp. 139–144.
QoSA-2014-Perez-PalacinM #nondeterminism #performance: Dealing with uncertainties in the performance modelling of software systems (DPP, RM), pp. 33–42.
WICSA-2014-BaroniMMW #architecture #semantics #wiki: Architecture Description Leveraging Model Driven Engineering and Semantic Wikis (AB, HM, IM, EW), pp. 251–254.
WICSA-2014-DamRE #architecture #consistency #nondeterminism: Inconsistency Resolution in Merging Versions of Architectural Models (HKD, AR, AE), pp. 153–162.
WICSA-2014-PerovichB #architecture #formal method: Model-Based Formalization of Software Architecture Knowledge (DP, MCB), pp. 235–238.
WICSA-2014-SeeleSB #architecture #functional #web: The Functional Architecture Modeling Method Applied on Web Browsers (WS, SS, SB), pp. 171–174.
DocEng-2014-BarabucciBIMM #detection #documentation #visualisation: Document changes: modeling, detection, storage and visualization (DChanges 2014) (GB, UMB, ADI, SM, EVM), pp. 207–208.
DRR-2014-PuriSH #probability: Probabilistic modeling of children’s handwriting (MP, SNS, LH), pp. 902103–13.
HT-2014-ChoiAL #authoring #hypermedia: Spatial hypertext modeling for dynamic contents authoring system based on transclusion (JRC, SA, SBL), pp. 303–304.
JCDL-2014-RahebI #abstraction #library: Modeling abstractions for dance digital libraries (KER, YEI), pp. 431–432.
JCDL-2014-SmithCDSW #detection #reuse: Detecting and modeling local text reuse (DAS, RC, EMD, NS, JW), pp. 183–192.
SIGMOD-2014-ChiangDN #evolution: Modeling entity evolution for temporal record matching (YHC, AD, JFN), pp. 1175–1186.
SIGMOD-2014-LiuWZZK #behaviour #named #scalability #social: HYDRA: large-scale social identity linkage via heterogeneous behavior modeling (SL, SW, FZ, JZ, RK), pp. 51–62.
SIGMOD-2014-YinCCHH #behaviour #social #social media: A temporal context-aware model for user behavior modeling in social media systems (HY, BC, LC, ZH, ZH), pp. 1543–1554.
CSEET-2014-GaarT #collaboration #integration #social #social media: Improving model-based collaboration by social media integration (WG, ET), pp. 158–162.
CSEET-2014-Lethbridge #development #education #effectiveness #using: Teaching modeling using Umple: Principles for the development of an effective tool (TCL), pp. 23–28.
CSEET-2014-SedelmaierL #process #requirements #using: Using business process models to foster competencies in requirements engineering (YS, DL), pp. 13–22.
EDM-2014-0001RRM #algorithm #automation #comparison: Comparison of Algorithms for Automatically Building Example-Tracing Tutor Models (RK0, MER, RBR, JM), pp. 217–220.
EDM-2014-CadeDGTP #chat #collaboration #interactive #online #student: Modeling Student Socioaffective Responses to Group Interactions in a Collaborative Online Chat Environment (WLC, ND, ACG, YRT, JWP), pp. 399–400.
EDM-2014-Fancsali #algebra #behaviour #learning: Causal Discovery with Models: Behavior, Affect, and Learning in Cognitive Tutor Algebra (SF), pp. 28–35.
EDM-2014-HernandoGSAN #problem #student #towards: Towards IRT-based student modeling from problem solving steps (MH, EG, SAS, EA, SN), pp. 423–424.
EDM-2014-KhajahWLM #difference #learning #predict: Integrating latent-factor and knowledge-tracing models to predict individual differences in learning (MK, RW, RVL, MM), pp. 99–106.
EDM-2014-NyeHFSHM #realtime #student: Exploring real-time student models based on natural-language tutoring sessions (BN, MHH, CF, BS, XH, KKM), pp. 253–256.
EDM-2014-Pelanek14a #student: Application of Time Decay Functions and the Elo System in Student Modeling (RP), pp. 21–27.
EDM-2014-SilvaA #mining #multi #student: Mining Multi-dimensional Patterns for Student Modelling (AS0, CA), pp. 393–394.
EDM-2014-YudelsonHVB #automation #java #student: Investigating Automated Student Modeling in a Java MOOC (MY, RH, AV, PB), pp. 261–264.
ITiCSE-2014-BurdenA: Mastering model-driven engineering (HB, TA), p. 351.
CSMR-WCRE-2014-PanichellaOL #fault #predict: Cross-project defect prediction models: L’Union fait la force (AP, RO, ADL), pp. 164–173.
ICPC-2014-SuzukiSIH #approach #n-gram #using: An approach for evaluating and suggesting method names using n-gram models (TS, KS, FI, SH), pp. 271–274.
ICSME-2014-AlalfiRSSDC #automation #identification #representation #variability: Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models (MHA, EJR, AS, MS, TRD, JRC), pp. 486–490.
ICSME-2014-GauthierMST #data access #evolution #maintenance #web: Supporting Maintenance and Evolution of Access Control Models in Web Applications (FG, EM, ES, DT), pp. 506–510.
ICSME-2014-Rapos #co-evolution #industrial #testing: Co-evolution of Model-Based Tests for Industrial Automotive Software (EJR), p. 663.
ICSME-2014-WangLL #composition #debugging #locality: Compositional Vector Space Models for Improved Bug Localization (SW, DL, JL), pp. 171–180.
ICSME-2014-ZouH #topic: LDA Analyzer: A Tool for Exploring Topic Models (CZ, DH), pp. 593–596.
MSR-2014-CampbellHA #fault #syntax: Syntax errors just aren’t natural: improving error reporting with language models (JCC, AH, JNA), pp. 252–261.
MSR-2014-FukushimaKMYU #empirical #fault #predict #using: An empirical study of just-in-time defect prediction using cross-project models (TF, YK, SM, KY, NU), pp. 172–181.
MSR-2014-KhodabandelouHDS #process: Unsupervised discovery of intentional process models from event logs (GK, CH, RD, CS), pp. 282–291.
MSR-2014-WilliamsRMRK #dataset: Models of OSS project meta-information: a dataset of three forges (JRW, DDR, NDM, JDR, DSK), pp. 408–411.
ICALP-v1-2014-HegdeIS #linear: Nearly Linear-Time Model-Based Compressive Sensing (CH, PI, LS), pp. 588–599.
ICALP-v2-2014-AschnerK #bound #constraints #network: Bounded-Angle Spanning Tree: Modeling Networks with Angular Constraints (RA, MJK), pp. 387–398.
LATA-2014-DingSXHMC #probability: Stochastic k-Tree Grammar and Its Application in Biomolecular Structure Modeling (LD, AS, XX, XH, RLM, LC), pp. 308–322.
LATA-2014-FinkbeinerT #linear #logic: Counting Models of Linear-Time Temporal Logic (BF, HT), pp. 360–371.
FM-2014-BowenR #interactive #semantics: A Simplified Z Semantics for Presentation Interaction Models (JB, SR), pp. 148–162.
FM-2014-DuggiralaWMVM #parallel #precedence #protocol: Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol (PSD, LW, SM, MV, CAM), pp. 215–229.
HOFM-2014-BagheriSH #development #maintenance #using: Using Z in the Development and Maintenance of Computational Models of Real-World Systems (SMB, GS, JH), pp. 36–53.
HOFM-2014-LadenbergerDL #approach #csp #visualisation: An Approach for Creating Domain Specific Visualisations of CSP Models (LL, ID, ML), pp. 20–35.
IFM-2014-AbbasBR #uml: Modeling UML Template Classes with FoCaLiZe (MA, CBBY, RR), pp. 87–102.
IFM-2014-FathabadiSB #manycore #process #runtime: Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems (ASF, CFS, MJB), pp. 120–135.
IFM-2014-LaibinisBPTTP #in the cloud #simulation: Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud (LL, BB, IP, ET, KET, IP), pp. 103–119.
SEFM-2014-BonifacioM #testing: Test Suite Completeness and Partial Models (ALB, AVM), pp. 96–110.
SEFM-2014-HajisheykhiEK #fault #using: Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL (RH, AE, SSK), pp. 175–189.
SEFM-2014-LaibinisTGMK #behaviour #formal method #verification: Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B (LL, ET, ZG, FM, AHK), pp. 363–377.
SEFM-2014-ReicherdtG #matlab #using #verification: Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie (RR, SG), pp. 190–204.
SFM-2014-AbrahamBDJKW #generative #markov #overview: Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (EÁ, BB, CD, NJ, JPK, RW), pp. 65–121.
SFM-2014-BubelMH #analysis #execution: Analysis of Executable Software Models (RB, AFM, RH), pp. 1–25.
SFM-2014-LochauPKS #testing: Model-Based Testing (ML, SP, MK, IS), pp. 310–342.
AIIDE-2014-LimH #game studies #social: Developing Social Identity Models of Players from Game Telemetry Data (CUL, DFH).
AIIDE-2014-NogueiraARON #clustering #fuzzy: Fuzzy Affective Player Models: A Physiology-Based Hierarchical Clustering Method (PAN, RA, RAR, ECO, LEN).
CIG-2014-GaudlB #behaviour #biology #low cost #realtime: Extended ramp goal module: Low-cost behaviour arbitration for real-time controllers based on biological models of dopamine cells (SEG, JJB), pp. 1–8.
CIG-2014-HolmgardLTY #evolution: Evolving personas for player decision modeling (CH, AL, JT, GNY), pp. 1–8.
CIG-2014-HsuTS #towards: Towards market seller modeling in World of Warcraft (SYH, JT, CtS), pp. 1–2.
CIG-2014-LeeceJ #game studies #markov #random #using: Opponent state modeling in RTS games with limited information using Markov random fields (MAL, AJ), pp. 1–7.
CIG-2014-LiapisYT #design #sketching: Designer modeling for Sentient Sketchbook (AL, GNY, JT), pp. 1–8.
CIG-2014-SifaBD #scalability: The Playtime Principle: Large-scale cross-games interest modeling (RS, CB, AD), pp. 1–8.
DiGRA-2014-Vella #game studies: Modeling the Semiotic Structure of Game Characters (DV).
FDG-2014-HolmgardLTY #game studies #generative: Generative agents for player decision modeling in games (CH, AL, JT, GNY).
FDG-2014-HsuS: Modelling market sellers in World of Warcraft (SYH, CTS).
FDG-2014-TogeliusSY: Active player modelling (JT, NS, GNY).
GRAPHITE-2014-FernandezKP #analysis #framework #graph grammar #interactive: Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework (MF, HK, BP), pp. 15–29.
GT-VMT-2014-HusseinHDS #adaptation #network: Modelling Adaptive Networks: The Case of the Petrified Voters (MH, RH, VD, PS).
GT-VMT-2014-StuckrathW #adaptation #petri net #user interface: Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models (JS, BW).
ICGT-2014-BelhaouariAGB #geometry #graph transformation #library #named: Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling (HB, AA, PLG, TB), pp. 269–284.
CHI-2014-Bergstrom-LehtovirtaO #functional #mobile: Modeling the functional area of the thumb on mobile touchscreen surfaces (JBL, AO), pp. 1991–2000.
CHI-2014-ChenGWSHFA #3d #authoring: History assisted view authoring for 3D models (HTC, TG, LYW, RMS, BH, GWF, MA), pp. 2027–2036.
CHI-2014-HongA #performance #predict #recommendation #user interface #using: Novice use of a predictive human performance modeling tool to produce UI recommendations (KWH, RSA), pp. 2251–2254.
CHI-2014-KierasH #predict #towards #visual notation: Towards accurate and practical predictive models of active-vision-based visual search (DEK, AJH), pp. 3875–3884.
CHI-2014-MarananASPSB #design #using: Designing for movement: evaluating computational models using LMA effort qualities (DSM, SFA, TS, PP, PS, LB), pp. 991–1000.
CHI-2014-NicosiaOK #performance: Modeling the perception of user performance (MN, AO, POK), pp. 1747–1756.
CHI-2014-Oulasvirta #automation #human-computer: Automated nonlinear regression modeling for HCI (AO), pp. 3899–3902.
CHI-2014-ZadeAGDC #bisimulation #distance #edit distance #evolution: Edit distance modulo bisimulation: a quantitative measure to study evolution of user models (HZ, SAA, SG, AKD, VC), pp. 1757–1766.
CHI-2014-ZhangH #comprehension #multi: Understanding multitasking through parallelized strategy exploration and individualized cognitive modeling (YZ, AJH), pp. 3885–3894.
CSCW-2014-YueHH #collaboration #process #using #web: Modeling search processes using hidden states in collaborative exploratory web search (ZY, SH, DH), pp. 820–830.
DHM-2014-Delgado-GonzaloRCSLBL #algorithm #embedded #energy #state of the art: Human Energy Expenditure Models: Beyond State-of-the-Art Commercialized Embedded Algorithms (RDG, PR, EMC, JS, CL, MB, ML), pp. 3–14.
DHM-2014-FacoettiVCR #low cost: A Low Cost Haptic Mouse for Prosthetic Socket Modeling (GF, AV, GC, CR), pp. 508–515.
DHM-2014-FuCLCZ #framework: Evaluating Work Disability of Lower Limb Handicapped within a Human Modeling Framework (YF, XC, SL, JGC, BZ), pp. 516–526.
DHM-2014-LiuTZSLSF #assessment #behaviour #framework #named #performance #platform: COMPAss: A Space Cognitive Behavior Modeling and Performance Assessment Platform (YL, ZT, YZ, QS, JL, JS, FF), pp. 630–636.
DHM-2014-ZhangTWHFC: Modeling Human Control Strategies in Simulated RVD Tasks through the Time-Fuel Optimal Control Model (SZ, YT, CW, SH, YF, SC), pp. 661–670.
DUXU-DI-2014-CambaCJ #3d #case study #comparative #visual notation: Management of Visual Clutter in Annotated 3D CAD Models: A Comparative Study (JC, MC, MDJ), pp. 405–416.
DUXU-DI-2014-RenziF #gesture #interactive #interface #multi: Affordances and Gestural Interaction on Multi-touch Interface Systems: Building New Mental Models (ABR, SF), pp. 615–623.
DUXU-DI-2014-SpiliotopoulosDK14a #authoring #design #interface #policy #prototype: Need Driven Prototype Design for a Policy Modeling Authoring Interface (DS, AD, DK), pp. 481–487.
DUXU-DI-2014-WojdziakG #3d #approach #design #interface: Beyond Perspective — A Model-Based Approach for Camera-Based 3D-Interface Design (JW, RG), pp. 488–498.
DUXU-TMT-2014-YigitbasFS #adaptation #development #self #user interface: Model-Based User Interface Development for Adaptive Self-Service Systems (EY, HF, SS), pp. 206–213.
HCI-AIMT-2014-FleischmannSS #case study #comparative #interactive #process: Tangible or Not Tangible — A Comparative Study of Interaction Types for Process Modeling Support (AF, WS, CS), pp. 544–555.
HCI-AIMT-2014-NieblingSKS #diagrams #editing #gesture #interactive #multi: Model-Based Multi-touch Gesture Interaction for Diagram Editors (FN, DS, RK, TS), pp. 121–130.
HCI-AS-2014-DiasDH #fuzzy #interactive #quality #using: Exploring B-Learning Scenarios Using Fuzzy Logic-Based Modeling of Users’ LMS Quality of Interaction in Ergonomics and Psychomotor Rehabilitation Academic Courses (SBD, JAD, LJH), pp. 233–243.
HCI-TMT-2014-AraujoJ #human-computer #interactive: Psychological Personas for Universal User Modeling in Human-Computer Interaction (CFdA, PTAJ), pp. 3–13.
HCI-TMT-2014-Brahnam #human-computer #prototype: HCI Prototyping and Modeling of Future Psychotherapy Technologies in Second Life (SB), pp. 273–284.
HCI-TMT-2014-BuchholzF #design #smarttech: Combining Design of Models for Smart Environments with Pattern-Based Extraction (GB, PF), pp. 285–294.
HCI-TMT-2014-EngelHM #development #evaluation #user interface: Evaluation of Model-Based User Interface Development Approaches (JE, CH, CM), pp. 295–307.
HCI-TMT-2014-OrtegaLHBRA #formal method #multi #named #petri net #using: PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net (FRO, SL, FH, AB, NR, MA), pp. 361–372.
HCI-TMT-2014-TombergL #case study #design #education: Teaching Design for All Through Empathic Modeling: A Case Study in Tallinn University (VT, ML), pp. 259–269.
HIMI-AS-2014-NozakiY #internet: Modeling Consumers with TV and Internet (AN, KY), pp. 614–621.
HIMI-DE-2014-CunhaFPS #query #spreadsheet #visual notation: Graphical Querying of Model-Driven Spreadsheets (JC, JPF, RP, JS), pp. 419–430.
HIMI-DE-2014-KatoM #deployment #quality #using: Quality Function Deployment Using Improved Interpretive Structural Modeling (TK, YM), pp. 352–363.
LCT-NLE-2014-LimongelliS #fuzzy #personalisation #student: Fuzzy Student Modeling for Personalization of e-Learning Courses (CL, FS), pp. 292–301.
SCSM-2014-PlikynasRR #interactive #social: Modelling of Excitation Propagation for Social Interactions (DP, AR, SR), pp. 242–252.
CAiSE-2014-FolinoGP #low level #mining #multi #predict #process: Mining Predictive Process Models out of Low-level Multidimensional Logs (FF, MG, LP), pp. 533–547.
CAiSE-2014-GralhaG0 #composition #identification #requirements: Identifying Modularity Improvement Opportunities in Goal-Oriented Requirements Models (CG, MG, JA), pp. 91–104.
CAiSE-2014-PolyvyanyyRH #performance #process #retrieval #using: Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings (AP, MLR, AHMtH), pp. 439–456.
CAiSE-2014-WauteletHKM: Unifying and Extending User Story Models (YW, SH, MK, IM), pp. 211–225.
EDOC-2014-0001HPW #execution #framework #implementation: Implementation Framework for Production Case Management: Modeling and Execution (AM, NH, FP, MW), pp. 190–199.
EDOC-2014-FlorezSV #analysis #approach #automation #enterprise: Extensible Model-Based Approach for Supporting Automatic Enterprise Analysis (HF, MES, JV), pp. 32–41.
EDOC-2014-FrancescomarinoRGV #process #semantics: The Role of Semantic Annotations in Business Process Modelling (CDF, MR, CG, AV), pp. 181–189.
EDOC-2014-KurodaG #dependence #scalability: Model-Based IT Change Management for Large System Definitions with State-Related Dependencies (TK, ASG), pp. 170–179.
EDOC-2014-NardiFA #analysis #ontology: An Ontological Analysis of Service Modeling at ArchiMate’s Business Layer (JCN, RdAF, JPAA), pp. 92–100.
EDOC-2014-RitterS #exception #integration: Modeling Exception Flows in Integration Systems (DR, JS), pp. 12–21.
EDOC-2014-SchutzS: Customization of Domain-Specific Reference Models for Data Warehouses (CGS, MS), pp. 61–70.
EDOC-2014-Weber #comprehension #how #process #towards: Investigating the Process of Process Modeling: Towards an in-Depth Understanding of How Process Models Are Created (BW), p. 180.
ICEIS-v1-2014-DahlbomR #visual notation: Situation Modeling and Visual Analytics for Decision Support in Sports (AD, MR), pp. 539–544.
ICEIS-v1-2014-FolinoGP #framework #predict: A Framework for the Discovery of Predictive Fix-time Models (FF, MG, LP), pp. 99–108.
ICEIS-v1-2014-HenriquesA #database #generative #sequence: Generative Modeling of Itemset Sequences Derived from Real Databases (RH, CA), pp. 264–272.
ICEIS-v1-2014-Olive #agile #concept #development #information management: Conceptual Modeling in Agile Information Systems Development (AO), p. XI.
ICEIS-v2-2014-AntonioRF #embedded #process #validation #verification: Verification and Validation Activities for Embedded Systems — A Feasibility Study on a Reading Technique for SysML Models (EAA, RR, SCPFF), pp. 233–240.
ICEIS-v2-2014-BassoPRF #agile #case study #information management #web: Study on Combining Model-driven Engineering and Scrum to Produce Web Information Systems (FPB, RMP, FRF, RZF), pp. 137–144.
ICEIS-v2-2014-LangermeierDORB #composition #ontology #variability: Change and Version Management in Variability Models for Modular Ontologies (ML, TD, HO, PR, BB), pp. 383–390.
ICEIS-v2-2014-MeloS #design #uml #using: Model-driven Structural Design of Software-intensive Systems Using SysML Blocks and UML Classes (MdSM, MSS), pp. 193–200.
ICEIS-v2-2014-PfisterHN #agile #concurrent #design #diagrams #framework #metamodelling #synthesis #towards #visual notation: A Framework for Concurrent Design of Metamodels and Diagrams — Towards an Agile Method for the Synthesis of Domain Specific Graphical Modeling Languages (FP, MH, CN), pp. 298–306.
ICEIS-v2-2014-PintoDOC #aspect-oriented #development #framework #multi #product line #programming #towards: Evaluating the Effort for Modularizing Multiple-Domain Frameworks Towards Framework Product Lines with Aspect-oriented Programming and Model-driven Development (VHSCP, RSD, ALO, VVdC), pp. 60–70.
ICEIS-v2-2014-SilvaMTW #process: Business Process Modeling and Instantiation in Home Care Environments (JKKdS, GMM, LHT, LKW), pp. 513–525.
ICEIS-v3-2014-DSouzaBHWV #assessment #framework #ontology: An Assessment Framework for Business Model Ontologies to Ensure the Viability of Business Models (AD, NRTPvB, GBH, JCW, HV), pp. 226–235.
ICEIS-v3-2014-OrdonezCCWT #collaboration #evaluation #process #repository: Collaborative Evaluation to Build Closed Repositories on Business Process Models (HO, JCC, CC, LKW, LHT), pp. 311–318.
ICEIS-v3-2014-RoychoudhuryRKK #enterprise: Models to Aid Decision Making in Enterprises (SR, AR, VK, DK), pp. 465–471.
ICEIS-v3-2014-SaidCAB #metamodelling #process: Extending BPMN 2.0 Meta-models for Process Version Modelling (IBS, MAC, EA, RB), pp. 384–393.
ICEIS-v3-2014-SinghJIS #architecture #enterprise: Modeling Value Creation with Enterprise Architecture (PMS, HJ, MEI, MvS), pp. 343–351.
CIKM-2014-CalvaneseMET #process #uml: Verifiable UML Artifact-Centric Business Process Models (DC, MM, ME, ET), pp. 1289–1298.
CIKM-2014-ChangZGCXT #online #predict: Predicting the Popularity of Online Serials with Autoregressive Models (BC, HZ, YG, EC, HX, CT), pp. 1339–1348.
CIKM-2014-Deolalikar14a #behaviour #clustering #parametricity #retrieval: Parameter Tuning with User Models: Influencing Aggregate User Behavior in Cluster Based Retrieval Systems (VD), pp. 1823–1826.
CIKM-2014-DerntlGTKJ #topic #web: Building and Exploring Dynamic Topic Models on the Web (MD, NG, AT, RK, MJ), pp. 2012–2014.
CIKM-2014-DrumondDSN #multi #optimisation: Optimizing Multi-Relational Factorization Models for Multiple Target Relations (LRD, EDA, LST, WN), pp. 191–200.
CIKM-2014-EickhoffV: Modelling Complex Relevance Spaces with Copulas (CE, APdV), pp. 1831–1834.
CIKM-2014-FangZTSFSDZL #behaviour #game studies #network #social: Modeling Paying Behavior in Game Social Networks (ZF, XZ, JT, WS, ACMF, LS, YD, LZ, JL), pp. 411–420.
CIKM-2014-GuiSHB #multi #network #topic: Modeling Topic Diffusion in Multi-Relational Bibliographic Information Networks (HG, YS, JH, GB), pp. 649–658.
CIKM-2014-HustonC #comparison #dependence #retrieval #using: A Comparison of Retrieval Models using Term Dependencies (SH, WBC), pp. 111–120.
CIKM-2014-KiselevaCBD #detection #user satisfaction: Modelling and Detecting Changes in User Satisfaction (JK, EC, RB, RD), pp. 1449–1458.
CIKM-2014-LimsopathamMO #multi #ranking #towards: Modelling Relevance towards Multiple Inclusion Criteria when Ranking Patients (NL, CM, IO), pp. 1639–1648.
CIKM-2014-LinLYC #classification #sentiment: Exploring Ensemble of Models in Taxonomy-based Cross-Domain Sentiment Classification (CKL, YYL, CHY, HHC), pp. 1279–1288.
CIKM-2014-MarkovKNSRC #effectiveness #metric: Vertical-Aware Click Model-Based Effectiveness Metrics (IM, EK, VN, PS, MdR, FC), pp. 1867–1870.
CIKM-2014-MaSYC #hashtag #probability #twitter: Tagging Your Tweets: A Probabilistic Modeling of Hashtag Annotation in Twitter (ZM, AS, QY, GC), pp. 999–1008.
CIKM-2014-TkachenkoL #generative: Generative Modeling of Entity Comparisons in Text (MT, HWL), pp. 859–868.
CIKM-2014-WangGL #personalisation #recommendation #transaction: Modeling Retail Transaction Data for Personalized Shopping Recommendation (PW, JG, YL), pp. 1979–1982.
CIKM-2014-WuF14a #performance #query: Analytical Performance Modeling for Top-K Query Processing (HW, HF), pp. 1619–1628.
ECIR-2014-BaiGLC #documentation #linear #matrix: Local Linear Matrix Factorization for Document Modeling (LB, JG, YL, XC), pp. 398–411.
ECIR-2014-BansalPGV #ambiguity #named: EDIUM: Improving Entity Disambiguation via User Modeling (RB, SP, MG, VV), pp. 418–423.
ECIR-2014-ChenWHY #personalisation #ranking #social #social media: Facet-Based User Modeling in Social Media for Personalized Ranking (CC, DW, CH, XY), pp. 443–448.
ECIR-2014-YounusOP #approach #behaviour #microblog #personalisation: A Language Modeling Approach to Personalized Search Based on Users’ Microblog Behavior (AY, CO, GP), pp. 727–732.
ICML-c1-2014-ChanA #consistency #graph: A Consistent Histogram Estimator for Exchangeable Graph Models (SHC, EA), pp. 208–216.
ICML-c1-2014-GopalY #clustering: Von Mises-Fisher Clustering Models (SG, YY), pp. 154–162.
ICML-c1-2014-LianREC #correlation #markov #process: Modeling Correlated Arrival Events with Latent Semi-Markov Processes (WL, VR, BE, LC), pp. 396–404.
ICML-c1-2014-LiWLZT #dependence #on the #topic: On Modelling Non-linear Topical Dependencies (ZL, SW, JL, PZ, JT), pp. 458–466.
ICML-c1-2014-MeiZZ #first-order #logic #robust: Robust RegBayes: Selectively Incorporating First-Order Logic Domain Knowledge into Bayesian Models (SM, JZ, JZ), pp. 253–261.
ICML-c1-2014-SoufianiPX #parametricity #ranking: Computing Parametric Ranking Models via Rank-Breaking (HAS, DCP, LX), pp. 360–368.
ICML-c1-2014-TangMNMZ #analysis #comprehension #topic: Understanding the Limiting Factors of Topic Modeling via Posterior Contraction Analysis (JT, ZM, XN, QM, MZ), pp. 190–198.
ICML-c1-2014-ZhangZZ #infinity #markov: Max-Margin Infinite Hidden Markov Models (AZ, JZ, BZ), pp. 315–323.
ICML-c2-2014-BothaB #composition #word: Compositional Morphology for Word Representations and Language Modelling (JAB, PB), pp. 1899–1907.
ICML-c2-2014-Busa-FeketeHS #elicitation #rank #statistics #using: Preference-Based Rank Elicitation using Statistical Models: The Case of Mallows (RBF, EH, BS), pp. 1071–1079.
ICML-c2-2014-ChagantyL #using #visual notation: Estimating Latent-Variable Graphical Models using Moments and Likelihoods (ATC, PL), pp. 1872–1880.