BibSLEIGH — base stem

Used together with:

model (2214)
system (2076)
approach (1177)
use (1127)
data (896)

Stem base$ (all stems)

14224 papers:

CBSE-2015-DanielsPCJH #component #low cost #metadata #named #pervasive: Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications (WD, JP, DC, WJ, DH), pp. 27–36.
CBSE-2015-MouelhiACM #behaviour #component #contract #design #object-oriented #using: Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems (SM, KA, SC, HM), pp. 49–58.
CBSE-2015-NandiMO #component #contract #probability #realtime #runtime: Stochastic Contracts for Runtime Checking of Component-based Real-time Systems (CN, AM, MO), pp. 111–116.
CBSE-2015-RamachandranDPM #network: Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks (GSR, WD, JP, SM, WJ, DH, BP), pp. 43–48.
ECSA-2015-AgrawalP #adaptation #framework #towards #using #web: Towards a Framework for Building Adaptive App-Based Web Applications Using Dynamic Appification (AA, TVP), pp. 37–44.
ECSA-2015-AlvaresRS #architecture #component #configuration management: High-Level Language Support for Reconfiguration Control in Component-Based Architectures (FA, ÉR, LS), pp. 3–19.
ECSA-2015-GroherW #architecture #requirements: Collecting Requirements and Ideas for Architectural Group Decision-Making Based on Four Approaches (IG, RW), pp. 181–192.
ECSA-2015-PahlJ #architecture #formal method #modelling #roadmap #towards: Software Architecture for the Cloud — A Roadmap Towards Control-Theoretic, Model-Based Cloud Architecture (CP, PJ), pp. 212–220.
ECSA-2015-RademacherPS #design #domain-specific language #framework #independence #web #web service: Design of a Domain-Specific Language Based on a Technology-Independent Web Service Framework (FR, MP, SS), pp. 357–371.
ECSA-2015-StierKGR #analysis #architecture #energy #modelling #performance: Model-Based Energy Efficiency Analysis of Software Architectures (CS, AK, HG, RHR), pp. 221–238.
QoSA-2015-ArcelliCFL #adaptation #modelling: Control Theory for Model-based Performance-driven Software Adaptation (DA, VC, AF, AL), pp. 11–20.
QoSA-2015-CaporuscioMT #composition #feedback: QoS-based Feedback for Service Compositions (MC, RM, CT), pp. 37–42.
QoSA-2015-RostamiSHR #architecture #assessment: Architecture-based Assessment and Planning of Change Requests (KR, JS, RH, RHR), pp. 21–30.
WICSA-2015-HauptLP #api #approach #modelling #rest: A Conversation Based Approach for Modeling REST APIs (FH, FL, CP), pp. 165–174.
WICSA-2015-LiLA #architecture #identification #technical debt: Architectural Technical Debt Identification Based on Architecture Decisions and Change Scenarios (ZL, PL, PA), pp. 65–74.
WICSA-2015-PoortV #architecture #case study #cost analysis #experience: Architecting in a Solution Costing Context: Early Experiences with Solution-Based Estimating (EP, EvdV), pp. 127–130.
CASE-2015-AlfonsoXA #approach #capacity #programming #representation #scheduling: A simulation-optimization approach for capacity planning and appointment scheduling of blood donors based on mathematical programming representation of event dynamics (EA, XX, VA), pp. 728–733.
CASE-2015-BeyerYABGW #adaptation #flexibility: Flexible agent-based planning and adaptation of material handling systems (TB, RY, SA, MB, PG, KHW), pp. 1060–1065.
CASE-2015-ChanW #optimisation #segmentation: Progressive segmentation for MRR-based feed-rate optimization in CNC machining (KCC, CCLW), pp. 691–696.
CASE-2015-ChenHLL #development #ontology #tool support: Development of a Hybrid-Cloud-based Wheel-Manufacturing Service with Ontology inference for machine tools (CCC, MHH, YCL, PYL), pp. 1440–1445.
CASE-2015-CheungWCP #automation #parametricity: Optimization-based automatic parameter tuning for stereo vision (ECHC, JW, JC, JP), pp. 855–861.
CASE-2015-David-HenrietRH #constraints #modelling: Modeling and control for (max, +)-linear systems with set-based constraints (XDH, JR, LH, BC), pp. 1369–1374.
CASE-2015-DepariFLS #industrial #network: Inexpensive SDR-based longwave radio controlled clock for time dissemination in industrial wireless sensor networks (AD, AF, ML, ES), pp. 125–130.
CASE-2015-DeviNVKM #algorithm #implementation: E-mandi implementation based on gale-shapely algorithm for perishable goods supply chain (SPD, YN, NV, SVK, SM), pp. 1421–1426.
CASE-2015-DietzPHV #industrial #knowledge-based: Knowledge-based cost engineering for industrial robot systems (TD, AP, MH, AV), pp. 1200–1205.
CASE-2015-FohringZ #distributed #multimodal #towards: Towards decentralized electronic market places and agent-based freight exchanges for multimodal transports (RF, SZ), pp. 249–254.
CASE-2015-ForstnerM #optimisation #safety #using: Using simulation-based optimization to determine production strategies and safety stock levels in semiconductor supply chains (LF, LM), pp. 655–656.
CASE-2015-GonzalezMK #interactive #matlab #mobile: A Matlab-based interactive simulator for mobile robotics (RG, CM, MK), pp. 310–315.
CASE-2015-HallettWSV #agile: Rapid bicycle gear switching based on physiological cues (EH, RW, SS, RV), pp. 377–382.
CASE-2015-HaseliradN #3d #novel: A novel Kinect-based system for 3D moving object interception with a 5-DOF robotic arm (AH, JN), pp. 117–124.
CASE-2015-HayakawaI #fault #linear #reduction: GPS error range reduction method based on linear kinematic model (TH, MI), pp. 1515–1520.
CASE-2015-HuangCZ #modelling: Interval model based human welder’s movement control in machine assisted manual GTAW torch operation (NH, SC, YZ), pp. 395–400.
CASE-2015-LiLFZT #automation: Vision-based intelligent forklift Automatic Guided Vehicle (AGV) (LL, YL, MF, ZZ, HT), pp. 264–265.
CASE-2015-LinHK #algorithm #fuzzy #image #segmentation: A noise- and size-insensitive integrity-based fuzzy c-means algorithm for image segmentation (PLL, PWH, CHK), pp. 1282–1287.
CASE-2015-LinHWC #development #multitenancy #novel #tool support: Development of a novel cloud-based multi-tenant model creation scheme for machine tools (YCL, MHH, CFW, FTC), pp. 1448–1449.
CASE-2015-LinYCLL #constraints #scheduling: A master-axis-based feedrate scheduling with jerk constraints for five-axis tool center point trajectory (MTL, NTY, WTC, CYL, YML), pp. 111–116.
CASE-2015-LiuZ #adaptation #human-computer #modelling #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-LuoZHZ #modelling #synthesis: Discrete-event controller synthesis based on state space models (JL, QZ, YSH, MZ), pp. 87–92.
CASE-2015-LuTZ #assessment #design #estimation #industrial #modelling: Model-based temperature estimation methods in design of industrial manipulator and their assessment (QL, GT, JZ), pp. 1242–1248.
CASE-2015-MicioFMBL #automation #mining #process #towards: RTLS-based Process Mining: Towards an automatic process diagnosis in healthcare (RM, FF, GM, PB, ML), pp. 1397–1402.
CASE-2015-ParisioWKEJ #energy #multi: An MPC-based Energy Management System for multiple residential microgrids (AP, CW, TK, JE, KHJ), pp. 7–14.
CASE-2015-QiuZL #modelling: Visible light communication-based indoor environment modeling and metric-free path planning (KQ, FZ, ML), pp. 200–205.
CASE-2015-QuangTH #adaptation #using: FPGA-based sensorless PMSM speed control using adaptive extended Kalman filter (NKQ, DDT, QPH), pp. 1650–1655.
CASE-2015-SathishRB #approach #detection #industrial #simulation: A simulation based approach to detect wear in industrial robots (VS, SR, SB), pp. 1570–1575.
CASE-2015-SikstromCL #case study #feedback #modelling: 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 #modelling #process: Model-based cyber-physical system integration in the process industry (ZS, PL, RB, WK, SN, SS, LS, AC), pp. 1012–1017.
CASE-2015-SterlingSZC #algorithm #optimisation #parametricity #process: Welding parameter optimization based on Gaussian process regression Bayesian optimization algorithm (DS, TS, YZ, HC), pp. 1490–1496.
CASE-2015-SunWWL15a #optimisation #scheduling: Simulation-based production scheduling with optimization of electricity consumption and cost in smart manufacturing systems (ZS, DW, LW, LL), pp. 992–997.
CASE-2015-ToneS: Deforming control for object transportation with ferrofluid-based sheet-type soft robot (TT, KS), pp. 1171–1176.
CASE-2015-UenoGATIK #video: Motion-blur-free microscopic video shooting based on frame-by-frame intermittent tracking (TU, QG, TA, TT, II, TK), pp. 837–842.
CASE-2015-WuDZW #detection: Kalman filter based DNS cache poisoning attack detection (HW, XD, LZ, LW), pp. 1594–1600.
CASE-2015-WuJG #complexity #optimisation: Local and global event-based optimization: Performace and complexity (ZW, QSJ, XG), pp. 1375–1380.
CASE-2015-YangH0 #assembly #automation #distributed #petri net: A Petri net-based distributed control of automated manufacturing systems with assembly operations (YY, HH, YL), pp. 1090–1097.
CASE-2015-YeCC #bibliography #energy #modelling #simulation: Metal-based addictive manufacturing: A literature review on modeling, simulation and energy consumption (QY, SC, QC), pp. 218–224.
CASE-2015-ZhaoCWCJZ #assessment: Experimental assessment of a satisfaction based thermal comfort control for a group of occupants (QZ, ZC, FW, ZC, YJ, ZZ), pp. 15–20.
CASE-2015-ZhaoCWCJZ15a: Showcase for a satisfaction based group comfort control system (QZ, ZC, FW, ZC, YJ, ZZ), pp. 697–698.
CASE-2015-ZouLLJX #locality #online: A mutual information based online access point selection strategy for WiFi indoor localization (HZ, YL, XL, HJ, LX), pp. 180–185.
DAC-2015-ChaariENTK #approach #modelling #safety: A model-based and simulation-assisted FMEDA approach for safety-relevant E/E systems (MC, WE, CN, BAT, TK), p. 6.
DAC-2015-ChenCX #classification #named #power management #video: DaTuM: dynamic tone mapping technique for OLED display power saving based on video classification (XC, YC, CJX), p. 6.
DAC-2015-ChungRPG #energy #memory management: Domain wall memory based digital signal processors for area and energy-efficiency (JC, KR, JP, SG), p. 6.
DAC-2015-FernandezJAQVC #bound #realtime: Increasing confidence on measurement-based contention bounds for real-time round-robin buses (GF, JJ, JA, EQ, TV, FJC), p. 6.
DAC-2015-GuoTFD #anti #obfuscation #reverse engineering: Investigation of obfuscation-based anti-reverse engineering for printed circuit boards (ZG, MT, DF, JD), p. 6.
DAC-2015-HanKL #design #evaluation #using: Evaluation of BEOL design rule impacts using an optimal ILP-based detailed router (KH, ABK, HL), p. 6.
DAC-2015-JassiMS #design #grammarware #integration #named: GRIP: grammar-based IP integration and packaging for acceleration-rich SoC designs (MJ, DMG, US), p. 6.
DAC-2015-JiangLZYW #effectiveness #feature model #image #performance: A 127 fps in full hd accelerator based on optimized AKAZE with efficiency and effectiveness for image feature extraction (GJ, LL, WZ, SY, SW), p. 6.
DAC-2015-KagalwallaG #effectiveness #modelling #reduction: Effective model-based mask fracturing for mask cost reduction (AAK, PG), p. 6.
DAC-2015-KimLRJR: Vibration-based secure side channel for medical devices (YK, WSL, VR, NKJ, AR), p. 6.
DAC-2015-LahiouelZT #smt #towards #using: Towards enhancing analog circuits sizing using SMT-based techniques (OL, MHZ, ST), p. 6.
DAC-2015-LeeNL #optimisation #performance: Optimizing stream program performance on CGRA-based systems (HL, DN, JL), p. 6.
DAC-2015-LiCSHLWY #hybrid #power management: A STT-RAM-based low-power hybrid register file for GPGPUs (GL, XC, GS, HH, YL, YW, HY), p. 6.
DAC-2015-LiuKDK #data access #network #reduction: Network footprint reduction through data access and computation placement in NoC-based manycores (JL, JK, WD, MTK), p. 6.
DAC-2015-LiuZWYX #analysis #difference #encryption #fault #named: DERA: yet another differential fault attack on cryptographic devices based on error rate analysis (YL, JZ, LW, FY, QX), p. 6.
DAC-2015-LiXGWY #interface: Merging the interface: power, area and accuracy co-optimization for RRAM crossbar-based mixed-signal computing system (BL, LX, PG, YW, HY), p. 6.
DAC-2015-OuTC #self: Cutting structure-aware analog placement based on self-aligned double patterning with e-beam lithography (HCO, KHT, YWC), p. 6.
DAC-2015-PetrenkoTR #challenge #modelling #testing: Model-based testing of automotive software: some challenges and solutions (AP, ONT, SR), p. 6.
DAC-2015-SripadaP #approach #graph: A timing graph based approach to mode merging (SS, MP), p. 6.
DAC-2015-TenaceCMP #logic #synthesis: One-pass logic synthesis for graphene-based Pass-XNOR logic circuits (VT, AC, EM, MP), p. 6.
DAC-2015-TsengLHS #synthesis: Reliability-aware synthesis for flow-based microfluidic biochips by dynamic-device mapping (TMT, BL, TYH, US), p. 6.
DAC-2015-TziantzioulisGF #correlation #fault #float #integer #named: b-HiVE: a bit-level history-based error model with value correlation for voltage-scaled integer and floating point units (GT, AMG, SMF, NH, SOM, SP), p. 6.
DAC-2015-WangLYSOC #grid #novel #power management #reduction: Novel power grid reduction method based on L1 regularization (YW, ML, XY, ZS, MO, CC), p. 6.
DAC-2015-WangR #design #tool support: Design tools for oscillator-based computing systems (TW, JR), p. 6.
DAC-2015-XieLXCJJ: Jump test for metallic CNTs in CNFET-based SRAM (FX, XL, QX, KC, NJ, LJ), p. 6.
DAC-2015-XuLP #adaptation #modelling #physics #statistics #using: Adaptive characterization and emulation of delay-based physical unclonable functions using statistical models (TX, DL, MP), p. 6.
DAC-2015-YaoHC #constraints #named: PACOR: practical control-layer routing flow with length-matching constraint for flow-based microfluidic biochips (HY, TYH, YC), p. 6.
DAC-2015-YuJTSS #challenge #integration #modelling: The challenge of interoperability: model-based integration for automotive control software (HY, PJ, JPT, SKS, SS), p. 6.
DAC-2015-ZaheerWGL #markov #named #performance #process: mTunes: efficient post-silicon tuning of mixed-signal/RF integrated circuits based on Markov decision process (MZ, FW, CG, XL), p. 6.
DATE-2015-AmirhosseinRBCM #power management: An all-digital spike-based ultra-low-power IR-UWB dynamic average threshold crossing scheme for muscle force wireless transmission (MSA, PMR, AB, MC, MM, DD, GM), pp. 1479–1484.
DATE-2015-AzarkhishRLB #memory management #performance: High performance AXI-4.0 based interconnect for extensible smart memory cubes (EA, DR, IL, LB), pp. 1317–1322.
DATE-2015-BaldwinBRPB #analysis #array #predict #using: Gait analysis for fall prediction using hierarchical textile-based capacitive sensor arrays (RB, SB, RR, CP, NB), pp. 1293–1298.
DATE-2015-BiewerAGSH #approach #coordination #realtime #synthesis: A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving (AB, BA, JG, TS, CH), pp. 357–362.
DATE-2015-Bogdan #approach #challenge #cyber-physical #manycore #personalisation: A cyber-physical systems approach to personalized medicine: challenges and opportunities for noc-based multicore platforms (PB), pp. 253–258.
DATE-2015-BombieriFPS #abstraction #verification: RTL property abstraction for TLM assertion-based verification (NB, RF, GP, FS), pp. 85–90.
DATE-2015-CakirM #clustering #correlation #detection #hardware #using: Hardware Trojan detection for gate-level ICs using signal correlation based clustering (BÇ, SM), pp. 471–476.
DATE-2015-CasuG: Rate-based vs delay-based control for DVFS in NoC (MRC, PG), pp. 1096–1101.
DATE-2015-ChenWLL #debugging: A breakpoint-based silicon debug technique with cycle-granularity for handshake-based SoC (HCC, CRW, KSML, KJL), pp. 1281–1284.
DATE-2015-ChenWY #parallel #performance: A fast parallel sparse solver for SPICE-based circuit simulators (XC, YW, HY), pp. 205–210.
DATE-2015-ChenZWWWZ #multi #named #pseudo #simulation: MRP: mix real cores and pseudo cores for FPGA-based chip-multiprocessor simulation (XC, GZ, HW, RW, PW, LZ), pp. 211–216.
DATE-2015-CilingirogluZUK #representation: Dictionary-based sparse representation for resolution improvement in laser voltage imaging of CMOS integrated circuits (TBC, MZ, AU, WCK, JK, AJ, BBG, MSÜ), pp. 597–600.
DATE-2015-ConstantinWKCB: Exploiting dynamic timing margins in microprocessors for frequency-over-scaling with instruction-based clock adjustment (JC, LW, GK, AC, AB), pp. 381–386.
DATE-2015-CourbonLFT #detection #hardware #performance: A high efficiency hardware trojan detection technique based on fast SEM imaging (FC, PLM, JJAF, AT), pp. 788–793.
DATE-2015-DengFDWLTINLCW #fault #hardware #network: Retraining-based timing error mitigation for hardware neural networks (JD, YF, ZD, YW, HL, OT, PI, DN, XL, YC, CW), pp. 593–596.
DATE-2015-DuongNXWTBYWW #analysis: Coherent crosstalk noise analyses in ring-based optical interconnects (LHKD, MN, JX, ZW, YT, SLB, PY, XW, ZW), pp. 501–506.
DATE-2015-DuqueDY #adaptation #behaviour #fault #reliability #runtime: Improving MPSoC reliability through adapting runtime task schedule based on time-correlated fault behavior (LARD, JMMD, CY), pp. 818–823.
DATE-2015-ErolOSPB #metric #using: On-chip measurement of bandgap reference voltage using a small form factor VCO based zoom-in ADC (OEE, SO, CKHS, RAP, LB), pp. 1559–1562.
DATE-2015-GaillardonTSTOS #power management: A ultra-low-power FPGA based on monolithically integrated RRAMs (PEG, XT, JS, MT, SRO, DS, YL, GDM), pp. 1203–1208.
DATE-2015-GomezPBRBFG #design #energy: Reducing energy consumption in microcontroller-based platforms with low design margin co-processors (AG, CP, AB, DR, LB, HF, JPdG), pp. 269–272.
DATE-2015-GoudVRR #design #robust #symmetry: Asymmetric underlapped FinFET based robust SRAM design at 7nm node (AAG, RV, AR, KR), pp. 659–664.
DATE-2015-HamdiouiXNTBCJC #architecture #data-driven #in memory: Memristor based computation-in-memory architecture for data-intensive applications (SH, LX, HADN, MT, KB, HC, HJ, FC, DW, LE, JvL), pp. 1718–1725.
DATE-2015-HanyuSOMNM #architecture #in memory #paradigm #power management #reliability #towards: Spintronics-based nonvolatile logic-in-memory architecture towards an ultra-low-power and highly reliable VLSI computing paradigm (TH, DS, NO, SM, MN, AM), pp. 1006–1011.
DATE-2015-HoqueMS #analysis #approach #maintenance #model checking #probability #reliability #towards: Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking (KAH, OAM, YS), pp. 1635–1640.
DATE-2015-HuangHC #algorithm #clustering #framework #multi #problem #scalability: Clustering-based multi-touch algorithm framework for the tracking problem with a large number of points (SLH, SYH, CPC), pp. 719–724.
DATE-2015-HuangLH #multi: Volume-oriented sample preparation for reactant minimization on flow-based microfluidic biochips with multi-segment mixers (CMH, CHL, JDH), pp. 1114–1119.
DATE-2015-Ibing #architecture #execution #symbolic computation: Architecture description language based retargetable symbolic execution (AI), pp. 241–246.
DATE-2015-JovanovicP #product line: Fault-based attacks on the Bel-T block cipher family (PJ, IP), pp. 601–604.
DATE-2015-KimFPSL #framework #implementation #modelling #verification: Platform-specific timing verification framework in model-based implementation (BK, LF, LTXP, OS, IL), pp. 235–240.
DATE-2015-KimKKC #manycore #mobile #named: M-DTM: migration-based dynamic thermal management for heterogeneous mobile multi-core processors (YGK, MK, JMK, SWC), pp. 1533–1538.
DATE-2015-KomalanTPFC: System level exploration of a STT-MRAM based level 1 data-cache (MPK, CT, JIGP, FTF, FC), pp. 1311–1316.
DATE-2015-KumarAL #detection #fault #monitoring: Operational fault detection and monitoring of a memristor-based LUT (TNK, HAFA, FL), pp. 429–434.
DATE-2015-LaerEMWJ #multi #predict: Coherence based message prediction for optically interconnected chip multiprocessors (AVL, CE, MRM, PMW, TMJ), pp. 613–616.
DATE-2015-LeeLMHP #monitoring #named #security: Extrax: security extension to extract cache resident information for snoop-based external monitors (JL, YL, HM, IH, YP), pp. 151–156.
DATE-2015-LeeSLKKL #programmable: DSP based programmable FHD HEVC decoder (SL, JS, WL, DHK, JK, SL), pp. 972–973.
DATE-2015-LiFBLON #design: Thermal aware design method for VCSEL-based on-chip optical interconnect (HL, AF, SLB, XL, IO, GN), pp. 1120–1125.
DATE-2015-LinH #memory management #named: HLC: software-based half-level-cell flash memory (HYL, JWH), pp. 936–941.
DATE-2015-LiuLY #approach #effectiveness: An effective triple patterning aware grid-based detailed routing approach (ZL, CL, EFYY), pp. 1641–1646.
DATE-2015-LoCH #architecture #clustering #fault: Architecture of ring-based redundant TSV for clustered faults (WHL, KC, TH), pp. 848–853.
DATE-2015-MamaghanianV #design #power management: Ultra-low-power ECG front-end design based on compressed sensing (HM, PV), pp. 671–676.
DATE-2015-MazloumiM #hybrid #memory management #multi: A hybrid packet/circuit-switched router to accelerate memory access in NoC-based chip multiprocessors (AM, MM), pp. 908–911.
DATE-2015-MunchPHH #embedded #manycore #named #realtime #scalability #using: MPIOV: scaling hardware-based I/O virtualization for mixed-criticality embedded real-time systems using non transparent bridges to (multi-core) multi-processor systems (DM, MP, OH, AH), pp. 579–584.
DATE-2015-NowosielskiGBVB #design #fault tolerance #named: FLINT: layout-oriented FPGA-based methodology for fault tolerant ASIC design (RN, LG, SB, GPV, HB), pp. 297–300.
DATE-2015-OyaSYT #classification #identification: A score-based classification method for identifying hardware-trojans at gate-level netlists (MO, YS, MY, NT), pp. 465–470.
DATE-2015-PaganoVRCSS #configuration management: Thermal-aware floorplanning for partially-reconfigurable FPGA-based systems (DP, MV, MR, RC, DS, MDS), pp. 920–923.
DATE-2015-RaiT #manycore #modelling: A calibration based thermal modeling technique for complex multicore systems (DR, LT), pp. 1138–1143.
DATE-2015-RajendranRadhika: Path selection based acceleration of conditionals in CGRAs (SR, AS, MH), pp. 121–126.
DATE-2015-RustLP #approximate #architecture: QR-decomposition architecture based on two-variable numeric function approximation (JR, FL, SP), pp. 892–895.
DATE-2015-SamieBHH #multi #online: Online binding of applications to multiple clock domains in shared FPGA-based systems (FS, LB, CMH, JH), pp. 25–30.
DATE-2015-SedighiPHNN: A CNN-inspired mixed signal processor based on tunnel transistors (BS, IP, XSH, JN, MTN), pp. 1150–1155.
DATE-2015-SenniBTSGM: Potential applications based on NVM emerging technologies (SS, RMB, LT, GS, AG, BM), pp. 1012–1017.
DATE-2015-ShutoYS #architecture #case study #comparative #using: Comparative study of power-gating architectures for nonvolatile FinFET-SRAM using spintronics-based retention technology (YS, SY, SS), pp. 866–871.
DATE-2015-StrobelBOSP #named #using: Scandalee: a side-channel-based disassembler using local electromagnetic emanations (DS, FB, DO, FS, CP), pp. 139–144.
DATE-2015-VatajeluNIP: STT MRAM-Based PUFs (EIV, GDN, MI, PP), pp. 872–875.
DATE-2015-VenkatesanVFRR #energy #logic #named: Spintastic: spin-based stochastic logic for energy-efficient computing (RV, SV, XF, KR, AR), pp. 1575–1578.
DATE-2015-VijayakumarK #design #modelling #novel: A novel modeling attack resistant PUF design based on non-linear voltage transfer characteristics (AV, SK), pp. 653–658.
DATE-2015-WangHNYYWYZ #energy #in memory #recognition: An energy-efficient non-volatile in-memory accelerator for sparse-representation based face recognition (YW, HH, LN, HY, MY, CW, WY, JZ), pp. 932–935.
DATE-2015-WangLZ #big data #named: SODA: software defined FPGA based accelerators for big data (CW, XL, XZ), pp. 884–887.
DATE-2015-ZhangPJLF #fault #self: Temperature-aware software-based self-testing for delay faults (YZ, ZP, JJ, HL, MF), pp. 423–428.
DATE-2015-ZhaoLXLHX #cyber-physical #energy #reduction: Software assisted non-volatile register reduction for energy harvesting based cyber-physical system (MZ, QL, MX, YL, JH, CJX), pp. 567–572.
DATE-2015-ZhuCPP #manycore #named: TAPP: temperature-aware application mapping for NoC-based many-core processors (DZ, LC, TMP, MP), pp. 1241–1244.
DocEng-2015-HollausDFKS #multi: Investigation of Ancient Manuscripts based on Multispectral Imaging (FH, MD, SF, FK, RS), pp. 93–96.
DocEng-2015-MeiKYRIMM #performance #word: Efficient Computation of Co-occurrence Based Word Relatedness (JM, XK, ZY, ARC, AI, AM, EEM), pp. 43–46.
DocEng-2015-RastanPS #approach #comprehension #named: TEXUS: A Task-based Approach for Table Extraction and Understanding (RR, HYP, JS), pp. 25–34.
DocEng-2015-SilvaFLCOSR #automation #documentation #machine learning #summary: Automatic Text Document Summarization Based on Machine Learning (GPeS, RF, RDL, LdSC, HO, SJS, MR), pp. 191–194.
DocEng-2015-SotoMAIMDMO #reuse #similarity: Similarity-Based Support for Text Reuse in Technical Writing (AJS, AM, AA, AI, EEM, MD, RM, MCFdO), pp. 97–106.
DRR-2015-NayefO #assessment #documentation #image #quality: Metric-based no-reference quality assessment of heterogeneous document images (NN, JMO).
DRR-2015-PengCN #approach #using: Boost OCR accuracy using iVector based system combination approach (XP, HC, PN).
HT-2015-GutierrezP #microblog #sentiment: Sentiment-based User Profiles in Microblogging Platforms (FJG, BP), pp. 23–32.
HT-2015-PrasetyoH #predict: Twitter-based Election Prediction in the Developing World (NDP, CH), pp. 149–158.
HT-2015-SchulzSS #detection: Small-Scale Incident Detection based on Microposts (AS, BS, TS), pp. 3–12.
SIGMOD-2015-ChangLQYZ #algorithm #component: Index-based Optimal Algorithms for Computing Steiner Components with Maximum Connectivity (LC, XL, LQ, JXY, WZ), pp. 459–474.
SIGMOD-2015-ChuMIOP0Y #crowdsourcing #knowledge base #named: KATARA: A Data Cleaning System Powered by Knowledge Bases and Crowdsourcing (XC, JM, IFI, MO, PP, NT, YY), pp. 1247–1261.
SIGMOD-2015-KouUMG: Weighted Coverage based Reviewer Assignment (NMK, LHU, NM, ZG), pp. 2031–2046.
SIGMOD-2015-SalamaBKZ #cost analysis #fault tolerance #parallel: Cost-based Fault-tolerance for Parallel Data Processing (AS, CB, TK, EZ), pp. 285–297.
SIGMOD-2015-SunFSKHX #graph #named #performance: SQLGraph: An Efficient Relational-Based Property Graph Store (WS, AF, KS, AK, GH, GTX), pp. 1887–1901.
SIGMOD-2015-UlrichG #compilation #query: The Flatter, the Better: Query Compilation Based on the Flattening Transformation (AU, TG), pp. 1421–1426.
SIGMOD-2015-WangXL #adaptation #approach: Crowd-Based Deduplication: An Adaptive Approach (SW, XX, CHL), pp. 1263–1277.
SIGMOD-2015-WangXLCH #grid #migration #smarttech: QMapper for Smart Grid: Migrating SQL-based Application to Hive (YW, YX, YL, JC, SH), pp. 647–658.
VLDB-2015-BursztynGM #performance #query #rdf: Reformulation-based query answering in RDF: alternatives and performance (DB, FG, IM), pp. 1888–1899.
VLDB-2015-ChengLCF0HZ #crowdsourcing #reliability: Reliable Diversity-Based Spatial Crowdsourcing by Moving Workers (PC, XL, ZC, RF, LC, JH, JZ), pp. 1022–1033.
VLDB-2015-ChuOMIP0Y #crowdsourcing #knowledge base #named #reliability: KATARA: Reliable Data Cleaning with Knowledge Bases and Crowdsourcing (XC, MO, JM, IFI, PP, NT, YY), pp. 1952–1963.
VLDB-2015-DongGMDHLSZ #knowledge-based #trust #web: Knowledge-Based Trust: Estimating the Trustworthiness of Web Sources (XLD, EG, KM, VD, WH, CL, SS, WZ), pp. 938–949.
VLDB-2015-GuerraouiKPT #difference #named #privacy #recommendation: D2P: Distance-Based Differential Privacy in Recommenders (RG, AMK, RP, MT), pp. 862–873.
VLDB-2015-KouUMLLG #topic: A Topic-based Reviewer Assignment System (NMK, LHU, NM, YL, YL, ZG), pp. 1852–1863.
VLDB-2015-LiuRT0D: Aggregate Estimations over Location Based Services (WL, MFR, ST, NZ, GD), pp. 1334–1345.
VLDB-2015-LiuXPLZ: Finding Pareto Optimal Groups: Group-based Skyline (JL, LX, JP, JL, HZ), pp. 2086–2097.
VLDB-2015-ManabeT #documentation #html #logic: Extracting Logical Hierarchical Structure of HTML Documents Based on Headings (TM, KT), pp. 1606–1617.
VLDB-2015-PapenbrockKQN #dependence: Divide & Conquer-based Inclusion Dependency Discovery (TP, SK, JAQR, FN), pp. 774–785.
VLDB-2015-PotharajuCHNWZJ #automation #detection #knowledge base #named: ConfSeer: Leveraging Customer Support Knowledge Bases for Automated Misconfiguration Detection (RP, JC, LH, CNR, MW, LZ, NJ), pp. 1828–1839.
VLDB-2015-RahmanTRAD #estimation: Worker Skill Estimation in Team-Based Tasks (HR, ST, SBR, SAY, GD), pp. 1142–1153.
VLDB-2015-ShinRC #knowledge base #named: Mindtagger: A Demonstration of Data Labeling in Knowledge Base Construction (JS, CR, MJC), pp. 1920–1931.
VLDB-2015-ShinWWSZR #incremental #knowledge base #using: Incremental Knowledge Base Construction Using DeepDive (JS, SW, FW, CDS, CZ, CR), pp. 1310–1321.
CSEET-2015-SedanoP #experience #student #using: Enhancing Student Experience in Team-Based Project Courses Using Essence Reflection Meetings (TS, CP), pp. 10–12.
ITiCSE-2015-BellettiniLMMMT #analysis #how #performance #student: How Challenging are Bebras Tasks?: An IRT Analysis Based on the Performance of Italian Students (CB, VL, DM, MM, AM, MT), pp. 27–32.
ITiCSE-2015-ChengSH #named #online: TOPT: A Tree-based Online Presentation Tool (YC, JS, JH), p. 342.
ITiCSE-2015-SantosSFN #agile #development #framework #learning #mobile: Combining Challenge-Based Learning and Scrum Framework for Mobile Application Development (ARS, AS, PF, MN), pp. 189–194.
ITiCSE-2015-UraiUO #analysis #distributed #programming: Enhancements to Support Functions of Distributed Pair Programming Based on Action Analysis (TU, TU, NO), pp. 177–182.
ITiCSE-2015-WangMSLCW #data access #education #named #using #visualisation: RBACvisual: A Visualization Tool for Teaching Access Control using Role-based Access Control (MW, JM, CKS, TL, SC, CW), pp. 141–146.
ITiCSE-2015-WangZQS #programming: A TUI-based Programming Tool for Children (DW, LZ, YQ, FS), pp. 219–224.
ESOP-2015-EmmiGMR #analysis #source code: Analysis of Asynchronous Programs with Event-Based Synchronization (ME, PG, RM, FRV), pp. 535–559.
ESOP-2015-VasconcelosJFH #analysis #functional #lazy evaluation #recursion #type system: Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages (PBV, SJ, MF, KH), pp. 787–811.
FASE-2015-ArcelliCT #fuzzy #refactoring: Performance-Based Software Model Refactoring in Fuzzy Contexts (DA, VC, CT), pp. 149–164.
FASE-2015-BornAHT #dependence #rule-based: Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin (KB, TA, FH, GT), pp. 165–168.
FASE-2015-BrennerGS #distributed #on the fly #specification #synthesis: On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications (CB, JG, WS), pp. 51–65.
FASE-2015-CanalS #adaptation #communication #modelling: Model-Based Adaptation of Software Communicating via FIFO Buffers (CC, GS), pp. 252–266.
FASE-2015-DaniaC #modelling #reasoning: Model-Based Formal Reasoning about Data-Management Applications (CD, MC), pp. 218–232.
FASE-2015-GomezTSC #modelling #persistent #scalability: Map-Based Transparent Persistence for Very Large Models (AG, MT, GS, JC), pp. 19–34.
FASE-2015-StruberRCT #approach #model transformation #performance #reuse #variability: A Variability-Based Approach to Reusable and Efficient Model Transformations (DS, JR, MC, GT), pp. 283–298.
TACAS-2015-AlurMT #refinement #specification #synthesis: Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis (RA, SM, UT), pp. 501–516.
TACAS-2015-CimattiGMT #hybrid #model checking #named #smt: HyComp: An SMT-Based Model Checker for Hybrid Systems (AC, AG, SM, ST), pp. 52–67.
TACAS-2015-MolnarDVB #incremental #induction #ltl #model checking #proving: Saturation-Based Incremental LTL Model Checking with Inductive Proofs (VM, DD, AV, TB), pp. 643–657.
SCAM-J-2013-BeszedesSCGJG15 #clustering #dependence #empirical: Empirical investigation of SEA-based dependence cluster properties (ÁB, LS, BC, TG, JJ, TG), pp. 3–25.
ICPC-2015-BenomarASPS #detection #development #evolution #process: Detection of software evolution phases based on development activities (OB, HA, HAS, PP, MAS), pp. 15–24.
ICPC-2015-CosmaM #component #comprehension #using #visual notation #web: Understanding web applications using component based visual patterns (DCC, PFM), pp. 281–284.
ICPC-2015-SabiMHK #code search #keyword #order: Reordering results of keyword-based code search for supporting simultaneous code changes (YS, HM, YH, SK), pp. 289–290.
ICSME-2015-EkelundE #evaluation #industrial #performance #testing: Efficient regression testing based on test history: An industrial evaluation (EDE, EE), pp. 449–457.
ICSME-2015-LimaTFK #developer #metric #repository: Assessing developer contribution with repository mining-based metrics (JL, CT, FMFF, UK), pp. 536–540.
ICSME-2015-Verebi #approach #modelling #refactoring: A model-based approach to software refactoring (IV), pp. 606–609.
ICSME-2015-Yamashita #analysis #assessment #benchmark #case study #experience #metric #quality #visualisation: Experiences from performing software quality evaluations via combining benchmark-based metrics analysis, software visualization, and expert assessment (AY), pp. 421–428.
MSR-2015-AltingerSDW #dataset #embedded #fault #industrial #modelling #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-CoelhoAGD #android #debugging #exception #git: Unveiling Exception Handling Bug Hazards in Android Based on GitHub and Google Code Issues (RC, LA, GG, AvD), pp. 134–145.
MSR-2015-SchumacherA #framework #graph: An Enhanced Graph-Based Infrastructure for Software Search Engines (MS, CA), pp. 386–390.
MSR-2015-VasquezWBMP #android #execution #generative #mining: Mining Android App Usages for Generating Actionable GUI-Based Execution Scenarios (MLV, MW, CBC, KM, DP), pp. 111–122.
SANER-2015-Abi-AntounWKGR #graph #impact analysis: Impact analysis based on a global hierarchical Object Graph (MAA, YW, EK, AG, VR), pp. 221–230.
SANER-2015-BrandtnerMLG #integration #named #process #rule-based: SQA-Profiles: Rule-based activity profiles for Continuous Integration environments (MB, SCM, PL, HCG), pp. 301–310.
SANER-2015-CaiS #dependence #effectiveness #framework #impact analysis: A framework for cost-effective dependence-based dynamic impact analysis (HC, RAS), pp. 231–240.
SANER-2015-CaiS15a #analysis #dependence #fine-grained #named: TRACERJD: Generic trace-based dynamic dependence analysis with fine-grained logging (HC, RAS), pp. 489–493.
SANER-2015-Erfani #metamodelling #ontology #towards: Towards an ontology-based context-aware meta-model for the software domain (ME), pp. 605–606.
SANER-2015-LeL #metric #mining #rule-based #specification: Beyond support and confidence: Exploring interestingness measures for rule-based specification mining (TDBL, DL), pp. 331–340.
SANER-2015-RahmanR #identification: TextRank based search term identification for software change tasks (MMR, CKR), pp. 540–544.
SANER-2015-SaeidiHKJ #approach #clustering #multi #search-based: A search-based approach to multi-view clustering of software systems (AS, JH, RK, SJ), pp. 429–438.
SANER-2015-ThongtanunamTKY #approach #bibliography #code review #perspective #recommendation: Who should review my code? A file location-based code-reviewer recommendation approach for Modern Code Review (PT, CT, RGK, NY, HI, KiM), pp. 141–150.
SCAM-2015-BanerjeeMS #equivalence #framework #validation: A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs (KB, CAM, DS), pp. 247–252.
SCAM-2015-FenskeSMS #detection #smell #variability: When code smells twice as much: Metric-based detection of variability-aware code smells (WF, SS, DM, GS), pp. 171–180.
PEPM-2015-KootH #analysis #exception #functional #higher-order #semantics #strict #type system: Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics (RK, JH), pp. 127–138.
PEPM-2015-PoulsenMT #abstract interpretation #imperative #morphism #polymorphism: Imperative Polymorphism by Store-Based Types as Abstract Interpretations (CBP, PDM, PT), pp. 3–8.
SAS-2015-AdjeGM #generative #invariant #optimisation #polynomial #using: Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization (AA, PLG, VM), pp. 235–251.
STOC-2015-AbboudWY: Matching Triangles and Basing Hardness on an Extremely Popular Conjecture (AA, VVW, HY), pp. 41–50.
CIAA-2015-Hulden #automaton #finite #regular expression: From Two-Way to One-Way Finite Automata — Three Regular Expression-Based Methods (MH), pp. 176–187.
DLT-2015-Lohrey #grammarware: Grammar-Based Tree Compression (ML), pp. 46–57.
ICALP-v1-2015-KarpinskiLS #set: A QPTAS for the Base of the Number of Crossing-Free Structures on a Planar Point Set (MK, AL, DS), pp. 785–796.
LATA-2015-AutiliIMST #automation #specification #synthesis: Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications (MA, PI, FM, RS, MT), pp. 3–24.
LATA-2015-Peltier #approach #reasoning: Reasoning on Schemas of Formulas: An Automata-Based Approach (NP), pp. 263–274.
LATA-2015-UlyantsevZS #automaton #identification #symmetry: BFS-Based Symmetry Breaking Predicates for DFA Identification (VU, IZ, AS), pp. 611–622.
FM-2015-DurandS #formal method #framework #generative #named: Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems (WD, SS), pp. 577–580.
FM-2015-MirandaMR #automation #design #generative #testing #using #verification: Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests (BM, HM, RR), pp. 601–604.
FM-2015-SafilianMD #feature model #formal method #modelling #semantics: The Semantics of Cardinality-Based Feature Models via Formal Languages (AS, TSEM, ZD), pp. 453–469.
FM-2015-SchneiderLW #modelling #problem #validation: Model-Based Problem Solving for University Timetable Validation and Improvement (DS, ML, TW), pp. 487–495.
SEFM-2015-BlomHZ #behaviour #concurrent #functional #source code #verification: History-Based Verification of Functional Behaviour of Concurrent Programs (SB, MH, MZS), pp. 84–98.
SEFM-2015-CarvalhoBCCMS #csp #natural language #requirements #testing: NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP (GC, FAB, AC, AC, AM, AS), pp. 283–290.
SEFM-2015-SavaryFLL #modelling #robust #testing #using: Model-Based Robustness Testing in Event-B Using Mutation (AS, MF, ML, JLL), pp. 132–147.
ICFP-2015-Pavlinovic0W #fault #locality #smt: Practical SMT-based type error localization (ZP, TK, TW), pp. 412–423.
GaM-2015-HeussnerPCM #concurrent #graph #object-oriented #towards #verification: Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model (AH, CMP, CC, BM), pp. 32–47.
ICGT-2015-BurUHV #pattern matching #search-based: Local Search-Based Pattern Matching Features in EMF-IncQuery (MB, ZU, ÁH, DV), pp. 275–282.
CHI-2015-AbdelrahmanSH0 #interactive: Investigation of Material Properties for Thermal Imaging-Based Interaction (YA, ASS, NH, AS), pp. 15–18.
CHI-2015-AchibetCLM #3d #interactive #modelling #named: THING: Introducing a Tablet-based Interaction Technique for Controlling 3D Hand Models (MA, GC, AL, MM), pp. 317–326.
CHI-2015-ChengSSYD #comprehension: Gaze-Based Annotations for Reading Comprehension (SC, ZS, LS, KY, AKD), pp. 1569–1572.
CHI-2015-CordeiroBCF #lightweight #mobile: Rethinking the Mobile Food Journal: Exploring Opportunities for Lightweight Photo-Based Capture (FC, EB, EC, JF), pp. 3207–3216.
CHI-2015-FukahoriSI #gesture: Exploring Subtle Foot Plantar-based Gestures with Sock-placed Pressure Sensors (KF, DS, TI), pp. 3019–3028.
CHI-2015-GerlingML #game studies #video: Long-Term Use of Motion-Based Video Games in Care Home Settings (KMG, RLM, CL), pp. 1573–1582.
CHI-2015-HanXSCW #design #game studies #mobile #monitoring: Balancing Accuracy and Fun: Designing Camera Based Mobile Games for Implicit Heart Rate Monitoring (TH, XX, LS, JFC, JW), pp. 847–856.
CHI-2015-JohnsonNW #all about #case study #experience #game studies #video: All about that Base: Differing Player Experiences in Video Game Genres and the Unique Case of MOBA Games (DJ, LEN, PW), pp. 2265–2274.
CHI-2015-KleimanLDFC #image #named #set #similarity: DynamicMaps: Similarity-based Browsing through a Massive Set of Images (YK, JL, DD, YF, DCO), pp. 995–1004.
CHI-2015-LiYS #detection #interactive #named: IDSense: A Human Object Interaction Detection System Based on Passive UHF RFID (HL, CY, APS), pp. 2555–2564.
CHI-2015-LyuLZYMWSK: Measuring Photoplethysmogram-Based Stress-Induced Vascular Response Index to Assess Cognitive Load and Stress (YL, XL, JZ, CY, CM, TW, YS, KiK), pp. 857–866.
CHI-2015-MullerES #interactive #named: BaseLase: An Interactive Focus+Context Laser Floor (JM, DE, CS), pp. 3869–3878.
CHI-2015-MullerHHW #design: Practice-based Design of a Neighborhood Portal: Focusing on Elderly Tenants in a City Quarter Living Lab (CM, DH, TH, VW), pp. 2295–2304.
CHI-2015-PaterMM #online: This Digital Life: A Neighborhood-Based Study of Adolescents’ Lives Online (JAP, ADM, EDM), pp. 2305–2314.
CHI-2015-PolitisBP #multimodal: To Beep or Not to Beep?: Comparing Abstract versus Language-Based Multimodal Driver Displays (IP, SAB, FEP), pp. 3971–3980.
CHI-2015-PutzeAS #design #evaluation #fault #gesture #interface #self: Design and Evaluation of a Self-Correcting Gesture Interface based on Error Potentials from EEG (FP, CA, TS), pp. 3375–3384.
CHI-2015-SadauskasBA #design #framework #mining #social #social media: Mining Memories: Designing a Platform to Support Social Media Based Writing (JS, DB, RKA), pp. 3691–3700.
CHI-2015-VertanenMERK #mobile #named #performance #using: VelociTap: Investigating Fast Mobile Text Entry using Sentence-Based Decoding of Touchscreen Keyboard Input (KV, HM, JE, SR, POK), pp. 659–668.
CHI-2015-XuFTI #named: GACA: Group-Aware Command-based Arrangement of Graphic Elements (PX, HF, CLT, TI), pp. 2787–2795.
CHI-2015-YouWHCLHWHC #dependence #named: SoberDiary: A Phone-based Support System for Assisting Recovery from Alcohol Dependence (CWY, KCW, MCH, YCC, CLL, PSH, HCW, PH, HHC), pp. 3839–3848.
CHI-2015-ZezschwitzLJH: Easy to Draw, but Hard to Trace?: On the Observability of Grid-based (Un)lock Patterns (EvZ, ADL, PJ, HH), pp. 2339–2342.
CSCW-2015-AzariaRK #detection: An Agent for Deception Detection in Discussion Based Environments (AA, AR, SK), pp. 218–227.
CSCW-2015-BarbarinVK #product line: Taking our Time: Chronic Illness and Time-Based Objects in Families (AB, TCV, PVK), pp. 288–301.
CSCW-2015-DantecF #research: Strangers at the Gate: Gaining Access, Building Rapport, and Co-Constructing Community-Based Research (CALD, SF), pp. 1348–1358.
CSCW-2015-GuhaW #network #social: Do Birds of a Feather Watch Each Other?: Homophily and Social Surveillance in Location Based Social Networks (SG, SBW), pp. 1010–1020.
CSCW-2015-HuangT0 #mobile #social: Emotion Map: A Location-based Mobile Social System for Improving Emotion Awareness and Regulation (YH, YT, YW), pp. 130–142.
CSCW-2015-KoYLHJLSYSC #named #self #smarttech: NUGU: A Group-based Intervention App for Improving Self-Regulation of Limiting Smartphone Use (MK, SY, JL, CH, JJ, UL, DS, KY, JS, KMC), pp. 1235–1245.
DHM-EH-2015-GeurtsSKBL #3d #algorithm #comparison #image #modelling #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-MaruyamaKD #adaptation #scalability #simulation: MoCap-Based Adaptive Human-Like Walking Simulation in Laser-Scanned Large-Scale as-Built Environments (TM, SK, HD), pp. 193–204.
DHM-EH-2015-TianLYJCS #analysis #scalability #video: Single-Variable Scenario Analysis of Vehicle-Pedestrian Potential Crash Based on Video Analysis Results of Large-Scale Naturalistic Driving Data (RT, LL, KY, FJ, YC, RS), pp. 295–304.
DHM-EH-2015-ZhouYLXZ #analysis: Moment Analysis of Virtual Human Joint Based on JACK (QXZ, QY, ZQL, FX, SZ), pp. 100–109.
DHM-HM-2015-KanazawaOWWTGH #bibliography #evaluation #visual notation: Visual Evaluation of “The Way of Tea” Based on Questionnaire Survey Between Chinese and Japanese (SK, TO, ZW, RW, YT, AG, HH), pp. 299–306.
DUXU-DD-2015-AsthanaS #modelling #named #testing #usability #using #xml: Maareech: Usability Testing Tool for Voice Response System Using XML Based User Models (SA, PS), pp. 101–112.
DUXU-DD-2015-ChenXNWZS #behaviour #research #semantics: Semantic Research of Military Icons Based on Behavioral Experiments and Eye-Tracking Experiments (XJC, CX, YN, HW, JZ, JS), pp. 24–31.
DUXU-DD-2015-GalaboN #design pattern #experience #human-computer #user interface: A Posture HCI Design Pattern for Television Commerce Based on User Experience (RJG, CdSSN), pp. 191–203.
DUXU-DD-2015-Jin #constraints #design #experience #formal method: The Conflict Resolution in Product Experience Design Based on Evaporating Cloud of the Theory of Constraints (LJ), pp. 53–62.
DUXU-DD-2015-MedeirosTF #design #gesture #how #question #user interface: How to Design an User Interface Based on Gestures? (ACSM, TAT, IEdF), pp. 63–74.
DUXU-DD-2015-RossBOAA #case study #experience #feedback: A Feasibility Study of the Effect of Phone-Based Feedback of Other Commuters’ Subjective Experiences on Driver Intentions to Change (TR, AB, LO, BA, VAS), pp. 548–558.
DUXU-IXD-2015-AljohaniB #evaluation #heuristic #repository: Heuristic Evaluation of University Institutional Repositories Based on DSpace (MA, JB), pp. 119–130.
DUXU-IXD-2015-EndaraL #architecture #design #interface #mobile: Designing an Interface Agent-Based Architecture for Creating a Mobile System of Medical Care (AEE, CJPdL), pp. 606–615.
DUXU-IXD-2015-GencCY #information management: Participatory Explorations on a Location Based Urban Information System (ÖG, DÇ, AEY), pp. 357–367.
DUXU-UI-2015-BendoukhaMB #workflow: Building Cloud-Based Scientific Workflows Made Easy: A Remote Sensing Application (SB, DM, HB), pp. 277–288.
DUXU-UI-2015-KissingerM #game studies #interface #usability: Usability of Touchpad Based Game Controller Interfaces (JK, TM), pp. 452–463.
DUXU-UI-2015-TrajkovaF #evaluation #usability: Usability Evaluation of Kinect-Based System for Ballet Movements (MT, MF), pp. 464–472.
HCI-DE-2015-AlenljungS #design #perspective: Designing Simulation-Based Training for Prehospital Emergency Care: Participation from a Participant Perspective (BA, HMS), pp. 297–306.
HCI-DE-2015-ChomaZB #communication #design #heuristic #protocol #usability: Communication of Design Decisions and Usability Issues: A Protocol Based on Personas and Nielsen’s Heuristics (JC, LAMZ, DB), pp. 163–174.
HCI-DE-2015-GrobelnyM #algorithm #analysis #comparative #design #grid #visual notation: Comparative Analysis of Regular Grid Based Algorithms in the Design of Graphical Control Panels (JG, RM), pp. 332–339.
HCI-DE-2015-IgaTAF #predict: Study of Uninterruptible Duration Prediction Based on PC Operation (HI, TT, KA, KF), pp. 350–359.
HCI-DE-2015-KobayashiTAF #email: E-Mail Delivery Mediation System Based on User Interruptibility (YK, TT, KA, KF), pp. 370–380.
HCI-DE-2015-MayasHK #workflow: Workflow-Based Passenger Information for Public Transport (CM, SH, HK), pp. 381–389.
HCI-DE-2015-NakatsujiYKT #towards: Airway Cursor: A Pointing Technique Based on Direction of Mouse Movement Towards a Targets (TN, KY, IK, YT), pp. 396–404.
HCI-DE-2015-Semnani-AzadN #automation #behaviour: Automatic Interpretation of Negotiators’ Affect and Involvement Based on Their Non-verbal Behavior (ZSA, EN), pp. 520–529.
HCI-DE-2015-SugiuraSO #implementation #metric #security #using: Improving IT Security Through Security Measures: Using Our Game-Theory-Based Model of IT Security Implementation (MS, HS, TO), pp. 82–95.
HCI-IT-2015-AtroucheID #problem: A Mashup-Based Application for the Smart City Problematic (AA, DI, BD), pp. 683–694.
HCI-IT-2015-BandeiraCXK #gesture #interface #using: Using Gesture-Based Interfaces to Control Robots (GMB, MC, BHX, JK), pp. 3–12.
HCI-IT-2015-KhataeiA #persuasion #trust: Trust-Based Individualization for Persuasive Presentation Builder (AK, AA), pp. 418–428.
HCI-IT-2015-MacKenzie #throughput: Fitts’ Throughput and the Remarkable Case of Touch-Based Target Selection (ISM), pp. 238–249.
HCI-IT-2015-RemJ #design #user interface: Implications for Design of Personal Mobility Devices with Balance-Based Natural User Interfaces (AR, SGJ), pp. 363–375.
HCI-IT-2015-SakoNK #estimation #random: Violin Fingering Estimation According to the Performer’s Skill Level Based on Conditional Random Field (SS, WN, TK), pp. 485–494.
HCI-IT-2015-SatoAOO #analysis #automation #classification #image: Automatic Classification Between Involuntary and Two Types of Voluntary Blinks Based on an Image Analysis (HS, KA, SO, MO), pp. 140–149.
HCI-IT-2015-Yigitbas0E #adaptation #framework #modelling #multi #user interface: A Model-Based Framework for Multi-Adaptive Migratory User Interfaces (EY, SS, GE), pp. 563–572.
HCI-UC-2015-FukuzawaSU #bibliography #risk management #security: Survey on Risk Management Based on Information Security Psychology (YF, MS, HU), pp. 396–408.
HCI-UC-2015-KaratasYSO #multi #named: NAMIDA: Multiparty Conversation Based Driving Agents in Futuristic Vehicle (NK, SY, PRSDS, MO), pp. 198–207.
HCI-UC-2015-OhJK #approach #human-computer #simulation #using: Simulation of an Affordance-Based Human-Machine Cooperative Control Model Using an Agent-Based Simulation Approach (YgO, IJ, NK), pp. 226–237.
HCI-UC-2015-SpeiginerMBRLLB #artificial reality #evolution #framework #web: The Evolution of the Argon Web Framework Through Its Use Creating Cultural Heritage and Community-Based Augmented Reality Applications (GS, BM, JDB, HR, AJL, LML, LDB, MG, MS, BD, ME, RJC, EDM), pp. 112–124.
HIMI-IKC-2015-AraiTA #development #learning: Development of a Learning Support System for Class Structure Mapping Based on Viewpoint (TA, TT, TA), pp. 285–293.
HIMI-IKC-2015-IshiiMKS #clustering #education #topic: A Topic Model for Clustering Learners Based on Contents in Educational Counseling (TI, SM, KK, YS), pp. 323–331.
HIMI-IKC-2015-ItoSK #information management: Information Sharing System Based on Situation Comprehensions of Intelligent Vehicles to Improve Drivers’ Acceptability for Proactive ADAS (TI, TS, MK), pp. 201–212.
HIMI-IKC-2015-NakamuraTA #design #student: Proposal of an Instructional Design Support System Based on Consensus Among Academic Staff and Students (SN, TT, TA), pp. 370–377.
HIMI-IKC-2015-OgusuOKY #generative #music: Enhancing Abstract Imaginations of Viewers of Abstract Paintings by a Gaze Based Music Generation System (TO, JO, JK, SY), pp. 457–464.
HIMI-IKC-2015-VerstocktSB #recommendation: Map-Based Linking of Geographic User and Content Profiles for Hyperlocal Content Recommendation (SV, VS, KB), pp. 53–63.
HIMI-IKD-2015-BelyiPRM #multi: A Multi-agent Based System for Route Planning (EB, IP, AR, VM), pp. 500–512.
HIMI-IKD-2015-EldesoukyMSD #interface #knowledge base #natural language: Seed, a Natural Language Interface to Knowledge Bases (BE, HM, SS, AD), pp. 280–290.
HIMI-IKD-2015-GilbertZ #information management #towards #wiki: Towards a Class-Based Model of Information Organization in Wikipedia (MG, MZ), pp. 301–309.
HIMI-IKD-2015-IchiharaHIK #behaviour #metric: Presentation Method of Walking Sensation Based on Walking Behavior Measurement with Inertial Sensors and Pressure Sensors (KI, KH, YI, MK), pp. 374–385.
HIMI-IKD-2015-ImajiF #generative #summary #visual notation: Generating Summary Videos Based on Visual and Sound Information from Movies (YI, MF), pp. 190–203.
HIMI-IKD-2015-IwamotoH #induction #using: Induction of a Relaxed State Using a Vibration Stimulus Based on the Respiratory Cycle (NI, HH), pp. 386–395.
HIMI-IKD-2015-KalkattawiN #ubiquitous #using: Ubiquitous Healthcare Systems: Improving the Adherence Level within Diabetic Medication Using Cloud-Based Reminder System (MK, TN), pp. 535–546.
HIMI-IKD-2015-SharmaMMTD #graph #modelling: A Team Hiring Solution Based on Graph-Based Modelling of Human Resource Entities (AS, JM, AM, AT, PD), pp. 115–126.
LCT-2015-Alvarez-Montero #bibliography #concept #feedback #perspective #tool support: Feedback in Computer-Based Concept Mapping Tools: A Short Review (FJÁM, HJG, ERR), pp. 187–198.
LCT-2015-ChangHGL #education #gesture #named: G-NETS — Gesture-Based Nursing Educational Training Support System (JWC, CFH, RLG, CCL), pp. 33–42.
LCT-2015-FatahiMZ #performance: A Computational Model to Determine Desirability of Events Based on Personality for Performance Motivational Orientation Learners (SF, HM, ANZ), pp. 227–237.
LCT-2015-KimAKW #game studies #learning: H-Treasure Hunt: A Location and Object-Based Serious Game for Cultural Heritage Learning at a Historic Site (HK, SA, SK, WW), pp. 561–572.
LCT-2015-KimCD #artificial reality #learning #simulation: The Learning Effect of Augmented Reality Training in a Computer-Based Simulation Environment (JHK, TC, WD), pp. 406–414.
LCT-2015-KimOP #education #game studies #gesture #performance: Developing an Educational Game for Art Education — Gesture Recognition-Based Performance Guidance for Mozart’s Opera Magic Flute (HSK, SHO, YHP), pp. 573–582.
LCT-2015-Ludi #programming: A Tablet-Based Lego Mindstorms Programming Environment for Children (SL), pp. 106–114.
LCT-2015-OnoOIY #case study #communication: Voice-Based Computer Mediated Communication for Individual Practice to Increase Speaking Proficiency: Construction and Pilot Study (YO, AO, MI, MY), pp. 115–123.
LCT-2015-RiveiroDKJB: Supporting Golf Coaching and Swing Instruction with Computer-Based Training Systems (MR, AD, RK, UJ, PB), pp. 279–290.
LCT-2015-TamuraTHN #generative #learning #wiki: Generating Quizzes for History Learning Based on Wikipedia Articles (YT, YT, YH, YIN), pp. 337–346.
SCSM-2015-ChungM #data transfer #interactive: Interaction Study of Shuriken: User Grouping and Data Transfer Based on Inter-device Relative Positioning (JC, AM), pp. 196–206.
SCSM-2015-GerritsenB #analysis #predict: Simulation-Based Prediction and Analysis of Collective Emotional States (CG, WRJvB), pp. 118–126.
AdaEurope-2015-BaldovinZNP #development #modelling: The CONCERTO Methodology for Model-Based Development of Avionics Software (AB, AZ, GN, SP), pp. 131–145.
AdaEurope-2015-FernandezPGH #framework: AFDX Emulator for an ARINC-Based Training Platform (JF, HP, JJG, MGH), pp. 212–227.
AdaEurope-2015-PerezGTT #clustering #concept #manycore #safety: A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning (JP, DG, ST, TT), pp. 3–17.
CAiSE-2015-WeilerGS #detection #performance #runtime #twitter: Run-Time and Task-Based Performance of Event Detection Techniques for Twitter (AW, MG, MHS), pp. 35–49.
ICEIS-v1-2015-AlhammadiSE #knowledge base #migration: A Knowledge based Decision Making Tool to Support Cloud Migration Decision Making (AA, CS, AE), pp. 637–643.
ICEIS-v1-2015-BerroMT #graph #open data #process #statistics: Graph-based ETL Processes for Warehousing Statistical Open Data (AB, IM, OT), pp. 271–278.
ICEIS-v1-2015-BorgesDRAS #approach #generative #using: An Economic Approach for Generation of Train Driving Plans using Continuous Case-based Planning (APB, OBD, RR, BCÁ, EES), pp. 440–451.
ICEIS-v1-2015-BousdekisMAM: Supporting the Selection of Prognostic-based Decision Support Methods in Manufacturing (AB, BM, DA, GM), pp. 487–494.
ICEIS-v1-2015-BrodskyL #knowledge base #modelling #reuse #towards: Decision Guidance Analytics Language (DGAL) — Toward Reusable Knowledge Base Centric Modeling (AB, JL), pp. 67–78.
ICEIS-v1-2015-CarboneraA #algorithm #category theory #clustering #named: CBK-Modes: A Correlation-based Algorithm for Categorical Data Clustering (JLC, MA), pp. 603–608.
ICEIS-v1-2015-CarboneraA15a #approach #information management #knowledge-based #representation: A Cognition-inspired Knowledge Representation Approach for Knowledge-based Interpretation Systems (JLC, MA), pp. 644–649.
ICEIS-v1-2015-FerrandinENSA #approach #classification: A Centroid-based Approach for Hierarchical Classification (MF, FE, JCN, EES, BCÁ), pp. 25–33.
ICEIS-v1-2015-GharbiGB #approach #configuration management #embedded #hybrid #realtime #scheduling #search-based: A Hybrid Genetic based Approach for Real-time Reconfigurable Scheduling of OS Tasks in Uniprocessor Embedded Systems (IG, HG, SB), pp. 385–390.
ICEIS-v1-2015-HernandezMV #energy #middleware: An IFC4-based Middleware for Data Interoperability in Energy Building Operation (JLH, SM, CV), pp. 287–294.
ICEIS-v1-2015-JuniorS #approach #compilation #optimisation #reasoning #set: Finding Good Compiler Optimization Sets — A Case-based Reasoning Approach (NLQJ, AFdS), pp. 504–515.
ICEIS-v1-2015-Marques-LucenaA #framework #information management #using: Knowledge Management Framework using Wiki-based Front-end Modules (CML, CA, SK, JS), pp. 79–86.
ICEIS-v1-2015-MendoncaMSS #approach #named #query: CORE — A Context-based Approach for Rewriting User Queries (AM, PM, DS, ACS), pp. 391–398.
ICEIS-v1-2015-SautotBJF #clustering #design #modelling #multi #refinement: Mixed Driven Refinement Design of Multidimensional Models based on Agglomerative Hierarchical Clustering (LS, SB, LJ, BF), pp. 547–555.
ICEIS-v1-2015-SilveiraCC #fault #monitoring #testing: Monitoring and Diagnosis of Faults in Tests of Rational Agents based on Condition-action Rules (FRdVS, GALdC, MIC), pp. 585–592.
ICEIS-v1-2015-SouzaBGBE #learning #online: Applying Ensemble-based Online Learning Techniques on Crime Forecasting (AJdS, APB, HMG, JPB, FE), pp. 17–24.
ICEIS-v1-2015-SunB #classification #mining #process: Function-based Case Classification for Improving Business Process Mining (YS, BB), pp. 251–258.
ICEIS-v1-2015-VaroneA #multi #using: Multi-modal Transportation with Public Transport and Ride-sharing — Multi-modal Transportation using a Path-based Method (SV, KA), pp. 479–486.
ICEIS-v1-2015-XiMY #database #manycore #named: PM-DB: Partition-based Multi-instance Database System for Multicore Platforms (FX, TM, HY), pp. 128–138.
ICEIS-v1-2015-ZhengLL #contest: A Game-theory based Model for Analyzing E-marketplace Competition (JZ, WL, DLL), pp. 650–657.
ICEIS-v2-2015-BeraOC #component #identification #modelling #representation #variability: Evidence-based SMarty Support for Variability Identification and Representation in Component Models (MHGB, EOJ, TEC), pp. 295–302.
ICEIS-v2-2015-CanutMOPS #algorithm #case study #comparative #empirical #profiling: A Comparative Study of Two Egocentric-based User Profiling Algorithms — Experiment in Delicious (CMFC, MM, SOa, AP, FS), pp. 632–639.
ICEIS-v2-2015-CeredaN #adaptation #automaton #recommendation: A Recommendation Engine based on Adaptive Automata (PRMC, JJN), pp. 594–601.
ICEIS-v2-2015-FrancaS #named #quality: SOAQM: Quality Model for SOA Applications based on ISO 25010 (JMSF, MSS), pp. 60–70.
ICEIS-v2-2015-GeraldiOCS #empirical #modelling #variability: Checklist-based Inspection of SMarty Variability Models — Proposal and Empirical Feasibility Study (RTG, EOJ, TC, IS), pp. 268–276.
ICEIS-v2-2015-JuniorP #approach #identification #named #ontology #requirements: OnTheme/Doc — An Ontology-based Approach for Crosscutting Concern Identification from Software Requirements (PAPJ, RADP), pp. 188–200.
ICEIS-v2-2015-KhlifKKD #approach #architecture #multi #uml: A UML-based Approach for Multi-scale Software Architectures (IK, MHK, AHK, KD), pp. 374–381.
ICEIS-v2-2015-MaranMAWO #information management #query: Proactive Domain Data Querying based on Context Information in Ambient Assisted Living Environments (VM, AM, IA, LKW, JPMdO), pp. 610–617.
ICEIS-v2-2015-Martin-Fernandez #alias #encryption #performance #using: Efficient Management of Revoked Pseudonyms in VANETs using ID-Based Cryptography (FMF, PCG, CCG), pp. 701–708.
ICEIS-v2-2015-MunizNM #functional #modelling #named #statistics #testing: TCG — A Model-based Testing Tool for Functional and Statistical Testing (LLM, USCN, PHMM), pp. 404–411.
ICEIS-v3-2015-AldeaIHQF #implementation #motivation: Capability-based Planning with ArchiMate — Linking Motivation to Implementation (AA, MEI, JvH, DACQ, HMF), pp. 352–359.
ICEIS-v3-2015-ChomaQZB #enterprise #usability: A Perspective-based Usability Inspection for ERP Systems (JC, DQ, LAMZ, DB), pp. 57–64.
ICEIS-v3-2015-LozanoCPA #named #ontology #query: RockQuery — An Ontology-based Data Querying Tool (JL, JLC, MP, MA), pp. 25–33.
ICEIS-v3-2015-NetoH #architecture #composition #lifecycle #web #web service: e-Business Architecture for Web Service Composition based on e-Contract Lifecycle (JBN, CH), pp. 276–283.
ICEIS-v3-2015-ThabetGG #analysis #mining #petri net #process: Petri Net Model Cost Extension based on Process Mining — Cost Data Description and Analysis (DT, SAG, HHBG), pp. 268–275.
ECIR-2015-BadacheB #documentation #social: Document Priors Based On Time-Sensitive Social Signals (IB, MB), pp. 617–622.
ECIR-2015-KuytenBHPA: A Discourse Search Engine Based on Rhetorical Structure Theory (PK, DB, BH, HP, KA), pp. 80–91.
ECIR-2015-LiHLZ #twitter: Selecting Training Data for Learning-Based Twitter Search (DL, BH, TL, XZ), pp. 501–506.
ECIR-2015-MizzaroPS #similarity #twitter: Content-Based Similarity of Twitter Users (SM, MP, IS), pp. 507–512.
ECIR-2015-PelejaM #learning #retrieval #sentiment: Learning Sentiment Based Ranked-Lexicons for Opinion Retrieval (FP, JM), pp. 435–440.
ECIR-2015-RomeoIT #classification #documentation #knowledge-based #multi #representation: Knowledge-Based Representation for Transductive Multilingual Document Classification (SR, DI, AT), pp. 92–103.
ECIR-2015-SchlottererSLG #mobile #retrieval: From Context-Aware to Context-Based: Mobile Just-In-Time Retrieval of Cultural Heritage Objects (JS, CS, WL, MG), pp. 805–808.
ECIR-2015-Tutubalina #problem #topic: Target-Based Topic Model for Problem Phrase Extraction (ET), pp. 271–277.
ECIR-2015-ValcarcePB #case study #modelling #recommendation: A Study of Smoothing Methods for Relevance-Based Language Modelling of Recommender Systems (DV, JP, AB), pp. 346–351.
ECIR-2015-WangHS0W0 #network #problem #recommendation #social #towards: Toward the New Item Problem: Context-Enhanced Event Recommendation in Event-Based Social Networks (ZW, PH, LS, KC, SW, GC), pp. 333–338.
ICML-2015-FilipponeE #linear #probability #process #scalability: Enabling scalable stochastic gradient-based inference for Gaussian processes by employing the Unbiased LInear System SolvEr (ULISSE) (MF, RE), pp. 1015–1024.
ICML-2015-GajaneUC #algorithm #exponential: A Relative Exponential Weighing Algorithm for Adversarial Utility-based Dueling Bandits (PG, TU, FC), pp. 218–227.
ICML-2015-HallakSMM #learning #modelling: Off-policy Model-based Learning under Unknown Factored Dynamics (AH, FS, TAM, SM), pp. 711–719.
ICML-2015-HeRFGL #modelling #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-JiangKS #abstraction #learning #modelling: Abstraction Selection in Model-based Reinforcement Learning (NJ, AK, SS), pp. 179–188.
ICML-2015-LebretPC #image: Phrase-based Image Captioning (RL, POP, RC), pp. 2085–2094.
ICML-2015-LibbrechtHBN #graph: Entropic Graph-based Posterior Regularization (ML, MMH, JAB, WSN), pp. 1992–2001.
ICML-2015-MaclaurinDA #learning #optimisation: Gradient-based Hyperparameter Optimization through Reversible Learning (DM, DKD, RPA), pp. 2113–2122.
ICML-2015-RalaivolaA: Entropy-Based Concentration Inequalities for Dependent Variables (LR, MRA), pp. 2436–2444.
ICML-2015-SerrurierP #evaluation #learning: Entropy evaluation based on confidence intervals of frequency estimates : Application to the learning of decision trees (MS, HP), pp. 1576–1584.
ICML-2015-SibonyCJ #learning #ranking #statistics: MRA-based Statistical Learning from Incomplete Rankings (ES, SC, JJ), pp. 1432–1441.
ICML-2015-Soltanmohammadi #data fusion: Context-based Unsupervised Data Fusion for Decision Making (ES, MNP, MvdS), pp. 2076–2084.
ICML-2015-SzorenyiBWH #approach #multi: Qualitative Multi-Armed Bandits: A Quantile-Based Approach (BS, RBF, PW, EH), pp. 1660–1668.
ICML-2015-YenLZRD #approach #modelling #process: A Convex Exemplar-based Approach to MAD-Bayes Dirichlet Process Mixture Models (IEHY, XL, KZ, PKR, ISD), pp. 2418–2426.
KDD-2015-AlthoffDMADZ #generative #knowledge base #named #timeline: TimeMachine: Timeline Generation for Knowledge-Base Entities (TA, XLD, KM, SA, VD, WZ), pp. 19–28.
KDD-2015-BeutelAF #behaviour #detection #graph #modelling #predict: Graph-Based User Behavior Modeling: From Prediction to Fraud Detection (AB, LA, CF), pp. 2309–2310.
KDD-2015-ChenXZX: Differentially Private High-Dimensional Data Publication via Sampling-Based Inference (RC, QX, YZ, JX), pp. 129–138.
KDD-2015-CortesMM #adaptation #algorithm: Adaptation Algorithm and Theory Based on Generalized Discrepancy (CC, MM, AMM), pp. 169–178.
KDD-2015-EmbarBPV #analysis #online #social #topic: Online Topic-based Social Influence Analysis for the Wimbledon Championships (VRE, IB, VP, RV), pp. 1759–1768.
KDD-2015-FisherCWR #clustering #framework: A Clustering-Based Framework to Control Block Sizes for Entity Resolution (JF, PC, QW, ER), pp. 279–288.
KDD-2015-GleichM #algorithm #graph #learning #using: Using Local Spectral Methods to Robustify Graph-Based Learning Algorithms (DFG, MWM), pp. 359–368.
KDD-2015-HsiehLZ #big data #quality #recommendation: Inferring Air Quality for Station Location Recommendation Based on Urban Big Data (HPH, SDL, YZ), pp. 437–446.
KDD-2015-IkonomovskaJD #predict #realtime #using: Real-Time Bid Prediction using Thompson Sampling-Based Expert Selection (EI, SJ, AD), pp. 1869–1878.
KDD-2015-LeeFZL #knowledge base: Leveraging Knowledge Bases for Contextual Entity Exploration (JL, AF, BZ, YL), pp. 1949–1958.
KDD-2015-LinLC #framework #multi #network #social: A Learning-based Framework to Handle Multi-round Multi-party Influence Maximization on Social Networks (SCL, SDL, MSC), pp. 695–704.
KDD-2015-LiuWHX #framework #graph #health: Temporal Phenotyping from Longitudinal Electronic Health Records: A Graph Based Framework (CL, FW, JH, HX), pp. 705–714.
KDD-2015-MayaMMAY #clustering #using: Discovery of Glaucoma Progressive Patterns Using Hierarchical MDL-Based Clustering (SM, KM, HM, RA, KY), pp. 1979–1988.
KDD-2015-NagarajanWBNBHT #analysis #predict: Predicting Future Scientific Discoveries Based on a Networked Analysis of the Past Literature (MN, ADW, BJB, IBN, SB, PJH, METD, SB, AKA, JJL, SR, CMB, CRP, LK, AML, AL, HZ, SB, GW, YC, LAD, WSS, OL), pp. 2019–2028.
KDD-2015-QahtanAWZ #data type #detection #framework #multi: A PCA-Based Change Detection Framework for Multidimensional Data Streams: Change Detection in Multidimensional Data Streams (AAQ, BA, SW, XZ), pp. 935–944.
KDD-2015-RenEWTVH #clustering #effectiveness #named #recognition #type system: ClusType: Effective Entity Recognition and Typing by Relation Phrase-Based Clustering (XR, AEK, CW, FT, CRV, JH), pp. 995–1004.
KDD-2015-ShaoHYZ #community #detection #distance: Community Detection based on Distance Dynamics (JS, ZH, QY, TZ), pp. 1075–1084.
KDD-2015-TsengYHKC #detection #framework #named: FrauDetector: A Graph-Mining-based Framework for Fraudulent Phone Call Detection (VST, JCY, CWH, YK, KTC), pp. 2157–2166.
KDD-2015-ZhangLZSKYJ #analysis #biology #image #learning #modelling #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-ZhengYLLSCL #big data #fine-grained #quality: Forecasting Fine-Grained Air Quality Based on Big Data (YZ, XY, ML, RL, ZS, EC, TL), pp. 2267–2276.
KDD-2015-ZhuPCZZ #modelling #network #social: Modeling User Mobility for Location Promotion in Location-based Social Networks (WYZ, WCP, LJC, KZ, XZ), pp. 1573–1582.
KDD-2015-ZhuYH #clustering #optimisation #predict: Co-Clustering based Dual Prediction for Cargo Pricing Optimization (YZ, HY, JH), pp. 1583–1592.
RecSys-2015-Geuens #behaviour #hybrid #recommendation: Factorization Machines for Hybrid Recommendation Systems Based on Behavioral, Product, and Customer Data (SG), pp. 379–382.
RecSys-2015-GrausW #elicitation #experience #user interface: Improving the User Experience during Cold Start through Choice-Based Preference Elicitation (MPG, MCW), pp. 273–276.
RecSys-2015-Ludmann #data type #online #recommendation: Online Recommender Systems based on Data Stream Management Systems (CAL), pp. 391–394.
RecSys-2015-MacedoMS #network #recommendation #social: Context-Aware Event Recommendation in Event-based Social Networks (AQdM, LBM, RLTS), pp. 123–130.
RecSys-2015-Santos #hybrid #recommendation: A Hybrid Recommendation System Based on Human Curiosity (AMdS), pp. 367–370.
RecSys-2015-ValcarcePB #case study #modelling #recommendation: A Study of Priors for Relevance-Based Language Modelling of Recommender Systems (DV, JP, AB), pp. 237–240.
SEKE-2015-AffonsoLON #adaptation #framework #learning #self: A Framework Based on Learning Techniques for Decision-making in Self-adaptive Software (FJA, GL, RAPO, EYN), pp. 24–29.
SEKE-2015-AlencarARRB #rule-based: A Rule-based Method for Discovering Trajectory Profiles (LAdA, LOA, CR, AR, VB), pp. 244–249.
SEKE-2015-ChavezM #information retrieval #ontology #query #using: An Information Retrieval Model using Query Expansion based on Ontologies in the Computer Science Domain (BGCC, AM), pp. 652–655.
SEKE-2015-ChenZWLPW #mining #probability #specification: Mining Universal Specification Based on Probabilistic Model (DC, YZ, RW, XL, LP, WW), pp. 471–476.
SEKE-2015-ElerDE #exception #execution #generative #symbolic computation #testing: Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution (MME, VHSD, ATE), pp. 346–351.
SEKE-2015-FiondellaGL #automation #predict: A Smartphone-based System for Automated Congestion Prediction (LF, SSG, NL), pp. 195–200.
SEKE-2015-Hori0TO #comparison #image #testing #web: An Oracle based on Image Comparison for Regression Testing of Web Applications (AH, ST, HT, MO), pp. 639–645.
SEKE-2015-KinneerKMW #automation #database #generative #performance #relational #search-based #testing: Automatically Evaluating the Efficiency of Search-Based Test Data Generation for Relational Database Schemas (CK, GMK, PM, CJW), pp. 352–357.
SEKE-2015-MokniHUVZ #architecture #component #evolution #multi: An evolution management model for multi-level component-based software architectures (AM, MH, CU, SV, HYZ), pp. 674–679.
SEKE-2015-NoureddineJHKM #approach #correlation #named #profiling #research: CARP: Correlation Based Approach for Researcher Profiling (HN, IJ, HH, OAK, EM), pp. 461–464.
SEKE-2015-QinMDJ #case study #modelling #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-RahmeX #scheduling: Reliability-Based Software Rejuvenation Scheduling for Cloud-Based Systems (JR, HX), pp. 298–303.
SEKE-2015-RamosCRSAP #analysis #architecture #recommendation: Recommendation in the Digital TV Domain: an Architecture based on Textual Description Analysis (FBAR, AAMC, RRdS, GS, HOdA, AP), pp. 99–104.
SEKE-2015-SaharAA #approach #case study #detection #image #modelling #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-SchreiberMRM #comprehension #named #object-oriented #source code: TAGGINGSENSE: Method Based On Sensemaking For Object-Oriented Source Code Comprehension (DS, ALAM, SSR, AM), pp. 278–283.
SEKE-2015-TaheriS #agile #classification #development: A Feature-Based Tool-Selection Classification for Agile Software Development (MT, SMS), pp. 700–704.
SEKE-2015-WangJC #similarity #testing: Similarity-based regression test case prioritization (RW, SJ, DC), pp. 358–363.
SEKE-2015-WangSZ #detection #execution #symbolic computation: Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection (YW, HS, QZ), pp. 536–539.
SEKE-2015-WuCZX15a #case study #comparative #object-oriented #programming language: A metrics-based comparative study on object-oriented programming languages (DW, LC, YZ, BX), pp. 272–277.
SEKE-2015-XuA #component #testing: A JVM-based Testing Harness for Improving Component Testability (WX, OeA), pp. 421–426.
SEKE-2015-XuSZ #algorithm #policy #testing: Fault-Based Testing of Combining Algorithms in XACML3.0 Policies (DX, NS, YZ), pp. 433–438.
SEKE-2015-ZegarraCW #graph #learning #visualisation: Facilitating Peer Learning and Knowledge Sharing in STEM Courses via Pattern Based Graph Visualization (EZ, SKC, JW), pp. 284–289.
SEKE-2015-ZhangGAU #analysis #mobile: Test Model and Coverage Analysis for Location-based Mobile Services (TZ, JG, OEKA, TU), pp. 80–86.
SEKE-2015-ZouCH #impact analysis #mobile #topic #user interface: Topic Matching Based Change Impact Analysis from Feature on User Interface of Mobile Apps (QZ, XC, YH), pp. 477–482.
SIGIR-2015-AllegrettiMHPJP: When Relevance Judgement is Happening?: An EEG-based Study (MA, YM, MH, FEP, JMJ, GP), pp. 719–722.
SIGIR-2015-ArkhipovaGKS #evaluation #predict: Search Engine Evaluation based on Search Engine Switching Prediction (OA, LG, IK, PS), pp. 723–726.
SIGIR-2015-BadacheB #quality #social: A Priori Relevance Based On Quality and Diversity Of Social Signals (IB, MB), pp. 731–734.
SIGIR-2015-CanutoGSRM #approach #classification #documentation #parallel #performance #scalability: An Efficient and Scalable MetaFeature-based Document Classification Approach based on Massively Parallel Computing (SDC, MAG, WS, TR, WM), pp. 333–342.
SIGIR-2015-GangulyRMJ #information retrieval #word: Word Embedding based Generalized Language Model for Information Retrieval (DG, DR, MM, GJFJ), pp. 795–798.
SIGIR-2015-GrotovWR #comparison #interactive: Bayesian Ranker Comparison Based on Historical User Interactions (AG, SW, MdR), pp. 273–282.
SIGIR-2015-HarelY #clustering #identification #query: Modularity-Based Query Clustering for Identifying Users Sharing a Common Condition (MGOH, EYT), pp. 819–822.
SIGIR-2015-HeindorfPSE #analysis #corpus #detection #knowledge base #towards: Towards Vandalism Detection in Knowledge Bases: Corpus Construction and Analysis (SH, MP, BS, GE), pp. 831–834.
SIGIR-2015-KiselevaMBDKEKT #optimisation: Where to Go on Your Next Trip?: Optimizing Travel Destinations Based on User Preferences (JK, MJIM, LB, CD, IK, MSE, JK, AT, DH), pp. 1097–1100.
SIGIR-2015-KongLLZCA #predict: Predicting Search Intent Based on Pre-Search Context (WK, RL, JL, AZ, YC, JA), pp. 503–512.
SIGIR-2015-Li #image #interactive #ranking #reachability #retrieval: Reachability based Ranking in Interactive Image Retrieval (JL), pp. 867–870.
SIGIR-2015-LiCLPK #named #ranking #recommendation: Rank-GeoFM: A Ranking based Geographical Factorization Method for Point of Interest Recommendation (XL, GC, XL, TANP, SK), pp. 433–442.
SIGIR-2015-Lu #statistics #using: Improving Search using Proximity-Based Statistics (XL), p. 1065.
SIGIR-2015-LuccheseNOPT #documentation #ranking: Speeding up Document Ranking with Rank-based Features (CL, FMN, SO, RP, NT), pp. 895–898.
SIGIR-2015-McAuleyTSH #recommendation: Image-Based Recommendations on Styles and Substitutes (JJM, CT, QS, AvdH), pp. 43–52.
SIGIR-2015-Paik #information retrieval #probability: A Probabilistic Model for Information Retrieval Based on Maximum Value Distribution (JHP), pp. 585–594.
SIGIR-2015-PetriM #cost analysis #on the #ranking: On the Cost of Phrase-Based Ranking (MP, AM), pp. 931–934.
SIGIR-2015-ShokouhiG #query #ranking #recommendation: From Queries to Cards: Re-ranking Proactive Card Recommendations Based on Reactive Search History (MS, QG), pp. 695–704.
SIGIR-2015-VulicM #information retrieval #modelling #word: Monolingual and Cross-Lingual Information Retrieval Models Based on (Bilingual) Word Embeddings (IV, MFM), pp. 363–372.
SIGIR-2015-YuM #graph #quality #similarity: High Quality Graph-Based Similarity Search (WY, JAM), pp. 83–92.
SIGIR-2015-ZhangCQZL #multi #personalisation #recommendation #similarity: When Personalization Meets Conformity: Collective Similarity based Multi-Domain Recommendation (XZ, JC, SQ, ZZ, HL), pp. 1019–1022.
SIGIR-2015-ZhangSTSWL: Compact Snippet Caching for Flash-based Search Engines (RZ, PS, JT, RJS, GW, XL), pp. 1015–1018.
MoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar: Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.
MoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar: Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.
ECMFA-J-2012-BaresiBKMMPRR15 #approach #embedded #uml #validation #verification: Formal verification and validation of embedded systems: the UML-based MADES approach (LB, GB, DSK, NDM, AM, RFP, AR, MR), pp. 343–363.
BX-2015-HidakaBTM #analysis #approach #bidirectional #graph transformation: Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations (SH, MB, QMT, KM), pp. 51–65.
ECMFA-2015-JahanbanifarKT #approach #integration #modelling: A Model-Based Approach for the Integration of Configuration Fragments (AJ, FK, MT), pp. 125–136.
ECMFA-2015-RossiniLGN #comparison #modelling #multi: A Comparison of Two-Level and Multi-level Modelling for Cloud-Based Applications (AR, JdL, EG, NN), pp. 18–32.
MoDELS-2015-Easterbrook #modelling: Modelling the climate system: Is model-based science like model-based engineering? (Keynote) (SME), p. 1.
MoDELS-2015-IftikharIKM #approach #automation #framework #game studies #modelling #testing: An automated model based testing approach for platform games (SI, MZI, MUK, WM), pp. 426–435.
MoDELS-2015-KetataMFLC #migration #modelling #performance #predict: Performance prediction upon toolchain migration in model-based software (AK, CM, SF, JHL, KC), pp. 302–311.
MoDELS-2015-MontaghamiR #debugging #declarative #modelling: Pattern-based debugging of declarative models (VM, DR), pp. 322–327.
MoDELS-2015-NguyenGA #case study #requirements: Integrating goal-oriented and use case-based requirements engineering: The missing link (THN, JCG, MA), pp. 328–337.
MoDELS-2015-PescadorGGCL #development #domain-specific language #modelling: Pattern-based development of Domain-Specific Modelling Languages (AP, AG, EG, JSC, JdL), pp. 166–175.
MoDELS-2015-SalayKSC #megamodelling #model management: Enriching megamodel management with collection-based operators (RS, SK, ADS, MC), pp. 236–245.
MoDELS-2015-SandenRGBJVS #composition #design #modelling: 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 #modelling #reuse: Concern-oriented interfaces for model-based reuse of APIs (MS, JK), pp. 286–291.
MoDELS-2015-SoltanaSSB #framework #modelling #policy #probability #simulation: A model-based framework for probabilistic simulation of legal policies (GS, NS, MS, LCB), pp. 70–79.
ECOOP-2015-DimovskiBW #abstraction #analysis #precise #variability: Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (ASD, CB, AW), pp. 247–270.
OOPSLA-2015-LopezMMNSVY #message passing #parallel #source code #verification: Protocol-based verification of message-passing parallel programs (HAL, ERBM, FM, NN, CS, VTV, NY), pp. 280–298.
GPCE-2015-AdamS #domain-specific language #tool support #towards: Towards tool support for spreadsheet-based domain-specific languages (SA, UPS), pp. 95–98.
GPCE-2015-AlsharaSTBDS #component #inheritance #migration #object-oriented #scalability: Migrating large object-oriented Applications into component-based ones: instantiation and inheritance transformation (ZA, ADS, CT, HLB, CD, AS), pp. 55–64.
GPCE-2015-ByalikCT #automation #named #programming #synthesis: Native-2-native: automated cross-platform code synthesis from web-based programming resources (AB, SC, ET), pp. 99–108.
GPCE-2015-FontAHC #metamodelling #modelling #product line: Addressing metamodel revisions in model-based software product lines (JF, LA, ØH, CC), pp. 161–170.
GPCE-2015-KolesnichenkoPN #contract #gpu #programming: Contract-based general-purpose GPU programming (AK, CMP, SN, BM), pp. 75–84.
PPDP-2015-AngelisFPP #generative #semantics #verification: Semantics-based generation of verification conditions by program specialization (EDA, FF, AP, MP), pp. 91–102.
PPDP-2015-CanoRLP #concurrent #declarative: Declarative interpretations of session-based concurrency (MC, CR, HAL, JAP), pp. 67–78.
QAPL-2015-MartinelliMS #security #specification: Semiring-based Specification Approaches for Quantitative Security (FM, IM, FS), pp. 95–109.
PADL-2015-TamaritVCM #c #haskell #implementation #program transformation #rule-based #source code: A Haskell Implementation of a Rule-Based Program Transformation for C Programs (ST, GV, MC, JM), pp. 105–114.
POPL-2015-TangWZXZM #analysis #data flow: Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks (HT, XW, LZ, BX, LZ, HM), pp. 83–95.
REFSQ-2015-GhaziSG #approach #named #requirements #visualisation: FlexiView: A Magnet-Based Approach for Visualizing Requirements Artifacts (PG, NS, MG), pp. 262–269.
REFSQ-2015-GroenDA #perspective #requirements #research #towards: Towards Crowd-Based Requirements Engineering A Research Preview (ECG, JD, SA), pp. 247–253.
REFSQ-2015-TenbergenWP #validation: Supporting the Validation of Adequacy in Requirements-Based Hazard Mitigations (BT, TW, KP), pp. 17–32.
SAC-2015-0001RMW #approach #behaviour #constraints #process: Matching of events and activities: an approach based on behavioral constraint satisfaction (TB, ARS, JM, MW), pp. 1225–1230.
SAC-2015-AliK #approach #effectiveness #recommendation: An effective approach to group recommendation based on belief propagation (IA, SWK), pp. 1148–1153.
SAC-2015-AlmeidaBBCD #variability: Dynamic decision-making based on NFR for managing software variability and configuration selection (AA, NB, TVB, EC, FD), pp. 1376–1382.
SAC-2015-AlrahmanNLTV #calculus #communication: A calculus for attribute-based communication (YAA, RDN, ML, FT, RV), pp. 1840–1845.
SAC-2015-AwadBESAS #anti #approach #detection #process #runtime: Runtime detection of business process compliance violations: an approach based on anti patterns (AA, AB, AE, RES, AA, SS), pp. 1203–1210.
SAC-2015-BarbieriTPG #named #representation #video #visual notation: Shot-HR: a video shot representation method based on visual features (TTSB, THT, MPPJ, RG), pp. 1257–1262.
SAC-2015-BarddalGE #algorithm #clustering #data type #named #social: SNCStream: a social network-based data stream clustering algorithm (JPB, HMG, FE), pp. 935–940.
SAC-2015-BeckersHMG #internet #security: Engineering trust- and reputation-based security controls for future internet systems (KB, MH, FM, MCFG), pp. 1344–1349.
SAC-2015-BekkoucheCR #approach #constraints #fault #locality #named: LocFaults: a new flow-driven and constraint-based error localization approach (MB, HC, MR), pp. 1773–1780.
SAC-2015-BerardiEF0 #classification #mobile #multi: Multi-store metadata-based supervised mobile app classification (GB, AE, TF, FS), pp. 585–588.
SAC-2015-BohdanowiczFFMN #locality: RSSI-based localization of a wireless sensor node with a flying robot (FB, HF, RF, DM, FN, IS), pp. 708–715.
SAC-2015-BorgesDSEAS #approach #performance #reasoning #reuse #using: Efficient approach for reusing and sharing train driving plans using case-based reasoning (APB, OBD, DMVS, FE, BCÁ, EES), pp. 505–508.
SAC-2015-BurityE #approach #recommendation: A quantitative, evidence-based approach for recommending software modules (TB, GEdS), pp. 1449–1456.
SAC-2015-BusseSDNH #data access #memory management #virtual machine: Partial coscheduling of virtual machines based on memory access patterns (AB, JHS, MD, POAN, HUH), pp. 2033–2038.
SAC-2015-CamaraGS0 #adaptation #architecture #game studies #model checking #probability #self: Optimal planning for architecture-based self-adaptation via model checking of stochastic games (JC, DG, BRS, AP), pp. 428–435.
SAC-2015-CamaraHJJ #graph #modelling #persuasion #recommendation #social #using: Using graph-based models in a persuasive social recommendation system (JPC, SH, JJ, VJ), pp. 189–194.
SAC-2015-Chakraborti #identification #multi #optimisation #summary #topic: Multi-document text summarization for competitor intelligence: a methodology based on topic identification and artificial bee colony optimization (SC), pp. 1110–1111.
SAC-2015-CharafeddineEFJ #component #runtime: Runtime enforcement for component-based systems (HC, KEH, YF, MJ), pp. 1789–1796.
SAC-2015-Chaudhary #experience #recommendation: Experience in item based recommender system (AC), pp. 1112–1114.
SAC-2015-DAddioM #approach #collaboration #sentiment: A sentiment-based item description approach for kNN collaborative filtering (RMD, MGM), pp. 1060–1065.
SAC-2015-DasK #using: Dynamic associativity management using utility based way-sharing (SD, HKK), pp. 1919–1924.
SAC-2015-DiasGKT #3d #adaptation #architecture #clustering #collaboration: A dynamic-adaptive architecture for 3d collaborative virtual environments based on graphic clusters (DRCD, MdPG, TWK, LCT), pp. 480–487.
SAC-2015-DihegoSO #component: Constructive extensibility of trustworthy component-based systems (JD, AS, MVMO), pp. 1808–1814.
SAC-2015-DominguesSBMPR #metadata #multi #personalisation #ranking #recommendation: Applying multi-view based metadata in personalized ranking for recommender systems (MAD, CVS, FMMB, MGM, MGCP, SOR), pp. 1105–1107.
SAC-2015-DymchenkoM #eclipse #problem #prolog: Declaratively solving tricky google code jam problems with prolog-based ECLiPSe CLP system (SD, MM), pp. 2122–2124.
SAC-2015-EllouzeRB #energy: Energy harvesting based protection of border surveillance systems (NE, SR, NB), pp. 621–626.
SAC-2015-FerrucciSKS #algorithm #framework #parallel #pipes and filters #search-based: A parallel genetic algorithms framework based on Hadoop MapReduce (FF, PS, MTK, FS), pp. 1664–1667.
SAC-2015-FonooniH #behaviour #on the #visual notation: On the similarities between control based and behavior based visual servoing (BF, TH), pp. 320–326.
SAC-2015-GayathriK #rdf #rule-based: Horn-rule based compression technique for RDF data (VG, PSK), pp. 396–401.
SAC-2015-GimenesGRG #analysis #graph #multimodal #repository: Multimodal graph-based analysis over the DBLP repository: critical discoveries and hypotheses (GPG, HG, JFRJ, MG), pp. 1129–1135.
SAC-2015-GkorouPE #distributed #network #trust: Trust-based collection of information in distributed reputation networks (DG, JAP, DHJE), pp. 2312–2319.
SAC-2015-GouthamLY #authentication #protocol #smarttech #using: An anonymous ID-based remote mutual authentication with key agreement protocol on ECC using smart cards (RAG, GJL, KYY), pp. 169–174.
SAC-2015-HamataniUH #smarttech #using: Estimating core body temperature based on human thermal model using wearable sensors (TH, AU, TH), pp. 521–526.
SAC-2015-HuangSZSXD #privacy #pseudo: A source-location privacy protection strategy via pseudo normal distribution-based phantom routing in WSNs (JH, MS, SZ, YS, CCX, QD), pp. 688–694.
SAC-2015-IqbalKK #analysis #sentiment: Bias-aware lexicon-based sentiment analysis (MI, AK, FK), pp. 845–850.
SAC-2015-JesusVB #functional #testing #web: Leveraging task-based data to support functional testing of web applications (FRdJ, LGdV, LABJ), pp. 783–790.
SAC-2015-JuniorRSM #approach #deployment #multi #non-functional #requirements: A multi-criteria approach for assessing cloud deployment options based on non-functional requirements (RGJ, TR, AS, NCM), pp. 1383–1389.
SAC-2015-JuniorSM #approach #semantics: An approach for building lexical-semantic resources based on heterogeneous information sources (JGdAJ, US, LBM), pp. 402–408.
SAC-2015-KaplanisKSMT: HB+tree: use hadoop and HBase even your data isn’t that big (AK, MK, SS, CM, GT), pp. 973–980.
SAC-2015-Khan #multi #network: Multi-criteria based vertical handover decision in heterogeneous wireless network (MK), pp. 720–721.
SAC-2015-KimL #diagrams #qvt #sequence chart #using: Pattern-based transformation of sequence diagrams using QVT (DKK, BL), pp. 1492–1497.
SAC-2015-LeeOL #enterprise #problem: SSD caching to overcome small write problem of disk-based RAID in enterprise environments (EL, YO, DL), pp. 2047–2053.
SAC-2015-LeeP #reduction: Search space reduction for electric vehicle-based tour schedules (JL, GLP), pp. 2075–2076.
SAC-2015-LeottaSRT #automation #generative #testing #visual notation #web: Automated generation of visual web tests from DOM-based web tests (ML, AS, FR, PT), pp. 775–782.
SAC-2015-MartinCBGP #algorithm #gpu: OpenACC-based GPU acceleration of an optical flow algorithm (NM, JC, GB, CG, MP), pp. 96–98.
SAC-2015-MurguzurTS #evaluation #framework #variability #workflow: Dynamic variability support in workflow-based systems: an evaluation of the LateVa framework (AM, ST, GS), pp. 1641–1643.
SAC-2015-NascimentoBJ #approach #geometry #recognition: A new approach to biometric recognition based on hand geometry (MVPdN, LVB, NLCJ), pp. 59–65.
SAC-2015-NascimentoPM #algorithm #machine learning #metaheuristic: A data quality-aware cloud service based on metaheuristic and machine learning provisioning algorithms (DCN, CESP, DGM), pp. 1696–1703.
SAC-2015-PaakkonenP: The implications of disk-based RAID and virtualization for write-intensive services (PP, DP), pp. 2288–2291.
SAC-2015-PedrosaTB: Shape description based on bag of salience points (GVP, AJMT, CAZB), pp. 74–79.
SAC-2015-Puffitsch #analysis #bound #branch #predict: Persistence-based branch misprediction bounds for WCET analysis (WP), pp. 1898–1905.
SAC-2015-RafailidisM #image #parallel #similarity: Parallel similarity search based on the dimensions value cardinalities of image descriptor vectors (DR, YM), pp. 1023–1030.
SAC-2015-SanchezJ #interactive #modelling #music #testing: Model based testing of an interactive music system (CPS, FJ), pp. 1759–1764.
SAC-2015-ShahriarH #approach #assessment #metric #risk management #security #web: Security assessment of clickjacking risks in web applications: metrics based approach (HS, HMH), pp. 791–797.
SAC-2015-SilvaBNCS #architecture #design #quality: A decision-making tool to support architectural designs based on quality attributes (ICLS, PHSB, BFdSN, EC, AAS), pp. 1457–1463.
SAC-2015-SilvaMFM #evaluation #metric #mobile: A scheduler for mobile cloud based on weighted metrics and dynamic context evaluation (FAS, PRMM, GF, RRMM), pp. 569–576.
SAC-2015-SilvaMR #algorithm #approach #problem #using: An approach to the MOGAS initialization problem using an algorithm based on path relinking (TGNdS, JEBM, LSR), pp. 118–124.
SAC-2015-TakemuraTT #classification #twitter: Classification of Twitter follow links based on the followers’ intention (HT, AT, KT), pp. 1174–1180.
SAC-2015-ThionLB #data access #data flow #relational: Tuple-based access control: a provenance-based information flow control for relational data (RT, FL, MBGT), pp. 2165–2170.
SAC-2015-TriasCSM #migration #named #reverse engineering #tool support #web: RE-CMS: a reverse engineering toolkit for the migration to CMS-based web applications (FT, VdC, MLS, EM), pp. 810–812.
SAC-2015-ValenteR #array: Transcript-based reannotation for microarray probesets (EV, MR), pp. 3–9.
SAC-2015-Valverde-Rebaza #modelling #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-VinagreJG #collaboration #feedback: Collaborative filtering with recency-based negative feedback (JV, AMJ, JG), pp. 963–965.
SAC-2015-YangCHCLK #performance: Reliability-aware striping with minimized performance overheads for flash-based storage devices (MCY, YMC, PCH, YHC, LJL, TWK), pp. 1906–1912.
ESEC-FSE-2015-ArcainiGR #composition #generative #modelling #testing: Improving model-based test generation by model decomposition (PA, AG, ER), pp. 119–130.
ESEC-FSE-2015-GreenyerHMB #analysis #re-engineering #requirements: Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering (JG, MH, JM, RB), pp. 1002–1005.
ESEC-FSE-2015-JingWDQX #fault #learning #metric #predict #representation: Heterogeneous cross-company defect prediction by unified metric representation and CCA-based transfer learning (XYJ, FW, XD, FQ, BX), pp. 496–507.
ESEC-FSE-2015-LeOL #debugging #information retrieval #locality: Information retrieval and spectrum based bug localization: better together (TDBL, RJO, DL), pp. 579–590.
ESEC-FSE-2015-LinPXZZ #interactive #recommendation: Clone-based and interactive recommendation for modifying pasted code (YL, XP, ZX, DZ, WZ), pp. 520–531.
ESEC-FSE-2015-MorenoBHPORM #re-engineering #retrieval: Query-based configuration of text retrieval solutions for software engineering tasks (LM, GB, SH, MDP, RO, BR, AM), pp. 567–578.
ESEC-FSE-2015-NguyenGA #case study #modelling #rule-based: Rule-based extraction of goal-use case models from text (THN, JCG, MA), pp. 591–601.
ESEC-FSE-2015-ParameshwaranBS #scalability: Auto-patching DOM-based XSS at scale (IP, EB, SS, HD, AS, PS), pp. 272–283.
ESEC-FSE-2015-ParameshwaranBS15a #framework #named #robust #testing: DexterJS: robust testing platform for DOM-based XSS vulnerabilities (IP, EB, SS, HD, AS, PS), pp. 946–949.
ESEC-FSE-2015-SafiSHM #detection: Detecting event anomalies in event-based systems (GS, AS, WGJH, NM), pp. 25–37.
ESEC-FSE-2015-White #generative #parametricity #performance #search-based #testing #using: Increasing the efficiency of search-based unit test generation using parameter control (TW), pp. 1042–1044.
ICSE-v1-2015-Ben-DavidSAB #model checking #product line #requirements #satisfiability #using: Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods (SBD, BS, JMA, SB), pp. 189–199.
ICSE-v1-2015-GousiosZSD #challenge #development #perspective: Work Practices and Challenges in Pull-Based Development: The Integrator’s Perspective (GG, AZ, MADS, AvD), pp. 358–368.
ICSE-v1-2015-NguyenN #graph #statistics: Graph-Based Statistical Language Model for Code (ATN, TNN), pp. 858–868.
ICSE-v1-2015-RegisDDA #logic #specification: Specifying Event-Based Systems with a Counting Fluent Temporal Logic (GR, RD, ND, NA), pp. 733–743.
ICSE-v1-2015-SahaZKP #approach #information retrieval #testing: An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes (RKS, LZ, SK, DEP), pp. 268–279.
ICSE-v2-2015-AbreuEP #fine-grained #monitoring #named: CodeAware: Sensor-Based Fine-Grained Monitoring and Management of Software Artifacts (RA, HE, AP), pp. 551–554.
ICSE-v2-2015-Assuncao #architecture #migration #product line #search-based: Search-Based Migration of Model Variants to Software Product Line Architectures (WKGA), pp. 895–898.
ICSE-v2-2015-Baia #approach #multi #project management #simulation: An Integrated Multi-Agent-Based Simulation Approach to Support Software Project Management (DdMB), pp. 911–914.
ICSE-v2-2015-DixitLW #effectiveness #integration #modelling #named #testing: FormTester: Effective Integration of Model-Based and Manually Specified Test Cases (RD, CL, GW), pp. 745–748.
ICSE-v2-2015-EtienneMAD #modelling #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 #modelling #named: CACHECA: A Cache Language Model Based Code Suggestion Tool (CF, ZT, PTD, VH), pp. 705–708.
ICSE-v2-2015-Hanakawa #contest #learning #motivation #re-engineering #student: Contest Based Learning with Blending Software Engineering and Business Management: For Students’ High Motivation and High Practice Ability (NH), pp. 360–369.
ICSE-v2-2015-Honsel #evolution #learning #mining #simulation #statistics: Statistical Learning and Software Mining for Agent Based Simulation of Software Evolution (VH), pp. 863–866.
ICSE-v2-2015-Jazayeri #case study #experience #learning #programming: Combining Mastery Learning with Project-Based Learning in a First Programming Course: An Experience Report (MJ), pp. 315–318.
ICSE-v2-2015-KlasBDSH #analysis #evaluation #modelling #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 #modelling #testing: Metamorphic Model-Based Testing Applied on NASA DAT — An Experience Report (ML, DG, RA, REW), pp. 129–138.
ICSE-v2-2015-MonsalveLW #education #game studies #learning: Transparently Teaching in the Context of Game-based Learning: the Case of SimulES-W (ESM, JCSdPL, VMBW), pp. 343–352.
ICSE-v2-2015-Ouriques #modelling #testing: Strategies for Prioritizing Test Cases Generated Through Model-Based Testing Approaches (JFSO), pp. 879–882.
ICSE-v2-2015-TreudeSKR #documentation #named #navigation: TaskNav: Task-Based Navigation of Software Documentation (CT, MS, MK, MPR), pp. 649–652.
SLE-2015-Lopez-Fernandez #validation #visual notation: Example-based validation of domain-specific visual languages (JJLF, EG, JdL), pp. 101–112.
SLE-2015-MaroSATG #domain-specific language #editing #experience #industrial #on the #uml #visual notation: On integrating graphical and textual editors for a UML profile based domain specific language: an industrial experience (SM, JPS, AA, MT, LG), pp. 1–12.
SPLC-2015-BeekFGM #analysis #product line #using: Using FMC for family-based analysis of software product lines (MHtB, AF, SG, FM), pp. 432–439.
SPLC-2015-CordyDGGH #product line #specification: All-at-once-synthesis of controllers from scenario-based product line specifications (MC, JMD, JG, EG, PH), pp. 26–35.
SPLC-2015-DimovskiABW #model checking #off the shelf #using: Family-based model checking using off-the-shelf model checkers: extended abstract (ASD, ASAS, CB, AW), p. 397.
SPLC-2015-DomisAB #analysis #modelling #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 #modelling #towards: Towards model-based derivation of systems in the industrial automation domain (MF, GL, JD, CE, JZ), pp. 283–292.
SPLC-2015-FederleFCV #architecture #design #named #product line #search-based: OPLA-tool: a support tool for search-based product line architecture design (ÉLF, TdNF, TEC, SRV), pp. 370–373.
SPLC-2015-LiangGCR #analysis #feature model #modelling #satisfiability #scalability: SAT-based analysis of large real-world feature models is easy (JH(L, VG, KC, VR), pp. 91–100.
SPLC-2015-ReulingBRLK #effectiveness #generative #product line #testing: Fault-based product-line testing: effective sample generation based on feature-diagram mutation (DR, JB, SR, ML, UK), pp. 131–140.
ASPLOS-2015-FletcherRKDD #ram #recursion #verification: Freecursive ORAM: [Nearly] Free Recursion and Integrity Verification for Position-based Oblivious RAM (CWF, LR, AK, MvD, SD), pp. 103–116.
ASPLOS-2015-MishraZLH #approach #constraints #energy #modelling #performance #probability #visual notation: A Probabilistic Graphical Model-based Approach for Minimizing Energy Under Performance Constraints (NM, HZ, JDL, HH), pp. 267–281.
CC-2015-AllenSK #analysis #points-to #scalability #staged: Staged Points-to Analysis for Large Code Bases (NA, BS, PK), pp. 131–150.
CC-2015-BourkeCPPP #code generation #hybrid: A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages (TB, JLC, BP, CP, MP), pp. 69–88.
CC-2015-DemangePS #coq #optimisation #performance #verification: Verifying Fast and Sparse SSA-Based Optimizations in Coq (DD, DP, LS), pp. 233–252.
CC-2015-NgCY #code generation #protocol: Protocols by Default — Safe MPI Code Generation Based on Session Types (NN, JGdFC, NY), pp. 212–232.
CGO-2015-LeissaKH #graph #higher-order #representation: A graph-based higher-order intermediate representation (RL, MK, SH), pp. 202–212.
CGO-2015-OhM #web: Snapshot-based loading-time acceleration for web applications (JO, SMM), pp. 179–189.
CGO-2015-ZhengLHWJ #approach #debugging #manycore #on the #performance: On performance debugging of unnecessary lock contentions on multicore processors: a replay-based approach (LZ, XL, BH, SW, HJ), pp. 56–67.
HPCA-2015-HungerKRDVT #comprehension #using: Understanding contention-based channels and using them for defense (CH, MK, ASR, AGD, SV, MT), pp. 639–650.
HPCA-2015-LiRJOEBFR #throughput: Priority-based cache allocation in throughput processors (DL, MR, DRJ, MO, ME, DB, DSF, SWR), pp. 89–100.
HPCA-2015-NachiappanYSSKI #energy #knowledge base: Domain knowledge based energy management in handhelds (NCN, PY, NS, AS, MTK, RI, CRD), pp. 150–160.
HPCA-2015-PapadopoulouTSM #design #predict: Prediction-based superpage-friendly TLB designs (MMP, XT, AS, AM), pp. 210–222.
HPCA-2015-WangM #approach #architecture #manycore #named #resource management #scalability: XChange: A market-based approach to scalable dynamic multi-resource allocation in multicore architectures (XW, JFM), pp. 113–125.
HPCA-2015-ZhuHR #energy #mobile #scheduling #web: Event-based scheduling for energy-efficient QoS (eQoS) in mobile Web applications (YZ, MH, VJR), pp. 137–149.
HPDC-2015-AkiyamaT #concurrent #scalability #thread: Uni-Address Threads: Scalable Thread Management for RDMA-Based Work Stealing (SA, KT), pp. 15–26.
HPDC-2015-BerrocalBDLC #data analysis #detection #lightweight #runtime: Lightweight Silent Data Corruption Detection Based on Runtime Data Analysis for HPC Applications (EB, LABG, SD, ZL, FC), pp. 275–278.
HPDC-2015-GamellTHMKCP: Exploring Failure Recovery for Stencil-based Applications at Extreme Scales (MG, KT, MAH, JM, HK, JC, MP), pp. 279–282.
HPDC-2015-SuWA #data analysis #generative #performance: In-Situ Bitmaps Generation and Efficient Data Analysis based on Bitmaps (YS, YW, GA), pp. 61–72.
HPDC-2015-WangZQLMR #consistency #distributed #scalability #towards: Towards Scalable Distributed Workload Manager with Monitoring-Based Weakly Consistent Resource Stealing (KW, XZ, KQ, ML, BM, IR), pp. 219–222.
HPDC-2015-XiaoCHZ #cpu #gpu #monte carlo: Monte Carlo Based Ray Tracing in CPU-GPU Heterogeneous Systems and Applications in Radiation Therapy (KX, DZC, XSH, BZ), pp. 247–258.
ISMM-2015-CliffordPST #optimisation: Memento mori: dynamic allocation-site-based optimizations (DC, HP, MS, BT), pp. 105–117.
LCTES-2015-LiuY #encryption #framework #in memory #memory management: Secure and Durable (SEDURA): An Integrated Encryption and Wear-leveling Framework for PCM-based Main Memory (CL, CY), p. 10.
LCTES-2015-ZhangK #abstract interpretation #analysis #persistent #precise: Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis (ZZ, XDK), p. 10.
PPoPP-2015-DasSR #communication #concurrent #detection #program analysis #thread: Section based program analysis to reduce overhead of detecting unsynchronized thread communication (MD, GS, JR), pp. 283–284.
PPoPP-2015-KimLV #multi #programming: An OpenACC-based unified programming model for multi-accelerator systems (JK, SL, JSV), pp. 257–258.
PPoPP-2015-RamachandranM #concurrent #named #performance #using: CASTLE: fast concurrent internal binary search tree using edge-based locking (AR, NM), pp. 281–282.
SOSP-2015-RidgeSTGMS #file system #named #specification #testing: SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems (TR, DS, TT, AG, AM, PS), pp. 38–53.
CAV-2015-AydinBB #constraints #string: Automata-Based Model Counting for String Constraints (AA, LB, TB), pp. 255–272.
CAV-2015-BozzanoCGM #analysis #modelling #performance #safety: Efficient Anytime Techniques for Model-Based Safety Analysis (MB, AC, AG, CM), pp. 603–621.
CAV-2015-FinkbeinerGO #distributed #named #synthesis: Adam: Causality-Based Synthesis of Distributed Systems (BF, MG, ERO), pp. 433–439.
CAV-2015-KonnovVW #abstraction #algorithm #distributed #model checking #smt: SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms (IK, HV, JW), pp. 85–102.
CSL-2015-MolinariMP #logic #model checking: A Model Checking Procedure for Interval Temporal Logics based on Track Representatives (AM, AM, AP), pp. 193–210.
CSL-2015-SchwentickVZ #source code #static analysis: Static Analysis for Logic-based Dynamic Programs (TS, NV, TZ), pp. 308–324.
ICLP-2015-AlrajehG #approach #comprehension: A Logic-Based Approach to Understanding Lone-Actor Terrorism (DA, PG).
ICLP-2015-RoseckyPB #energy #grid #prolog #simulation: Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids (JR, FP, BB).
ICST-2015-AlegrothGOM #component #concept #empirical #evaluation #testing #user interface #visual notation: Conceptualization and Evaluation of Component-Based Testing Unified with Visual GUI Testing: An Empirical Study (EA, ZG, RAPdO, AM), pp. 1–10.
ICST-2015-BaiSP #fault #named #using: NUMFL: Localizing Faults in Numerical Software Using a Value-Based Causal Model (ZB, GS, AP), pp. 1–10.
ICST-2015-BrajnikBF #integration #latency #modelling #testing #web: Model-Based Continuous Integration Testing of Responsiveness of Web Applications (GB, AB, SF), pp. 1–2.
ICST-2015-CastillosWW #approach: Show Me New Counterexamples: A Path-Based Approach (KCC, HW, VW), pp. 1–10.
ICST-2015-CseppentoM #symbolic computation #tool support: Evaluating Symbolic Execution-Based Test Tools (LC, ZM), pp. 1–10.
ICST-2015-HarmanJZ #challenge #problem #testing: Achievements, Open Problems and Challenges for Search Based Software Testing (MH, YJ, YZ), pp. 1–12.
ICST-2015-KrennSTAJB #modelling #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 #modelling #mutation testing #realtime #testing: Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems (FL), pp. 1–2.
ICST-2015-MahajanH #detection #html #locality #using: Detection and Localization of HTML Presentation Failures Using Computer Vision-Based Techniques (SM, WGJH), pp. 1–10.
ICST-2015-MohacsiFB #case study #modelling #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 #modelling #mutation testing #testing: Generating Complex and Faulty Test Data through Model-Based Mutation Analysis (DDN, FP, LCB), pp. 1–10.
ICST-2015-NoguchiWFSO #black box #optimisation #testing #using: History-Based Test Case Prioritization for Black Box Testing Using Ant Colony Optimization (TN, HW, YF, AS, KO), pp. 1–2.
ICST-2015-Rapos #co-evolution #industrial #modelling #testing: Co-Evolution of Model-Based Tests for Industrial Automotive Software (EJR), pp. 1–2.
ICST-2015-RodriguesBCZO #modelling #named #performance #testing: PLeTsPerf — A Model-Based Performance Testing Tool (EdMR, MB, LTC, AFZ, FMdO), pp. 1–8.
ICST-2015-Tiran #incremental #modelling #mutation testing #testing: Incremental Model-Based Mutation Testing (ST), pp. 1–2.
ISSTA-2015-ShenLPG #automation #detection #performance #profiling #search-based #using: Automating performance bottleneck detection using search-based application profiling (DS, QL, DP, MG), pp. 270–281.
ISSTA-2015-WangPO #fault #locality: Evaluating the usefulness of IR-based fault localization techniques (QW, CP, AO), pp. 1–11.
ISSTA-2015-YueAZ #automation #framework #generative #named #natural language #testing: RTCM: a natural language based, automated, and practical test case generation framework (TY, SA, MZ), pp. 397–408.
LICS-2015-KobayashiL #abstraction #model checking #refinement: Automata-Based Abstraction Refinement for μHORS Model Checking (NK, XL), pp. 713–724.
RTA-2015-KotsireasKS #design #equation #orthogonal #unification: Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification (ISK, TK, DES), pp. 241–256.
SAT-2015-CaiLS #named #satisfiability: CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability (SC, CL, KS), pp. 1–8.
SAT-2015-IgnatievPM #satisfiability: SAT-Based Formula Simplification (AI, AP, JMS), pp. 287–298.
SAT-2015-MenciaPM #bound #satisfiability: SAT-Based Horn Least Upper Bounds (CM, AP, JMS), pp. 423–433.
SAT-2015-NevesMJLM #satisfiability: Exploiting Resolution-Based Representations for MaxSAT Solving (MN, RM, MJ, IL, VMM), pp. 272–286.
TAP-2015-BirchFP #fault #locality #modelling #performance #testing: Fast Model-Based Fault Localisation with Test Suites (GB, BF, MRP), pp. 38–57.
TLCA-2015-BessaiDDCdR #composition #mixin #synthesis: Mixin Composition Synthesis Based on Intersection Types (JB, AD, BD, TCC, Ud, JR), pp. 76–91.
VMCAI-2015-BraitlingFHWBH #automaton #markov #metric: Abstraction-Based Computation of Reward Measures for Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 172–189.
VMCAI-2015-KafleG #horn clause #refinement #verification: Tree Automata-Based Refinement with Application to Horn Clause Verification (BK, JPG), pp. 209–226.
VMCAI-2015-LiuR #abstraction #array: Abstraction of Arrays Based on Non Contiguous Partitions (JL, XR), pp. 282–299.
CBSE-2014-Bliudze #component #design #tutorial: Rigorous component-based design in BIP: half-day tutorial (SB), pp. 187–188.
CBSE-2014-DidierM #approach #component #detection: A new approach to detect potential race conditions in component-based systems (JYD, MM), pp. 97–106.
CBSE-2014-KurodaYKKM #memory management: A memory isolation method for OSGi-based home gateways (YK, IY, SK, YK, OM), pp. 117–122.
CBSE-2014-PresslerVBR #component #deployment #embedded #estimation #execution: Execution cost estimation for software deployment in component-based embedded systems (MP, AV, OB, WR), pp. 123–128.
CBSE-2014-SpacekDT #architecture #component #implementation #modelling #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-CavalcanteOB #architecture #code generation #implementation: Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language (EC, FO, TVB), pp. 130–145.
ECSA-2014-KochHD #generative #requirements #specification: Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications (TK, JH, JD), pp. 146–153.
QoSA-2014-CamaraCLV #adaptation #architecture #empirical #evaluation #self: Empirical resilience evaluation of an architecture-based self-adaptive software system (JC, PC, RdL, MV), pp. 63–72.
QoSA-2014-EtxeberriaTCS #hardware #nondeterminism #parametricity: Performance-based selection of software and hardware features under parameter uncertainty (LE, CT, VC, GS), pp. 23–32.
WICSA-2014-AliBGKP #adaptation #architecture #estimation: Architecture Adaptation Based on Belief Inaccuracy Estimation (RAA, TB, IG, JK, FP), pp. 87–90.
WICSA-2014-BaresiGM #consistency #evolution #process #runtime: Consistent Runtime Evolution of Service-Based Business Processes (LB, SG, VPLM), pp. 77–86.
WICSA-2014-ChenB #agile #architecture #comprehension #development #refactoring #towards: Towards an Evidence-Based Understanding of Emergence of Architecture through Continuous Refactoring in Agile Software Development (LC, MAB), pp. 195–204.
WICSA-2014-DragomirLB #approach #architecture: Systematic Architectural Decision Management, A Process-Based Approach (AD, HL, TB), pp. 255–258.
WICSA-2014-Gonzalez-HerreraBDRBFJ #adaptation #component #framework #monitoring #named: Scapegoat: An Adaptive Monitoring Framework for Component-Based Systems (IYGH, JB, ED, WR, OB, FF, JMJ), pp. 67–76.
WICSA-2014-PerovichB #architecture #formal method #modelling: Model-Based Formalization of Software Architecture Knowledge (DP, MCB), pp. 235–238.
WICSA-2014-SapienzaCP #architecture #clustering #multi: Architectural Decisions for HW/SW Partitioning Based on Multiple Extra-Functional Properties (GS, IC, PP), pp. 175–184.
WICSA-2014-UusitaloRKMM #architecture #automation #lessons learnt #safety: Lessons Learned from Safety-Critical Software-Based Automation Architectures of Nuclear Power Plants (EJU, MR, MK, VM, TM), pp. 45–48.
WICSA-2014-WeinreichB #architecture #automation #consistency: Automatic Reference Architecture Conformance Checking for SOA-Based Software Systems (RW, GB), pp. 95–104.
WICSA-2014-ZernadjiTC #approach #evolution #quality #requirements #web #web service: Processing the Evolution of Quality Requirements of Web Service Orchestrations: A Pattern-Based Approach (TZ, CT, CF), pp. 139–142.
ASE-2014-AbdeenVSNDHH #design #multi #optimisation #rule-based: Multi-objective optimization in rule-based design space exploration (HA, DV, HAS, ASN, CD, ÁH, ÁH), pp. 289–300.
ASE-2014-BavotaPTPOC #recommendation #refactoring: Recommending refactorings based on team co-maintenance patterns (GB, SP, NT, MDP, RO, GC), pp. 337–342.
ASE-2014-CaiS #dependence #impact analysis #named #precise #using: Diver: precise dynamic impact analysis using dependence-based trace pruning (HC, RAS), pp. 343–348.
ASE-2014-CavalcantiMNAM #information retrieval #rule-based: Combining rule-based and information retrieval techniques to assign software change requests (YCC, IdCM, PAdMSN, ESdA, SRdLM), pp. 325–330.
ASE-2014-HollingPG #generative #lightweight #named #testing: 8Cage: lightweight fault-based test generation for simulink (DH, AP, MG), pp. 859–862.
ASE-2014-KuschkeM #modelling #process #uml: Pattern-based auto-completion of UML modeling activities (TK, PM), pp. 551–556.
ASE-2014-MaezawaNWH #ajax #using #validation: Validating ajax applications using a delay-based mutation technique (YM, KN, HW, SH), pp. 491–502.
ASE-2014-MaYHC #modelling #uml #web: A web based UML modeling tool with touch screens (ZM, CYY, HH, HC), pp. 835–838.
ASE-2014-MoreiraP #modelling #testing #user interface: PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing (RMLMM, ACRP), pp. 863–866.
ASE-2014-Priefer #content management #development #modelling: Model-driven development of content management systems based on Joomla (DP), pp. 911–914.
ASE-2014-RanganathVG #comparison #testing #using: Compatibility testing using patterns-based trace comparison (VPR, PV, PG), pp. 469–478.
ASE-2014-ZhangCHXXZM #polynomial #search-based: Search-based inference of polynomial metamorphic relations (JZ, JC, DH, YX, BX, LZ, HM), pp. 701–712.
CASE-2014-AfaghaniA #concurrent #online: Advanced-collision-map-based on-line collision and deadlock avoidance between two robot manipulators with PTP commands (AYA, YA), pp. 1244–1251.
CASE-2014-CaoMDZ #detection #performance #visual notation: A gabor based fast interest point detector for image-based robot visual servo control (ZC, FM, JSD, JZ), pp. 883–888.
CASE-2014-ChenGGLCL #analysis #approach #behaviour #scheduling: A residential load scheduling approach based on load behavior analysis (SC, FG, XG, TL, YC, YL), pp. 954–959.
CASE-2014-ChenHL #development: Development of an e-diagnostics system based on Web-services (CHC, HPH, SYL), pp. 686–691.
CASE-2014-ChouW #image #locality: 1-point affine RANSAC for scene image matching in appearance-based localization (CCC, CCW), pp. 1194–1199.
CASE-2014-HanLH #development: Development of Autonomous Emergency Braking control system based on road friction (ICH, BCL, FCH), pp. 933–937.
CASE-2014-HaoLGC #effectiveness #flexibility #markov #network #nondeterminism #problem #scheduling: An effective Markov network based EDA for flexible job shop scheduling problems under uncertainty (XCH, LL, MG, CFC), pp. 131–136.
CASE-2014-HeidingsfeldKTS #fault #modelling: Model-based sensor fault diagnosis for the Stuttgart SmartShell (MH, UK, CT, OS), pp. 846–851.
CASE-2014-HerrNV #complexity #distributed #framework #scheduling: Prognostics-based scheduling in a distributed platform: Model, complexity and resolution (NH, JMN, CV), pp. 1054–1059.
CASE-2014-HsuehTLKY #estimation: Voltage-current-based state and disturbance estimation for power-assisted control applied to an electric wheelchair (PWH, MCT, CYL, PJK, WSY), pp. 1220–1225.
CASE-2014-HungLHTC #development: Development of a private cloud-based new-generation virtual metrology system (MHH, YCL, HCH, CCT, FTC), pp. 910–915.
CASE-2014-JiaZAX #analysis: Analysis and improvement of batch-based production lines with Bernoulli machines (ZJ, LZ, JA, GX), pp. 13–18.
CASE-2014-KaiS #development #safety: Development of a velocity and contact force-based mechanical safety device for service robots (YK, SS), pp. 1188–1193.
CASE-2014-KoHCAY: Guidance and obstacle avoidance of passive robot walking helper based on receding horizon control (CHK, YHH, YTC, SKA, KYY), pp. 1032–1037.
CASE-2014-LiaoLCHF #analysis: Vision based gait analysis on robotic walking stabilization system for patients with Parkinson’s Disease (CKL, CDL, CYC, CMH, LCF), pp. 818–823.
CASE-2014-LiLT #petri net #probability #process #scheduling: A color petri net based scheduling model for remanufacturing system with stochastic process routing (LL, CL, YT), pp. 474–479.
CASE-2014-LiuK #communication #nondeterminism #parametricity: Passivity-based teleoperation system for robots with parametric uncertainty and communication delay (YCL, MHK), pp. 271–276.
CASE-2014-LiuLS #monitoring: A wavelet-based characteristic vector construction method for machining condition monitoring (CL, YL, WS), pp. 304–308.
CASE-2014-LiY #scheduling: ACO-ICSA based scheduling of re-entrant manufacturing system with Mix-processing Style (LL, QY), pp. 87–92.
CASE-2014-LongLXJ #distributed #probability: A scenario-based distributed stochastic MPC for building temperature regulation (YL, SL, LX, KHJ), pp. 1091–1096.
CASE-2014-LuoHA #online #predict: Online trajectory tracking based on model predictive control for Service Robot (RCL, KCH, RA), pp. 1238–1243.
CASE-2014-MalinowskiCZ #estimation: Shapelet-based remaining useful life estimation (SM, BCM, NZ), pp. 794–799.
CASE-2014-MarkovskiH #framework #modelling #reliability: A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions (JM, HH), pp. 436–442.
CASE-2014-MatsumotoY #3d #classification #framework #image: An object classification framework based on unmeasurable area patterns found in 3D range images (KM, KY), pp. 242–248.
CASE-2014-MurookaNNKOI #learning #physics #scalability: Manipulation strategy learning for carrying large objects based on mapping from object physical property to object manipulation action in virtual environment (MM, SN, SN, YK, KO, MI), pp. 263–270.
CASE-2014-NodaMNKOI #behaviour #maintenance #online #predict: Online maintaining behavior of high-load and unstable postures based on whole-body load balancing strategy with thermal prediction (SN, MM, SN, YK, KO, MI), pp. 1166–1171.
CASE-2014-OhnishiY #performance: Switching control of DC-DC converters with Electric Double-Layer Capacitor based on control performance index (YO, TY), pp. 188–193.
CASE-2014-QiuSL #multi #optimisation #simulation: A simulation based GA for multi-objective optimization in patient flow distribution (YQ, JS, ZL), pp. 1–6.
CASE-2014-SachsMTS #energy #hybrid: Filter-based PV power smoothing control for island hybrid energy systems with high PV penetration (JS, BM, KT, OS), pp. 872–877.
CASE-2014-WangFZL #artificial reality #collaboration #maintenance: An augmented reality based system for remote collaborative maintenance instruction of complex products (JW, YF, CZ, SL), pp. 309–314.
CASE-2014-WangGWG #analysis #behaviour #generative #multi: Analysis of multi-location PEV charging behaviors based on trip chain generation (DW, XG, JW, JG), pp. 151–156.
CASE-2014-WuBZ #approach #linear #scheduling: Linear programming-based approach to scheduling of crude oil operations in refinery with oil type mixing requirement (NW, LB, MZ), pp. 430–435.
CASE-2014-WuCT #analysis #memory management #modelling #multi: Multistage semiconductor memory inventory model based on survival analysis (JZW, CFC, YCT), pp. 613–618.
CASE-2014-YamazakiSYI #3d #modelling: 3D shape modeling of movable parts of furniture based on time-series surface correspondence (KY, KS, TY, MI), pp. 249–254.
CASE-2014-YanLP #dependence #fault #framework #integration #matrix: Fault diagnosis framework for Air Handling Units based on the integration of Dependency matrices and PCA (YY, PBL, KRP), pp. 1103–1108.
CASE-2014-YanZJCC #3d #metric: Hall-sensor-based orientation measurement method in three-dimensional space for electromagnetic actuators (LY, BZ, ZJ, CYC, IMC), pp. 182–187.
CASE-2014-ZhangXG #multi #scheduling: Simulation-based surgery appointment sequencing and scheduling of multiple operating rooms (ZZ, XX, NG), pp. 399–404.
DAC-2014-0001SMAKV #manycore #optimisation: Reinforcement Learning-Based Inter- and Intra-Application Thermal Optimization for Lifetime Improvement of Multicore Systems (AD, RAS, GVM, BMAH, AK, BV), p. 6.
DAC-2014-AndraudSS: One-Shot Calibration of RF Circuits Based on Non-Intrusive Sensors (MA, HGDS, ES), p. 2.
DAC-2014-AtacCLWSZWH #design #multi #standard: An HDL-Based System Design Methodology for Multistandard RF SoC’s (AA, ZC, LL, YW, MS, YZ, RW, SH), p. 6.
DAC-2014-ChenWLZAMWH #functional #multi #prototype #standard #verification: A SystemC Virtual Prototyping based Methodology for Multi-Standard SoC Functional Verification (ZC, YW, LL, YZ, AA, JHM, RW, SH), p. 6.
DAC-2014-CongLXZ #architecture #clustering #reuse: An Optimal Microarchitecture for Stencil Computation Acceleration Based on Non-Uniform Partitioning of Data Reuse Buffers (JC, PL, BX, PZ), p. 6.
DAC-2014-CuiCBC #optimisation #set: A Swap-based Cache Set Index Scheme to Leverage both Superpage and Page Coloring Optimizations (ZC, LC, YB, MC), p. 6.
DAC-2014-DingCM #layout #optimisation #throughput: Throughput Optimization for SADP and E-beam based Manufacturing of 1D Layout (YD, CC, WKM), p. 6.
DAC-2014-GebalaMMRT #on the #using: On Using Implied Values in EDT-based Test Compression (MG, GM, NM, JR, JT), p. 6.
DAC-2014-HerrewegeV: Software Only, Extremely Compact, Keccak-based Secure PRNG on ARM Cortex-M (AVH, IV), p. 6.
DAC-2014-HuangYST #assessment #grid #network #power management: Physics-based Electromigration Assessment for Power Grid Networks (XH, TY, VS, SXDT), p. 6.
DAC-2014-JavaidYSBP #component #framework #metric #named: FALCON: A Framework for HierarchicAL Computation of Metrics for CompONent-Based Parameterized SoCs (HJ, YY, SMMS, HB, SP), p. 6.
DAC-2014-KannanKS #in memory #memory management: Secure Memristor-based Main Memory (SK, NK, OS), p. 6.
DAC-2014-KongKPSW #embedded #framework #named #novel: PUFatt: Embedded Platform Attestation Based on Novel Processor-Based PUFs (JK, FK, PKP, ARS, CW), p. 6.
DAC-2014-KuanCHL #database #embedded #multi: Space-Efficient Multiversion Index Scheme for PCM-based Embedded Database Systems (YHK, YHC, PCH, KyL), p. 6.
DAC-2014-LiangC #analysis #clustering #named #network #probability #reduction #scalability #smarttech: ClusRed: Clustering and Network Reduction Based Probabilistic Optimal Power Flow Analysis for Large-Scale Smart Grids (YL, DC), p. 6.
DAC-2014-LinLCLH #algorithm #performance: An Efficient Bi-criteria Flow Channel Routing Algorithm For Flow-based Microfluidic Biochips (CXL, CHL, ICC, DTL, TYH), p. 6.
DAC-2014-LiuCW #3d: Floorplanning and Signal Assignment for Silicon Interposer-based 3D ICs (WHL, MSC, TCW), p. 6.
DAC-2014-LiuCYLHL #fault #locality #named: EC-Cache: Exploiting Error Locality to Optimize LDPC in NAND Flash-Based SSDs (RSL, MYC, CLY, CHL, KCH, HPL), p. 6.
DAC-2014-LuCCSHTC #named #using: ePlace: Electrostatics Based Placement Using Nesterov’s Method (JL, PC, CCC, LS, DJHH, CCT, CKC), p. 6.
DAC-2014-MaoWZCL #architecture #memory management #using: Exploration of GPGPU Register File Architecture Using Domain-wall-shift-write based Racetrack Memory (MM, WW, YZ, YC, HHL), p. 6.
DAC-2014-MoctarB #parallel: Parallel FPGA Routing based on the Operator Formulation (YOMM, PB), p. 6.
DAC-2014-OderPG: Beyond ECDSA and RSA: Lattice-based Digital Signatures on Constrained Devices (TO, TP, TG), p. 6.
DAC-2014-PrussKE #abstraction #equivalence #scalability #using #verification: Equivalence Verification of Large Galois Field Arithmetic Circuits using Word-Level Abstraction via Gröbner Bases (TP, PK, FE), p. 6.
DAC-2014-RahimiGLCBG #architecture #collaboration #compilation #energy: Energy-Efficient GPGPU Architectures via Collaborative Compilation and Memristive Memory-Based Computing (AR, AG, MALM, KTC, LB, RKG), p. 6.
DAC-2014-RaoEST #multi #using: Protecting SRAM-based FPGAs Against Multiple Bit Upsets Using Erasure Codes (PMBR, ME, RS, MBT), p. 6.
DAC-2014-SchneiderPP #agile #analysis #multi: MASH{fifo}: A Hardware-Based Multiple Cache Simulator for Rapid FIFO Cache Analysis (JS, JP, SP), p. 6.
DAC-2014-XiangQZLYSL #generative: Row Based Dual-VDD Island Generation and Placement (HX, HQ, CZ, YSL, FY, AS, PFL), p. 6.
DAC-2014-XueQBYT #analysis #framework #manycore #scalability: Disease Diagnosis-on-a-Chip: Large Scale Networks-on-Chip based Multicore Platform for Protein Folding Analysis (YX, ZQ, PB, FY, CYT), p. 6.
DAC-2014-YounGK #debugging #locality #probability #statistics: Probabilistic Bug Localization via Statistical Inference based on Partially Observed Data (SY, CG, JK), p. 6.
DAC-2014-ZhangWWCLS: Deterministic Crash Recovery for NAND Flash Based Storage Systems (CZ, YW, TW, RC, DL, ZS), p. 6.
DATE-2014-AfacanAFDB #automation #design #modelling #optimisation: Model based hierarchical optimization strategies for analog design automation (EA, SA, FVF, GD, IFB), pp. 1–4.
DATE-2014-AghaeePE #3d #performance: An efficient temperature-gradient based burn-in technique for 3D stacked ICs (NA, ZP, PE), pp. 1–4.
DATE-2014-AhmadC #performance #predict #simulation: Fast STA prediction-based gate-level timing simulation (TBA, MJC), pp. 1–6.
DATE-2014-BahrebarS #approach #network: Improving hamiltonian-based routing methods for on-chip networks: A turn model approach (PB, DS), pp. 1–4.
DATE-2014-BalckGP #generative #modelling #protocol #testing #using: Model-based protocol log generation for testing a telecommunication test harness using CLP (KB, OG, JP), pp. 1–4.
DATE-2014-BhargavaM #encryption #generative #performance #reliability: An efficient reliable PUF-based cryptographic key generator in 65nm CMOS (MB, KM), pp. 1–6.
DATE-2014-CabodiPQV #approximate #reachability #satisfiability: Tightening BDD-based approximate reachability with SAT-based clause generalization∗ (GC, PP, SQ, DV), pp. 1–6.
DATE-2014-ChenHD #analysis #graph #modelling: May-happen-in-parallel analysis based on segment graphs for safe ESL models (WC, XH, RD), pp. 1–6.
DATE-2014-ChenZZ: Recovery-based resilient latency-insensitive systems (YC, XZ, HZ), pp. 1–6.
DATE-2014-CilardoFGM #communication #manycore #scheduling #synthesis: Joint communication scheduling and interconnect synthesis for FPGA-based many-core systems (AC, EF, LG, AM), pp. 1–4.
DATE-2014-CortezRHN #testing: Testing PUF-based secure key storage circuits (MC, GR, SH, GDN), pp. 1–6.
DATE-2014-DhruvaKGT #cyber-physical: Computing a language-based guarantee for timing properties of cyber-physical systems (ND, PK, GG, LT), pp. 1–6.
DATE-2014-DuW #optimisation #process #standard: Optimization of standard cell based detailed placement for 16 nm FinFET process (YD, MDFW), pp. 1–6.
DATE-2014-ErbSSB #fault #performance #smt: Efficient SMT-based ATPG for interconnect open defects (DE, KS, MS, BB), pp. 1–6.
DATE-2014-GaillardonAZM #design: Advanced system on a chip design based on controllable-polarity FETs (PEG, LGA, JZ, GDM), pp. 1–6.
DATE-2014-GrafGTL #design #embedded #multi: Multi-variant-based design space exploration for automotive embedded systems (SG, MG, JT, CL), pp. 1–6.
DATE-2014-HarrantNKGP #assessment #robust: Emulation-based robustness assessment for automotive smart-power ICs (MH, TN, JK, CG, GP), pp. 1–6.
DATE-2014-IannopolloNTS #contract #design #refinement #scalability: Library-based scalable refinement checking for contract-based design (AI, PN, ST, ALSV), pp. 1–6.
DATE-2014-JaksicC #energy #how #protocol: DRAM-based coherent caches and how to take advantage of the coherence protocol to reduce the refresh energy (ZJ, RC), pp. 1–4.
DATE-2014-KeramidasMKN #predict: Spatial pattern prediction based management of faulty data caches (GK, MM, AK, DN), pp. 1–6.
DATE-2014-KhanAHKKRC #analysis #bias: Bias Temperature Instability analysis of FinFET based SRAM cells (SK, IA, SH, HK, BK, PR, FC), pp. 1–6.
DATE-2014-KimHPSL #approach #implementation #modelling #testing: A layered approach for testing timing in the model-based implementation (BK, HIH, TP, SHS, IL), pp. 1–4.
DATE-2014-KimSXWPC #android #fine-grained #monitoring #named #smarttech: FEPMA: Fine-grained event-driven power meter for android smartphones based on device driver layer event monitoring (KK, DS, QX, YW, MP, NC), pp. 1–6.
DATE-2014-KomalanPTRHC: Feasibility exploration of NVM based I-cache through MSHR enhancements (MK, JIGP, CT, PR, MH, FC), pp. 1–6.
DATE-2014-KufelWHAWM #embedded: Clock-modulation based watermark for protection of embedded processors (JK, PRW, SH, BMAH, PNW, JM), pp. 1–6.
DATE-2014-LeeF #framework #named #realtime #runtime #scheduling: GPU-EvR: Run-time event based real-time scheduling framework on GPGPU platform (HL, MAAF), pp. 1–6.
DATE-2014-LiuJL #parallel: Parallel probe based dynamic connection setup in TDM NoCs (SL, AJ, ZL), pp. 1–6.
DATE-2014-LiWCLY #named: ICE: Inline calibration for memristor crossbar-based computing engine (BL, YW, YC, HHL, HY), pp. 1–4.
DATE-2014-LuCC #correlation #memory management #performance: Achieving efficient packet-based memory system by exploiting correlation of memory requests (TL, LC, MC), pp. 1–6.
DATE-2014-MaurichG #configuration management #encryption #lightweight: Lightweight code-based cryptography: QC-MDPC McEliece encryption on reconfigurable devices (IvM, TG), pp. 1–6.
DATE-2014-MercatiBPRB #android #mobile #reliability: A Linux-governor based Dynamic Reliability Manager for android mobile devices (PM, AB, FP, TSR, LB), pp. 1–4.
DATE-2014-MullerM #scheduling: The schedulability region of two-level mixed-criticality systems based on EDF-VD (DM, AM), pp. 1–6.
DATE-2014-NawinneSJP #performance: Hardware-based fast exploration of cache hierarchies in application specific MPSoCs (IN, JS, HJ, SP), pp. 1–6.
DATE-2014-NowotschPHPS #analysis #monitoring #multi #off the shelf: Monitoring and WCET analysis in COTS multi-core-SoC-based mixed-criticality systems (JN, MP, AH, WP, AS), pp. 1–5.
DATE-2014-NuzzoFIS #contract #cyber-physical #design #protocol #safety: Contract-based design of control protocols for safety-critical cyber-physical systems (PN, JBF, AI, ALSV), pp. 1–4.
DATE-2014-PalerDNP #fault tolerance #quantum: Software-based Pauli tracking in fault-tolerant quantum circuits (AP, SJD, KN, IP), pp. 1–4.
DATE-2014-PapadimitriouHBML #clustering #fault #injection #modelling #multi #towards: A multiple fault injection methodology based on cone partitioning towards RTL modeling of laser attacks (AP, DH, VB, PM, RL), pp. 1–4.
DATE-2014-Pomeranz #generative #testing: Test and non-test cubes for diagnostic test generation based on merging of test cubes (IP), pp. 1–4.
DATE-2014-RobinoO: From Simulink to NoC-based MPSoC on FPGA (FR, JÖ), pp. 1–4.
DATE-2014-RostamiWPK #challenge #roadmap #security: Quo vadis, PUF?: Trends and challenges of emerging physical-disorder based security (MR, JBW, MP, FK), pp. 1–6.
DATE-2014-RosvallS #constraints #design #framework #realtime: A constraint-based design space exploration framework for real-time applications on MPSoCs (KR, IS), pp. 1–6.
DATE-2014-SalunkheMB #analysis #data flow #modelling: Mode-Controlled Dataflow based modeling & analysis of a 4G-LTE receiver (HS, OM, KvB), pp. 1–4.
DATE-2014-SchollW #hardware #implementation #set: Hardware implementation of a Reed-Solomon soft decoder based on information set decoding (SS, NW), pp. 1–6.
DATE-2014-SharmaPLAC #composition #data flow #energy #performance: Energy efficient data flow transformation for Givens Rotation based QR Decomposition (NS, PRP, ML, PA, FC), pp. 1–4.
DATE-2014-SiddiqueT #analysis #formal method #towards: Towards the formal analysis of microresonators based photonic systems (US, ST), pp. 1–6.
DATE-2014-SongDY #analysis #bound #multi #order #parametricity #performance #reduction: Zonotope-based nonlinear model order reduction for fast performance bound analysis of analog circuits with multiple-interval-valued parameter variations (YS, SMPD, HY), pp. 1–6.
DATE-2014-TangZS #design #development #performance: System-level design methodology enabling fast development of baseband MP-SoC for 4G small cell base station (ST, ZZ, YS), pp. 1–6.
DATE-2014-TenaceCMP #logic: Pass-XNOR logic: A new logic style for P-N junction based graphene circuits (VT, AC, EM, MP), pp. 1–4.
DATE-2014-TtofisT #hardware #image #realtime: High-quality real-time hardware stereo matching based on guided image filtering (CT, TT), pp. 1–6.
DATE-2014-UbolliGBC #linear #megamodelling: Sensitivity-based weighting for passivity enforcement of linear macromodels in power integrity applications (AU, SGT, MB, AC), pp. 1–6.
DATE-2014-WangLS #named #parallel #semantics: p-OFTL: An object-based semantic-aware parallel flash translation layer (WW, YL, JS), pp. 1–6.
DATE-2014-WangYSK #encryption #energy #in memory #performance: Energy efficient in-memory AES encryption based on nonvolatile domain-wall nanowire (YW, HY, DS, PK), pp. 1–4.
DATE-2014-YangMPOP #logic #using: Complementary resistive switch based stateful logic operations using material implication (YY, JM, DKP, MO, SP), pp. 1–4.
DATE-2014-ZebeleinHFST #communication #modelling #multi #protocol: Model-based actor multiplexing with application to complex communication protocols (CZ, CH, JF, TS, JT), pp. 1–4.
DATE-2014-ZhuCYP: Application mapping for express channel-based networks-on-chip (DZ, LC, SY, MP), pp. 1–6.
DocEng-2014-BarrusS #documentation: Image-based document management: aggregating collections of handwritten forms (JWB, ELS), pp. 117–120.
DocEng-2014-FerreiraLFSR #assessment #representation #similarity: A new sentence similarity assessment measure based on a three-layer sentence representation (RF, RDL, FF, SJS, MR), pp. 25–34.
DocEng-2014-LimaBFFLSR #graph: Transforming graph-based sentence representations to alleviate overfitting in relation extraction (RJL, JB, RF, FF, RDL, SJS, MR), pp. 53–62.
DocEng-2014-MartinsP #documentation #multi #named #reuse: ActiveTimesheets: extending web-based multimedia documents with dynamic modification and reuse features (DSM, MdGCP), pp. 3–12.
DRR-2014-LiuWTLG #analysis #automation #comprehension #image: Automatic comic page image understanding based on edge segment analysis (DL, YW, ZT, LL, LG), p. ?–12.
DRR-2014-MaXA #algorithm #machine learning #segmentation #video: A machine learning based lecture video segmentation and indexing algorithm (DM, BX, GA), p. ?–8.
DRR-2014-WuZCLN #framework #markov #recognition #segmentation: A Markov chain based line segmentation framework for handwritten character recognition (YW, SZ, HC, DL, PN), p. ?–12.
DRR-2014-YouADT #classification #image #retrieval: A contour-based shape descriptor for biomedical image classification and retrieval (DY, SA, DDF, GRT), p. ?–12.
HT-2014-ChoiAL #authoring #hypermedia #modelling: Spatial hypertext modeling for dynamic contents authoring system based on transclusion (JRC, SA, SBL), pp. 303–304.
HT-2014-HerzigMR #detection #social #social media #topic: An author-reader influence model for detecting topic-based influencers in social media (JH, YM, HR), pp. 46–55.
HT-2014-Montes-GarciaBFP #adaptation #css #domain-specific language #hypermedia: A DSL based on CSS for hypertext adaptation (AMG, PDB, GHLF, MP), pp. 313–315.
SIGMOD-2014-AlarabiEAM #named #web #web service: TAREEG: a MapReduce-based web service for extracting spatial data from OpenStreetMap (LA, AE, RA, MFM), pp. 897–900.
SIGMOD-2014-ChenW #knowledge base #probability: Knowledge expansion over probabilistic knowledge bases (YC, DZW), pp. 649–660.
SIGMOD-2014-DengLF #algorithm #similarity #string: A pivotal prefix based filtering algorithm for string similarity search (DD, GL, JF), pp. 673–684.
SIGMOD-2014-Dev #algorithm #community #detection #interactive #network #online #social: A user interaction based community detection algorithm for online social networks (HD), pp. 1607–1608.
SIGMOD-2014-DyresonBG #query #using: Querying virtual hierarchies using virtual prefix-based numbers (CED, SSB, RG), pp. 791–802.
SIGMOD-2014-Garcia-AlvaradoO #named #ontology: ONTOCUBO: cube-based ontology construction and exploration (CGA, CO), pp. 1083–1086.
SIGMOD-2014-GurajadaSMT #distributed #message passing #named #rdf: TriAD: a distributed shared-nothing RDF engine based on asynchronous message passing (SG, SS, IM, MT), pp. 289–300.
SIGMOD-2014-HuangCCLXWBH #generative: The next generation operational data historian for IoT based on informix (SH, YC, XC, KL, XX, CW, KB, IH), pp. 169–176.
SIGMOD-2014-KaoudiM #data transformation #rdf: Cloud-based RDF data management (ZK, IM), pp. 725–729.
SIGMOD-2014-ShenCCDN #query #tuple: Discovering queries based on example tuples (YS, KC, SC, BD, LN), pp. 493–504.
SIGMOD-2014-ShiMWC #clustering #network: Density-based place clustering in geo-social networks (JS, NM, DW, DWC), pp. 99–110.
SIGMOD-2014-TaftVSSMS #benchmark #metric #named: GenBase: a complex analytics genomics benchmark (RT, MV, NRS, NS, SM, MS), pp. 177–188.
SIGMOD-2014-TaoL #performance #similarity: Efficient top-K SimRank-based similarity join (WT, GL), pp. 1603–1604.
SIGMOD-2014-TranNST #approach #clustering #named: JECB: a join-extension, code-based approach to OLTP data partitioning (KQT, JFN, BS, DT), pp. 39–50.
SIGMOD-2014-WuJZ #graph #nearest neighbour #performance #query #random #scalability: Fast and unified local search for random walk based k-nearest-neighbor query in large graphs (YW, RJ, XZ), pp. 1139–1150.
SIGMOD-2014-XiaoE #database #named #relational: InsightNotes: summary-based annotation management in relational databases (DX, MYE), pp. 661–672.
SIGMOD-2014-Xie #distance #named #similarity: EDS: a segment-based distance measure for sub-trajectory similarity search (MX), pp. 1609–1610.
SIGMOD-2014-XiongHN #approach #distributed #network #performance #query: A software-defined networking based approach for performance management of analytical queries on distributed data stores (PX, HH, JFN), pp. 955–966.
VLDB-2014-BenediktLT #named #query: PDQ: Proof-driven Query Answering over Web-based Data (MB, JL, ET), pp. 1553–1556.
VLDB-2014-KongLH #named #network #social #social media: SPOT: Locating Social Media Users Based on Social Network Context (LK, ZL, YH), pp. 1681–1684.
VLDB-2014-LiagourisT #identification #knowledge base #owl #performance: Efficient Identification of Implicit Facts in Incomplete OWL2-EL Knowledge Bases (JL, MT), pp. 1993–2004.
VLDB-2014-PetermannJMR #graph #integration: Graph-based Data Integration and Business Intelligence with BIIIG (AP, MJ, RM, ER), pp. 1577–1580.
VLDB-2014-QinHLYT #named #reliability #volunteer: Fatman: Cost-saving and reliable archival storage based on volunteer resources (AQ, DH, JL, WY, DT), pp. 1748–1753.
VLDB-2014-ShanbhagS #optimisation #query: Optimizing Join Enumeration in Transformation-based Query Optimizers (AS, SS), pp. 1243–1254.
VLDB-2014-SuchanekW #big data #data analysis #knowledge base: Knowledge Bases in the Age of Big Data Analytics (FMS, GW), pp. 1713–1714.
VLDB-2014-WangOYZZ #effectiveness #multi #retrieval: Effective Multi-Modal Retrieval based on Stacked Auto-Encoders (WW, BCO, XY, DZ, YZ), pp. 649–660.
VLDB-2014-XiongH #distributed #named #network #performance #query: Pronto: A Software-Defined Networking based System for Performance Management of Analytical Queries on Distributed Data Stores (PX, HH), pp. 1661–1664.
VLDB-2014-XuCC #clustering #graph #named: LogGP: A Log-based Dynamic Graph Partitioning Method (NX, LC, BC), pp. 1917–1928.
VLDB-2014-YangDCC #keyword #knowledge base #using: Finding Patterns in a Knowledge Base using Keywords to Compose Table Answers (MY, BD, SC, KC), pp. 1809–1820.
VLDB-2014-ZhangJSR #big data #recommendation #using: Getting Your Big Data Priorities Straight: A Demonstration of Priority-based QoS using Social-network-driven Stock Recommendation (RZ, RJ, PS, LR), pp. 1665–1668.
VLDB-2015-FujiwaraIKO14 #image #ranking #retrieval #scalability: Scaling Manifold Ranking Based Image Retrieval (YF, GI, SK, MO), pp. 341–352.
VLDB-2015-LongWJ14 #fault: Trajectory Simplification: On Minimizing the Direction-based Error (CL, RCWW, HVJ), pp. 49–60.
VLDB-2015-TaoYL14 #performance #similarity: Efficient Top-K SimRank-based Similarity Join (WT, MY, GL), pp. 317–328.
CSEET-2014-GaarT #collaboration #integration #modelling #social #social media: Improving model-based collaboration by social media integration (WG, ET), pp. 158–162.
CSEET-2014-YamadaIWKFYOKT #development #education #effectiveness #learning: The impacts of personal characteristic on educational effectiveness in controlled-project based learning on software intensive systems development (YY, SI, HW, KK, YF, SY, MO, TK, MT), pp. 119–128.
ITiCSE-2014-GuoBQLH #assurance #education #security: Enhancing the information assurance and security (IAS) in CS education with mobile-device based hands-on labs (MG, PB, KQ, CTDL, XH), p. 343.
ITiCSE-2014-MonasorVPNB #assessment #development #process: Assessment process for a simulation-based training environment in global software development (MJM, AV, MP, JN, SB), pp. 231–236.
ITiCSE-2014-MornarGM #algorithm #automation #generative #pseudo #visualisation: System for automatic generation of algorithm visualizations based on pseudocode interpretation (JM, AG, SM), pp. 27–32.
ITiCSE-2014-Prior #assessment #named #online #sql: AsseSQL: an online, browser-based SQL skills assessment tool (JRP), p. 327.
ITiCSE-2014-SabitzerP #education #programming: Brain-based teaching in programming courses (BS, SP), p. 355.
ITiCSE-2014-Verwaal #learning: Team based learning in theoretical computer science (NV), p. 331.
FASE-2014-BersaniBGKP #smt: SMT-Based Checking of SOLOIST over Sparse Traces (MMB, DB, CG, SK, PSP), pp. 276–290.
FASE-2014-CavalcantiG #data flow #testing: Data Flow Coverage for Circus-Based Testing (AC, MCG), pp. 415–429.
FASE-2014-CohenM #analysis #configuration management #semantics #specification: Semantically Configurable Analysis of Scenario-Based Specifications (BC, SM), pp. 185–199.
FASE-2014-HuangDM #analysis #java #type system #web: Type-Based Taint Analysis for Java Web Applications (WH, YD, AM), pp. 140–154.
FASE-2014-KowalST #analysis #performance: Family-Based Performance Analysis of Variant-Rich Software Systems (MK, IS, MT), pp. 94–108.
FASE-2014-LanduytJ #architecture #requirements: Modularizing Early Architectural Assumptions in Scenario-Based Requirements (DVL, WJ), pp. 170–184.
TACAS-2014-ArmandoCC #model checking #named #satisfiability: SATMC: A SAT-Based Model Checker for Security-Critical Systems (AA, RC, LC), pp. 31–45.
TACAS-2014-BeekFHHMMR #modelling: CIF 3: Model-Based Engineering of Supervisory Controllers (DAvB, WF, DH, AH, JM, JMvdMF, MAR), pp. 575–580.
TACAS-2014-DudkaPV #contest #graph #memory management #named: Predator: A Shape Analyzer Based on Symbolic Memory Graphs — (Competition Contribution) (KD, PP, TV), pp. 412–414.
TACAS-2014-EldibWS #smt #verification: SMT-Based Verification of Software Countermeasures against Side-Channel Attacks (HE, CW, PS), pp. 62–77.
TACAS-2014-JahierDML #case study #modelling #testing: Environment-Model Based Testing of Control Systems: Case Studies (EJ, SDD, CM, EL), pp. 636–650.
TACAS-2014-ReinbacherRS #health #realtime #runtime: Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems (TR, KYR, JS), pp. 357–372.
WRLA-2014-Duran #composition #domain-specific language: Composition of Graph-Transformation-Based DSL Definitions by Amalgamation (FD), pp. 1–20.
WRLA-2014-MossesV #component #named #semantics: FunKons: Component-Based Semantics in K (PDM, FV), pp. 213–229.
CSMR-WCRE-2014-AmalfitanoFMTMFS #architecture #case study #industrial #legacy #migration #mvc #web: Migrating legacy spreadsheets-based systems to Web MVC architecture: An industrial case study (DA, ARF, VM, PT, GDM, FF, SS), pp. 387–390.
CSMR-WCRE-2014-DingZT #branch #detection: Detecting infeasible branches based on code patterns (SD, HZ, HBKT), pp. 74–83.
CSMR-WCRE-2014-HillRFM #case study #code search #query #refinement: NL-based query refinement and contextualized code search results: A user study (EH, MRV, JAF, GM), pp. 34–43.
CSMR-WCRE-2014-RahmanYR #exception #fault #ide #programming #recommendation #towards: Towards a context-aware IDE-based meta search engine for recommendation about programming errors and exceptions (MMR, SY, CKR), pp. 194–203.
ICPC-2014-BeyerH #evaluation: A formal evaluation of DepDegree based on weyuker’s properties (DB, PH), pp. 258–261.
ICPC-2014-PerezA #approach #comprehension: A diagnosis-based approach to software comprehension (AP, RA), pp. 37–47.
ICPC-2014-SteidlE #fault #maintenance #recommendation #refactoring: Prioritizing maintainability defects based on refactoring recommendations (DS, SE), pp. 168–176.
ICPC-2014-TianZLFZY #detection #parallel #thread: Plagiarism detection for multithreaded software based on thread-aware software birthmarks (ZT, QZ, TL, MF, XZ, ZY), pp. 304–313.
ICSME-2014-Al-KofahiNN #fault #locality: Fault Localization for Make-Based Build Crashes (JMAK, HVN, TNN), pp. 526–530.
ICSME-2014-AlomariCM #approach #estimation #maintenance: A Slice-Based Estimation Approach for Maintenance Effort (HWA, MLC, JIM), pp. 81–90.
ICSME-2014-BhattacharyaNF #approach #developer #graph: Determining Developers’ Expertise and Role: A Graph Hierarchy-Based Approach (PB, IN, MF), pp. 11–20.
ICSME-2014-ClaesMG #maintenance #named: maintaineR: A Web-Based Dashboard for Maintainers of CRAN Packages (MC, TM, PG), pp. 597–600.
ICSME-2014-KhanIA #approach #behaviour #heuristic #state machine #uml: A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines (MUK, MZI, SA), pp. 557–560.
ICSME-2014-MorenoTMS #debugging #locality #on the #stack: On the Use of Stack Traces to Improve Text Retrieval-Based Bug Localization (LM, JJT, AM, WS), pp. 151–160.
ICSME-2014-Rapos #co-evolution #industrial #modelling #testing: Co-evolution of Model-Based Tests for Industrial Automotive Software (EJR), p. 663.
ICSME-2014-SahaLKP #c #debugging #effectiveness #information retrieval #locality #on the #source code: On the Effectiveness of Information Retrieval Based Bug Localization for C Programs (RKS, JL, SK, DEP), pp. 161–170.
ICSME-2014-TaoQ #analysis #concurrent #java #refactoring #source code: Refactoring Java Concurrent Programs Based on Synchronization Requirement Analysis (BT, JQ), pp. 361–370.
ICSME-2014-ThongtanunamYYKCFI #bibliography #code review #dataset #named #visualisation: ReDA: A Web-Based Visualization Tool for Analyzing Modern Code Review Dataset (PT, XY, NY, RGK, AECC, KF, HI), pp. 605–608.
MSR-2014-GousiosZ #dataset #development #research: A dataset for pull-based development research (GG, AZ), pp. 368–371.
MSR-2014-HindleWRBCR #energy #framework #hardware #mining #named #repository: GreenMiner: a hardware based mining software repositories software energy consumption framework (AH, AW, KR, EJB, JCC, SR), pp. 12–21.
MSR-2014-LemosPZL #automation #code search #interface #query: Thesaurus-based automatic query expansion for interface-driven code search (OALL, ACdP, FCZ, CVL), pp. 212–221.
MSR-2014-ZanjaniSK #commit #impact analysis #interactive #source code: Impact analysis of change requests on source code based on interaction and commit histories (MBZ, GS, HHK), pp. 162–171.
SCAM-2014-KawamitsuIKKRI #identification #repository #reuse #similarity #source code #using: Identifying Source Code Reuse across Repositories Using LCS-Based Source Code Similarity (NK, TI, TK, RGK, CDR, KI), pp. 305–314.
SCAM-2014-KosowerLR #c++ #documentation #framework #named: Flowgen: Flowchart-Based Documentation Framework for C++ (DAK, JJLV, SAR), pp. 59–64.
SCAM-2014-RahmanR #empirical: A Change-Type Based Empirical Study on the Stability of Cloned Code (MSR, CKR), pp. 31–40.
SCAM-2014-StoccoLRT #migration #named #testing #visual notation #web: PESTO: A Tool for Migrating DOM-Based to Visual Web Tests (AS, ML, FR, PT), pp. 65–70.
SCAM-2014-TengeriBHG #analysis #repository #test coverage #testing #tool support: Toolset and Program Repository for Code Coverage-Based Test Suite Analysis and Manipulation (DT, ÁB, DH, TG), pp. 47–52.
SCAM-2014-YooBE #slicing: Seeing Is Slicing: Observation Based Slicing of Picture Description Languages (SY, DB, RDE), pp. 175–184.
SCAM-2014-YoshidaH #c #semiparsing #source code #syntax: A Pattern Search Method for Unpreprocessed C Programs Based on Tokenized Syntax Trees (AY, YH), pp. 295–304.
PEPM-2014-Fahndrich #ide #lessons learnt #runtime: Lessons from a web-based IDE and runtime (MF), pp. 1–2.
PEPM-2014-LiTSF #automation #evolution #testing #web #web service: Automating property-based testing of evolving web services (HL, SJT, PLS, MAF), pp. 169–180.
PEPM-2014-MartinsSFW #attribute grammar #bidirectional #generative #grammarware: Generating attribute grammar-based bidirectional transformations from rewrite rules (PM, JS, JPF, EVW), pp. 63–70.
PLDI-2014-DAntoniVLM #named #performance #transducer: Fast: a transducer-based language for tree manipulation (LD, MV, BL, DM), p. 40.
PLDI-2014-DavidY #bytecode #code search: Tracelet-based code search in executables (YD, EY), p. 37.
PLDI-2014-StorkNSMFMA #approach #named #programming language: Æminium: a permission based concurrent-by-default programming language approach (SS, KN, JS, MM, AF, PM, JA), p. 4.
SAS-2014-YeSX #analysis #pointer: Region-Based Selective Flow-Sensitive Pointer Analysis (SY, YS, JX), pp. 319–336.
FLOPS-2014-AmaralFC #named #prolog #testing: PrologCheck — Property-Based Testing in Prolog (CA, MF, VSC), pp. 1–17.
FLOPS-2014-HoffmannS #analysis #array #integer #type system: Type-Based Amortized Resource Analysis with Integers and Arrays (JH, ZS), pp. 152–168.
ICALP-v1-2014-Ben-SassonRTW #algorithm #proving: Sampling-Based Proofs of Almost-Periodicity Results and Algorithmic Applications (EBS, NRZ, MT, JW), pp. 955–966.
ICALP-v1-2014-GuptaTW #multi #optimisation: Changing Bases: Multistage Optimization for Matroids and Matchings (AG, KT, UW), pp. 563–575.
ICALP-v1-2014-HegdeIS #linear #modelling: Nearly Linear-Time Model-Based Compressive Sensing (CH, PI, LS), pp. 588–599.
ICALP-v2-2014-AvinBLP #axiom #design #distributed #network: Distributed Computing on Core-Periphery Networks: Axiom-Based Design (CA, MB, ZL, DP), pp. 399–410.
LATA-2014-BellaouarCZ #kernel #performance #sequence #string: Efficient List-Based Computation of the String Subsequence Kernel (SB, HC, DZ), pp. 138–148.
FM-2014-AntoninoSW #analysis #concurrent #csp #network #process #refinement: A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes (PRGA, AS, JW), pp. 62–77.
FM-2014-BonakdarpourHK #authentication #automation #knowledge-based #protocol: Knowledge-Based Automated Repair of Authentication Protocols (BB, RH, SSK), pp. 132–147.
FM-2014-HahnLSTZ #model checking #named #probability: iscasMc: A Web-Based Probabilistic Model Checker (EMH, YL, SS, AT, LZ), pp. 312–317.
FM-2014-LiTC #component #requirements: Management of Time Requirements in Component-Based Systems (YL, THT, MC), pp. 399–415.
FM-2014-LiuGL #analysis #reliability: MDP-Based Reliability Analysis of an Ambient Assisted Living System (YL, LG, YL), pp. 688–702.
FM-2014-PonzioRAF #bound #performance: Efficient Tight Field Bounds Computation Based on Shape Predicates (PP, NR, NA, MFF), pp. 531–546.
FM-2014-RinastSG #graph #performance #reduction: A Graph-Based Transformation Reduction to Reach UPPAAL States Faster (JR, SS, DG), pp. 547–562.
FM-2014-SanatiMM #decidability #guidelines #logic #metric #using: Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic (MYS, WM, TSEM), pp. 611–626.
IFM-2014-AsavoaeAR #interprocedural #semantics #slicing #towards: Towards a Formal Semantics-Based Technique for Interprocedural Slicing (IMA, MA, AR), pp. 291–306.
IFM-2014-ErikssonPB #invariant #programming #proving: Proofs and Refutations in Invariant-Based Programming (JE, MP, RJB), pp. 189–204.
SEFM-2014-BeckerSAB #analysis #constraints #deployment #fault tolerance #formal method: A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems (KB, BS, MA, CB), pp. 205–219.
SEFM-2014-BratNSV #abstract interpretation #framework #named #static analysis: IKOS: A Framework for Static Analysis Based on Abstract Interpretation (GB, JAN, NS, AV), pp. 271–277.
SFM-2014-AlbertAGR #concept #concurrent #execution #generative #symbolic computation #testing: Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency (EA, PA, MGZ, JMR), pp. 263–309.
SFM-2014-LochauPKS #modelling #testing: Model-Based Testing (ML, SP, MK, IS), pp. 310–342.
ICFP-2014-ChenE #analysis #parametricity #product line #type system: Type-based parametric analysis of program families (SC, ME), pp. 39–51.
IFL-2014-DomoszlaiLP #editing #named #type system: Editlets: type-based, client-side editors for iTasks (LD, BL, RP), p. 6.
ILC-2014-Cooper #knowledge base #lisp: A Gentle Introduction to Gendl®, a Common Lisp-based Knowledge Based Engineering Environment (DC), p. 6.
ILC-2014-Nunes-Harwitt14a #approach #code generation #evaluation #semantics: Eager Evaluation Isn’t Eager Enough A Transformation Based Approach to Semantics-Directed Code Generation (ANH), p. 79.
ILC-2014-PetersenGAD: A Scheme-Based Closed-Loop Anesthesia System (CLP, MG, JMA, GAD), p. 40.
GRAPHITE-2014-DelzannoRT #analysis #protocol: Graph- versus Vector-Based Analysis of a Consensus Protocol (GD, AR, RT), pp. 44–57.
GRAPHITE-2014-SenniS #knowledge base #reduction: Backwards State-space Reduction for Planning in Dynamic Knowledge Bases (VS, MS), pp. 84–99.
GT-VMT-2014-WangBL #alloy #graph #model transformation #using #verification: Verification of Graph-based Model Transformations Using Alloy (XW, FB, YL).
ICGT-2014-BelhaouariAGB #geometry #graph transformation #library #modelling #named: Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling (HB, AA, PLG, TB), pp. 269–284.
ICGT-2014-JansenN #generative #graph #pointer #source code #summary: Generating Abstract Graph-Based Procedure Summaries for Pointer Programs (CJ, TN), pp. 49–64.
ICGT-2014-LambersO #graph #reasoning: Tableau-Based Reasoning for Graph Properties (LL, FO), pp. 17–32.
ICGT-2014-SelimLCDO #graph #model transformation #specification #verification: Specification and Verification of Graph-Based Model Transformation Properties (GMKS, LL, JRC, JD, BJO), pp. 113–129.
CHI-2014-BachynskyiOPW #human-computer #simulation: Is motion capture-based biomechanical simulation valid for HCI studies?: study and implications (MB, AO, GP, TW), pp. 3215–3224.
CHI-2014-BetzW #communication #concept #named: EmergencyMessenger: a text based communication concept for indoor firefighting (MB, VW), pp. 1515–1524.
CHI-2014-BurgbacherH #gesture #type system #verification: An implicit author verification system for text messages based on gesture typing biometrics (UB, KHH), pp. 2951–2954.
CHI-2014-ChengLLSB #framework #people: Haptic turk: a motion platform based on people (LPC, PL, PL, CS, PB), pp. 3463–3472.
CHI-2014-CraggsSA #crowdsourcing #named #query #semantics #video #web: ThumbReels: query sensitive web video previews based on temporal, crowdsourced, semantic tagging (BC, MKS, JA), pp. 1217–1220.
CHI-2014-DixonLF #implementation #runtime: Pixel-based methods for widget state and style in a runtime implementation of sliding widgets (MED, GL, JAF), pp. 2231–2240.
CHI-2014-DunwellFPHALS #approach #game studies #learning #safety: A game-based learning approach to road safety: the code of everand (ID, SdF, PP, MH, SA, PL, CDS), pp. 3389–3398.
CHI-2014-HongMD #behaviour #framework: A smartphone-based sensing platform to model aggressive driving behaviors (JHH, BM, AKD), pp. 4047–4056.
CHI-2014-KierasH #modelling #predict #towards #visual notation: Towards accurate and practical predictive models of active-vision-based visual search (DEK, AJH), pp. 3875–3884.
CHI-2014-KulshreshthL #3d #gesture: Exploring the usefulness of finger-based 3D gesture menu selection (AK, JJLJ), pp. 1093–1102.
CHI-2014-LeavittC #process #social: Upvoting hurricane Sandy: event-based news production processes on a social news site (AL, JAC), pp. 1495–1504.
CHI-2014-LeeLKKHC #approach: An EEG-based approach for evaluating audio notifications under ambient sounds (YCL, WCL, JTK, LWK, YTH, FYC), pp. 3817–3826.
CHI-2014-LoeppHZ #collaboration #elicitation #recommendation: Choice-based preference elicitation for collaborative filtering recommender systems (BL, TH, JZ), pp. 3085–3094.
CHI-2014-LuoV: Crossing-based selection with direct touch input (YL, DV), pp. 2627–2636.
CHI-2014-McGookinBC #network #social: Studying digital graffiti as a location-based social network (DKM, SAB, GC), pp. 3269–3278.
CHI-2014-MillerM #health #named #pervasive #social: StepStream: a school-based pervasive social fitness system for everyday adolescent health (ADM, EDM), pp. 2823–2832.
CHI-2014-MonserratLZC #interactive #learning: L.IVE: an integrated interactive video-based learning environment (TJKPM, YL, SZ, XC), pp. 3399–3402.
CHI-2014-MuellerI #game studies #guidelines: Movement-based game guidelines (FM, KI), pp. 2191–2200.
CHI-2014-NicolauMGGH #multi: B#: chord-based correction for multitouch braille input (HN, KM, TJG, JG, VLH), pp. 1705–1708.
CHI-2014-ParkLMMHS #game studies: Human factors of speed-based exergame controllers (TP, UL, SM, MM, IH, JS), pp. 1865–1874.
CHI-2014-PiccardiCZWA #towards: Towards crowd-based customer service: a mixed-initiative tool for managing Q&A sites (TP, GC, MZ, JW, CA), pp. 2725–2734.
CHI-2014-PritchardVBTO #how: Digitally driven: how location based services impact the work practices of London bus drivers (GWP, JV, PB, LT, PO), pp. 3617–3626.
CHI-2014-RenLL #mobile #named: InkAnchor: enhancing informal ink-based note taking on touchscreen mobile phones (YR, YL, EL), pp. 1123–1132.
CHI-2014-RuizVLAC #gesture #interactive #multi #video: Multi-viewer gesture-based interaction for omni-directional video (GARR, DV, KL, FA, EC), pp. 4077–4086.
CHI-2014-SchildLM #3d #behaviour #design #game studies #using #video: Altering gameplay behavior using stereoscopic 3D vision-based video game design (JS, JJLJ, MM), pp. 207–216.
CHI-2014-SchwarzMLHM #gesture #interface: Combining body pose, gaze, and gesture to determine intention to interact in vision-based interfaces (JS, CCM, TL, SEH, JM), pp. 3443–3452.
CHI-2014-ShrotRGK #algorithm #collaboration #named: CRISP: an interruption management algorithm based on collaborative filtering (TS, AR, JG, SK), pp. 3035–3044.
CHI-2014-YurutenZP #mobile #predict #process: Predictors of life satisfaction based on daily activities from mobile sensor data (OY, JZ, PHZP), pp. 497–500.
CHI-2014-ZhangL #gesture #interactive #named #physics: GestKeyboard: enabling gesture-based interaction on ordinary physical keyboard (HZ, YL), pp. 1675–1684.
CSCW-2014-BossenJ #bibliography #how: How physicians “achieve overview”: a case-based study in a hospital ward (CB, LGJ), pp. 257–268.
CSCW-2014-ProcykN #design #evaluation #game studies #named: GEMS: the design and evaluation of a location-based storytelling game (JP, CN), pp. 1156–1166.
CSCW-2014-TausczikDK #community #online: Building loyalty to online communities through bond and identity-based attachment to sub-groups (YRT, LAD, REK), pp. 146–157.
DHM-2014-ButlewskiMC #development #safety: Non-financial Factors of Job Satisfaction in the Development of a Safety Culture Based on Examples from Poland and Romania (MB, AM, RC), pp. 577–587.
DHM-2014-GaoH #approach #fault #nondeterminism #research: Research on the Continuous Descent Approach (CDA) Operational Error of Pilot Base on Cloud Model and Uncertainty Theory (YG, YH), pp. 91–100.
DHM-2014-MarlerBVJRD #design: A Digital Human Model for Performance-Based Design (TM, SB, UV, RJ, VR, BD), pp. 136–147.
DHM-2014-StreefkerkNMPD #challenge #human-computer: HCI Challenges for Community-Based Disaster Recovery (JWS, MN, KM, RP, KvD), pp. 637–648.
DHM-2014-XueZCZ #evaluation: Comfort Evaluation of Cockpit Based on Dynamic Pilot Posture (HX, XZ, YC, LZ), pp. 160–166.
DHM-2014-YangZYHZL #design: Based on Upper Extremity Comfort ROM of Ergonomic Methods for Household Products Design (FY, QXZ, AY, HH, XZ, ZQL), pp. 167–173.
DUXU-DI-2014-Al-KhalifaG #design: Website Design Based on Cultures: An Investigation of Saudis, Filipinos, and Indians Government Websites’ Attributes (HSAK, RAG), pp. 15–27.
DUXU-DI-2014-CorreiaBMM #formal method #gesture #interface #metric #semantics: Syntactic/Semantic Formalizations and Metrics of Residential Applications Based on Gestural Interface (ACdCC, PLSB, LCdM, JNM), pp. 521–532.
DUXU-DI-2014-HeiskalaPVHM #framework #information management #mobile #research: A Research Framework for the Smartphone-Based Contextual Study of Mobile Knowledge Work (MH, EP, MV, KH, HM), pp. 246–257.
DUXU-DI-2014-HeZL #detection #fault #feature model #image #segmentation: Aluminum CT Image Defect Detection Based on Segmentation and Feature Extraction (NH, LZ, KL), pp. 446–454.
DUXU-DI-2014-MonatBL #visual notation: Taking Decisions with Systems Oriented to the General Public — Applying Visual Information Based on Viennese Method (ASM, MB, RCL), pp. 463–471.
DUXU-DI-2014-WojdziakG #3d #approach #design #interface #modelling: Beyond Perspective — A Model-Based Approach for Camera-Based 3D-Interface Design (JW, RG), pp. 488–498.
DUXU-DP-2014-FarnsworthHHP #data-driven: Cool in Business: Developing a Data-Based Instrument Measuring “Cool” (CF, KH, TH, SP), pp. 232–243.
DUXU-DP-2014-KramerN #design: Designing with the User in Mind a Cognitive Category Based Design Methodology (JK, SN), pp. 152–163.
DUXU-DP-2014-ShafiqCIFAAI #design #effectiveness #interactive #personalisation #visual notation: Skill Specific Spoken Dialogues Based Personalized ATM Design to Maximize Effective Interaction for Visually Impaired Persona (MS, JGC, MI, MF, MA, IA, AI), pp. 446–457.
DUXU-DP-2014-ShimizuINMHKWK #process: Consideration for Interpretation of Brain Activity Pattern during Car Driving Based on Human Movements (SS, HI, HN, FM, NH, SK, EW, SK), pp. 458–468.
DUXU-ELAS-2014-GoodS #design #health #interface #people #web: Accessing Web Based Health Care and Resources for Mental Health: Interface Design Considerations for People Experiencing Mental Illness (AG, AS), pp. 25–33.
DUXU-ELAS-2014-SheikhDS #design #guidelines #knowledge base #towards #usability #women: Usability Guidelines for Designing Knowledge Base in Rural Areas — Towards Women Empowerment (JAS, HSD, FJS), pp. 462–469.
DUXU-ELAS-2014-VegaAEF #interactive: FX e-Makeup for Muscle Based Interaction (KV, AA, FE, HF), pp. 643–652.
DUXU-TMT-2014-SakamotoM #elicitation #interactive #mobile #named #perspective #requirements: M4REMAIP: Method for Requirements Elicitation Based on Mobile Applications under an Interaction Perspective (SGS, LCdM), pp. 74–85.
DUXU-TMT-2014-YigitbasFS #adaptation #development #modelling #self #user interface: Model-Based User Interface Development for Adaptive Self-Service Systems (EY, HF, SS), pp. 206–213.
DUXU-TMT-2014-ZellerGD #design: basil.js — Bridging Mouse and Code Based Design Strategies (LZ, BG, TD), pp. 686–696.
HCI-AIMT-2014-ChakravartyC #artificial reality #identification #using: Frontal-Standing Pose Based Person Identification Using Kinect (KC, TC), pp. 215–223.
HCI-AIMT-2014-DharmaT #bibliography #elicitation #empirical #heuristic #perspective: A Heuristic Model of Vibrotactile Haptic Feedbacks Elicitation Based on Empirical Review (AAGD, KT), pp. 624–632.
HCI-AIMT-2014-FahnSW #tablet: A Virtual Handwriting Tablet Based on Pen Shadow Cues (CSF, BYS, MLW), pp. 224–233.
HCI-AIMT-2014-HettipathiranaW #interactive #named: iPanel: A Computer-Vision Based Solution for Interactive Keyboard and Mouse (HCDH, PW), pp. 36–47.
HCI-AIMT-2014-NieblingSKS #diagrams #editing #gesture #interactive #modelling #multi: Model-Based Multi-touch Gesture Interaction for Diagram Editors (FN, DS, RK, TS), pp. 121–130.
HCI-AIMT-2014-RoshandelMMTK #3d #authentication #multi: Multi-sensor Finger Ring for Authentication Based on 3D Signatures (MR, AM, PM, ST, HK), pp. 131–138.
HCI-AIMT-2014-RoshandelMMTK14a #gesture #multi #recognition: Multi-sensor Based Gestures Recognition with a Smart Finger Ring (MR, AM, PM, ST, HK), pp. 316–324.
HCI-AIMT-2014-SantosCMJ #behaviour #case study #interactive: Behavioral Persona for Human-Robot Interaction: A Study Based on Pet Robot (TFdS, DGdC, AAM, PTAJ), pp. 687–696.
HCI-AIMT-2014-TawatsujiMM #reasoning #towards: Proposal for the Model of Occurrence of Negative Response toward Humanlike Agent Based on Brain Function by Qualitative Reasoning (YT, KM, TM), pp. 768–778.
HCI-AIMT-2014-YanikTMMBGW #gesture #learning: A Method for Lifelong Gesture Learning Based on Growing Neural Gas (PMY, AT, JM, JM, JOB, KEG, IDW), pp. 191–202.
HCI-AS-2014-BangSKSSWW #interface: Digital Love Letter: A Handwriting Based Interface for Non-instant Digital Messenger (SJB, YS, JDK, KS, CKS, GW, SW), pp. 103–113.
HCI-AS-2014-CharfiEK #evaluation #mobile #user interface #visual notation: Evaluation Based Graphical Controls: A Contribution to Mobile User Interface Early Evaluation (SC, HE, CK), pp. 114–123.
HCI-AS-2014-DiasDH #fuzzy #interactive #modelling #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-AS-2014-FedericiMRDLBM: A Model of Web-Based Follow-Up to Reduce Assistive Technology Abandonment (SF, MLM, SAR, WD, GL, SB, FM), pp. 674–682.
HCI-AS-2014-HooeyABF #analysis #design #fault: Evidence-Based Error Analysis: Supporting the Design of Error-Tolerant Systems (BLH, MA, RB, DCF), pp. 401–412.
HCI-AS-2014-JeonCY #case study #mobile: Developing a Location-Aware Mobile Guide System for GLAMs Based on TAPIR Sound Tag: A Case Study of the Lee Ungno Museum (JJ, GC, WSY), pp. 425–433.
HCI-TMT-2014-BuchholzF #design #modelling #smarttech: Combining Design of Models for Smart Environments with Pattern-Based Extraction (GB, PF), pp. 285–294.
HCI-TMT-2014-BurkhardtNERK #adaptation #visualisation: Visualization Adaptation Based on Environmental Influencing Factors (DB, KN, JDE, WR, JK), pp. 411–422.
HCI-TMT-2014-EngelHM #development #evaluation #modelling #user interface: Evaluation of Model-Based User Interface Development Approaches (JE, CH, CM), pp. 295–307.
HCI-TMT-2014-LizanoSS #agile #case study #testing #usability: Integrating Usability Evaluations into Scrum: A Case Study Based on Remote Synchronous User Testing (FL, MMS, JS), pp. 500–509.
HCI-TMT-2014-SantanaB #personalisation: Log-Based Personalization Tool as an Assistive Technology (VFdS, MCCB), pp. 433–444.
HCI-TMT-2014-SilvaCP #education #human-computer #interactive #learning: Studio-Based Learning as a Natural Fit to Teaching Human-Computer Interaction (PAS, MEC, BJP), pp. 251–258.
HIMI-AS-2014-AsaiY #documentation #generative: EA Snippets: Generating Summarized View of Handwritten Documents Based on Emphasis Annotations (HA, HY), pp. 20–31.
HIMI-AS-2014-KoyamaYKT #named: ChoiceLog: Life Log System Based on Choices for Supporting Decision-Making (JK, KY, IK, YT), pp. 172–183.
HIMI-AS-2014-UeiFKNKS #design #education #evaluation #learning: Learning Effect Evaluation of an Educational Tool for Product-Service System Design Based on Learner Viewpoints (KU, TF, AK, YN, KK, YS), pp. 643–652.
HIMI-AS-2014-XingGLK #clustering: Decision Support Based on Time-Series Analytics: A Cluster Methodology (WX, RG, NL, TRK), pp. 217–225.
HIMI-AS-2014-ZhangXCZL #fault #predict #probability: Predictive Probability Model of Pilot Error Based on CREAM (XZ, HX, YC, LZ, GL), pp. 296–304.
HIMI-DE-2014-FukuzumiYTYYK: A New Computational Method for Single-Trial-EEG-Based BCI — Proposal of the Number of Electrodes (SF, HY, KT, TY, TY, KK), pp. 148–156.
HIMI-DE-2014-GombosK #dataset #query #recommendation: SPARQL Query Writing with Recommendations Based on Datasets (GG, AK), pp. 310–319.
HIMI-DE-2014-HoriguchiASN #dependence #generative: Menu Hierarchy Generation Based on Syntactic Dependency Structures in Item Descriptions (YH, SA, TS, HN), pp. 157–166.
HIMI-DE-2014-JingLCYH #case study #design #framework #parametricity #representation: Design Knowledge Framework Based on Parametric Representation — A Case Study of Cockpit Form Style Design (JJ, QL, WC, YY, TH), pp. 332–341.
HIMI-DE-2014-JungAK #interface #using #web: A Map-Based Web Search Interface Using Point of Interest Aggregation (KJ, SCA, HK), pp. 342–351.
HIMI-DE-2014-KaramT #gesture #interactive #symmetry: Two-Handed Interactive Menu: An Application of Asymmetric Bimanual Gestures and Depth Based Selection Techniques (HK, JT), pp. 187–198.
HIMI-DE-2014-KhodaskarL #image #retrieval #semantics #using: Content Based Image Retrieval Using Quantitative Semantic Features (AK, SL), pp. 439–448.
HIMI-DE-2014-KobayashiS #corpus #topic: Finding Division Points for Time-Series Corpus Based on Topic Changes (HK, RS), pp. 364–372.
HIMI-DE-2014-LeeLS14a #communication #development: Development of Digital-Device-Based Cooperation Support System to Aid Communication between MCR Operators and Field Workers in Nuclear Power Plants (NPPs) (SML, HCL, PHS), pp. 483–490.
HIMI-DE-2014-LiGF #agile #collaboration #framework #research: Collaborative Innovation Research on Co-working Platform Based on Lean Startup Model (YL, QG, ZF), pp. 491–502.
HIMI-DE-2014-Lucas #approach #constraints #interactive #visualisation: An Interactive Approach to Constraint-Based Visualizations (WTL), pp. 54–63.
HIMI-DE-2014-PohlSKAM #usability: Evaluating the Dot-Based Contingency Wheel: Results from a Usability and Utility Study (MP, FS, SK, BA, SM), pp. 76–86.
HIMI-DE-2014-SutoPK #collaboration #data type #design #multi: A Collaboration Support Tool for Multi-cultural Design Team Based on Extended ADT Model (HS, PP, NK), pp. 548–557.
LCT-NLE-2014-Milde #editing #html #learning #online: An HTML5-Based Online Editor for Creating Annotated Learning Videos (JTM), pp. 172–179.
LCT-NLE-2014-MoriT #development #learning: Development of a Fieldwork Support System for Group Work in Project-Based Learning (MM, AT), pp. 429–440.
LCT-NLE-2014-WachtlerE #algorithm #profiling: Attention Profiling Algorithm for Video-Based Lectures (JW, ME), pp. 358–367.
LCT-TRE-2014-BraunhoferEGR #learning #mobile #recommendation: Context Dependent Preference Acquisition with Personality-Based Active Learning in Mobile Recommender Systems (MB, ME, MG, FR), pp. 105–116.
LCT-TRE-2014-MartinWH #interactive #learning #mobile: Sensor Based Interaction Mechanisms in Mobile Learning (KUM, MW, WH), pp. 165–172.
LCT-TRE-2014-ShahoumianSZPH #education #learning #simulation: Blended Simulation Based Medical Education: A Complex Learning/Training Opportunity (AS, MS, MZ, GP, JH), pp. 478–485.
SCSM-2014-KumamotoSW #twitter #visualisation: Visualizing Impression-Based Preferences of Twitter Users (TK, TS, HW), pp. 209–220.
SCSM-2014-PlikynasM #approach #social: Agent-Based Nonlocal Social Systems: Neurodynamic Oscillations Approach (DP, SM), pp. 253–264.
SCSM-2014-YuFF #design #named: Co-pulse: Light Based Emotional Design in Musical Performances (JY, KF, ZF), pp. 592–601.
VISSOFT-2014-BlouinMBS #metamodelling #scalability #visualisation: Slicing-Based Techniques for Visualizing Large Metamodels (AB, NM, BB, HAS), pp. 25–29.
VISSOFT-2014-JaaskelainenJV #visualisation: Action-Based Visualization (AJ, HMJ, HV), pp. 20–24.
VISSOFT-2014-RufiangeM #evolution #named #visualisation: AniMatrix: A Matrix-Based Visualization of Software Evolution (SR, GM), pp. 137–146.
VISSOFT-2014-ToprakWS #assembly #control flow #lightweight #regular expression #visualisation: Lightweight Structured Visualization of Assembler Control Flow Based on Regular Expressions (ST, AW, SS), pp. 97–106.
AdaEurope-2014-ZhouLL #approach #embedded #requirements #safety #validation: A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems (JZ, YL, KL), pp. 43–57.
HILT-2014-Feiler #modelling: AADL and model-based engineering (PHF), pp. 17–18.
CAiSE-2014-GarciaDC #adaptation #approach #model-to-text #sql: An Adapter-Based Approach to Co-evolve Generated SQL in Model-to-Text Transformations (JG, OD, JC), pp. 518–532.
CAiSE-2014-MalhotraMNL #database #towards: Towards a Form Based Dynamic Database Schema Creation and Modification System (KM, SM, SBN, MDDL), pp. 595–609.
CAiSE-2014-NeumayrJSS #concept #implementation: Dual Deep Instantiation and Its ConceptBase Implementation (BN, MAJ, MS, CGS), pp. 503–517.
CAiSE-2014-PolyvyanyyRH #modelling #performance #process #retrieval #using: Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings (AP, MLR, AHMtH), pp. 439–456.
EDOC-2014-BorhaniLLLH #benchmark #metric #named #performance #virtual machine: WPress: An Application-Driven Performance Benchmark for Cloud-Based Virtual Machines (AHB, PL, BSL, XL, TH), pp. 101–109.
EDOC-2014-FlorezSV #analysis #approach #automation #enterprise #modelling: Extensible Model-Based Approach for Supporting Automatic Enterprise Analysis (HF, MES, JV), pp. 32–41.
EDOC-2014-GrogerSM #integration: The Deep Data Warehouse: Link-Based Integration and Enrichment of Warehouse Data and Unstructured Content (CG, HS, BM), pp. 210–217.
EDOC-2014-KurodaG #dependence #modelling #scalability: Model-Based IT Change Management for Large System Definitions with State-Related Dependencies (TK, ASG), pp. 170–179.
EDOC-2014-MukkamalaHV #analysis #sentiment #social: Fuzzy-Set Based Sentiment Analysis of Big Social Data (RRM, AH, RKV), pp. 71–80.
EDOC-2014-Pufahl0W #process: Batch Regions: Process Instance Synchronization Based on Data (LP, AM, MW), pp. 150–159.
EDOC-2014-WitternLBB #as a service #independence: Feature-Based Configuration of Vendor-Independent Deployments on IaaS (EW, AL, SB, TB), pp. 128–135.
ICEIS-v1-2014-BouzidCFP #approach #enterprise #retrieval #semantics: A Pattern-based Approach for Semantic Retrieval of Information Resources in Enterprises — Application Within STMicroelectronics (SB, CC, CSF, JP), pp. 193–200.
ICEIS-v1-2014-BrodskyHL #named #query: DG-Query: An XQuery-based Decision Guidance Query Language (AB, SGH, JL), pp. 152–163.
ICEIS-v1-2014-CruzRFC #behaviour #implementation: Norm-based Behavior Modification in Reflex Agents — An Implementation in JAMDER 2.0 (FISC, RMRJ, ESSF, MIC), pp. 497–504.
ICEIS-v1-2014-FaheemK #algorithm #architecture #case study #framework #multi #problem: A Multiagent-based Framework for Solving Computationally Intensive Problems on Heterogeneous Architectures — Bioinformatics Algorithms as a Case Study (HMF, BKR), pp. 526–533.
ICEIS-v1-2014-HaddadCSM #algorithm #heuristic #named #parallel #problem #scheduling: AIV: A Heuristic Algorithm based on Iterated Local Search and Variable Neighborhood Descent for Solving the Unrelated Parallel Machine Scheduling Problem with Setup Times (MNH, LPC, MJFS, NM), pp. 376–383.
ICEIS-v1-2014-KannistoHPK #architecture #assessment #distributed #information management #mobile #performance #reasoning #rule-based: Distributed Knowledge Management Architecture and Rule Based Reasoning for Mobile Machine Operator Performance Assessment (PK, DH, LP, SK), pp. 440–449.
ICEIS-v1-2014-PintoNH #multi #optimisation: Multi-objective Optimization of Investment Strategies — Based on Evolutionary Computation Techniques, in Volatile Environments (JMP, RFN, NH), pp. 480–488.
ICEIS-v1-2014-Rios-AguilarLP #behaviour #information management #mobile #monitoring #using: Business Information System for the Control of Workforce Through Behaviour Monitoring Using Reactive and Terminal-based Mobile Location Technologies (SRA, FJLM, APS), pp. 30–38.
ICEIS-v1-2014-RodriguesPFR #knowledge-based: Knowledge-based System for Urinalysis (FHR, JATP, CDF, LNR), pp. 514–519.
ICEIS-v1-2014-SilvaLS #clustering #integration #maintenance #semantics: A Proposal to Maintain the Semantic Balance in Cluster-based Data Integration Systems (ERdS, BFL, ACS), pp. 90–98.
ICEIS-v1-2014-TitoRSFTS #information management #named #recommendation: RecRoute — A Bus Route Recommendation System Based on Users’ Contextual Information (AdOT, ARRR, LMdS, LAVF, PRT, ACS), pp. 357–366.
ICEIS-v2-2014-DHondtT #composition #sequence: QoS-aware Service Composition Based on Sequences of Services (SD, ST), pp. 548–555.
ICEIS-v2-2014-FonsecaC #concept #reuse: Reuse of Service Concepts Based on Service Patterns (WRF, PLPC), pp. 290–297.
ICEIS-v2-2014-GamaL #as a service #ecosystem #open data #towards: Towards Ecosystems based on Open Data as a Service (KG, BFL), pp. 659–664.
ICEIS-v2-2014-GippMBPN #detection #semantics #similarity #using #visualisation: Web-based Demonstration of Semantic Similarity Detection Using Citation Pattern Visualization for a Cross Language Plagiarism Case (BG, NM, CB, JP, AN), pp. 677–683.
ICEIS-v2-2014-HaoH #bibliography #enterprise: Cloud-based Enterprise Resources Planning System (ERP) — A Review of the Literature (YH, PH), pp. 185–192.
ICEIS-v2-2014-KaramtiTG #image #network #process #retrieval #using: Vectorization of Content-based Image Retrieval Process Using Neural Network (HK, MT, FG), pp. 435–439.
ICEIS-v2-2014-MahmoudBAG #approach #learning: A New Approach Based on Learning Services to Generate Appropriate Learning Paths (CBM, FB, MHA, FG), pp. 643–646.
ICEIS-v2-2014-ShumskyRW #calculus #execution #process: Processes Construction and π-calculus-based Execution and Tracing (LS, VR, VW), pp. 448–453.
ICEIS-v2-2014-SilvaFG #configuration management #product line #runtime #towards: Toward a QoS Based Run-time Reconfiguration in Service-oriented Dynamic Software Product Lines (JRFdS, ASdMF, VCG), pp. 460–465.
ICEIS-v2-2014-SimpsonC #enterprise: Vulnerability and Remediation for a High-assurance Web-based Enterprise (WRS, CC), pp. 119–128.
ICEIS-v2-2014-ThorntonCPHM #detection #health: Outlier-based Health Insurance Fraud Detection for U.S. Medicaid Data (DT, GvC, MP, JvH, RMM), pp. 684–694.
ICEIS-v2-2014-WeiRT #data access #policy: Enhance OpenStack Access Control via Policy Enforcement Based on XACML (HW, JSR, AT), pp. 283–289.
ICEIS-v2-2014-XuLL #design #estimation #industrial #knowledge-based: Knowledge-based Design Cost Estimation Through Extending Industry Foundation Classes (SX, KL, WL), pp. 161–168.
ICEIS-v2-2014-ZhengJL #hybrid #learning #taxonomy #using: Cross-Sensor Iris Matching using Patch-based Hybrid Dictionary Learning (BRZ, DYJ, YHL), pp. 169–174.
ICEIS-v3-2014-AntonayaSC #collaboration #enterprise #information management: Handling Human Factors in Cloud-based Collaborative Enterprise Information Systems (SLA, CBS, JGC), pp. 162–167.
ICEIS-v3-2014-BernardoSB #automation #recognition #spreadsheet: Automatic Interpretation Biodiversity Spreadsheets Based on Recognition of Construction Patterns (IRB, AS, MCCB), pp. 57–68.
ICEIS-v3-2014-KubovyAK #behaviour #composition #control flow: Behavior-based Decomposition of BPMN 2.0 Control Flow (JK, DA, JK), pp. 263–271.
ICEIS-v3-2014-ThabetGG #mining #petri net #process #towards: Towards Business Process Model Extension with Cost Perspective Based on Process Mining — Petri Net Model Case (DT, SAG, HHBG), pp. 335–342.
ICEIS-v3-2014-ZouhaierHA #adaptation #approach #people #user interface: A MDA-based Approach for Enabling Accessibility Adaptation of User Interface for Disabled People (LZ, YBH, LJBA), pp. 120–127.
CIKM-2014-BellaachiaA #multi #ranking #summary: Multi-document Hyperedge-based Ranking for Text Summarization (AB, MAD), pp. 1919–1922.
CIKM-2014-CohenDPW #scalability #sketching: Sketch-based Influence Maximization and Computation: Scaling up with Guarantees (EC, DD, TP, RFW), pp. 629–638.
CIKM-2014-Deolalikar14a #behaviour #clustering #modelling #parametricity #retrieval: Parameter Tuning with User Models: Influencing Aggregate User Behavior in Cluster Based Retrieval Systems (VD), pp. 1823–1826.
CIKM-2014-GalarragaHMS #knowledge base: Canonicalizing Open Knowledge Bases (LG, GH, KM, FMS), pp. 1679–1688.
CIKM-2014-JonesTMSS #comprehension #consistency #evaluation #matter #nondeterminism: Size and Source Matter: Understanding Inconsistencies in Test Collection-Based Evaluation (TJ, AT, SM, FS, MS), pp. 1843–1846.
CIKM-2014-KangKL #automation #owl #performance: A Meta-reasoner to Rule Them All: Automated Selection of OWL Reasoners Based on Efficiency (YBK, SK, YFL), pp. 1935–1938.
CIKM-2014-KimC #array #performance: Efficient Static and Dynamic In-Database Tensor Decompositions on Chunk-Based Array Stores (MK, KSC), pp. 969–978.
CIKM-2014-KuzeyVW #fresh look #knowledge base: A Fresh Look on Knowledge Bases: Distilling Named Events from News (EK, JV, GW), pp. 1689–1698.
CIKM-2014-LinLYC #classification #modelling #sentiment: Exploring Ensemble of Models in Taxonomy-based Cross-Domain Sentiment Classification (CKL, YYL, CHY, HHC), pp. 1279–1288.
CIKM-2014-LinLZX #named #optimisation #programming #search-based: GPQ: Directly Optimizing Q-measure based on Genetic Programming (YL, HL, PZ, BX), pp. 1859–1862.
CIKM-2014-LiuYGS #feedback #graph #pseudo #ranking #recommendation: Meta-Path-Based Ranking with Pseudo Relevance Feedback on Heterogeneous Graph for Citation Recommendation (XL, YY, CG, YS), pp. 121–130.
CIKM-2014-LiZZW #keyword #named #performance: INK: A Cloud-Based System for Efficient Top-k Interval Keyword Search (RL, XZ, XZ, SW), pp. 2003–2005.
CIKM-2014-LuciaF #classification #knowledge-based #named #network: EgoCentric: Ego Networks for Knowledge-based Short Text Classification (WL, EF), pp. 1079–1088.
CIKM-2014-MarkovKNSRC #effectiveness #metric #modelling: Vertical-Aware Click Model-Based Effectiveness Metrics (IM, EK, VN, PS, MdR, FC), pp. 1867–1870.
CIKM-2014-McCreadieMO #adaptation #incremental #summary: Incremental Update Summarization: Adaptive Sentence Selection based on Prevalence and Novelty (RM, CM, IO), pp. 301–310.
CIKM-2014-MengCS #analysis #approximate #keyword #query #semantics: Semantic Approximate Keyword Query Based on Keyword and Query Coupling Relationship Analysis (XM, LC, JS), pp. 529–538.
CIKM-2014-RamadanC #realtime: Forest-Based Dynamic Sorted Neighborhood Indexing for Real-Time Entity Resolution (BR, PC), pp. 1787–1790.
CIKM-2014-SeolJYCL #problem #summary: A Problem-Action Relation Extraction Based on Causality Patterns of Clinical Events in Discharge Summaries (JWS, SHJ, WY, JC, KSL), pp. 1971–1974.
CIKM-2014-ShiWLYW #clustering #network: Ranking-based Clustering on General Heterogeneous Information Networks by Network Projection (CS, RW, YL, PSY, BW), pp. 699–708.
CIKM-2014-SondhiZ #community #knowledge base #mining #natural language #online: Mining Semi-Structured Online Knowledge Bases to Answer Natural Language Questions on Community QA Websites (PS, CZ), pp. 341–350.
CIKM-2014-SuTJ #process #recognition #smarttech: Accelerometer-based Activity Recognition on Smartphone (XS, HT, PJ), pp. 2021–2023.
CIKM-2014-VinzamuriLR #learning: Active Learning based Survival Regression for Censored Data (BV, YL, CKR), pp. 241–250.
CIKM-2014-WangWLW #classification #concept #ranking: Concept-based Short Text Classification and Ranking (FW, ZW, ZL, JRW), pp. 1069–1078.
CIKM-2014-YaoRSLF #locality #probability: Exploring Tag-Free RFID-Based Passive Localization and Tracking via Learning-Based Probabilistic Approaches (LY, WR, QZS, XL, NJGF), pp. 1799–1802.
CIKM-2014-YaoSNG #internet: Keeping You in the Loop: Enabling Web-based Things Management in the Internet of Things (LY, QZS, AHHN, BJG), pp. 2027–2029.
CIKM-2014-YuanCS #graph #recommendation: Graph-based Point-of-interest Recommendation with Geographical and Temporal Influences (QY, GC, AS), pp. 659–668.
CIKM-2014-ZhangKLCY #approach #named #scalability: NCR: A Scalable Network-Based Approach to Co-Ranking in Question-and-Answer Sites (JZ, XK, RJL, YC, PSY), pp. 709–718.
CIKM-2014-ZhangYCQGZSH #ranking #social: Social Book Search Reranking with Generalized Content-Based Filtering (BWZ, XCY, XPC, JQ, BG, FZ, LS, HWH), pp. 361–370.
CIKM-2014-ZhaoCCY #query: Query Augmentation based Intent Matching in Retail Vertical Ads (HZ, YC, JFC, TWY), pp. 619–628.
CIKM-2014-ZhaoWLZ #framework #mining #refinement #word: A Bootstrapping Based Refinement Framework for Mining Opinion Words and Targets (QZ, HW, PL, CZ), pp. 1995–1998.
CIKM-2014-ZhengMB #recommendation: Deviation-Based Contextual SLIM Recommenders (YZ, BM, RDB), pp. 271–280.
ECIR-2014-CeroniF #automation #towards #validation: Towards an Entity-Based Automatic Event Validation (AC, MF), pp. 605–611.
ECIR-2014-ChenWHY #modelling #personalisation #ranking #social #social media: Facet-Based User Modeling in Social Media for Personalized Ranking (CC, DW, CH, XY), pp. 443–448.
ECIR-2014-HofmannSBR #bias #evaluation #recommendation: Effects of Position Bias on Click-Based Recommender Evaluation (KH, AS, AB, MdR), pp. 624–630.
ECIR-2014-KabaryS #gesture #query #retrieval #sketching #specification #using #video: Using Hand Gestures for Specifying Motion Queries in Sketch-Based Video Retrieval (IAK, HS), pp. 733–736.
ECIR-2014-KazaiS #difference #evaluation #information retrieval #performance #query: Dissimilarity Based Query Selection for Efficient Preference Based IR Evaluation (GK, HS), pp. 172–183.
ECIR-2014-KimJHLY #automation #classification: Quality-Based Automatic Classification for Presentation Slides (SK, WJ, KH, JGL, MYY), pp. 638–643.
ECIR-2014-LiangRR #clustering #documentation #microblog #semantics: The Impact of Semantic Document Expansion on Cluster-Based Fusion for Microblog Search (SL, ZR, MdR), pp. 493–499.
ECIR-2014-OstroumovaBCTG #crawling #policy #predict #web: Crawling Policies Based on Web Page Popularity Prediction (LO, IB, AC, AT, GG), pp. 100–111.
ECIR-2014-QiDCW #information management #learning: Deep Learning for Character-Based Information Extraction (YQ, SGD, RC, JW), pp. 668–674.
ECIR-2014-SchuthSWR #case study #optimisation #using: Optimizing Base Rankers Using Clicks — A Case Study Using BM25 (AS, FS, SW, MdR), pp. 75–87.
ECIR-2014-ThumaRO #detection #query #retrieval: Detecting Missing Content Queries in an SMS-Based HIV/AIDS FAQ Retrieval System (ET, SR, IO), pp. 247–259.
ECIR-2014-VechtomovaST #approach #information retrieval #word: An Information Retrieval-Based Approach to Determining Contextual Opinion Polarity of Words (OV, KS, JT), pp. 553–559.
ECIR-2014-YounusOP #approach #behaviour #microblog #modelling #personalisation: A Language Modeling Approach to Personalized Search Based on Users’ Microblog Behavior (AY, CO, GP), pp. 727–732.
ICML-c1-2014-ErmonGSS #constraints #integration: Low-density Parity Constraints for Hashing-Based Discrete Integration (SE, CPG, AS, BS), pp. 271–279.
ICML-c1-2014-ZhangHL #heuristic #performance: Covering Number for Efficient Heuristic-based POMDP Planning (ZZ, DH, WSL), pp. 28–36.
ICML-c2-2014-BachmanFP #approximate: Sample-based approximate regularization (PB, AMF, DP), pp. 1926–1934.
ICML-c2-2014-BenavoliCMZR #process: A Bayesian Wilcoxon signed-rank test based on the Dirichlet process (AB, GC, FM, MZ, FR), pp. 1026–1034.
ICML-c2-2014-Busa-FeketeHS #elicitation #modelling #rank #statistics #using: Preference-Based Rank Elicitation using Statistical Models: The Case of Mallows (RBF, EH, BS), pp. 1071–1079.
ICML-c2-2014-FangCL #graph #learning: Graph-based Semi-supervised Learning: Realizing Pointwise Smoothness Probabilistically (YF, KCCC, HWL), pp. 406–414.
ICML-c2-2014-KingmaW #performance: Efficient Gradient-Based Inference through Transformations between Bayes Nets and Neural Nets (DPK, MW), pp. 1782–1790.
ICML-c2-2014-NgoT #modelling #relational: Model-Based Relational RL When Object Existence is Partially Observable (NAV, MT), pp. 559–567.
ICML-c2-2014-ScholzLIW #object-oriented: A Physics-Based Model Prior for Object-Oriented MDPs (JS, ML, CLIJ, DW), pp. 1089–1097.
ICML-c2-2014-WangY #crowdsourcing: Ensemble-Based Tracking: Aggregating Crowdsourced Structured Time Series Data (NW, DYY), pp. 1107–1115.
ICPR-2014-AkinM #detection #learning #online: Online Learning and Detection with Part-Based, Circulant Structure (OA, KM), pp. 4229–4233.
ICPR-2014-Alvarez-MezaMC #adaptation #learning #video: Correntropy-Based Adaptive Learning to Support Video Surveillance Systems (AMÁM, SMG, GCD), pp. 2590–2595.
ICPR-2014-AokiFKM #algorithm #architecture #visual notation: KIZUKI Processing for Visual Inspection: A Smart Pattern Pop-Out Algorithm Based on Human Visual Architecture (KA, TF, HK, YM), pp. 2317–2322.
ICPR-2014-BaiHRE #complexity #graph: Directed Depth-Based Complexity Traces of Hypergraphs from Directed Line Graphs (LB, ERH, PR, FE), pp. 3874–3879.
ICPR-2014-BashbaghiGSB #multi #using: Watch-List Screening Using Ensembles Based on Multiple Face Representations (SB, EG, RS, GAB), pp. 4489–4494.
ICPR-2014-BekhetA #using #video: Compact Signature-Based Compressed Video Matching Using Dominant Color Profiles (DCP) (SB, AA), pp. 3933–3938.
ICPR-2014-BenhabilesTV #3d #framework #retrieval: Belief-Function-Based Framework for Deformable 3D-Shape Retrieval (HB, HT, JPV), pp. 285–290.
ICPR-2014-BenliE #recognition: Extraction and Selection of Muscle Based Features for Facial Expression Recognition (KSB, MTE), pp. 1651–1656.
ICPR-2014-BertonL #graph #learning: Graph Construction Based on Labeled Instances for Semi-supervised Learning (LB, AdAL), pp. 2477–2482.
ICPR-2014-BoukermaBF #recognition: NSHP-HMM Based on Conditional Zone Observation Probabilities for Off-Line Handwriting Recognition (HB, AB, NF), pp. 2961–2965.
ICPR-2014-BrizziGSS #video: Optical Flow Based Expression Suppression in Video (JB, DBG, SS, MS), pp. 1817–1821.
ICPR-2014-BuiNK #graph #music #using: Staff Line Removal Using Line Adjacency Graph and Staff Line Skeleton for Camera-Based Printed Music Scores (HNB, ISN, SHK), pp. 2787–2789.
ICPR-2014-CaiWES #segmentation: Object Segmentation Based on Contour-Skeleton Duality (LC, FW, VE, HS), pp. 2537–2542.
ICPR-2014-Calvo-ZaragozaO #dataset #music #recognition: Recognition of Pen-Based Music Notation: The HOMUS Dataset (JCZ, JO), pp. 3038–3043.
ICPR-2014-CaoHS #approach #classification #kernel #learning #multi: Optimization-Based Extreme Learning Machine with Multi-kernel Learning Approach for Classification (LlC, WbH, FS), pp. 3564–3569.
ICPR-2014-Cardenas-PenaOCAC #3d #clustering #kernel #representation: A Kernel-Based Representation to Support 3D MRI Unsupervised Clustering (DCP, MOA, AECO, AMÁM, GCD), pp. 3203–3208.
ICPR-2014-ChenDGYP #interactive #mobile: Stereovision-Only Based Interactive Mobile Robot for Human-Robot Face-to-Face Interaction (LC, ZD, SG, BY, MP), pp. 1840–1845.
ICPR-2014-ChenK #gesture #recognition #using: Using Appearance-Based Hand Features for Dynamic RGB-D Gesture Recognition (XC, MK), pp. 411–416.
ICPR-2014-ChenLHLLH #detection #using: Vision-Based Road Bump Detection Using a Front-Mounted Car Camcorder (HTC, CYL, CCH, SYL, BSPL, CPH), pp. 4537–4542.
ICPR-2014-ChenWCN #detection #fault #modelling #network: Confusion Network Based Recurrent Neural Network Language Modeling for Chinese OCR Error Detection (JC, YW, HC, PN), pp. 1266–1271.
ICPR-2014-ColonnaCN #approach #distributed: A Distributed Approach for Classifying Anuran Species Based on Their Calls (JGC, MC, EFN), pp. 1242–1247.
ICPR-2014-CoteA #segmentation: Sparseness-Based Descriptors for Texture Segmentation (MC, ABA), pp. 1108–1113.
ICPR-2014-DarvishLS #image: Super-resolution Facial Images from Single Input Images Based on Discrete Wavelet Transform (AMD, HL, US), pp. 843–848.
ICPR-2014-DengHXC #analysis #composition #matrix #rank: Sparse and Low Rank Matrix Decomposition Based Local Morphological Analysis and Its Application to Diagnosis of Cirrhosis Livers (JD, XHH, GX, YWC), pp. 3363–3368.
ICPR-2014-DengWGZZ #modelling #multi: Multiple View Based Building Modeling with Multi-box Grammar (RD, QW, RG, GZ, HZ), pp. 4027–4032.
ICPR-2014-DuanA #approach #estimation #image: A J-Linkage Based Approach for Vanishing Direction Estimation in Catadioptric Images (WD, NMA), pp. 2113–2118.
ICPR-2014-DuCZ #aspect-oriented #identification #using: A Product Aspects Identification Method by Using Translation-Based Language Model (JD, WC, XZ), pp. 2790–2795.
ICPR-2014-DuZCW #flexibility #learning #linear #random: Learning Flexible Binary Code for Linear Projection Based Hashing with Random Forest (SD, WZ, SC, YW), pp. 2685–2690.
ICPR-2014-FahadTR #classification #clustering #process #recognition #smarttech #using: Activity Recognition in Smart Homes Using Clustering Based Classification (LGF, SFT, MR), pp. 1348–1353.
ICPR-2014-FerisBPS #detection: Appearance-Based Object Detection Under Varying Environmental Conditions (RF, LMGB, SP, MTS), pp. 166–171.
ICPR-2014-FernandezT #analysis #documentation #layout: EM-Based Layout Analysis Method for Structured Documents (FCF, ORT), pp. 315–320.
ICPR-2014-FrancoMT #recognition: Spatio-temporal Keypoints for Video-Based Face Recognition (AF, DM, FT), pp. 489–494.
ICPR-2014-FrazES #recognition: Mid-level-Representation Based Lexicon for Vehicle Make and Model Recognition (MF, EAE, MSS), pp. 393–398.
ICPR-2014-FuKGYZ #ranking: Binary Code Reranking Method Based on Bit Importance (HF, XK, YG, XY, LZ), pp. 2679–2684.
ICPR-2014-GalballyM #anti #assessment #image #quality: Face Anti-spoofing Based on General Image Quality Assessment (JG, SM), pp. 1173–1178.
ICPR-2014-Garcia-OrdasAGG #invariant #named: aZIBO: A New Descriptor Based in Shape Moments and Rotational Invariant Features (MTGO, EA, VGC, DGO), pp. 2395–2400.
ICPR-2014-GarciaO #realtime: CPU-Based Real-Time Surface and Solid Voxelization for Incomplete Point Cloud (FG, BEO), pp. 2757–2762.
ICPR-2014-GaurHC #design #distance #image #kernel #multi: Design of Multi-kernel Distance Based Hashing with Multiple Objectives for Image Indexing (VG, EH, SC), pp. 2637–2642.
ICPR-2014-GaurM #image #ranking: Ranking Images Based on Aesthetic Qualities (AG, KM), pp. 3410–3415.
ICPR-2014-GeronimoK #retrieval #video: Unsupervised Surveillance Video Retrieval Based on Human Action and Appearance (DG, HK), pp. 4630–4635.
ICPR-2014-Gomez-BarreroRGFB #adaptation: Protected Facial Biometric Templates Based on Local Gabor Patterns and Adaptive Bloom Filters (MGB, CR, JG, JF, CB), pp. 4483–4488.
ICPR-2014-GomezK #detection #realtime: MSER-Based Real-Time Text Detection and Tracking (LG, DK), pp. 3110–3115.
ICPR-2014-GongWLT #consistency #video: Temporal Consistency Based Method for Blind Video Deblurring (WG, WW, WL, ST), pp. 861–864.
ICPR-2014-Gonzalez-CastroDC #adaptation #classification #using: Pixel Classification Using General Adaptive Neighborhood-Based Features (VGC, JD, VC), pp. 3750–3755.
ICPR-2014-GuerreroR #process: Circular Regression Based on Gaussian Processes (PG, JRdS), pp. 3672–3677.
ICPR-2014-GuoDM #graph #recognition: Graph-Based Kinship Recognition (YG, HD, LvdM), pp. 4287–4292.
ICPR-2014-GuoZLCZ #clustering #kernel #learning #multi: Multiple Kernel Learning Based Multi-view Spectral Clustering (DG, JZ, XL, YC, CZ), pp. 3774–3779.
ICPR-2014-HachaniZP #graph: Kinematic Reeb Graph Extraction Based on Heat Diffusion (MH, AOZ, WP), pp. 3981–3986.
ICPR-2014-Hast #invariant #robust: Robust and Invariant Phase Based Local Feature Matching (AH), pp. 809–814.
ICPR-2014-Hess-FloresRJ #analysis #multi #nondeterminism: Uncertainty, Baseline, and Noise Analysis for L1 Error-Based Multi-view Triangulation (MHF, SR, KIJ), pp. 4074–4079.
ICPR-2014-HouHW #modelling #synthesis #video: Cloud Model-Based Dynamic Texture Synthesis for Video Coding (ZH, RH, ZW), pp. 838–842.
ICPR-2014-HouXCXQ #clustering #robust #set: Robust Clustering Based on Dominant Sets (JH, EX, LC, QX, NQ), pp. 1466–1471.
ICPR-2014-HsuLPC #re-engineering #recognition: RGB-D Based Face Reconstruction and Recognition (GSH, YLL, HCP, SLC), pp. 339–344.
ICPR-2014-HuangW #image: A Filtration Strategy Based on FD-CRF for Image Matching (SH, WW), pp. 3286–3291.
ICPR-2014-HuangW0T #framework #network: A General Nonlinear Embedding Framework Based on Deep Neural Network (YH, WW, LW, TT), pp. 732–737.
ICPR-2014-IosifidisTP #classification #network: Semi-supervised Classification of Human Actions Based on Neural Networks (AI, AT, IP), pp. 1336–1341.
ICPR-2014-IwahoriFWB #image #network: Neural Network Based Image Modification for Shape from Observed SEM Images (YI, KF, RJW, MKB), pp. 2131–2136.
ICPR-2014-KacheleZMS #feature model #quality #recognition #using: Prosodic, Spectral and Voice Quality Feature Selection Using a Long-Term Stopping Criterion for Audio-Based Emotion Recognition (MK, DZ, SM, FS), pp. 803–808.
ICPR-2014-KimBKC #multi #online #people: MAP-Based Online Data Association for Multiple People Tracking in Crowded Scenes (SWK, MB, KK, JYC), pp. 1212–1217.
ICPR-2014-KimP #recognition: Ancient Coin Recognition Based on Spatial Coding (JK, VP), pp. 321–326.
ICPR-2014-KimPZGZB #bibliography #process #recognition #smarttech: Activity Recognition for a Smartphone Based Travel Survey Based on Cross-User History Data (YK, FCP, FZ, AG, PCZ, MEBA), pp. 432–437.
ICPR-2014-KleberDS #documentation #estimation #image #robust: Robust Skew Estimation of Handwritten and Printed Documents Based on Grayvalue Images (FK, MD, RS), pp. 3020–3025.
ICPR-2014-KrawczykWC #classification #clustering #fuzzy: Weighted One-Class Classifier Ensemble Based on Fuzzy Feature Space Partitioning (BK, MW, BC), pp. 2838–2843.
ICPR-2014-LaiCCCSH: Appearance-Based Gaze Tracking with Free Head Movement (CCL, YTC, KWC, SCC, SWS, YPH), pp. 1869–1873.
ICPR-2014-LeNVOT #documentation #retrieval #using: Document Retrieval Based on Logo Spotting Using Key-Point Matching (VPL, NN, MV, JMO, CDT), pp. 3056–3061.
ICPR-2014-LiangZ #3d #modelling #recognition: 3D Motion Trail Model Based Pyramid Histograms of Oriented Gradient for Action Recognition (BL, LZ), pp. 1952–1957.
ICPR-2014-LiaoQZ #data-driven #database #visualisation: Visualization of Hyperspectral Imaging Data Based on Manifold Alignment (DL, YQ, JZ), pp. 70–75.
ICPR-2014-LindbladSMBMM #optimisation #pattern matching #pattern recognition #recognition: Optimizing Optics and Imaging for Pattern Recognition Based Screening Tasks (JL, NS, PM, EB, RM, AM), pp. 3333–3338.
ICPR-2014-LinnerS #alias #anti #distance #graph #implementation: A Graph-Based Implementation of the Anti-aliased Euclidean Distance Transform (EL, RS), pp. 1025–1030.
ICPR-2014-LiuCVC #classification: Leaf Species Classification Based on a Botanical Shape Sub-classifier Strategy (HL, DC, LV, GC), pp. 1496–1501.
ICPR-2014-LiuFW #keyword: Audio-visual Keyword Spotting for Mandarin Based on Discriminative Local Spatial-Temporal Descriptors (HL, TF, PW), pp. 785–790.
ICPR-2014-LiuLFQGT #geometry #graph #retrieval: Plane Geometry Figure Retrieval Based on Bilayer Geometric Attributed Graph Matching (LL, XL, SF, JQ, LG, ZT), pp. 309–314.
ICPR-2014-LiuZH #energy #graph #optimisation: Improved Optimization Based on Graph Cuts for Discrete Energy Minimization (KL, JZ, KH), pp. 2424–2429.
ICPR-2014-LiuZZL #detection #realtime: Real-Time Scene Text Detection Based on Stroke Model (YL, DZ, YZ, SL), pp. 3116–3120.
ICPR-2014-LiYLYWH #classification #multi #predict: Multi-view Based AdaBoost Classifier Ensemble for Class Prediction from Gene Expression Profiles (LL, ZY, JL, JY, HSW, GH), pp. 178–183.
ICPR-2014-LiYSC #image: A New Divergence Measure Based on Arimoto Entropy for Medical Image Registration (BL, GY, HS, JLC), pp. 3197–3202.
ICPR-2014-LiZ #hybrid: A Nonlocal Filter-Based Hybrid Strategy for Depth Map Enhancement (LL, CZ), pp. 4394–4399.
ICPR-2014-LuoZYY #estimation: Region Tree Based Sparse Model for Optical Flow Estimation (WL, FZ, JY, JYY), pp. 2077–2082.
ICPR-2014-LuZXGW #approximate #morphism #quantum: Approximate Maximum Common Sub-graph Isomorphism Based on Discrete-Time Quantum Walk (KL, YZ, KX, YG, RCW), pp. 1413–1418.
ICPR-2014-MaB #detection #incremental #random: Compound Exemplar Based Object Detection by Incremental Random Forest (KM, JBA), pp. 2407–2412.
ICPR-2014-MajtnerSS #image #named #performance: RSURF — The Efficient Texture-Based Descriptor for Fluorescence Microscopy Images of HEP-2 Cells (TM, RS, DS), pp. 1194–1199.
ICPR-2014-MatveevG #approximate #detection #segmentation: Iris Segmentation System Based on Approximate Feature Detection with Subsequent Refinements (IM, KG), pp. 1704–1709.
ICPR-2014-MehnertMSMB #approach: A Structural Texture Approach for Characterising Malignancy Associated Changes in Pap Smears Based on Mean-Shift and the Watershed Transform (AM, RM, KS, PM, EB), pp. 1189–1193.
ICPR-2014-MehriMHGMM #benchmark #documentation #evaluation #metric #performance #set: Performance Evaluation and Benchmarking of Six Texture-Based Feature Sets for Segmenting Historical Documents (MM, MM, PH, PGK, MAM, RM), pp. 2885–2890.
ICPR-2014-MiaoSH #linear #multi #programming #robust: Fusion of Multibiometrics Based on a New Robust Linear Programming (DM, ZS, YH), pp. 291–296.
ICPR-2014-MoeiniMF14a #2d #3d #image #invariant #re-engineering #recognition #synthesis: Pose-Invariant Facial Expression Recognition Based on 3D Face Reconstruction and Synthesis from a Single 2D Image (AM, HM, KF), pp. 1746–1751.
ICPR-2014-MoilanenZP #agile #analysis #difference #using: Spotting Rapid Facial Movements from Videos Using Appearance-Based Feature Difference Analysis (AM, GZ, MP), pp. 1722–1727.
ICPR-2014-MontagnerjH #machine learning: A Machine Learning Based Method for Staff Removal (IdSM, RHJ, NSTH), pp. 3162–3167.
ICPR-2014-MorenoS #simulation: Volume-Based Fabric Tensors through Lattice-Boltzmann Simulations (RM, ÖS), pp. 3179–3184.
ICPR-2014-MoriKO #analysis #collaboration #framework #online #search-based: Search-Based Content Analysis System on Online Collaborative Platform for Film Production (MM, HK, MO), pp. 1091–1096.
ICPR-2014-NakashikaHTA #3d #recognition #using: 3D-Object Recognition Based on LLC Using Depth Spatial Pyramid (TN, TH, TT, YA), pp. 4224–4228.
ICPR-2014-NakayamaHSSY #estimation: Accurate Camera Pose Estimation for KinectFusion Based on Line Segment Matching by LEHF (YN, TH, HS, MS, NY), pp. 2149–2154.
ICPR-2014-NayefGO #documentation #image: Deblurring of Document Images Based on Sparse Representations Enhanced by Non-local Means (NN, PGK, JMO), pp. 4441–4446.
ICPR-2014-NegrelPG #image #learning #metric #performance #reduction #retrieval #using: Efficient Metric Learning Based Dimension Reduction Using Sparse Projectors for Image Near Duplicate Retrieval (RN, DP, PHG), pp. 738–743.
ICPR-2014-NeumannHKKB #classification #image: Erosion Band Features for Cell Phone Image Based Plant Disease Classification (MN, LH, BK, KK, CB), pp. 3315–3320.
ICPR-2014-NguyenTHM #classification #novel: A Novel Sphere-Based Maximum Margin Classification Method (PN, DT, XH, WM), pp. 620–624.
ICPR-2014-NikisinsNGM #recognition: RGB-D-T Based Face Recognition (ON, KN, MG, TBM), pp. 1716–1721.
ICPR-2014-OkadaFWP #analysis #random: Microenvironment-Based Protein Function Analysis by Random Forest (KO, LF, MW, DP), pp. 3138–3143.
ICPR-2014-PakKA #detection #probability: Improvement of Benign and Malignant Probability Detection Based on Non-subsample Contourlet Transform and Super-resolution (FP, HRK, AA), pp. 895–899.
ICPR-2014-PohjankukkaNPHHSH #recognition: Arctic Soil Hydraulic Conductivity and Soil Type Recognition Based on Aerial Gamma-Ray Spectroscopy and Topographical Data (JP, PN, TP, PH, EH, RS, JH), pp. 1822–1827.
ICPR-2014-PuigcerverTV #keyword #query: Word-Graph-Based Handwriting Keyword Spotting of Out-of-Vocabulary Queries (JP, AHT, EV), pp. 2035–2040.
ICPR-2014-RahmanHZ #detection: Information Divergence Based Saliency Detection with a Global Center-Surround Mechanism (IMHR, CH, MZ), pp. 3428–3433.
ICPR-2014-RebetezTC #adaptation #correlation #image: Network-Based Correlated Correspondence for Unsupervised Domain Adaptation of Hyperspectral Satellite Images (JR, DT, NC), pp. 3921–3926.
ICPR-2014-RenL14a #identification #matrix: Person Re-identification Based on Relaxed Nonnegative Matrix Factorization with Regularizations (WR, GL), pp. 4654–4659.
ICPR-2014-RiabchenkoKC14a #detection: Density-Aware Part-Based Object Detection with Positive Examples (ER, JKK, KC), pp. 2814–2819.
ICPR-2014-RozzaMP #graph #kernel #learning #novel: A Novel Graph-Based Fisher Kernel Method for Semi-supervised Learning (AR, MM, AP), pp. 3786–3791.
ICPR-2014-Sahbi #image #kernel: Network-Dependent Image Annotation Based on Explicit Context-Dependent Kernel Maps (HS), pp. 625–630.
ICPR-2014-SatoKSK #classification #learning #multi: Learning Multiple Complex Features Based on Classification Results (YS, KK, YS, MK), pp. 3369–3373.
ICPR-2014-SattaGB #gender #information management #recognition: Children Gender Recognition Under Unconstrained Conditions Based on Contextual Information (RS, JG, LB), pp. 357–362.
ICPR-2014-SchmeingJ #image: Superpixel-Based Disocclusion Filling in Depth Image Based Rendering (MS, XJ), pp. 1073–1078.
ICPR-2014-SchneiderSS #estimation #independence: Manifold Alignment for Person Independent Appearance-Based Gaze Estimation (TS, BS, RS), pp. 1167–1172.
ICPR-2014-ScottEMFA #pattern matching #scalability: GPU-Based PostgreSQL Extensions for Scalable High-Throughput Pattern Matching (GJS, ME, KM, ZF, DTA), pp. 1880–1885.
ICPR-2014-SengerSMK #behaviour #multi #segmentation: Velocity-Based Multiple Change-Point Inference for Unsupervised Segmentation of Human Movement Behavior (LS, MS, JHM, EAK), pp. 4564–4569.
ICPR-2014-SicreTG #difference #image: SuperPixel Based Angular Differences as a Mid-level Image Descriptor (RS, HET, TG), pp. 3732–3737.
ICPR-2014-SinghA #constraints #energy #self: Sub-band Energy Constraints for Self-Similarity Based Super-resolution (AS, NA), pp. 4447–4452.
ICPR-2014-SintornK #recognition: Virus Recognition Based on Local Texture (IMS, GK), pp. 3227–3232.
ICPR-2014-SlavkovikjVNHW #classification: Image-Based Road Type Classification (VS, SV, WDN, SVH, RVdW), pp. 2359–2364.
ICPR-2014-SouzaSSS #process: Pattern Theory-Based Interpretation of Activities (FDMdS, SS, AS, JS), pp. 106–111.
ICPR-2014-SuiTX #predict: An Unsupervised Band Selection Method Based on Overall Accuracy Prediction (CS, YT, YX), pp. 3756–3761.
ICPR-2014-SuL #detection: High-Stakes Deception Detection Based on Facial Expressions (LS, MDL), pp. 2519–2524.
ICPR-2014-TabuchiTDIMKK #estimation #memory management #multi #people: Spatial People Density Estimation from Multiple Viewpoints by Memory Based Regression (YT, TT, DD, II, HM, TK, KK), pp. 2209–2214.
ICPR-2014-TasdemirMY #approximate #clustering: Geodesic Based Similarities for Approximate Spectral Clustering (KT, YM, IY), pp. 1360–1364.
ICPR-2014-TerissiPG #classification #random #using: Lip Reading Using Wavelet-Based Features and Random Forests Classification (LDT, MP, JCG), pp. 791–796.
ICPR-2014-TianLL #image #modelling #segmentation: A Histogram-Based Chan-Vese Model Driven by Local Contrast Pattern for Texture Image Segmentation (HT, YL, JHL), pp. 954–959.
ICPR-2014-TouaziMB #feature model #game studies: Feature Selection Scheme Based on Zero-Sum Two-Player Game (AT, FM, DB), pp. 1342–1347.
ICPR-2014-TuXN #analysis #detection #process: Computational Auditory Scene Analysis Based Voice Activity Detection (MT, XX, XN), pp. 797–802.
ICPR-2014-UbukataSTMKMU #detection #image #performance #segmentation: Fast Human Detection Combining Range Image Segmentation and Local Feature Based Detection (TU, MS, KT, AM, TK, GM, KU), pp. 4281–4286.
ICPR-2014-VuYESOFAY #education #video: A Web-Based Education System for Reading Video Capsule Endoscopy (HV, YY, TE, MS, HO, YF, TA, YY), pp. 2721–2726.
ICPR-2014-WangEGLLF #approach #distance #documentation #edit distance #graph #word: A Coarse-to-Fine Word Spotting Approach for Historical Handwritten Documents Based on Graph Embedding and Graph Edit Distance (PW, VE, CG, CL, JL, AF), pp. 3074–3079.
ICPR-2014-WangWCY #geometry: Fingerprint Geometric Hashing Based on Binary Minutiae Cylinder Codes (YW, LW, YmC, PCY), pp. 690–695.
ICPR-2014-WanHA #image #learning #recognition: Indoor Scene Recognition from RGB-D Images by Learning Scene Bases (SW, CH, JKA), pp. 3416–3421.
ICPR-2014-WeberLSSU #recognition: LSTM-Based Early Recognition of Motion Patterns (MW, ML, DS, CS, SU), pp. 3552–3557.
ICPR-2014-WenZLDC #3d #multi #retrieval #sketching: Sketch-Based 3D Model Retrieval via Multi-feature Fusion (YW, CZ, JL, SD, SC), pp. 4570–4575.
ICPR-2014-WuK #geometry #image #invariant #retrieval #scalability: Image Retrieval Based on Anisotropic Scaling and Shearing Invariant Geometric Coherence (XW, KK), pp. 3951–3956.
ICPR-2014-XianCZ #approach #automation #image #segmentation: A Fully Automatic Breast Ultrasound Image Segmentation Approach Based on Neutro-Connectedness (MX, HDC, YZ), pp. 2495–2500.
ICPR-2014-XiaoCJF #recognition #using: Position-Based Action Recognition Using High Dimension Index Tree (QX, JC, JJ, WF), pp. 4400–4405.
ICPR-2014-XiongHL #3d #estimation: Gaze Estimation Based on 3D Face Structure and Pupil Centers (CX, LH, CL), pp. 1156–1161.
ICPR-2014-YamadaM #approach #behaviour #using: Estimating Driver Awareness of Crossing Pedestrians While Turning Left Based on Vehicle Behavior Using Bayesian Approach (KY, TM), pp. 1898–1903.
ICPR-2014-YangD #identification #novel #using: Novel HHT-Based Features for Biometric Identification Using EEG Signals (SY, FD), pp. 1922–1927.
ICPR-2014-YangLTSG #classification: Shape-Based Classification of Environmental Microorganisms (CY, CL, OT, KS, MG), pp. 3374–3379.
ICPR-2014-YangYH #learning: Diversity-Based Ensemble with Sample Weight Learning (CY, XCY, HWH), pp. 1236–1241.
ICPR-2014-YangYHD #modelling #recognition: A Hierarchical Model Based on Latent Dirichlet Allocation for Action Recognition (SY, CY, WH, XD), pp. 2613–2618.
ICPR-2014-YanHCCC #classification #representation: PLSA-Based Sparse Representation for Object Classification (YY, JWH, HFC, SCC, DYC), pp. 1295–1300.
ICPR-2014-YuanT #algorithm #classification #image #multi: Multi-scale Tensor l1-Based Algorithm for Hyperspectral Image Classification (HY, YYT), pp. 1383–1388.
ICPR-2014-ZhaiSDJ #multi: Covariance-Based PCA for Multi-size Data (MZ, FS, DD, NJ), pp. 1603–1608.
ICPR-2014-ZhangCQ #realtime: Real-Time Object Tracking with Generalized Part-Based Appearance Model and Structure-Constrained Motion Model (HZ, SC, LQ), pp. 1224–1229.
ICPR-2014-ZhangHLHZL #approach #feature model #hybrid: A Hybrid Feature Selection Approach by Correlation-Based Filters and SVM-RFE (JZ, XH, PPL, WH, YZ, HL), pp. 3684–3689.
ICPR-2014-ZhangQWL #classification #learning #online: Object Classification in Traffic Scene Surveillance Based on Online Semi-supervised Active Learning (ZZ, JQ, YW, ML), pp. 3086–3091.
ICPR-2014-ZhangT #recognition #using #word: Unconstrained Handwritten Word Recognition Based on Trigrams Using BLSTM (XZ, CLT), pp. 2914–2919.
ICPR-2014-ZhangYZJT #adaptation: Overlapped Fingerprints Separation Based on Adaptive Orientation Model Fitting (NZ, XY, YZ, XJ, JT), pp. 678–683.
ICPR-2014-ZhaoF #algorithm #re-engineering #reduction: A Dictionary-Based Algorithm for Dimensionality Reduction and Data Reconstruction (ZZ, GF), pp. 1556–1561.
ICPR-2014-ZhaoTHTY #comparison #performance #segmentation: A Performance Comparison between Circular and Spline-Based Methods for Iris Segmentation (YZ, CT, XH, AOT, RY), pp. 351–356.
ICPR-2014-ZhuY #image #optimisation #quality: A Bit Allocation Optimization Method for ROI Based Image Compression with Stable Image Quality (YZ, JY), pp. 849–854.
ICPR-2014-ZouYCDJ #clustering #correlation #topic #video: A Belief Based Correlated Topic Model for Trajectory Clustering in Crowded Video Scenes (JZ, QY, YC, DSD, JJ), pp. 2543–2548.
KDD-2014-BeckmanBCLMS #named #pervasive #web: ISIS: a networked-epidemiology based pervasive web app for infectious disease pandemic planning and response (RJB, KRB, JC, BL, MVM, PES), pp. 1847–1856.
KDD-2014-FaderZE #knowledge base: Open question answering over curated and extracted knowledge bases (AF, LZ, OE), pp. 1156–1165.
KDD-2014-FengGBEHM #big data #database #experience #in memory #query: Management and analytic of biomedical big data with cloud-based in-memory database and dynamic querying: a hands-on experience with real-world data (MF, MG, TB, JE, IH, RM), p. 1970.
KDD-2014-KapoorSSY #approach #predict: A hazard based approach to user return time prediction (KK, MS, JS, TY), pp. 1719–1728.
KDD-2014-KlosterG #community #detection #kernel: Heat kernel based community detection (KK, DFG), pp. 1386–1395.
KDD-2014-LiDDCZ #identification #process: Identifying and labeling search tasks via query-based hawkes processes (LL, HD, AD, YC, HZ), pp. 731–740.
KDD-2014-NguyenCRB #effectiveness #feature model: Effective global approaches for mutual information based feature selection (XVN, JC, SR, JB), pp. 512–521.
KDD-2014-PurohitPKZS #network #performance #scalability: Fast influence-based coarsening for large networks (MP, BAP, CK, YZ, VSS), pp. 1296–1305.
KDD-2014-RenLYKGWH #clustering #effectiveness #named #recommendation: ClusCite: effective citation recommendation by information network-based clustering (XR, JL, XY, UK, QG, LW, JH), pp. 821–830.
KDD-2014-ShakarianSPB #network #social #source code: Reducing gang violence through network influence based targeting of social programs (PS, JS, WP, JB), pp. 1829–1836.
KDD-2014-ShaoAK #concept #data type #learning #prototype: Prototype-based learning on concept-drifting data streams (JS, ZA, SK), pp. 412–421.
KDD-2014-SiposFMW #maintenance #predict: Log-based predictive maintenance (RS, DF, FM, ZW), pp. 1867–1876.
KDD-2014-SpanglerWBNDHRPCMSKLLPLDCL #automation #generative #mining: Automated hypothesis generation based on mining scientific literature (WSS, ADW, BJB, MN, TD, PJH, SR, CRP, AC, JNM, IS, LK, AL, JJL, NP, AML, LAD, YC, OL), pp. 1877–1886.
KDD-2014-YinW #approach #clustering #modelling #multi: A dirichlet multinomial mixture model-based approach for short text clustering (JY, JW), pp. 233–242.
KDD-2014-ZhangYZ #multi #predict: Meta-path based multi-network collective link prediction (JZ, PSY, ZHZ), pp. 1286–1295.
KDD-2014-ZhaoGHJWL #microblog #recommendation #what: We know what you want to buy: a demographic-based system for product recommendation on microblogs (WXZ, YG, YH, HJ, YW, XL), pp. 1935–1944.
KDIR-2014-AbdallahI #classification #modelling #n-gram #using #web: URL-based Web Page Classification — A New Method for URL-based Web Page Classification Using n-Gram Language Models (TAA, BdlI), pp. 14–21.
KDIR-2014-BarbantanLP #approach #health #identification #ontology: Disease Identification in Electronic Health Records — An Ontology based Approach (IB, CL, RP), pp. 261–268.
KDIR-2014-BatistaCRF #ambiguity #using #wiki: Context-based Disambiguation using Wikipedia (HB, DC, RR, JF), pp. 549–553.
KDIR-2014-BesbesZG #fuzzy #information retrieval #ontology #personalisation: Fuzzy Ontology-based System for Personalized Information Retrieval (GB, HBZ, HBG), pp. 286–293.
KDIR-2014-BuijsS #online #social: The Social Score — Determining the Relative Importance of Webpages Based on Online Social Signals (MB, MRS), pp. 71–77.
KDIR-2014-CastelltortL #analysis #graph: NoSQL Graph-based OLAP Analysis (AC, AL), pp. 217–224.
KDIR-2014-ChakrabortyGR #approach #performance #retrieval #word: A Word Association Based Approach for Improving Retrieval Performance from Noisy OCRed Text (AC, KG, UR), pp. 450–456.
KDIR-2014-DeglInnocentiNT #approach #knowledge base #multi: A New Multi-lingual Knowledge-base Approach to Keyphrase Extraction for the Italian Language (DD, DDN, CT), pp. 78–85.
KDIR-2014-FekiAA #adaptation #image #retrieval #semantics: Adaptive Semantic Construction for Diversity-based Image Retrieval (GF, ABA, CBA), pp. 444–449.
KDIR-2014-LiuF #analysis #classification #sentiment #topic #web: Web Content Classification based on Topic and Sentiment Analysis of Text (SL, TF), pp. 300–307.
KDIR-2014-LiuF14a #analysis #classification #n-gram #sentiment #similarity #web: Combining N-gram based Similarity Analysis with Sentiment Analysis in Web Content Classification (SL, TF), pp. 530–537.
KDIR-2014-MohammadiMBRA #classification #graph #parametricity: A Noise Resilient and Non-parametric Graph-based Classifier (MM, SAM, EB, BR, AA), pp. 170–175.
KDIR-2014-SaiaBC #modelling #recommendation #semantics: Semantic Coherence-based User Profile Modeling in the Recommender Systems Context (RS, LB, SC), pp. 154–161.
KEOD-2014-AliE #collaboration #recommendation #semantics: Semantic-based Collaborative Filtering for Enhancing Recommendation (GA, AE), pp. 176–185.
KEOD-2014-AllaniZMAG #image #retrieval: A Pattern-based System for Image Retrieval (OA, HBZ, NM, HA, HBG), pp. 345–352.
KEOD-2014-AndreasenN #embedded #knowledge base #logic #ontology: A Case for Embedded Natural Logic for Ontological Knowledge Bases (TA, JFN), pp. 423–427.
KEOD-2014-BrucatoD #modelling #ontology #simulation: The Minimal Ontology Principle — Philosophical Foundations of OPM-based Modelling and Simulation (JB, DD), pp. 405–409.
KEOD-2014-FatyaniIP #ontology #petri net #simulation: Transformation of DEMO Model into Coloured Petri Net — Ontology based Simulation (TF, JI, JP), pp. 388–396.
KEOD-2014-FreibergHP #knowledge-based #novel #paradigm: Clarification KBS as Consultation-Justification Mash Ups — Proposing a Novel Paradigm for All-in-One Knowledge-based Systems (MF, FH, FP), pp. 168–175.
KEOD-2014-GorskisB #ontology #reuse: Location based Reminder System with Reusable Ontology (HG, AB), pp. 161–167.
KEOD-2014-Grabska #approach #concept #ontology #process: An Ontology based Approach for Assisting Conceptualisation in CAD Processes (EG), pp. 272–279.
KEOD-2014-KarkalasS #concept #learning #modelling #student: Intelligent Student Support in the FLIP Learning System based on Student Initial Misconceptions and Student Modelling (SK, SGS), pp. 353–360.
KEOD-2014-LietoMPRF #architecture #ontology #process: A Dual Process Architecture for Ontology-based Systems (AL, AM, AP, DPR, MF), pp. 48–55.
KEOD-2014-Marc-ZweckerAW #ontology #recognition #rule-based: A Fuzzy-Rule Based Ontology for Urban Object Recognition (SMZ, KA, CW), pp. 153–160.
KEOD-2014-MinhasB #information management #ontology: Ontology Based Environmental Knowledge Management — A System to Support Decisions in Manufacturing Planning (SUHM, UB), pp. 397–404.
KEOD-2014-PintoA #axiom #case study #validation: An e-Government Project Case Study — Interview based DEMO Axioms’ Benefits Validation (DP, DA), pp. 138–149.
KEOD-2014-TarakciC #recommendation #using: Using Hypergraph-based User Profile in a Recommendation System (HT, NKC), pp. 27–35.
KMIS-2014-AngiusCMPS #classification #semantics #social #web: Classification and Indexing of Web Content Based on a Model of Semantic Social Bookmarking (AA, GC, DM, FEP, GS), pp. 313–318.
KMIS-2014-HisakaneOSK #multi: A Tutoring Rule Selection Method for Case-based e-Learning by Multi-class Support Vector Machine (DH, MO, MS, NK), pp. 119–125.
KMIS-2014-Mustonen-Ollila #case study #information management #problem: Knowledge Management Problems in Healthcare — A Case Study based on the Grounded Theory (EMO, HN, AV), pp. 15–26.
KMIS-2014-Schmitt #approach #generative #information management #novel: Proposing a Next Generation of Knowledge Management Systems for Creative Collaborations in Support of Individuals and Institutions — Featuring a Novel Approach for Meme-based Personal Knowledge Management (US), pp. 346–353.
KMIS-2014-ToureMM14a #information management #modelling #towards #what: What If We Considered Awareness for Sustainable Knowledge Management? Towards a Model for Self Regulated Knowledge Management Systems Based on Acceptance Models of Technologies and Awareness (CET, CM, JCM), pp. 413–418.
KMIS-2014-ZochollA #modelling #nondeterminism #ontology #parametricity #representation: Ontology-based Representation of Time Dependent Uncertainty Information for Parametric Product Data Models (MZ, RA), pp. 400–404.
KR-2014-Baader #monitoring #ontology: Ontology-Based Monitoring of Dynamic Systems (FB).
KR-2014-BotoevaKRWZ #knowledge base #logic #query: Query Inseparability for Description Logic Knowledge Bases (EB, RK, VR, FW, MZ).
KR-2014-OveisiDPP #dependence: Belief Change and Base Dependence (MO, JPD, FJP, FP).
MLDM-2014-AlbarrakCZ #classification #image #taxonomy: Dictionary Learning-Based Volumetric Image Classification for the Diagnosis of Age-Related Macular Degeneration (AA, FC, YZ), pp. 272–284.
MLDM-2014-BozkirS #layout #named #similarity #visual notation #web: SimiLay: A Developing Web Page Layout Based Visual Similarity Search Engine (ASB, EAS), pp. 457–470.
MLDM-2014-JayabalR #clustering #modelling #performance #student: Clustering Students Based on Student’s Performance — A Partial Least Squares Path Modeling (PLS-PM) Study (YJ, CR), pp. 393–407.
MLDM-2014-JoshiB #named #novel: CBOF: Cohesiveness-Based Outlier Factor A Novel Definition of Outlier-ness (VJ, RB), pp. 175–189.
MLDM-2014-Manzanilla-SalazarEG #classification #clustering #fault: Minimizing Cluster Errors in LP-Based Nonlinear Classification (OMS, JEK, UMGP), pp. 163–174.
MLDM-2014-MountassirBB #algorithm #classification #documentation #representation: The Nearest Centroid Based on Vector Norms: A New Classification Algorithm for a New Document Representation Model (AM, HB, IB), pp. 442–456.
MLDM-2014-SenkoD #multi: Multiple Regression Method Based on Unexpandable and Irreducible Convex Combinations (OVS, AD), pp. 43–57.
MLDM-2014-UtkinZC #classification #data-driven #database #robust: A Robust One-Class Classification Model with Interval-Valued Data Based on Belief Functions and Minimax Strategy (LVU, YAZ, AIC), pp. 107–118.
MLDM-2014-WaiyamaiS #approach #classification #dataset: A Cost-Sensitive Based Approach for Improving Associative Classification on Imbalanced Datasets (KW, PS), pp. 31–42.
RecSys-2014-BauerN #framework #matrix: A framework for matrix factorization based on general distributions (JB, AN), pp. 249–256.
RecSys-2014-GaoTL #network #personalisation #recommendation #social: Personalized location recommendation on location-based social networks (HG, JT, HL), pp. 399–400.
RecSys-2014-GingerichA: Content ordering based on commuting patterns (TG, OA), pp. 365–366.
RecSys-2014-JannachF #data mining #mining #modelling #process #recommendation: Recommendation-based modeling support for data mining processes (DJ, SF), pp. 337–340.
RecSys-2014-SeminarioW #recommendation: Attacking item-based recommender systems with power items (CES, DCW), pp. 57–64.
RecSys-2014-SureshRE #mining #recommendation: Aspect-based opinion mining and recommendationsystem for restaurant reviews (VS, SR, ME), pp. 361–362.
RecSys-2014-Zhang #recommendation: Browser-oriented universal cross-site recommendation and explanation based on user browsing logs (YZ), pp. 433–436.
RecSys-2014-Zheng #algorithm #recommendation #similarity: Deviation-based and similarity-based contextual SLIM recommendation algorithms (YZ), pp. 437–440.
SEKE-2014-AdjoyanSS #identification #legacy #metric #migration #object-oriented #quality #towards: Service Identification Based on Quality Metrics — Object-Oriented Legacy System Migration Towards SOA (SA, ADS, AS), pp. 1–6.
SEKE-2014-AssoudiL #approach #multi #process: A Multi-Agent-Based Approach for Autonomic Data Exchange Processes (HA, HL), pp. 334–337.
SEKE-2014-BarnesL #analysis #clustering: Text-Based Clustering and Analysis of Intelligent Argumentation Data (ECB, XFL), pp. 422–425.
SEKE-2014-ChenS #education #online #re-engineering: Supporting Online Synchronous Education for Software Engineering via Web-based Operation Record and Replay (DC, YS), pp. 528–533.
SEKE-2014-DegrossiAFM #approach #risk management: Flood Citizen Observatory: a crowdsourcing-based approach for flood risk management in Brazil (LCD, JPdA, MCF, EMM), pp. 570–575.
SEKE-2014-Garcia-NunesSZB #analysis #collaboration #fuzzy #modelling: Mental models analysis based on fuzzy rules for collaborative decision-making (PIGN, AES, ACZ, GB), pp. 695–700.
SEKE-2014-GuptaAWD #empirical #modelling #verification: Evaluating the Use of Model-Based Requirement Verification Method: An Empirical Study (MG, DA, GSW, HD), pp. 397–401.
SEKE-2014-HartmannFNMKT #approach #modelling #reasoning #runtime #using: Reasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach (TH, FF, GN, BM, JK, YLT), pp. 586–591.
SEKE-2014-JaliGH #behaviour #case study #generative #ontology: Behavioral Model Generation from Use Cases Based on Ontology Mapping and GRASP Patterns (NJ, DG, PH), pp. 324–329.
SEKE-2014-JimenezCL #component #repository #semantics: Semantic-based Repository of Agent Components (MPJ, ADdC, CJPdL), pp. 330–333.
SEKE-2014-JingLC #approach #collaboration #design: An Argument-based Collaborative Negotiation Approach to Support Software Design Collaboration (NJ, SCYL, HFC), pp. 274–279.
SEKE-2014-LingZF #approach #modelling #process #similarity: An Improved Structure-based Approach to Measure Similarity of Business Process Models (JL, LZ, QF), pp. 377–380.
SEKE-2014-MaazounBB #feature model: Feature model recovery from product variants based on a cloning technique (JM, NB, HBA), pp. 431–436.
SEKE-2014-MachadoSFC #collaboration #reasoning #risk management: Case-based Reasoning for Experience-based Collaborative Risk Management (NLRM, LAdLS, LMF, JAC), pp. 262–267.
SEKE-2014-PaikariF #analysis #design #implementation #simulation: Analysis, Design and Implementation of an Agent Based System for Simulating Connected Vehicles (EP, BHF), pp. 338–343.
SEKE-2014-Parvizi-MosaedMHH #adaptation #architecture #evaluation #self #towards: Towards a Tactic-Based Evaluation of Self-Adaptive Software Architecture Availability (APM, SM, JH, AH), pp. 168–173.
SEKE-2014-QueirozB #approach #embedded #modelling #product line: A Critical Embedded System Product Line Model-based Approach (PGGQ, RTVB), pp. 71–75.
SEKE-2014-RochaADCAM #distributed #named #ontology: DKDs: An Ontology-based System for Distributed Teams (RGCR, RRA, MPD, DC, ARMA, SRLM), pp. 82–85.
SEKE-2014-RodriguesPTZOS #automation #component #design #on the #requirements: On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment (EMR, LTP, LT, AFZ, FMdO, RSS), pp. 402–407.
SEKE-2014-Saito0TO #approach #constraints #generative #knowledge-based #testing #web: Test Data Generation for Web Applications: A Constraint and Knowledge-based Approach (HS, ST, HT, MO), pp. 110–114.
SEKE-2014-SatapathyPR #agile #approach #estimation #kernel #using: Story Point Approach based Agile Software Effort Estimation using Various SVR Kernel Methods (SMS, AP, SKR), pp. 304–307.
SEKE-2014-Wang #composition #using #web #web service: QoS-Based Web Service Composition by GA Using Consumer Decision-Making Function (GW), pp. 361–364.
SEKE-2014-WangC #analysis #approach #social #visualisation: User Profile Visualization to facilitate MSLIM-model-based Social Influence Analysis based on Slow Intelligence Approach (YW, SKC), pp. 653–658.
SEKE-2014-WangKN #classification #fault #metric #performance #predict: Choosing the Best Classification Performance Metric for Wrapper-based Software Metric Selection for Defect Prediction (HW, TMK, AN), pp. 540–545.
SEKE-2014-WangKS #semantics: An Exploratory Search for Presentation Contents based on Slide Semantic Structure (YW, YK, KS), pp. 665–670.
SEKE-2014-XuL14a #ontology #reasoning #semantics #using: Two-Level Smart Search Engine Using Ontology-Based Semantic Reasoning (HX, AL), pp. 648–652.
SEKE-2014-ZhouWLZ #correctness #empirical #probability #test coverage #testing: An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability (XZ, LW, XL, JZ), pp. 632–635.
SIGIR-2014-CaiLR #documentation #matrix #personalisation #probability #ranking: Personalized document re-ranking based on Bayesian probabilistic matrix factorization (FC, SL, MdR), pp. 835–838.
SIGIR-2014-DaltonDA #knowledge base #query #using: Entity query feature expansion using knowledge base links (JD, LD, JA), pp. 365–374.
SIGIR-2014-FangWYZ #information retrieval #learning #modelling #named: VIRLab: a web-based virtual lab for learning and studying information retrieval models (HF, HW, PY, CZ), pp. 1249–1250.
SIGIR-2014-GrossDT #documentation #summary #word: Document summarization based on word associations (OG, AD, HT), pp. 1023–1026.
SIGIR-2014-HeGKLS #predict #web: Predicting the popularity of web 2.0 items based on user comments (XH, MG, MYK, YL, KS), pp. 233–242.
SIGIR-2014-Ifada #modelling #personalisation #recommendation #topic #using: A tag-based personalized item recommendation system using tensor modeling and topic model approaches (NI), p. 1280.
SIGIR-2014-KabaryS #retrieval #sketching #video: Enhancing sketch-based sport video retrieval by suggesting relevant motion paths (IAK, HS), pp. 1227–1230.
SIGIR-2014-KatzSKSR #performance #predict #query: Wikipedia-based query performance prediction (GK, AS, OK, BS, LR), pp. 1235–1238.
SIGIR-2014-KimC #documentation #query: Diversifying query suggestions based on query documents (YK, WBC), pp. 891–894.
SIGIR-2014-LiWM #recommendation #social: A revisit to social network-based recommender systems (HL, DW, NM), pp. 1239–1242.
SIGIR-2014-NguMSYJ #named #similarity #web #web service: ServiceXplorer: a similarity-based web service search engine (AHHN, JM, QZS, LY, SJ), pp. 1251–1252.
SIGIR-2014-NieLY #collaboration: Weighted aspect-based collaborative filtering (YN, YL, XY), pp. 1071–1074.
SIGIR-2014-PanYMLNR #image #learning: Click-through-based cross-view learning for image search (YP, TY, TM, HL, CWN, YR), pp. 717–726.
SIGIR-2014-QiuCYLL #learning #personalisation #ranking: Item group based pairwise preference learning for personalized ranking (SQ, JC, TY, CL, HL), pp. 1219–1222.
SIGIR-2014-RabinovichRK #feedback #retrieval: Utilizing relevance feedback in fusion-based retrieval (ER, OR, OK), pp. 313–322.
SIGIR-2014-RaiberK14a #clustering #correlation #effectiveness #retrieval #testing: The correlation between cluster hypothesis tests and the effectiveness of cluster-based retrieval (FR, OK), pp. 1155–1158.
SIGIR-2014-RajaniMB #microblog #topic: Extracting topics based on authors, recipients and content in microblogs (NFNR, KM, JB), pp. 1171–1174.
SIGIR-2014-Raviv #retrieval: Entity-based retrieval (HR), p. 1277.
SIGIR-2014-Sebastian #clustering #predict #semantics #using: Cluster links prediction for literature based discovery using latent structure and semantic features (YS), p. 1275.
SIGIR-2014-TangAJY #similarity: Load balancing for partition-based similarity search (XT, MA, XJ, TY), pp. 193–202.
SIGIR-2014-TsolmonL #analysis #modelling #timeline: An event extraction model based on timeline and user analysis in Latent Dirichlet allocation (BT, KSL), pp. 1187–1190.
SIGIR-2014-YeniterziC #bias #testing: Analyzing bias in CQA-based expert finding test sets (RY, JC), pp. 967–970.
SIGIR-2014-Zhang #graph #rdf #scalability: Graph-based large scale RDF data compression (WEZ), p. 1276.
SIGIR-2014-ZhangL0ZLM #analysis #modelling #recommendation #sentiment: Explicit factor models for explainable recommendation based on phrase-level sentiment analysis (YZ, GL, MZ, YZ, YL, SM), pp. 83–92.
SKY-2014-ExmanN #network #performance #recommendation #social: Location-based Fast Recommendation Social Network (IE, EN), pp. 55–62.
ECMFA-2014-DouBB #named #ocl: OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL (WD, DB, LCB), pp. 51–66.
ECMFA-2014-LogreMCR #approach #variability #visualisation: Sensor Data Visualisation: A Composition-Based Approach to Support Domain Variability (IL, SM, PC, MR), pp. 101–116.
ECMFA-2014-PierreCGB #adaptation #framework: A Family-Based Framework for i-DSML Adaptation (SP, EC, OLG, FB), pp. 164–179.
ECMFA-2014-YueA #framework #metric #modelling #quality: A MOF-Based Framework for Defining Metrics to Measure the Quality of Models (TY, SA), pp. 213–229.
ICMT-2014-ErginS #design pattern #graph #model transformation #towards: Towards a Language for Graph-Based Model Transformation Design Patterns (HE, ES), pp. 91–105.
ICMT-2014-JilaniIK #approach #generative #model transformation #testing: A Search Based Test Data Generation Approach for Model Transformations (AAJ, MZI, MUK), pp. 17–24.
MoDELS-2014-BergerNRACW #industrial #modelling #variability: Three Cases of Feature-Based Variability Modeling in Industry (TB, DN, RR, JMA, KC, AW), pp. 302–319.
MoDELS-2014-LiebelMTLH #embedded #modelling: Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain (GL, NM, MT, AL, JH), pp. 166–182.
MoDELS-2014-LuddeckeBS #modelling #ontology: Ontology-Based Modeling of Context-Aware Systems (DL, NB, IS), pp. 484–500.
MoDELS-2014-Pazzi #behaviour #composition #modelling: Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.
MoDELS-2014-RabiserVGDSL #case study #experience #lessons learnt #modelling #multi: Supporting Multiplicity and Hierarchy in Model-Based Configuration: Experiences and Lessons Learned (RR, MV, PG, DD, HS, ML), pp. 320–336.
MoDELS-2014-BergerNRACW #industrial #modelling #variability: Three Cases of Feature-Based Variability Modeling in Industry (TB, DN, RR, JMA, KC, AW), pp. 302–319.
MoDELS-2014-LiebelMTLH #embedded #modelling: Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain (GL, NM, MT, AL, JH), pp. 166–182.
MoDELS-2014-LuddeckeBS #modelling #ontology: Ontology-Based Modeling of Context-Aware Systems (DL, NB, IS), pp. 484–500.
MoDELS-2014-Pazzi #behaviour #composition #modelling: Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.
MoDELS-2014-RabiserVGDSL #case study #experience #lessons learnt #modelling #multi: Supporting Multiplicity and Hierarchy in Model-Based Configuration: Experiences and Lessons Learned (RR, MV, PG, DD, HS, ML), pp. 320–336.
ECOOP-2014-FelgentreffBHLOFK #constraints #implementation #named #ocl: Babelsberg/JS — A Browser-Based Implementation of an Object Constraint Language (TF, AB, RH, JL, YO, BF, RK), pp. 411–436.
ECOOP-2014-MillerHO #concurrent #named #type system: Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution (HM, PH, MO), pp. 308–333.
Onward-2014-KaraivanovRV #programming language #statistics: Phrase-Based Statistical Translation of Programming Languages (SK, VR, MTV), pp. 173–184.
OOPSLA-2014-GligoricSPVNL #automation #dynamic analysis #migration #refactoring #search-based #using: Automated migration of build scripts using dynamic analysis and search-based refactoring (MG, WS, CP, DvV, IN, BL), pp. 599–616.
OOPSLA-2014-HolkNSL #data type #gpu #memory management #programming language: Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host (EH, RN, JGS, AL), pp. 141–155.
OOPSLA-2014-UhlerD #satisfiability: Smten with satisfiability-based search (RU, ND), pp. 157–176.
OOPSLA-2014-VoraKG #algorithm #consistency #named #parallel #using: ASPIRE: exploiting asynchronous parallelism in iterative algorithms using a relaxed consistency based DSM (KV, SCK, RG), pp. 861–878.
LOPSTR-2014-AlvesDF #data access #metamodelling #semantics: Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics (SA, AD, MF), pp. 148–163.
PPDP-2014-StulovaMH #debugging #higher-order #source code: Assertion-based Debugging of Higher-Order (C)LP Programs (NS, JFM, MVH), pp. 225–235.
QAPL-2014-BraitlingFHWBH #abstraction #automaton #game studies #markov #named #refinement: MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 48–63.
QAPL-2014-Feng #distributed #hybrid #modelling #probability #using: Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE — ZebraNet as an Example (CF0), pp. 64–77.
QAPL-2014-LatellaLMS #communication: Stochastically timed predicate-based communication primitives for autonomic computing (DL, ML, MM, VS), pp. 1–16.
PADL-2014-ElsmanS #evaluation #named #rule-based #static typing #user interface: Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces (ME, ASN), pp. 184–199.
POPL-2014-BeyeneCPR #approach #constraints #game studies #graph #infinity: A constraint-based approach to solving games on infinite graphs (TAB, SC, CP, AR), pp. 221–234.
RE-2014-FilipovikjNR #approach #formal method #requirements: Reassessing the pattern-based approach for formalizing requirements in the automotive domain (PF, MN, GRN), pp. 444–450.
RE-2014-FotrousiFF #elicitation #quality #requirements: Quality requirements elicitation based on inquiry of quality-impact relationships (FF, SAF, MF), pp. 303–312.
RE-2014-GregoriadesPS #requirements: Simulation-based requirements discovery for smart driver assistive technologies (AG, MP, AGS), pp. 317–318.
RE-2014-NguyenGA #analysis #automation #named #ontology #requirements: GUITAR: An ontology-based automated requirements analysis tool (THN, JCG, MA), pp. 315–316.
RE-2014-PorterLS #case study #experience #feedback #framework #requirements #using: Building a National E-Service using Sentire experience report on the use of Sentire: A volere-based requirements framework driven by calibrated personas and simulated user feedback (CP, EL, MAS), pp. 374–383.
RE-2014-QianPCMWZ #adaptation #reasoning #self: Rationalism with a dose of empiricism: Case-based reasoning for requirements-driven self-adaptation (WQ, XP, BC, JM, HW, WZ), pp. 113–122.
RE-2014-SaitoTYA #design #named #quality #requirements #set: RISDM: A requirements inspection systems design methodology: Perspective-based design of the pragmatic quality model and question set to SRS (SS, MT, SY, MA), pp. 223–232.
REFSQ-2014-AlebrahimFHM #analysis #interactive #problem #requirements: Problem-Based Requirements Interaction Analysis (AA, SF, MH, RM), pp. 200–215.
REFSQ-2014-Morales-RamirezP #perspective #research: Argumentation-Based Discussion for User Forum: A Research Preview (IMR, AP), pp. 232–238.
REFSQ-2014-RiegelD #analysis #elicitation #heuristic #optimisation #performance: An Analysis of Priority-Based Decision Heuristics for Optimizing Elicitation Efficiency (NR, JD), pp. 268–284.
SAC-2014-A #authentication #health #mobile #network #privacy #research #student: Student research abstract: a privacy-preserving profile matching based authentication system for mobile health networks (DHA), pp. 196–197.
SAC-2014-AlnajemZ #evaluation #mobile: A copula-based risk evaluation method (C-REM) in a corporate mobile banking context (AAIA, NZ), pp. 1455–1462.
SAC-2014-AminikhanghahiWSSJ #effectiveness #feature model #smarttech: Effective tumor feature extraction for smart phone based microwave tomography breast cancer screening (SA, WW, SYS, SHS, SIJ), pp. 674–679.
SAC-2014-AntunesBMBC #analysis #architecture #enterprise #ontology: Ontology-based enterprise architecture model analysis (GA, MB, RM, JLB, AC), pp. 1420–1422.
SAC-2014-BaeCPJKC #clustering #effectiveness #memory management: An effective data clustering method based on expected update time in flash memory environment (DHB, JWC, SMP, BSJ, SWK, SjC), pp. 1492–1497.
SAC-2014-BelbachirBM #modelling #probability: Probabilistic opinion models based on subjective sources (FB, MB, MMSM), pp. 925–926.
SAC-2014-BeoharM #consistency #testing: Input-output conformance testing based on featured transition systems (HB, MRM), pp. 1272–1278.
SAC-2014-BergamascoN #3d #approach #feature model #retrieval #using: A new local feature extraction approach for content-based 3D medical model retrieval using shape descriptor (LCCB, FLSN), pp. 902–907.
SAC-2014-BernardiCL #aspect-oriented #declarative #design pattern #development #programming #using: Declarative design pattern-based development using aspect oriented programming (MLB, MC, GADL), pp. 1625–1630.
SAC-2014-ChenLFCCK #algorithm #design #detection #effectiveness #health #implementation #monitoring: Design and implementation of a personal health monitoring system with an effective SVM-based PVC detection algorithm in cardiology (HC, GTL, YCF, BCC, CMC, TCK), pp. 33–35.
SAC-2014-Cooper #android #detection #research #student: Student research abstract: android malware detection based on Kullback-Leibler divergence (VNC), pp. 1695–1696.
SAC-2014-FerrazPG #feature model #symmetry: Feature description based on center-symmetric local mapped patterns (CTF, OPJ, AG), pp. 39–44.
SAC-2014-GaoEWGL #empirical #generative #testing: An empirical study of requirements-based test generation on an automobile control system (RG, JSE, WEW, XG, SYL), pp. 1094–1099.
SAC-2014-GriebeG #approach #automation #mobile #modelling #testing: A model-based approach to test automation for context-aware mobile applications (TG, VG), pp. 420–427.
SAC-2014-HeimfarthGFA #latency #named #protocol: GB-MAC: a backbone based low latency protocol for WSNs (TH, JCG, AVF, JPdA), pp. 692–698.
SAC-2014-HuangYKYLYGFQ #analysis #clustering #self: Diffusion-based clustering analysis of coherent X-ray scattering patterns of self-assembled nanoparticles (HH, SY, KK, KGY, FL, DY, OG, AF, HQ), pp. 85–90.
SAC-2014-JeongLCHP #android #approach #behaviour #kernel #monitoring: A kernel-based monitoring approach for analyzing malicious behavior on Android (YJ, HtL, SC, SH, MP), pp. 1737–1738.
SAC-2014-JungSWCP #difference #retrieval: Similar MRI object retrieval based on modified contour to centroid triangulation with arc difference rate (BKJ, SYS, WW, HDC, JKP), pp. 31–32.
SAC-2014-JuniorGM #collaboration #constraints #modelling #personalisation: Personalized collaborative filtering: a neighborhood model based on contextual constraints (EBSJ, RG, MGM), pp. 919–924.
SAC-2014-KawsarAL #detection #multimodal #process #smarttech #using: Smartphone based multimodal activity detection system using plantar pressure sensors (FAK, SIA, RL), pp. 468–469.
SAC-2014-Khan #independence #research #standard #student: Student research abstract: an optimized handover scheme based on media independent handover standard IEEE 802.21 (MK), pp. 717–718.
SAC-2014-KimLSKL #approach #named #ranking #web: C-Rank: a contribution-based web page ranking approach (DJK, SCL, HYS, SWK, JBL), pp. 908–912.
SAC-2014-KrichenAB #health #monitoring: WSN-based flutter control application for aircraft wings structural health monitoring (DK, WA, NB), pp. 680–685.
SAC-2014-KuoT #in the cloud #incremental #virtual machine: Delay-based incrementally mapping of virtual machines in cloud computing systems (CFK, HWT), pp. 1498–1503.
SAC-2014-KwonB #implementation #library #prototype: A CUDA-based implementation of OpenGL-compatible rasterization library prototype (YCK, NB), pp. 1747–1748.
SAC-2014-Le #android #framework #modelling: A model driven framework for modeling and composing service based Android applications (CL), pp. 450–457.
SAC-2014-LiSSJW #information management: Preventing the diffusion of negative information based on local influence tree (YL, YS, JS, BJ, JW), pp. 650–652.
SAC-2014-LiuGSLSX #communication #encryption #grid #named #smarttech: SEDE: state estimation-based dynamic encryption scheme for smart grid communication (TL, YG, YS, YL, YS, FX), pp. 539–544.
SAC-2014-LopezTCC #algorithm #automation #design: Design of an automatic demand-side management system based on evolutionary algorithms (EGL, AT, SC, VC), pp. 525–530.
SAC-2014-MaAS #graph: Project centralization based on graph coloring (LM, CA, HS), pp. 1086–1093.
SAC-2014-Majumder #realtime: A real-time smartphone- and smartshoe-based fall prevention system (AKMJAM), pp. 470–471.
SAC-2014-MengWK #adaptation #authentication #design #mobile: Design of touch dynamics based user authentication with an adaptive mechanism on mobile phones (YM, DSW, LfK), pp. 1680–1687.
SAC-2014-MitranCB #automation #image #ranking: GeoTime-based tag ranking model for automatic image annotation (MM, GC, MB), pp. 896–901.
SAC-2014-MolkaRDCZG #consistency #modelling #process: Conformance checking for BPMN-based process models (TM, DR, MD, AC, XJZ, WG), pp. 1406–1413.
SAC-2014-OliveiraSB #analysis #coordination: Quantitative analysis of Reo-based service coordination (NO, AS, LSB), pp. 1247–1254.
SAC-2014-ParkPJ #artificial reality #education #online: QR-code based online robot augmented reality system for education (JPP, MWP, SKJ), pp. 180–185.
SAC-2014-RolimBCCAPM #approach #multimodal #recommendation: A recommendation approach for digital TV systems based on multimodal features (RR, FB, AC, GC, HOdA, AP, AFM), pp. 289–291.
SAC-2014-SakamotoKTT #visualisation: Method for visualizing undone operations based on changes on desktop screen (AS, TK, TT, MT), pp. 193–195.
SAC-2014-SantannaSB #automation #image #retrieval #towards: Content-based image retrieval towards the automatic characterization of soybean seed vigor (MGFS, PTMS, PHB), pp. 964–969.
SAC-2014-SaraivaS #behaviour #how: Choosing my partners based on how they will evaluate my behavior (ECdRCS, VTdS), pp. 781–783.
SAC-2014-SeelandMKK #classification: Extracting information from support vector machines for pattern-based classification (MS, AM, AK, SK), pp. 129–136.
SAC-2014-ShahriarH #assessment #fuzzy #injection #risk management #using: Risk assessment of code injection vulnerabilities using fuzzy logic-based system (HS, HH), pp. 1164–1170.
SAC-2014-ShangHHCK #personalisation #recommendation #towards: Beyond personalization and anonymity: towards a group-based recommender system (SS, YH, PH, PC, SRK), pp. 266–273.
SAC-2014-SilvaPBAP #architecture #cyber-physical #modelling #testing: A model-based architecture for testing medical cyber-physical systems (LCS, MP, FMB, HOA, AP), pp. 25–30.
SAC-2014-Tobita #named #novel #ubiquitous #visualisation: Aero-screen: blimp-based ubiquitous screen for novel digital signage and information visualization (HT), pp. 976–980.
SAC-2014-TragatschnigTZ #impact analysis #using: Impact analysis for event-based systems using change patterns (ST, HT, UZ), pp. 763–768.
SAC-2014-UnoI #music #named #recommendation: MALL: a life log based music recommendation system and portable music player (AU, TI), pp. 939–944.
SAC-2014-WangH #data access #fine-grained #performance: An I/O scheduler based on fine-grained access patterns to improve SSD performance and lifespan (MW, YH), pp. 1511–1516.
SAC-2014-WangMLG #recommendation #social: Recommendation based on weighted social trusts and item relationships (DW, JM, TL, LG), pp. 254–259.
SAC-2014-WangW #network: Wavelength resources based lightpath-level active rerouting in all-optical WDM networks (SWW, CYW), pp. 495–500.
SAC-2014-YangZL #algorithm #debugging #developer #effectiveness #multi #recommendation: Utilizing a multi-developer network-based developer recommendation algorithm to fix bugs effectively (GY, TZ, BL), pp. 1134–1139.
SAC-2014-YoonKHKRC #metric #reachability #similarity: Reachability vectors: features for link-based similarity measures (SHY, JSK, JH, SWK, MR, HJC), pp. 594–597.
SAC-2014-YoonY #authentication #network #using: A biometric-based authenticated key agreement scheme using ECC for wireless sensor networks (EJY, KYY), pp. 699–705.
SAC-2014-Zanchettin #recognition: Face recognition based on global and local features (CZ), pp. 55–57.
FSE-2014-FengADA #android #detection #named #semantics #static analysis: Apposcopy: semantics-based detection of Android malware through static analysis (YF, SA, ID, AA), pp. 576–587.
FSE-2014-GoffiGMPT #search-based #sequence #synthesis: Search-based synthesis of equivalent method sequences (AG, AG, AM, MP, PT), pp. 366–376.
FSE-2014-Jorgensen #question #re-engineering #what: Ten years with evidence-based software engineering. What is it? Has it had any impact? What’s next? (MJ), p. 3.
FSE-2014-LuoMW0Z #comparison #detection #obfuscation #semantics #similarity: Semantics-based obfuscation-resilient binary code similarity comparison with applications to software plagiarism detection (LL, JM, DW, PL, SZ), pp. 389–400.
FSE-2014-Song #effectiveness #fault #locality: Estimating the effectiveness of spectrum-based fault localization (SS), pp. 814–816.
ICSE-2014-AlimadadiSMP #comprehension #interactive #javascript: Understanding JavaScript event-based interactions (SA, SS, AM, KP), pp. 367–377.
ICSE-2014-ArztB #analysis #data flow #incremental #named: Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes (SA, EB), pp. 288–298.
ICSE-2014-CaiWC #approach #constraints #dynamic analysis #named #parallel #source code #thread: ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs (YC, SW, WKC), pp. 491–502.
ICSE-2014-DegiovanniAAU #automation #satisfiability: Automated goal operationalisation based on interpolation and SAT solving (RD, DA, NA, SU), pp. 129–139.
ICSE-2014-GousiosPD #case study #development: An exploratory study of the pull-based software development model (GG, MP, AvD), pp. 345–355.
ICSE-2014-JingYZWL #fault #learning #predict #taxonomy: Dictionary learning based software defect prediction (XYJ, SY, ZWZ, SSW, JL), pp. 414–423.
ICSE-2014-NguyenKN #execution #testing #variability #web: Exploring variability-aware execution for testing plugin-based web applications (HVN, CK, TNN), pp. 907–918.
ICSE-2014-TonellaTN #modelling #n-gram #testing: Interpolated n-grams for model based testing (PT, RT, DCN), pp. 562–572.
SLE-J-2012-GuizzardiZ #concept #modelling #ontology #using: Using a trope-based foundational ontology for bridging different areas of concern in ontology-driven conceptual modeling (GG, VZ), pp. 417–443.
SLE-2014-HarkesV #modelling #navigation: Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation (DH, EV), pp. 241–260.
SLE-2014-KaufmannKPSW #debugging #diagrams #satisfiability #sequence chart #state machine: A SAT-Based Debugging Tool for State Machines and Sequence Diagrams (PK, MK, AP, MS, MW), pp. 21–40.
SLE-2014-KuhnLGSA #metamodelling #modelling #product line #programming language: A Metamodel Family for Role-Based Modeling and Programming Languages (TK, ML, SG, CS, UA), pp. 141–160.
SPLC-2014-Al-HajjajiTMLS #product line #similarity #testing: Similarity-based prioritization in software product-line testing (MAH, TT, JM, ML, GS), pp. 197–206.
SPLC-2014-BarreirosM #approach: A cover-based approach for configuration repair (JB, AMDM), pp. 157–166.
SPLC-2014-ColanziVGO #approach #design #product line #search-based: A search-based approach for software product line design (TEC, SRV, IMSG, WNO), pp. 237–241.
SPLC-2014-HarmanJKLPZ #bibliography #product line #re-engineering: Search based software engineering for software product line engineering: a survey and directions for future work (MH, YJ, JK, WBL, JP, YZ), pp. 5–18.
SPLC-2014-HartmannLB #product line #testing: Risk based testing for software product line engineering (HH, FvdL, JB), pp. 227–231.
SPLC-2014-KnappRS #development #modelling #on the #product line #testing: On the use of test cases in model-based software product line development (AK, MR, BHS), pp. 247–251.
SPLC-2014-MennickeLSW #automation #feature model #petri net #process #verification #workflow: Automated verification of feature model configuration processes based on workflow Petri nets (SM, ML,