BibSLEIGH — hybrid tag

hybrid

hybrid

Tag #hybrid

983 papers:

ASPLOS-2020-0004JE #multi #named: HSM: A Hybrid Slowdown Model for Multitasking GPUs (XZ0, MJ, LE), pp. 1371–1385.
EDM-2019-HanWJZZ #framework #human-computer: A Human-Machine Hybrid Peer Grading Framework for SPOCs (YH, WW0, SJ, LZ, HZ0).
EDM-2019-HarrakBL #approach #categorisation #student #using: Categorizing students' questions using an ensemble hybrid approach (FH, FB, VL).
EDM-2019-TatoND #network #predict #reasoning: Hybrid Deep Neural Networks to Predict Socio-Moral Reasoning Skills (AANT, RN, AD).
MSR-2019-MatsumotoHK #approach: Beyond GumTree: a hybrid approach to generate edit scripts (JM, YH, SK), pp. 550–554.
FSCD-2019-Felty #framework #linear #logic: A Linear Logical Framework in Hybrid (Invited Talk) (APF), p. 2.
CoG-2019-NeufeldML #approach #evaluation #evolution #game studies: Evolving Game State Evaluation Functions for a Hybrid Planning Approach (XN, SM, DPL), pp. 1–8.
DiGRA-2019-KankainenP #design #game studies #guidelines: Hybrid Board Game Design Guidelines (VK, JP).
FDG-2019-NummenmaaK #game studies #social: Social features in hybrid board game marketing material (TN, VK), p. 8.
FDG-2019-ZelekeOS #approach #game studies: Analyzing action games: a hybrid systems approach (YZ, JCO, RGS), p. 11.
CIKM-2019-0005HQQGCLSL: A Hybrid Retrieval-Generation Neural Conversation Model (LY0, JH, MQ, CQ, JG, WBC, XL, YS, JL), pp. 1341–1350.
CIKM-2019-KimRG #ambiguity #classification: Hybrid Deep Pairwise Classification for Author Name Disambiguation (KK, SR, CLG), pp. 2369–2372.
CIKM-2019-LiJC0W #approach #named #recommendation: HAES: A New Hybrid Approach for Movie Recommendation with Elastic Serendipity (XL, WJ, WC, JW0, GW0), pp. 1503–1512.
CIKM-2019-LinWXLB #estimation #network #using: Path Travel Time Estimation using Attribute-related Hybrid Trajectories Network (XL, YW, XX, ZL, SSB), pp. 1973–1982.
ECIR-p1-2019-KimY #approach #automation #modelling: A Hybrid Modeling Approach for an Automated Lyrics-Rating System for Adolescents (JK, MYY), pp. 779–786.
ICML-2019-NalisnickMTGL #modelling: Hybrid Models with Deep and Invertible Features (ETN, AM, YWT, DG, BL), pp. 4723–4732.
KDD-2019-RamanSMZYV #parallel #scalability: Scaling Multinomial Logistic Regression via Hybrid Parallelism (PR, SS, SM, XZ, HY, SVNV), pp. 1460–1470.
PLDI-2019-KhanZPMK #detection #named: Huron: hybrid false sharing detection and repair (TAK, YZ, GP, BM, BK), pp. 453–468.
PLDI-2019-WangCCZVML0X #big data #memory management #named: Panthera: holistic memory management for big data processing over hybrid memories (CW, HC, TC, JZ, HV0, OM, FL, XF0, GHX), pp. 347–362.
PPDP-2019-0001N: An Adequate While-Language for Hybrid Computation (SG0, RN), p. 15.
SAS-2019-BecchiZ #analysis: Revisiting Polyhedral Analysis for Hybrid Systems (AB, EZ), pp. 183–202.
ASPLOS-2019-MiaoJPML #memory management #named: StreamBox-HBM: Stream Analytics on High Bandwidth Hybrid Memory (HM, MJ, GP, KSM, FXL), pp. 167–181.
CASE-2019-FechterDB #assembly #configuration management: Cost calculation model for reconfigurable, hybrid assembly systems (MF, TD, TB), pp. 836–841.
CASE-2019-GongSLX #parallel: Minimizing total flow time in two-stage hybrid flowshop with parallel machines and a single batching machine (HG, XS, FL0, KX), pp. 344–349.
CASE-2019-MrochenS: Flatness-based Powertrain Control for Engine Start Applications in Hybrid Dual-Clutch Transmissions (MAM, OS), pp. 1562–1567.
CASE-2019-MuthukumaranSE #multi #navigation: A Hybrid Control Strategy for Autonomous Navigation while Avoiding Multiple Obstacles at Unknown Locations (VM, RGS, GHE), pp. 1042–1047.
CASE-2019-RibeiroHCL: Passivity-based Cascade Hybrid Pose/Force Robot Control (RR, LH, RRC, FCL), pp. 806–811.
CASE-2019-SoniGAS #learning #named: HMC: A Hybrid Reinforcement Learning Based Model Compression for Healthcare Applications (RS, JG, GA, VRS), pp. 146–151.
CASE-2019-SunW #algorithm #assembly #design #network: Hybrid Evolutionary Algorithm for Integrated Supply Chain Network Design With Assembly Line Balancing (BqS, LW), pp. 885–890.
CASE-2019-WangW #algorithm #distributed #problem #scheduling: An Iterated Greedy Algorithm for Distributed Hybrid Flowshop Scheduling Problem with Total Tardiness Minimization (JjW, LW), pp. 350–355.
CASE-2019-XingQ0 #algorithm #energy #multi #scheduling: A Hybrid Multi-objective Algorithm for Energy-Efficient Scheduling Considering Machine Maintenance* (JX, FQ, HL0), pp. 115–120.
FASE-2019-HennickerMK #data-driven #logic: A Hybrid Dynamic Logic for Event/Data-Based Systems (RH, AM, AK), pp. 79–97.
CADE-2019-CordwellP #physics #towards: Towards Physical Hybrid Systems (KC, AP), pp. 216–232.
CAV-2019-SotoHSZ #automaton #linear #synthesis: Membership-Based Synthesis of Linear Hybrid Automata (MGS, TAH, CS0, LZ), pp. 297–314.
CAV-2019-ZhangHA #multi: Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification (ZZ, IH, PA), pp. 401–420.
ICTSS-2019-AichernigB0HPRR #behaviour #machine learning #modelling #testing: Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (BKA, RB, ME0, MH, FP, WR, AR, MT, MT), pp. 3–21.
EDM-2018-EstebanGR #algorithm #approach #multi #recommendation #search-based #student #using: A Hybrid Multi-Criteria approach using a Genetic Algorithm for Recommending Courses to University Students (AE, AZG, CR).
ICSME-2018-HuZLWLG #analysis #approach #named #semantics: BinMatch: A Semantics-Based Hybrid Approach on Binary Code Clone Analysis (YH, YZ0, JL, HW, BL, DG), pp. 104–114.
SANER-2018-XuLLZ #analysis #component #fault #kernel #learning #predict: Cross-version defect prediction via hybrid active learning with kernel principal component analysis (ZX, JL0, XL, TZ0), pp. 209–220.
SEFM-2018-SchuppA #analysis #concurrent #multi #safety #thread: Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems (SS, EÁ), pp. 89–104.
AIIDE-2018-NeufeldMB #approach #behaviour #execution #network: A Hybrid Approach to Planning and Execution in Dynamic Environments Through Hierarchical Task Networks and Behavior Trees (XN, SM, SB), pp. 201–207.
CHI-PLAY-2018-DechantSMM #empirical #evaluation #game studies: Empirical Evaluation of Hybrid Gaze-Controller Selection Techniques in a Gaming Context (MD, IS, AM, RLM), pp. 73–85.
CIG-2018-TakanoOIHT #architecture #game studies: Applying Hybrid Reward Architecture to a Fighting Game AI (YT, WO, SI, TH, RT), pp. 1–4.
FDG-2018-PlumbKS #clustering #game studies #multi #network #online #using: Hybrid network clusters using common gameplay for massively multiplayer online games (JNP, SKK, RS), p. 10.
FDG-2018-ZhouGMKNT: A hybrid search agent in pommerman (HZ, YG, LM, AK, AN, JT), p. 4.
CIKM-2018-KhattarKV0 #named #recommendation: HRAM: A Hybrid Recurrent Attention Machine for News Recommendation (DK, VK, VV, MG0), pp. 1619–1622.
CIKM-2018-SuLK #distributed #learning #metric: Communication-Efficient Distributed Deep Metric Learning with Hybrid Synchronization (YS, MRL, IK), pp. 1463–1472.
CIKM-2018-VainshteinGKSR #approach #automation #recommendation: A Hybrid Approach for Automatic Model Recommendation (RV, AGM, GK, BS, LR), pp. 1623–1626.
CIKM-2018-WuZSW #modelling #predict #social: Hybrid Deep Sequential Modeling for Social Text-Driven Stock Prediction (HW, WZ, WS, JW), pp. 1627–1630.
ECIR-2018-CohenC #approach #retrieval: A Hybrid Embedding Approach to Noisy Answer Passage Retrieval (DC, WBC), pp. 127–140.
ECIR-2018-StihecZP #approach #detection #semantics: Simplified Hybrid Approach for Detection of Semantic Orientations in Economic Texts (JS, MZ, SP), pp. 692–698.
ICML-2018-KolarijaniEK #exponential #framework #performance: Fast Gradient-Based Methods with Exponential Rate: A Hybrid Control Framework (ASK, PME, TK), pp. 2733–2741.
ICML-2018-ShenSWLZ #algorithm #framework #metric: An Algorithmic Framework of Variable Metric Over-Relaxed Hybrid Proximal Extra-Gradient Method (LS, PS, YW, WL0, TZ0), pp. 4641–4650.
ICPR-2018-BiswasMGBP #architecture #documentation #recognition #robust: A Hybrid Deep Architecture for Robust Recognition of Text Lines of Degraded Printed Documents (CB, PSM, KG, UB, SKP), pp. 3174–3179.
ICPR-2018-CuiB00JH #graph #kernel #learning #network: A Deep Hybrid Graph Kernel Through Deep Learning Networks (LC, LB0, LR0, YW0, YJ0, ERH), pp. 1030–1035.
ICPR-2018-MaL #clustering #visual notation: Hybrid Sparse Subspace Clustering for Visual Tracking (LM, ZL), pp. 1737–1742.
ICPR-2018-MaLHY #estimation #network #using: Image-based Air Pollution Estimation Using Hybrid Convolutional Neural Network (JM, KL, YH, JY), pp. 471–476.
ICPR-2018-Shen0Z #3d: Hybrid 3D Surface Description with Global Frames and Local Signatures of Histograms (ZS, XM0, XZ), pp. 1610–1615.
ICPR-2018-SinhaNGG #analysis #navigation #network #performance: Hybrid Path Planner for Efficient Navigation in Urban Road Networks through Analysis of Trajectory Traces (SS, MKN, SG, SKG), pp. 3250–3255.
ICPR-2018-XuXZHCZDNW #estimation #framework: A Hybrid Framework for Tumor Saliency Estimation (FX, MX, YZ, KH, HDC, BZ, JD, CN, YW), pp. 3935–3940.
MoDELS-2018-CremonaLBLMT: Hybrid Co-simulation: It’s About Time (FC, ML, DB, EAL, MM, ST), p. 368.
PLDI-2018-AkramSME #garbage collection: Write-rationing garbage collection for hybrid memories (SA, JBS, KSM, LE), pp. 62–77.
ESEC-FSE-2018-Anand #distributed #model checking #named: Dara: hybrid model checking of distributed systems (VA), pp. 977–979.
ICSE-2018-Zhang #testing: Hybrid regression test selection (LZ), pp. 199–209.
ASPLOS-2018-DevecseryCFN #dynamic analysis #static analysis: Optimistic Hybrid Analysis: Accelerating Dynamic Analysis through Predicated Static Analysis (DD, PMC, JF, SN), pp. 348–362.
CASE-2018-CaoGZL #algorithm #problem #scheduling #self: A Self-braking Symbiotic Organisms Search Algorithm for Bi-objective Reentrant Hybrid Flow Shop Scheduling Problem (ZC, SG, MZ, KL), pp. 803–808.
CASE-2018-HidakaK #algorithm #generative: Hybrid Sensor-Based and Frontier-Based Exploration Algorithm for Autonomous Transport Vehicle Map Generation (KH, NK), pp. 994–999.
CASE-2018-LiuFHW #contest #performance: Increasing Fuel Efficiency of a Hybrid Electric Competition Car by a Binary Equivalent Consumption Minimization Strategy (TL, LF, MH, JW), pp. 1–7.
CASE-2018-LowO #implementation #predict #realtime #using: Real-time Implementation of Nonlinear Model Predictive Control for Mechatronic Systems Using a Hybrid Model (SL, DO), pp. 164–167.
CASE-2018-MalhanKSSGC #multi: Hybrid Cells for Multi-Layer Prepreg Composite Sheet Layup (RKM, AMK, AVS, BCS, SKG, TC), pp. 1466–1472.
CASE-2018-OutafraoutAN #analysis #approach #modelling #multi #performance #petri net: A colored hybrid Petri net-based modeling approach for performance analysis of a multi-modal transportation system (KO, EhCEA, ANSM), pp. 1568–1573.
CASE-2018-SiguenzaLC #design #development #low cost: Design and Development of a Low Cost Hybrid Sensor System for Welding Manufacturing (MS, PL, FC), pp. 574–579.
JCDL-2017-WuCCLG #approach #named: HESDK: A Hybrid Approach to Extracting Scientific Domain Knowledge Entities (JW0, SRC, AC, CL, CLG), pp. 241–244.
FSCD-2017-BiernackaCZ #automaton: Generalized Refocusing: From Hybrid Strategies to Abstract Machines (MB, WC, KZ), p. 17.
SEFM-2017-HillahABDRGLMMM #adaptation #automation #deployment #self #towards: Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper) (LMH, REA, AB, MED, FDR, VCG, FL, APM, LM, EM, BM, AV, JI), pp. 388–393.
AIIDE-2017-OsbornLM #game studies #modelling #named: HyPED: Modeling and Analyzing Action Games as Hybrid Systems (JCO, BL, MM), pp. 87–93.
AIIDE-2017-RavariSSD #game studies #online #predict: Predicting Victory in a Hybrid Online Competitive Game: The Case of Destiny (YNR, PS, RS, AD), pp. 207–213.
CIG-2017-FontMLR #approach #game studies #heuristic #towards: Towards a hybrid neural and evolutionary heuristic approach for playing tile-matching puzzle games (JMF, DM, SL, PRC), pp. 76–79.
CIKM-2017-KhuranaASVS #network: Hybrid BiLSTM-Siamese network for FAQ Assistance (PK, PA, GMS, LV, AS0), pp. 537–545.
CIKM-2017-NicosiaM #network: Accurate Sentence Matching with Hybrid Siamese Networks (MN, AM), pp. 2235–2238.
CIKM-2017-RuchanskySL #detection #named: CSI: A Hybrid Deep Model for Fake News Detection (NR, SS, YL0), pp. 797–806.
CIKM-2017-Singh0V #summary: Hybrid MemNet for Extractive Summarization (AKS, MG0, VV), pp. 2303–2306.
CIKM-2017-ZhuangLZF #human-computer #knowledge base #named #scalability: Hike: A Hybrid Human-Machine Method for Entity Alignment in Large-Scale Knowledge Bases (YZ, GL0, ZZ, JF), pp. 1917–1926.
KDD-2017-WangJY #framework #modelling: A Hybrid Framework for Text Modeling with Convolutional RNN (CW, FJ, HY), pp. 2061–2069.
ECMFA-2017-AddaziCLP #modelling #towards #uml: Towards Seamless Hybrid Graphical-Textual Modelling for UML and Profiles (LA, FC, PL, EP), pp. 20–33.
QAPL-2017-SchuppNA #analysis #divide and conquer #reachability #set: Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis (SS, JN, EÁ), pp. 1–14.
ESEC-FSE-2017-MatinnejadNB #automation #case study #industrial #testing: Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies (RM, SN, LCB), pp. 938–943.
CASE-2017-DangD #specification #testing: Temporal specification testing of hybrid systems (TD, TD), pp. 1338–1343.
CASE-2017-LiuH17a #analysis #cyber-physical #theorem: Hybrid stability analysis via extended small-gain theorem for networked cyber-physical systems with transmission delay (QL, QH), pp. 1598–1603.
CASE-2017-OliveiraCMS #requirements #simulation: Simulation of hybrid systems from natural-language requirements (BO, GC, MRM, AS), pp. 1320–1325.
CASE-2017-RuppertSKSP #process: Hybrid dynamic control of a sewage sludge dewatering and incineration process (SR, CS, MK, PS, JP), pp. 451–457.
CASE-2017-WangXBYL #constraints #evaluation #grid #power management #reliability #security: Reliability evaluation of AC/DC hybrid power grid considering transient security constraints (CW, HX, ZB, CY, YL), pp. 1237–1242.
CASE-2017-YamazakiNS #abstraction #composition #first-order #petri net #problem: A decomposition method with discrete abstraction for simultaneous traffic signal control and route selection problem with first-order hybrid Petri Nets (RY, TN, SS), pp. 352–357.
CASE-2017-ZouMY #algorithm #difference #evolution #industrial #problem: A hybrid differential evolution algorithm for open-order coil allocation problem in the steel industry (FZ, YM, YY), pp. 636–641.
FASE-2017-0002MRSP #component #contract #verification: Change and Delay Contracts for Hybrid System Component Verification (AM0, SM, WR, WS, AP), pp. 134–151.
TAP-2017-BaranyS #analysis #c #data flow: Hybrid Information Flow Analysis for Real-World C Code (GB, JS), pp. 23–40.
SANER-2016-ZhengRSLSJBCQB #analysis #named #using: AutoBench: Finding Workloads That You Need Using Pluggable Hybrid Analyses (YZ, AR, LS, YL0, HS, OJ, LB, LYC, ZQ, WB), pp. 639–643.
FM-2016-CimattiMS #automaton #network: From Electrical Switched Networks to Hybrid Automata (AC, SM, MS), pp. 164–181.
FM-2016-KawamotoBL #data flow #estimation #statistics: Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow (YK0, FB, AL), pp. 406–425.
FM-2016-KongLCSSW #testing #towards: Towards Concolic Testing for Hybrid Systems (PK, YL0, XC0, JS0, MS0, JW), pp. 460–478.
FM-2016-YangHCL0 #approach #generative #linear #programming: A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems (ZY, CH, XC0, WL, ZL0), pp. 721–738.
FM-2016-YanJLWZ #approximate #bisimulation #csp: Approximate Bisimulation and Discretization of Hybrid CSP (GY, LJ, YL, SW, NZ), pp. 702–720.
IFM-2016-MullerMRSP #approach #component #safety #verification: A Component-Based Approach to Hybrid Systems Safety Verification (AM0, SM, WR, WS, AP), pp. 441–456.
CIG-2016-HornVLP #estimation #game studies: MCTS/EA hybrid GVGAI players and game difficulty estimation (HH, VV, DPL, MP), pp. 1–8.
CIKM-2016-JinAYWSZ #clustering #documentation #retrieval #version control: Hybrid Indexing for Versioned Document Search with Cluster-based Retrieval (XJ0, DA, TY0, QW, YS, SZ), pp. 377–386.
CIKM-2016-WeiWWLX #named #predict: ZEST: A Hybrid Model on Predicting Passenger Demand for Chauffeured Car Service (HW, YW, TW, YL, JX0), pp. 2203–2208.
CIKM-2016-YiLW #adaptation #evaluation #latency #named: APAM: Adaptive Eager-Lazy Hybrid Evaluation of Event Patterns for Low Latency (IY, JGL0, KYW), pp. 2275–2280.
ICPR-2016-ChenWWGSJ #multi #video: Implicit hybrid video emotion tagging by integrating video content and users' multiple physiological responses (SC, SW, CW, ZG, XS, QJ), pp. 295–300.
ICPR-2016-GaoJ #markov: Hybrid Markov Blanket discovery (TG, QJ), pp. 1653–1658.
ICPR-2016-HuangL #recognition: Hybrid hypergraph construction for facial expression recognition (YH, HL), pp. 4142–4147.
ICPR-2016-KaurDCM #image #learning: Hybrid deep learning for Reflectance Confocal Microscopy skin images (PK, KJD, GOC, MCM), pp. 1466–1471.
ICPR-2016-Liu #mining #scalability: Exposing seam carving forgery under recompression attacks by hybrid large feature mining (QL), pp. 1041–1046.
ICPR-2016-Perez-YusLG #novel: A novel hybrid camera system with depth and fisheye cameras (APY, GLN, JJG), pp. 2789–2794.
OOPSLA-2016-ChapmanHM #transaction: Hybrid STM/HTM for nested transactions on OpenJDK (KC, ALH, JEBM), pp. 660–676.
POPL-2016-Murray #synthesis: Synthesis of reactive controllers for hybrid systems (keynote) (RMM), p. 3.
ASE-2016-LeeDR #android #framework #named #static analysis: HybriDroid: static analysis framework for Android hybrid applications (SL, JD, SR), pp. 250–261.
ASPLOS-2016-ZhangH #comparison #hardware #performance: Maximizing Performance Under a Power Cap: A Comparison of Hardware, Software, and Hybrid Techniques (HZ, HH), pp. 545–559.
CASE-2016-GaddouriBD #modelling #network #petri net: Controlled Triangular Batches Petri Nets for hybrid mesoscopic modeling of traffic road networks under VSL control (RG, LB, ID), pp. 427–432.
CASE-2016-LiSXSL #framework #low cost #using: A hybrid model and kinematic-free control framework for a low-cost deformable manipulator using in home service (GL, LS0, SX, DS, JL), pp. 1002–1007.
CASE-2016-LiuT #distributed #multi #network #using: Distributed vision network for multiple target tracking using a dynamic hybrid consensus filter (GL, GT), pp. 805–808.
CASE-2016-PanKHC #reliability: The Claw-Wheel transformable hybrid robot with reliable stair climbing and high maneuverability (LHP, CNK, CYH, JJC), pp. 233–238.
CASE-2016-SadrfaridpourSW #assembly #collaboration #framework: An integrated framework for human-robot collaborative assembly in hybrid manufacturing cells (BS, HS, YW0), pp. 462–467.
CASE-2016-YangLWC #architecture #predict: A hybrid tool life prediction scheme in cloud architecture (HCY, YYL, MNW, FTC), pp. 1160–1165.
CASE-2016-YangWQZ #analysis #clustering #multi #scheduling #tool support: Optimal scheduling analysis of treelike hybrid multi-cluster tools (FY, NW, YQ, MZ), pp. 1400–1404.
CASE-2016-YirmibesogluM #embedded: Hybrid soft sensor with embedded IMUs to measure motion (ODY, YM), pp. 798–804.
FASE-2016-HuY #api #generative #verification: Hybrid Session Verification Through Endpoint API Generation (RH, NY), pp. 401–418.
CAV-2016-FanQM0D #analysis #automation #modelling #reachability: Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 (CF, BQ, SM, MV0, PSD), pp. 531–538.
VMCAI-2016-Parizek #analysis #array #partial order #reduction #source code: Hybrid Analysis for Partial Order Reduction of Programs with Arrays (PP), pp. 291–310.
CBSE-2015-RuchkinSG #abstraction #architecture #source code: Architectural Abstractions for Hybrid Programs (IR, BRS, DG), pp. 65–74.
HT-2015-Laouris: The Near Future is Hybrid (YL), p. 1.
JCDL-2015-WangGWTLY #documentation: WikiMirs 3.0: A Hybrid MIR System Based on the Context, Structure and Importance of Formulae in a Document (YW, LG, SW, ZT, XL, KY), pp. 173–182.
SIGMOD-2015-OktayMKK #named #performance #pipes and filters: SEMROD: Secure and Efficient MapReduce Over HybriD Clouds (KYO, SM, VK, MK), pp. 153–166.
SIGITE-2015-AlZoubiFEGAH #education #recursion: A Hybrid Model for Teaching Recursion (OA, DF, BDE, NG, MA, RH), pp. 65–70.
FM-2015-0009ZZZ #abstraction: Abstraction of Elementary Hybrid Systems by Variable Transformation (JL, NZ, HZ, LZ), pp. 360–377.
FM-2015-SogokonJ #liveness #verification: Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (AS, PBJ), pp. 514–531.
CHI-PLAY-2015-SosaSPKGT #artificial reality #coordination #education #game studies: Imperfect Robot Control in a Mixed Reality Game to Teach Hybrid Human-Robot Team Coordination (AS, RS, SP, CKG, SG, ZOT), pp. 697–702.
CHI-2015-DevendorfR #configuration management: Being the Machine: Reconfiguring Agency and Control in Hybrid Fabrication (LD, KR), pp. 2477–2486.
CHI-2015-JacobsZ #collaboration #design #tool support: Hybrid Practice in the Kalahari: Design Collaboration through Digital Tools and Hunter-Gatherer Craft (JJ, AZ), pp. 619–628.
CHI-2015-KuznetsovDWMHP #biology #open source #platform #tool support: DIYbio Things: Open Source Biology Tools as Platforms for Hybrid Knowledge Production and Scientific Participation (SK, CD, NW, SM, SEH, EP), pp. 4065–4068.
CHI-2015-PerrierDDAKUJ #communication #human-computer #women: Engaging Pregnant Women in Kenya with a Hybrid Computer-Human SMS Communication System (TP, ND, BD, RJA, JK, JU, GJS), pp. 1429–1438.
CHI-2015-WakkarySDHDZL #design #tutorial: Tutorial Authorship and Hybrid Designers: The Joy (and Frustration) of DIY Tutorials (RW, MLS, MAD, SH, AD, XZ, HWJL), pp. 609–618.
CSCW-2015-ChengB #classification #machine learning #named: Flock: Hybrid Crowd-Machine Learning Classifiers (JC, MSB), pp. 600–611.
CSCW-2015-HoubenFB #collaboration: Collaborative Affordances of Hybrid Patient Record Technologies in Medical Work (SH, MF, JEB), pp. 785–797.
DHM-EH-2015-BoZDYWF #kernel #performance #recognition #using: Hybrid BFO-PSO and Kernel FCM for the Recognition of Pilot Performance Influenced by Simulator Movement Using Diffusion Maps (JB, YBZ, LD, BTY, QW, SF), pp. 239–247.
LCT-2015-RodriguezOD #learning #recommendation #repository #student: A Student-Centered Hybrid Recommender System to Provide Relevant Learning Objects from Repositories (PAR, DAO, NDD), pp. 291–300.
ICEIS-v1-2015-GharbiGB #approach #configuration management #embedded #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-SilvaHL #approach #memory management: A Hybrid Memory Data Cube Approach for High Dimension Relations (RRS, CMH, JdCL), pp. 139–149.
ICEIS-v2-2015-SmirnovP #architecture #network #peer-to-peer #privacy #recommendation: Privacy-preserving Hybrid Peer-to-Peer Recommendation System Architecture — Locality-Sensitive Hashing in Structured Overlay Network (AVS, AP), pp. 532–542.
ICML-2015-ZhuE #approach #probability #random #using: A Hybrid Approach for Probabilistic Inference using Random Projections (MZ, SE), pp. 2039–2047.
KDD-2015-GroverKH: A Deep Hybrid Model for Weather Forecasting (AG, AK, EH), pp. 379–386.
MLDM-2015-GovadaJMS #approach #induction #learning #using: Hybrid Approach for Inductive Semi Supervised Learning Using Label Propagation and Support Vector Machine (AG, PJ, SM, SKS), pp. 199–213.
RecSys-2015-Geuens #behaviour #recommendation: Factorization Machines for Hybrid Recommendation Systems Based on Behavioral, Product, and Customer Data (SG), pp. 379–382.
RecSys-2015-KoukiFFEG #flexibility #framework #named #probability #recommendation: HyPER: A Flexible and Extensible Probabilistic Framework for Hybrid Recommender Systems (PK, SF, JRF, ME, LG), pp. 99–106.
RecSys-2015-Santos #recommendation: A Hybrid Recommendation System Based on Human Curiosity (AMdS), pp. 367–370.
SEKE-2015-WangG #approach #novel #predict: A Novel Hybrid Approach for Diarrhea Prediction (YW, JG), pp. 168–173.
SPLC-2015-Santos #composition #comprehension #refactoring: Understanding hybrid SPL composition impact on the refactoring into SPL (ARS), pp. 348–351.
ECOOP-2015-Alimadadi0P #impact analysis #javascript: Hybrid DOM-Sensitive Change Impact Analysis for JavaScript (SA, AM, KP), pp. 321–345.
SAC-2015-CapelleMHFV #recommendation #semantics: Bing-SF-IDF+: a hybrid semantics-driven news recommender (MC, MM, FH, FF, DV), pp. 732–739.
SAC-2015-DionisisCP #adaptation #execution #feedback #framework #monitoring #using: A hybrid framework for WS-BPEL scenario execution adaptation, using monitoring and feedback data (MD, VC, GP), pp. 1672–1679.
SAC-2015-JakobssonKS #c #memory management #monitoring #performance: Fast as a shadow, expressive as a tree: hybrid memory monitoring for C (AJ, NK, JS), pp. 1765–1772.
SAC-2015-LeeKKE #algorithm #architecture #memory management #named: M-CLOCK: migration-optimized page replacement algorithm for hybrid DRAM and PCM memory architecture (ML, DK, JK, YIE), pp. 2001–2006.
SAC-2015-MongioviGFPT #analysis #approach #data flow #detection #java: Combining static and dynamic data flow analysis: a hybrid approach for detecting data leaks in java applications (MM, GG, AF, GP, ET), pp. 1573–1579.
ASPLOS-2015-MatveevS #hardware #memory management #scalability #transaction: Reduced Hardware NOrec: A Safe and Scalable Hybrid Transactional Memory (AM, NS), pp. 59–71.
ASPLOS-2015-SenguptaBZBK #bound #dynamic analysis: Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability (AS, SB, MZ, MDB, MK), pp. 561–575.
CASE-2015-LennartsonBW #optimisation #petri net: Optimization of hybrid Petri nets with shared variables (BL, KB, OW), pp. 1395–1396.
CASE-2015-MaedaK #algorithm: Inverse kinematics solution algorithm for continuous/binary hybrid manipulator (KM, EK), pp. 483–488.
CASE-2015-NakhaeiniaPHK #architecture #mobile #navigation: A hybrid control architecture for autonomous mobile robot navigation in unknown dynamic environment (DN, PP, TSH, BK), pp. 1274–1281.
CASE-2015-SaezMBT #analysis #performance #realtime #simulation: Real-time hybrid simulation of manufacturing systems for performance analysis and control (MS, FPM, KB, DMT), pp. 526–531.
CASE-2015-Schwung #automaton #cyber-physical #modelling #using: Cyber-physical modeling of compression systems using hybrid automata (AS), pp. 1125–1130.
CC-2015-BourkeCPPP #code generation: A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages (TB, JLC, BP, CP, MP), pp. 69–88.
DAC-2015-BadrTG #synthesis: Mask assignment and synthesis of DSA-MP hybrid lithography for sub-7nm contacts/vias (YB, AT, PG), p. 6.
DAC-2015-CampbellLMC #debugging #detection #fault #synthesis #using #validation: Hybrid quick error detection (H-QED): accelerator validation and debug using high-level synthesis principles (KAC, DL, SM, DC), p. 6.
DAC-2015-LiCSHLWY #power management: A STT-RAM-based low-power hybrid register file for GPGPUs (GL, XC, GS, HH, YL, YW, HY), p. 6.
DAC-2015-WangLPC #automation: Joint automatic control of the powertrain and auxiliary systems to enhance the electromobility in hybrid electric vehicles (YW, XL, MP, NC), p. 6.
DAC-2015-WenWHLHLC #framework #scalability: An EDA framework for large scale hybrid neuromorphic computing systems (WW, CRW, XH, BL, TYH, XL, YC), p. 6.
DATE-2015-AfacanBPDB #monte carlo: A hybrid Quasi Monte Carlo method for yield aware analog circuit sizing tool (EA, GB, AEP, GD, IFB), pp. 1225–1228.
DATE-2015-BruggerVWTK #cpu: Reverse longstaff-schwartz american option pricing on hybrid CPU/FPGA systems (CB, JAV, NW, ST, RK), pp. 1599–1602.
DATE-2015-ChenEC #3d: Enabling vertical wormhole switching in 3D NoC-bus hybrid systems (CC, ME, SDC), pp. 507–512.
DATE-2015-GheolbanoiuPC #adaptation: Hybrid adaptive clock management for FPGA processor acceleration (AG, LP, SC), pp. 1359–1364.
DATE-2015-Lastras-Montano #configuration management #memory management #named: HReRAM: a hybrid reconfigurable resistive random-access memory (MALM, AG, KTC), pp. 1299–1304.
DATE-2015-MazloumiM #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-RawatS #architecture #concurrent #manycore #memory management #thread: Enabling multi-threaded applications on hybrid shared memory manycore architectures (TR, AS), pp. 742–747.
DATE-2015-XieKBWPC #design #energy #optimisation: Efficiency-driven design time optimization of a hybrid energy storage system with networked charge transfer interconnect (QX, YK, DB, YW, MP, NC), pp. 1607–1610.
HPCA-2015-MenezoPG #energy #performance #protocol #scalability: Flask coherence: A morphable hybrid coherence protocol to balance energy, performance and scalability (LGM, VP, JÁG), pp. 198–209.
ISMM-2015-StancuWBLF #java #memory management #performance: Safe and efficient hybrid memory management for Java (CS, CW, SB, PL, MF), pp. 81–92.
PDP-2015-DkhilDLR #algorithm #embedded #scheduling #self #streaming: A Hybrid Scheduling Algorithm Based on Self-Timed and Periodic Scheduling for Embedded Streaming Applications (AD, XD, SL, CR), pp. 711–715.
PDP-2015-RipepiCD #implementation #parallel: A Hybrid Parallel Implementation of Model Selection for Support Vector Machines (GR, AC, DD), pp. 145–149.
PDP-2015-SieglBB #performance: Revealing Potential Performance Improvements by Utilizing Hybrid Work-Sharing for Resource-Intensive Seismic Applications (PS, RB, MB), pp. 659–663.
PPoPP-2015-ShiLDHJLWLZ #gpu #graph #optimisation: Optimization of asynchronous graph processing on GPU with hybrid coloring model (XS, JL, SD, BH, HJ, LL, ZW, XL, JZ), pp. 271–272.
TACAS-2015-CimattiGMT #model checking #named #smt: HyComp: An SMT-Based Model Checker for Hybrid Systems (AC, AG, SM, ST), pp. 52–67.
TACAS-2015-JeanninGKGSZP: A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System (JBJ, KG, YK, RG, AS, EZ, AP), pp. 21–36.
TACAS-2015-KongGCC #analysis #named: dReach: δ-Reachability Analysis for Hybrid Systems (SK, SG, WC, EMC), pp. 200–205.
CADE-2015-FultonMQVP #axiom #proving #theorem proving: KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (NF, SM, JDQ, MV, AP), pp. 527–538.
CAV-2015-AkazakiH #robust: Time Robustness in MTL and Expressivity in Hybrid System Falsification (TA, IH), pp. 356–374.
VMCAI-2015-PrabhakarS #abstraction #analysis: Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems (PP, MGS), pp. 318–335.
PODS-2014-GrecoS #query: Counting solutions to conjunctive queries: structural and hybrid tractability (GG, FS), pp. 132–143.
VLDB-2014-BoehmTRSTBV #machine learning #parallel #scalability: Hybrid Parallelization Strategies for Large-Scale Machine Learning in SystemML (MB, ST, BR, PS, YT, DB, SV), pp. 553–564.
AFL-2014-FernauFH #distributed #finite: Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes (HF, RF, MH), pp. 246–260.
ICALP-v2-2014-Parter: Bypassing Erdős’ Girth Conjecture: Hybrid Stretch and Sourcewise Spanners (MP), pp. 608–619.
FM-2014-MitschQP #logic #reasoning #refactoring #refinement: Refactoring, Refinement, and Reasoning — A Logical Characterization for Hybrid Systems (SM, JDQ, AP), pp. 481–496.
IFM-2014-RamsdellDGR #analysis #protocol #security: A Hybrid Analysis for Security Protocols with State (JDR, DJD, JDG, PDR), pp. 272–287.
FDG-2014-KouN: Governance in League of Legends: A hybrid system (YK, BAN).
VS-Games-2014-CassarMZ #game studies #multi: Hybrid Peer to Peer and Server Client System for Limited Users Multiplayer First Person Style Games (SC, MM, SZ), pp. 1–8.
CSCW-2014-MaruyamaRDSF #how #twitter: Hybrid media consumption: how tweeting during a televised political debate influences the vote decision (MM, SPR, SKD, BS, HAF), pp. 1422–1432.
DUXU-DI-2014-FrankjaerG #network #smarttech: Wearable Networks, Creating Hybrid Spaces with Soft Circuits (TRF, DG), pp. 435–445.
DUXU-DI-2014-Schranz #artificial reality #design #physics: Augmented Reality in Design — Thinking about Hybrid Forms of Virtual and Physical Space in Design (CS), pp. 624–635.
SCSM-2014-SakamotoN #game studies #process #social #social media: Gamifying Social Media to Encourage Social Activities with Digital-Physical Hybrid Role-Playing (MS, TN), pp. 581–591.
ICEIS-v1-2014-GuilavoguiKF: A Hybrid Strategy for Integrating Sensor Information (KG, LK, MF), pp. 281–286.
ICEIS-v2-2014-ZhengJL #learning #taxonomy #using: Cross-Sensor Iris Matching using Patch-based Hybrid Dictionary Learning (BRZ, DYJ, YHL), pp. 169–174.
ICPR-2014-AwadCR: A New Hybrid Texture-Perceptual Descriptor: Application CBIR (DA, VC, AR), pp. 1150–1155.
ICPR-2014-ChenCF #approach #classification #semantics: A Hybrid Holistic/Semantic Approach for Scene Classification (ZC, ZC, HF), pp. 2299–2304.
ICPR-2014-GaoATHRE #image #multi #segmentation: Hybrid Decision Forests for Prostate Segmentation in Multi-channel MR Images (QG, AA, TT, YH, DR, PJE), pp. 3298–3303.
ICPR-2014-KusumotoHC #recognition: Hybrid Aggregation of Sparse Coded Descriptors for Food Recognition (RK, XHH, YWC), pp. 1490–1495.
ICPR-2014-LiCGW #interactive #recognition #using: A Hybrid Method for Human Interaction Recognition Using Spatio-temporal Interest Points (NL, XC, HG, ZW), pp. 2513–2518.
ICPR-2014-LiZ: A Nonlocal Filter-Based Hybrid Strategy for Depth Map Enhancement (LL, CZ), pp. 4394–4399.
ICPR-2014-PhamP #3d #online #sequence #video: Hybrid On-Line 3D Face and Facial Actions Tracking in RGBD Video Sequences (HXP, VP), pp. 4194–4199.
ICPR-2014-SandhanC #dataset #pattern matching #pattern recognition #recognition: Handling Imbalanced Datasets by Partially Guided Hybrid Sampling for Pattern Recognition (TS, JYC), pp. 1449–1453.
ICPR-2014-SaygiliMH14a #artificial reality #refinement: Hybrid Kinect Depth Map Refinement for Transparent Objects (GS, LvdM, EAH), pp. 2751–2756.
ICPR-2014-SharmaCL #3d #approach #generative #novel: Kinect-Variety Fusion: A Novel Hybrid Approach for Artifacts-Free 3DTV Content Generation (MS, SC, BL), pp. 2275–2280.
ICPR-2014-WangCH #markov #multi #random #using #video: Wide Baseline Multi-view Video Matting Using a Hybrid Markov Random Field (TW, JPC, AH), pp. 136–141.
ICPR-2014-Xiang0L #classification #image: Local Hybrid Coding for Image Classification (WX, JW, ML), pp. 3744–3749.
ICPR-2014-ZhangHLHZL #approach #feature model: A Hybrid Feature Selection Approach by Correlation-Based Filters and SVM-RFE (JZ, XH, PPL, WH, YZ, HL), pp. 3684–3689.
ICPR-2014-ZhuYCTJYZ #adaptation #classification: A Noise-Robust Adaptive Hybrid Pattern for Texture Classification (ZZ, XY, CLPC, DT, XJ, FY, JZ), pp. 1633–1638.
RecSys-2014-BraunhoferCR #recommendation: Switching hybrid for cold-starting context-aware recommender systems (MB, VC, FR), pp. 349–352.
RecSys-2014-Vahedian #network #recommendation: Weighted hybrid recommendation for heterogeneous networks (FV), pp. 429–432.
SIGIR-2014-PetriMC: Score-safe term-dependency processing with hybrid indexes (MP, AM, JSC), pp. 899–902.
OOPSLA-2014-RosnerBPKAFK #bound #generative #invariant: Bounded exhaustive test input generation from hybrid invariants (NR, VSB, PP, SAK, NA, MFF, SK), pp. 655–674.
PLATEAU-2014-KoitzS #comparison #education #empirical #programming language #visual notation: Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers (RK, WS), pp. 21–30.
PEPM-J-2013-Garcia-PerezN14 #automaton #functional #on the: On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines (ÁGP, PN), pp. 176–199.
HILT-2014-AhmadLBZD #behaviour #cyber-physical #interactive #modelling: Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling (EA, BRL, SCB, NZ, YD), pp. 29–38.
LOPSTR-2014-TahatE #protocol #self #synthesis #verification: A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols (AT, AE), pp. 201–218.
PLDI-2014-ZhangMNY #analysis #bottom-up #interprocedural #top-down: Hybrid top-down and bottom-up interprocedural analysis (XZ, RM, MN, HY), p. 28.
QAPL-2014-Feng #distributed #modelling #probability #using: Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE — ZebraNet as an Example (CF0), pp. 64–77.
SAC-2014-AndradeRMOCFR #architecture #performance #scheduling: Efficient dynamic scheduling of heterogeneous applications in hybrid architectures (GA, GSR, DM, RSO, EC, RF, LCdR), pp. 866–871.
SAC-2014-LiuMHHSC #algorithm #recommendation #twitter: A hybrid algorithm for recommendation twitter peers (JNKL, ZM, YXH, YLH, SCKS, VWSC), pp. 644–649.
SAC-2014-SantosSTO #approach #navigation: A hybrid GA-ANN approach for autonomous robots topological navigation (VdCS, DOS, CFMT, FSO), pp. 148–153.
CASE-2014-Gao #towards: Towards a converse Lyapunov stability theory of hybrid impulsive and switching systems (RG), pp. 425–429.
CASE-2014-GunawanNPL #metaheuristic #polynomial #problem: Hybrid metaheuristics for solving the quadratic assignment problem and the generalized quadratic assignment problem (AG, KMN, KLP, HCL), pp. 119–124.
CASE-2014-JuZDL #bibliography #energy: Review of structures and control of battery-supercapacitor hybrid energy storage system for electric vehicles (FJ, QZ, WD, JL), pp. 143–148.
CASE-2014-MaTLZLD #algorithm #optimisation #scheduling: A hybrid particle swarm optimization and simulated annealing algorithm for job-shop scheduling (PCM, FT, YL, LZ, HXL, ZD), pp. 125–130.
CASE-2014-SachsMTS #energy: Filter-based PV power smoothing control for island hybrid energy systems with high PV penetration (JS, BM, KT, OS), pp. 872–877.
CASE-2014-WangCG #algorithm #constraints #estimation #multi #problem #scheduling: Hybrid estimation of distribution algorithm with multiple subpopulations for semiconductor manufacturing scheduling problem with limited waiting-time constraint (HKW, CFC, MG), pp. 101–106.
CGO-2014-GrosserCHSV: Hybrid Hexagonal/Classical Tiling for GPUs (TG, AC, JH, PS, SV), p. 66.
DAC-2014-AhnYC #memory management #power management: Dynamic Power Management of Off-Chip Links for Hybrid Memory Cubes (JA, SY, KC), p. 6.
DAC-2014-ChuangLJ #synthesis: Synthesis of PCHB-WCHB Hybrid Quasi-Delay Insensitive Circuits (CCC, YHL, JHRJ), p. 6.
DAC-2014-KabirS: Computing with Hybrid CMOS/STO Circuits (MK, MRS), p. 6.
DATE-2014-BortolottiBWRB #architecture #manycore #memory management #power management #scalability: Hybrid memory architecture for voltage scaling in ultra-low power multi-core biomedical processors (DB, AB, CW, DR, LB), pp. 1–6.
DATE-2014-CastellanaTF #adaptation #configuration management #interface #memory management: An adaptive Memory Interface Controller for improving bandwidth utilization of hybrid and reconfigurable systems (VGC, AT, FF), pp. 1–4.
DATE-2014-JunsangsriLH #concurrent #detection: A hybrid non-volatile SRAM cell with concurrent SEU detection and correction (PJ, FL, JH), pp. 1–4.
DATE-2014-KarkarDATMY #architecture #communication: Hybrid wire-surface wave architecture for one-to-many communication in networks-on-chip (AK, ND, RAD, KT, TSTM, AY), pp. 1–4.
DATE-2014-KordesVDW #detection #fault #network #robust: Startup error detection and containment to improve the robustness of hybrid FlexRay networks (AK, BV, AKD, MGW), pp. 1–6.
DATE-2014-LeeA #architecture #novel #power management #using: A novel low power 11-bit hybrid ADC using flash and delay line architectures (HCL, JAA), pp. 1–4.
DATE-2014-RossiTB #optimisation #realtime: Real-time optimization of the battery banks lifetime in Hybrid Residential Electrical Systems (MR, AT, DB), pp. 1–6.
DATE-2014-ShinPM #architecture #using: Thermal management of batteries using a hybrid supercapacitor architecture (DS, MP, EM), pp. 1–6.
DATE-2014-WangLXCP #energy: Minimizing state-of-health degradation in hybrid electrical energy storage systems with arbitrary source and load profiles (YW, XL, QX, NC, MP), pp. 1–4.
DATE-2014-XuB #question: Hybrid side-channel/machine-learning attacks on PUFs: A new threat? (XX, WB), pp. 1–6.
HPCA-2014-WangJXSX #adaptation #migration #policy: Adaptive placement and migration policy for an STT-RAM-based hybrid cache (ZW, DAJ, CX, GS, YX), pp. 13–24.
PDP-2014-Llena #implementation: A Hybrid Implementation of Hamming Weight (EM), pp. 84–92.
PDP-2014-MalonyH #parallel #profiling: General Hybrid Parallel Profiling (ADM, KAH), pp. 204–212.
PDP-2014-MolinaFCP #classification #image: Hybrid Classification of Resistors through Image Processing (RM, PF, VGC, MP), pp. 103–106.
PDP-2014-RossRPSH #approach #parallel: A Class-Structured Approach to Couple Application and Hybrid Core Parallelism (JAR, DAR, SJP, DRS, BJH), pp. 681–687.
PPoPP-2014-LuoLHKP #manycore #programming #runtime: Initial study of multi-endpoint runtime for MPI+OpenMP hybrid programming model on multi-core systems (ML, XL, KH, KCK, DKP), pp. 395–396.
CAV-2014-CimattiGMT #ltl #verification: Verifying LTL Properties of Hybrid Systems with K-Liveness (AC, AG, SM, ST), pp. 424–440.
CAV-2014-Hagemann #analysis #orthogonal #reachability #using: Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections (WH), pp. 407–423.
CAV-2014-HuangFMMK #automaton #invariant #network #verification: Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells (ZH, CF, AM, SM, MZK), pp. 373–390.
ICST-2014-KimXKCR #framework #testing: Hybrid Directed Test Suite Augmentation: An Interleaving Framework (YK, ZX, MK, MBC, GR), pp. 263–272.
IJCAR-2014-GorinPSWW #algebra #logic #named: Cool — A Generic Reasoner for Coalgebraic Hybrid Logics (DG, DP, LS, FW, TW), pp. 396–402.
IJCAR-2014-JeanninP #difference #logic #named: dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems (JBJ, AP), pp. 292–306.
ISSTA-2014-TrippFP #analysis #javascript #partial evaluation #security #web: Hybrid security analysis of web JavaScript code via dynamic partial evaluation (OT, PF, MP), pp. 49–59.
ICDAR-2013-AlvaroSB #classification #network #online: Classification of On-Line Mathematical Symbols with Hybrid Features and Recurrent Neural Networks (FA, JAS, JMB), pp. 1012–1016.
ICDAR-2013-ChenYL #performance #segmentation: Hybrid Page Segmentation with Efficient Whitespace Rectangles Extraction and Grouping (KC, FY, CLL), pp. 958–962.
VLDB-2013-Bress #gpu #performance #query #why: Why it is time for a HyPE: A Hybrid Query Processing Engine for Efficient GPU Coprocessing in DBMS (SB), pp. 1398–1403.
VLDB-2013-LiuS #database: Hybrid Storage Management for Database Systems (XL, KS), pp. 541–552.
ICSM-2013-AsaduzzamanRSP #approach #independence #named #source code: LHDiff: A Language-Independent Hybrid Approach for Tracking Source Code Lines (MA, CKR, KAS, MDP), pp. 230–239.
IFM-2013-IshiiMN #automaton #calculus #induction #verification: Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus (DI, GM, SN), pp. 139–153.
DUXU-PMT-2013-GuyC #experience #interactive: The Lack of Subjective Experience in Hybrid Intelligent Agents in Interactive Storytelling (OG, RC), pp. 74–83.
HIMI-LCCB-2013-Canter #student: A Hybrid Model for an E-learning System Which Develops Metacognitive Skills at Students (MC), pp. 9–15.
CAiSE-2013-BakkerFV #approach #detection #web: A Hybrid Model Words-Driven Approach for Web Product Duplicate Detection (MdB, FF, DV), pp. 149–161.
ICEIS-v1-2013-YaguinumaMSCR #fuzzy #integration #ontology #reasoning: HyFOM Reasoner: Hybrid Integration of Fuzzy Ontology and Mamdani Reasoning (CAY, WCPMJ, MTPS, HAC, MR), pp. 370–378.
CIKM-2013-TianCZ #approach #database #mobile #privacy #query: A hybrid approach for privacy-preserving processing of knn queries in mobile database systems (ST, YC, QZ), pp. 1161–1164.
ECIR-2013-FreireMTOC #query #scheduling: Hybrid Query Scheduling for a Replicated Search Engine (AF, CM, NT, IO, FC), pp. 435–446.
RecSys-2013-Dooms #generative #personalisation #recommendation: Dynamic generation of personalized hybrid recommender systems (SD), pp. 443–446.
RecSys-2013-KaminskasRS #music #recommendation #using: Location-aware music recommendation using auto-tagging and hybrid matching (MK, FR, MS), pp. 17–24.
RecSys-2013-KhroufT #linked data #open data #recommendation #using: Hybrid event recommendation using linked data and user diversity (HK, RT), pp. 185–192.
RecSys-2013-MouraoRKM #recommendation: Exploiting non-content preference attributes through hybrid recommendation method (FM, LCdR, JAK, WMJ), pp. 177–184.
SEKE-2013-ZouFCZZ #test coverage #testing: A Hybrid Coverage Criterion for DynamicWeb Testing (YZ, CF, ZC, XZ, ZZ), pp. 210–213.
SIGIR-2013-LiSWH #segmentation #twitter: Exploiting hybrid contexts for Tweet segmentation (CL, AS, JW, QH), pp. 523–532.
SIGIR-2013-SchedlS #music #recommendation #retrieval: Hybrid retrieval approaches to geospatial music recommendation (MS, DS), pp. 793–796.
LOPSTR-2013-GonzalezIS #architecture #debugging #eclipse: A New Hybrid Debugging Architecture for Eclipse (JG, DI, JS), pp. 183–201.
PLDI-2013-KastrinisS #analysis #context-sensitive grammar #points-to: Hybrid context-sensitivity for points-to analysis (GK, YS), pp. 423–434.
ICSE-2013-SharTB #injection #mining #program analysis #sql #using: Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysis (LKS, HBKT, LCB), pp. 642–651.
SAC-2013-AllaniGP #named #protocol: Hyphen: a hybrid protocol for generic overlay construction in P2P environments (MA, BG, PP), pp. 423–430.
SAC-2013-FurtadoC #middleware #network: Sensor streams middleware for easy configuration and processing in hybrid sensor network (PF, JC), pp. 1499–1504.
SAC-2013-KimM #algorithm #detection #search-based #using: Disguised malware script detection system using hybrid genetic algorithm (JK, BRM), pp. 182–187.
SAC-2013-LeeKP #recommendation: A tour recommendation service for electric vehicles based on a hybrid orienteering model (JL, SWK, GLP), pp. 1652–1654.
SAC-2013-LommatzschKA #learning #modelling #recommendation #semantics: Learning hybrid recommender models for heterogeneous semantic data (AL, BK, SA), pp. 275–276.
SAC-2013-ToledoAOD #algorithm #multi #problem #search-based: A hybrid compact genetic algorithm applied to the multi-level capacitated lot sizing problem (CFMT, MdSA, RRRdO, ACBD), pp. 200–205.
SAC-2013-ZhangL #algorithm #debugging #developer #recommendation: A hybrid bug triage algorithm for developer recommendation (TZ, BL), pp. 1088–1094.
DAC-2013-LinLM #analysis #kernel #reachability #verification: Verification of digitally-intensive analog circuits via kernel ridge regression and hybrid reachability analysis (HL, PL, CJM), p. 6.
DAC-2013-MaricAV #adaptation #energy #named #predict #reliability: APPLE: adaptive performance-predictable low-energy caches for reliable hybrid voltage operation (BM, JA, MV), p. 8.
DAC-2013-ParkKC #energy: Hybrid energy storage systems and battery management for electric vehicles (SP, YK, NC), p. 6.
DATE-2013-AbdullaDRSZ #liveness #memory management #safety #transaction #verification: Verifying safety and liveness for the FlexTM hybrid transactional memory (PAA, SD, AR, AS, YZ), pp. 785–790.
DATE-2013-GuoYZC #low cost: Low cost power failure protection for MLC NAND flash storage systems with PRAM/DRAM hybrid buffer (JG, JY, YZ, YC), pp. 859–864.
DATE-2013-HuZXTS #embedded #in memory #memory management: Software enabled wear-leveling for hybrid PCM main memory on embedded systems (JH, QZ, CJX, WCT, EHMS), pp. 599–602.
DATE-2013-LeeJS #architecture #memory management #performance: Fast shared on-chip memory architecture for efficient hybrid computing with CGRAs (JL, YJ, SS), pp. 1575–1578.
DATE-2013-LeeWHY #3d #named: NUMANA: a hybrid numerical and analytical thermal simulator for 3-D ICs (YML, THW, PYH, CPY), pp. 1379–1384.
DATE-2013-LiD #approach #debugging #performance: A hybrid approach for fast and accurate trace signal selection for post-silicon debug (ML, AD), pp. 485–490.
DATE-2013-MaricAV #architecture #performance #reliability #using: Efficient cache architectures for reliable hybrid voltage operation using EDC codes (BM, JA, MV), pp. 917–920.
DATE-2013-NoguchiNAFAKNMN #energy #memory management #performance: D-MRAM cache: enhancing energy efficiency with 3T-1MTJ DRAM/MRAM hybrid memory (HN, KN, KA, SF, EA, KK, TN, SM, HN), pp. 1813–1818.
DATE-2013-Pham-QuocHWABB #design #hardware: Hybrid interconnect design for heterogeneous hardware accelerators (CPQ, JH, SW, ZAA, JB, KB), pp. 843–846.
DATE-2013-SabooriA #embedded #manycore #prototype: Hybrid prototyping of multicore embedded systems (ES, SA), pp. 1627–1630.
DATE-2013-ShafiqueVH #adaptation #manycore #power management #self: Self-adaptive hybrid dynamic power management for many-core systems (MS, BV, JH), pp. 51–56.
DATE-2013-WangLPPC #energy: Optimal control of a grid-connected hybrid electrical energy storage system for homes (YW, XL, MP, SP, NC), pp. 881–886.
HPCA-2013-CragoALP #energy #latency #parallel #robust: Hybrid latency tolerance for robust energy-efficiency on 1000-core data parallel processors (NCC, OA, SSL, SJP), pp. 294–305.
LCTES-2013-WangLWS #memory management #named #reduction: FTL2: a hybrid flash translation layer with logging for write reduction in flash memory (TW, DL, YW, ZS), pp. 91–100.
PDP-2013-BoukhobzaOR #configuration management #named: CACH-FTL: A Cache-Aware Configurable Hybrid Flash Translation Layer (JB, PO, SR), pp. 94–101.
PDP-2013-GoliG #algorithm #architecture #coordination #performance: Heterogeneous Algorithmic Skeletons for Fast Flow with Seamless Coordination over Hybrid Architectures (MG, HGV), pp. 148–156.
PDP-2013-YoshinagaTHSNI #manycore #parallel #scalability: A Delegation Mechanism on Many-Core Oriented Hybrid Parallel Computers for Scalability of Communicators and Communications in MPI (KY, YT, AH, MS, MN, YI), pp. 249–253.
CADE-2013-Mayer #logic #proving #transitive: A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (MCM), pp. 76–90.
CADE-2013-Sofronie-Stokkermans #generative #parametricity #reasoning #verification: Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems (VSS), pp. 360–376.
CAV-2013-ChenAS: Flow*: An Analyzer for Non-linear Hybrid Systems (XC, EÁ, SS), pp. 258–263.
CAV-2013-KongHSHG #generative #safety #verification: Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems (HK, FH, XS, WNNH, MG), pp. 242–257.
CAV-2013-PrabhakarS #abstraction #model checking: Abstraction Based Model-Checking of Stability of Hybrid Systems (PP, MGS), pp. 280–295.
ICST-2013-GraslandBGP #approach #functional #safety #testing: A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information (YG, LdB, RG, IP), pp. 104–113.
ISSTA-2013-HowarGR #analysis #generative #interface #learning: Hybrid learning: interface generation through static, dynamic, and symbolic analysis (FH, DG, ZR), pp. 268–279.
VMCAI-2013-PrabhakarDMV: Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems (PP, PSD, SM, MV), pp. 48–67.
JCDL-2012-ParkEF #approach #canonical #independence #representation: A hybrid two-stage approach for discipline-independent canonical representation extraction from references (SHP, RWE, EAF), pp. 285–294.
VLDB-2012-FunkeKN #database #transaction: Compacting Transactional Data in Hybrid OLTP & OLAP Databases (FF, AK, TN), pp. 1424–1435.
VLDB-2012-LuoLMCZ #data transformation #named: hStorage-DB: Heterogeneity-aware Data Management to Exploit the Full Capability of Hybrid Storage Systems (TL, RL, MPM, FC, XZ), pp. 1076–1087.
VLDB-2012-WangHLWZS #cpu #gpu #image: Accelerating Pathology Image Data Cross-Comparison on CPU-GPU Hybrid Systems (KW, YH, RL, FW, XZ, JHS), pp. 1543–1554.
FM-2012-JohnsonGMDE #case study #verification: Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems (TTJ, JG, SM, RD, RSE), pp. 252–266.
FM-2012-ZhaoZKL #approach #case study #industrial: A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example (HZ, NZ, DK, KGL), pp. 471–485.
FLOPS-2012-RoseVS #data flow #programming language #query: A Data Flow Language for Hybrid Query and Programming Languages (KHR, LV, NS), pp. 228–242.
FDG-2012-MathiasW #evaluation #framework #multi #network #peer-to-peer: Network bandwidth evaluation of a hybrid peer-to-peer massively multiplayer framework (JDM, DW), pp. 65–72.
CHI-2012-MorrisonMRSC #approach #mobile: A hybrid mass participation approach to mobile software trials (AM, DM, SR, SS, MC), pp. 1311–1320.
ICEIS-J-2012-KaragiannisS #approach #design #modelling: An Engineering Approach for the Design of Hybrid Modelling Methods (DK, MS), pp. 3–17.
ICEIS-v1-2012-DomagalaWLS #energy: A Hybrid Solver for Maximizing the Profit of an Energy Company (LD, TW, WL, MS), pp. 278–283.
ICEIS-v1-2012-Karagiannis #modelling: Hybrid Modeling (DK).
ICEIS-v3-2012-XavierN #approach #evaluation #information management: A Hybrid Evaluation Approach for the Emotional State of Information Systems Users (RACX, VPdAN), pp. 45–53.
CIKM-2012-SakrEH #graph #named #query #scalability: G-SPARQL: a hybrid engine for querying large attributed graphs (SS, SE, YH), pp. 335–344.
CIKM-2012-SunWGM #learning #rank #recommendation: Learning to rank for hybrid recommendation (JS, SW, BJG, JM), pp. 2239–2242.
CIKM-2012-XieFTCMLL #approach #performance: A hybrid approach for efficient provenance storage (YX, DF, ZT, LC, KKMR, YL, DDEL), pp. 1752–1756.
ICML-2012-AzimiJF #optimisation: Hybrid Batch Bayesian Optimization (JA, AJ, XZF), p. 45.
ICML-2012-Laue #algorithm #optimisation: A Hybrid Algorithm for Convex Semidefinite Optimization (SL), p. 142.
ICML-2012-McDowellA #classification: Semi-Supervised Collective Classification via Hybrid Label Regularization (LM, DWA), p. 162.
ICPR-2012-ClausnerAP #approach #documentation #robust #segmentation: A robust hybrid approach for text line segmentation in historical documents (CC, AA, SP), pp. 335–338.
ICPR-2012-JetleyBKN #documentation #image #segmentation: Two-stage hybrid binarization around fringe map based text line segmentation for document images (SJ, SB, VKK, AN), pp. 343–346.
ICPR-2012-RiechertZMK #estimation #realtime #recursion #using: Real-time disparity estimation using line-wise hybrid recursive matching and cross-bilateral median up-sampling (CR, FZ, MM, PK), pp. 3168–3171.
KDD-2012-WuWCT #detection #named #recommendation: HySAD: a semi-supervised hybrid shilling attack detector for trustworthy product recommendation (ZW, JW, JC, DT), pp. 985–993.
KDIR-2012-LemnaruTCP #case study #classification #detection #network #problem: A Hybrid Solution for Imbalanced Classification Problems — Case Study on Network Intrusion Detection (CL, ATV, AC, RP), pp. 348–352.
KR-2012-Fink: Paraconsistent Hybrid Theories (MF).
MLDM-2012-Ba-KaraitSS #classification #optimisation #using: EEG Signals Classification Using a Hybrid Method Based on Negative Selection and Particle Swarm Optimization (NOSBK, SMS, RS), pp. 427–438.
MLDM-2012-SinghCS #approach #performance #recognition #using: A Hybrid Approach to Increase the Performance of Protein Folding Recognition Using Support Vector Machines (LS, GC, DS), pp. 660–668.
RecSys-2012-BostandjievOH #interactive #named #recommendation #visual notation: TasteWeights: a visual interactive hybrid recommender system (SB, JO, TH), pp. 35–42.
SIGIR-2012-YeHM #ad hoc #information retrieval: A hybrid model for ad-hoc information retrieval (ZY, JXH, JM), pp. 1025–1026.
PEPM-2012-Xu #contract: Hybrid contract checking via symbolic simplification (DNX), pp. 107–116.
PLDI-2012-HackettG #javascript #performance #precise #type inference: Fast and precise hybrid type inference for JavaScript (BH, SyG), pp. 239–250.
PLDI-2012-LeeCFN #named #program analysis: Chimera: hybrid program analysis for determinism (DL, PMC, JF, SN), pp. 463–474.
QAPL-2012-BortolussiGH #modelling #network #performance: Hybrid performance modelling of opportunistic networks (LB, VG, JH), pp. 106–121.
FSE-2012-WangZXXM #analysis #automation #collaboration #web: Automating presentation changes in dynamic web applications via collaborative hybrid analysis (XW, LZ, TX, YX, HM), p. 16.
SAC-2012-KimPJSCH #garbage collection #named #performance: AAGC: an efficient associativity-aware garbage collection scheme for hybrid FTLs (BK, MP, CJ, COS, YC, JH), pp. 1785–1790.
SAC-2012-ParkSSP #algorithm #in memory #memory management: PRAM wear-leveling algorithm for hybrid main memory based on data buffering, swapping, and shifting (SKP, HS, DJS, KHP), pp. 1643–1644.
CASE-2012-CaiL #algorithm #multi #problem #scheduling #search-based: A hybrid genetic algorithm for resource-constrained multi-project scheduling problem with resource transfer time (ZC, XL), pp. 569–574.
CASE-2012-LiuSJT #automation #mobile: A Floyd-Dijkstra hybrid application for mobile robot path planning in life science automation (HL, NS, SJ, KT), pp. 279–284.
CASE-2012-ParkM #behaviour #bound #clustering #linear #performance #tool support: Performance bounds for hybrid flow lines: Fundamental behavior, practical features and application to linear cluster tools (KP, JRM), pp. 371–376.
DAC-2012-BathenD #distributed #named: HaVOC: a hybrid memory-aware virtualization layer for on-chip distributed ScratchPad and non-volatile memories (LADB, ND), pp. 447–452.
DAC-2012-DonkohLS #adaptation #design #predict #using: A hybrid and adaptive model for predicting register file and SRAM power using a reference design (ED, AL, ES), pp. 62–67.
DAC-2012-KimLCKWYL #cpu #gpu #in memory #memory management: Hybrid DRAM/PRAM-based main memory for single-chip CPU/GPU (DK, SL, JC, DK, DHW, SY, SL), pp. 888–896.
DAC-2012-KimPCXWP #architecture #energy: Networked architecture for hybrid electrical energy storage systems (YK, SP, NC, QX, YW, MP), pp. 522–528.
DAC-2012-KumarGCALT #approach #cyber-physical #verification: A hybrid approach to cyber-physical systems verification (PK, DG, SC, AA, KL, LT), pp. 688–696.
DAC-2012-MurilloEJYLA #simulation: Synchronization for hybrid MPSoC full-system simulation (LGM, JFE, JJ, SY, RL, GA), pp. 121–126.
DAC-2012-ZhaoJDZKI #design #multi #optimisation: A hybrid NoC design for cache coherence optimization for chip multiprocessors (HZ, OJ, WD, YZ, MTK, MJI), pp. 834–842.
DATE-2012-CampagnaV #architecture #detection #fault #validation: An hybrid architecture to detect transient faults in microprocessors: An experimental validation (SC, MV), pp. 1433–1438.
DATE-2012-ChenCHLLPR #configuration management #design #energy: Dynamically reconfigurable hybrid cache: An energy-efficient last-level cache design (YTC, JC, HH, BL, CL, MP, GR), pp. 45–50.
DATE-2012-JovicYMELA #simulation: Hybrid simulation for extensible processor cores (JJ, SY, LGM, JFE, RL, GA), pp. 288–291.
DATE-2012-MasrurGCCAB #analysis #communication #cyber-physical #protocol: Timing analysis of cyber-physical applications for hybrid communication protocols (AM, DG, SC, JJC, AA, AB), pp. 1233–1238.
DATE-2012-PanagopoulosAR #approach #framework #simulation: A framework for simulating hybrid MTJ/CMOS circuits: Atoms to system approach (GP, CA, KR), pp. 1443–1446.
DATE-2012-PiscitelliP #analysis #design: Design space pruning through hybrid analysis in system-level design space exploration (RP, ADP), pp. 781–786.
DATE-2012-SabryAC #approach #embedded #fault: A hybrid HW-SW approach for intermittent error mitigation in streaming-based embedded systems (MMS, DA, FC), pp. 1110–1113.
DATE-2012-StattelmannGCBR #modelling #simulation #using: Hybrid source-level simulation of data caches using abstract cache models (SS, GG, CC, OB, WR), pp. 376–381.
DATE-2012-WangXPKCP #energy #migration #multi: Multiple-source and multiple-destination charge migration in hybrid electrical energy storage systems (YW, QX, MP, YK, NC, MP), pp. 169–174.
DATE-2012-XieLWPSC #energy #health: State of health aware charge management in hybrid electrical energy storage systems (QX, XL, YW, MP, DS, NC), pp. 1060–1065.
HPCA-2012-YanLHLGL #architecture #manycore #named #performance: AgileRegulator: A hybrid voltage regulator scheme redeeming dark silicon for power efficiency in a multicore architecture (GY, YL, YH, XL, MG, XL), pp. 287–298.
HPDC-2012-NicolaeC #migration: A hybrid local storage transfer scheme for live migration of I/O intensive workloads (BN, FC), pp. 85–96.
HPDC-2012-SchendelPJBBGLLKCKRS #optimisation #parallel #scalability: ISOBAR hybrid compression-I/O interleaving for large-scale parallel I/O optimization (ERS, SVP, JJ, DABI, ZG, SL, QL, HK, JC, SK, RBR, NFS), pp. 61–72.
LCTES-2012-LiZXH #embedded: Compiler-assisted preferred caching for embedded systems with STT-RAM based hybrid cache (QL, MZ, CJX, YH), pp. 109–118.
PDP-2012-SpigaG #cpu #gpu #library #migration #named #quantum: phiGEMM: A CPU-GPU Library for Porting Quantum ESPRESSO on Hybrid Systems (FS, IG), pp. 368–375.
PDP-2012-WangSYR #approach #performance: A More Efficient Hybrid Approach for Single-Packet IP Traceback (YW, SS, YY, JR), pp. 275–282.
PPoPP-2012-KwonJEM #approach #clustering: A hybrid approach of OpenMP for clusters (OK, FJ, RE, SPM), pp. 75–84.
CAV-2012-HasuoS #standard #static analysis: Exercises in Nonstandard Static Analysis of Hybrid Systems (IH, KS), pp. 462–478.
ICTSS-2012-DangS #estimation #testing: State Estimation and Property-Guided Exploration for Hybrid Systems Testing (TD, NS), pp. 152–167.
IJCAR-2012-QueselP #game studies: Playing Hybrid Games with KeYmaera (JDQ, AP), pp. 439–453.
LICS-2012-Platzer12a #proving: The Complete Proof Theory of Hybrid Systems (AP), pp. 541–550.
WICSA-2011-TsakirisKM #case study #evaluation #industrial #plugin #quality #using: Evaluation of the Use of Quality Attribute Scenarios in a Plug-In Hybrid Electric Vehicle Controls System — Industrial Case Study (AT, JK, RM), pp. 66–72.
DRR-2011-YouADRGT #automation #documentation #identification #image #retrieval #towards: Automatic identification of ROI in figure images toward improving hybrid (text and image) biomedical document retrieval (DY, SA, DDF, MMR, VG, GRT), pp. 1–10.
ICDAR-2011-KluznerTCW #adaptation #approach: Hybrid Approach to Adaptive OCR for Historical Books (VK, AT, DC, EW), pp. 900–904.
SIGMOD-2011-WangFGHW #declarative #information management: Hybrid in-database inference for declarative information extraction (DZW, MJF, MNG, JMH, MLW), pp. 517–528.
TPDL-2011-VeronikisTP #mobile #usability: Assessing Use Intention and Usability of Mobile Devices in a Hybrid Environment (SV, GT, CP), pp. 77–88.
VLDB-2011-GrundCM #in memory #memory management: A Demonstration of HYRISE — A Main Memory Hybrid Storage Engine (MG, PCM, SM), pp. 1434–1437.
ICPC-2011-KeivanlooRC #approach #clone detection #named #realtime: SeClone — A Hybrid Approach to Internet-Scale Real-Time Code Clone Search (IK, JR, PC), pp. 223–224.
ICALP-v2-2011-BrihayeDGORW #automaton #bound #on the #reachability: On Reachability for Hybrid Automata over Bounded Time (TB, LD, GG, JO, JFR, JW), pp. 416–427.
ICALP-v2-2011-FischerK #calculus #linear #model checking #μ-calculus: Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems (DF, LK), pp. 404–415.
ICALP-v2-2011-SuenagaH #modelling #programming: Programming with Infinitesimals: A While-Language for Hybrid System Modeling (KS, IH), pp. 392–403.
FM-2011-LoosPN #adaptation #distributed: Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified (SML, AP, LN), pp. 42–56.
SEFM-2011-EggersRNF #analysis #satisfiability: Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods (AE, NR, NSN, MF), pp. 172–187.
SEFM-2011-FadlisyahOA #analysis #formal method #modelling #object-oriented: Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude (MF, PCÖ, EÁ), pp. 415–430.
SEFM-2011-MadeiraFMB #approach #specification: Hybrid Specification of Reactive Systems: An Institutional Approach (AM, JMF, MAM, LSB), pp. 269–285.
VS-Games-2011-KravtsovFAPC #animation #approach #game studies #interactive: A New Hybrid Approach to the Animation of Complex Character Interactions in Games (DK, OF, VA, AAP, PC), pp. 8–15.
CHI-2011-JetterGZRM #collaboration #query: Materializing the query with facet-streams: a hybrid surface for collaborative search on tabletops (HCJ, JG, MZ, HR, NMF), pp. 3013–3022.
CSCW-2011-ZhaoLLG #approach #game studies #internet #realtime #video: Back to the future: a hybrid approach to transparent sharing of video games over the internet in real time (SZ, DL, TL, NG), pp. 187–196.
HCI-ITE-2011-EdlingerHG #human-computer #interface #smarttech: A Hybrid Brain-Computer Interface for Smart Home Control (GE, CH, CG), pp. 417–426.
HCI-MIIE-2011-CarrinoMKI #approach #interactive #named #towards: ARAMIS: Toward a Hybrid Approach for Human- Environment Interaction (SC, EM, OAK, RI), pp. 165–174.
HCI-MIIE-2011-YuC #interactive: Reacting with Care: The Hybrid Interaction Types in a Sensible Space (GJY, TWC), pp. 250–258.
HIMI-v2-2011-GonzalezGGS #tool support #towards: Towards Argument Representational Tools for Hybrid Argumentation Systems (MPG, SG, AJG, GRS), pp. 236–245.
HIMI-v2-2011-PohlML #learning #standard: Transforming a Standard Lecture into a Hybrid Learning Scenario (HMP, JTM, JL), pp. 55–61.
EDOC-2011-SapkotaAIS #composition #information management #web #web service: A Simple Solution for Information Sharing in Hybrid Web Service Composition (BS, CHA, MEI, MvS), pp. 235–244.
ICEIS-v1-2011-SchrodlGLT #assessment #framework #network #risk management: Risk Management in Supply Networks for Hybrid Value Bundles — A Risk Assessment Framework (HS, MG, LL, KT), pp. 157–162.
ICEIS-v3-2011-LuLC: An Advanced Hybrid P2P Botnet 2.0 (TTL, HYL, MFC), pp. 273–276.
CIKM-2011-AmodeoBB #modelling #predict: Hybrid models for future event prediction (GA, RB, UB), pp. 1981–1984.
CIKM-2011-ChenCC #framework #network #query: Coupling or decoupling for KNN search on road networks?: a hybrid framework on user query patterns (YJC, KTC, MSC), pp. 795–804.
CIKM-2011-GhionnaGS #named #sql: H-DB: a hybrid quantitative-structural sql optimizer (LG, GG, FS), pp. 2573–2576.
CIKM-2011-SeguelaS #recommendation: A semi-supervised hybrid system to enhance the recommendation of channels in terms of campaign roi (JS, GS), pp. 2265–2268.
ECIR-2011-AltingovdeOCU #approach: Second Chance: A Hybrid Approach for Dynamic Result Caching in Search Engines (ISA, RO, BBC, ÖU), pp. 510–516.
KDIR-2011-DoquireV #approach #category theory #feature model: An Hybrid Approach to Feature Selection for Mixed Categorical and Continuous Data (GD, MV), pp. 394–401.
KEOD-2011-FrikhDO #ontology #web: A Hybrid Method for Domain Ontology Construction from the Web (BF, ASD, BO), pp. 285–292.
MLDM-2011-LiTM #classification #named #performance: ACE-Cost: Acquisition Cost Efficient Classifier by Hybrid Decision Tree with Local SVM Leaves (LL, UT, NDM), pp. 60–74.
SIGIR-2011-BelloginCC #analysis #network #recommendation #self #social: Self-adjusting hybrid recommenders based on social network analysis (AB, PC, IC), pp. 1147–1148.
SIGIR-2011-BroschartS #novel #performance #retrieval: A novel hybrid index structure for efficient text retrieval (AB, RS), pp. 1175–1176.
OOPSLA-2011-ShaliC #partial evaluation: Hybrid partial evaluation (AS, WRC), pp. 375–390.
QAPL-2011-AssouramouD #analysis #probability: Analysis of Non-Linear Probabilistic Hybrid Systems (JA, JD), pp. 104–119.
ICSE-2011-Zhang #automation #generative #java #named #testing: Palus: a hybrid automated test generation tool for java (SZ), pp. 1182–1184.
SAC-2011-AlencarRB #composition #evaluation #human-computer: Composition of HCI evaluation methods for hybrid virtual environments (MFCA, ABR, SDJB), pp. 1237–1244.
SAC-2011-KienHB #algorithm #communication #problem #search-based: New hybrid genetic algorithm for solving optimal communication spanning tree problem (PTK, NDH, HTTB), pp. 1076–1081.
SAC-2011-NakajimaLYZGXYDQCG #optimisation #using #virtual machine: Optimizing virtual machines using hybrid virtualization (JN, QL, SY, MZ, SG, MX, PY, YD, ZQ, KC, HG), pp. 573–578.
SAC-2011-SeokPP #algorithm #in memory #memory management #migration: Migration based page caching algorithm for a hybrid main memory of DRAM and PRAM (HS, YP, KHP), pp. 595–599.
ASPLOS-2011-DalessandroCWLMSS #case study #effectiveness #hardware #memory management #transaction: Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory (LD, FC, SW, YL, MM, MLS, MFS), pp. 39–52.
CASE-2011-DotoliFI #first-order #petri net: A freeway traffic control model by first order hybrid Petri nets (MD, MPF, GI), pp. 425–431.
CASE-2011-GhomriA #petri net #using: Continuous flow systems and control methodology using Hybrid Petri nets (LG, HA), pp. 419–424.
CASE-2011-HejriG #modelling: Hybrid modeling and control of switching DC-DC converters via MLD systems (MH, AG), pp. 714–719.
CASE-2011-ParkCH #design: Design and control for hybrid magnetic thrust bearing for turbo refrigerant compressor (CHP, SKC, SYH), pp. 792–797.
DAC-2011-DyerMK #modelling #process: Hybrid modeling of non-stationary process variations (ELD, MM, FK), pp. 194–199.
DAC-2011-LiuZXL #clustering #in memory #memory management #power management: Power-aware variable partitioning for DSPs with hybrid PRAM and DRAM main memory (TL, YZ, CJX, ML), pp. 405–410.
DAC-2011-ParkYL #in memory #memory management #power management: Power management of hybrid DRAM/PRAM-based main memory (HP, SY, SL), pp. 59–64.
DAC-2011-SaripalliMDN #energy: An energy-efficient heterogeneous CMP based on hybrid TFET-CMOS cores (VS, AKM, SD, VN), pp. 729–734.
DATE-2011-BehrendLHRKR #embedded #scalability #verification: Scalable hybrid verification for embedded software (JB, DL, PH, JR, TK, WR), pp. 179–184.
DATE-2011-ChangMFWHYN #architecture #hardware #optimisation: Optimization of stateful hardware acceleration in hybrid architectures (XC, YM, HF, KW, RH, HY, TN), pp. 567–570.
DATE-2011-GoswamiSC #communication #cyber-physical #protocol #re-engineering: Re-engineering cyber-physical control applications for hybrid communication protocols (DG, RS, SC), pp. 914–919.
DATE-2011-HaronH #fault tolerance #low cost: Cost-efficient fault-tolerant decoder for hybrid nanoelectronic memories (NZH, SH), pp. 265–268.
DATE-2011-HuXZTS #energy #memory management #performance #towards: Towards energy efficient hybrid on-chip Scratch Pad Memory with non-volatile memory (JH, CJX, QZ, WCT, EHMS), pp. 746–751.
DATE-2011-MirhoseiniK #energy #optimisation #performance: HypoEnergy. Hybrid supercapacitor-battery power-supply optimization for Energy efficiency (AM, FK), pp. 887–890.
DATE-2011-ShinKSCWP: Battery-supercapacitor hybrid system for high-rate pulsed load applications (DS, YK, JS, NC, YW, MP), pp. 875–878.
LCTES-2011-BenvenisteBCP #compilation: Divide and recycle: types and compilation for a hybrid synchronous language (AB, TB, BC, MP), pp. 61–70.
PDP-2011-SharifiK #3d #automation #feedback #multi: Automatic Feedback Control of Shared Hybrid Caches in 3D Chip Multiprocessors (AS, MTK), pp. 393–400.
PDP-2011-ZengTL #algorithm #memory management #transaction: Parallization of Adaboost Algorithm through Hybrid MPI/OpenMP and Transactional Memory (KZ, YT, FL), pp. 94–100.
TACAS-2011-AnnpureddyLFS #logic #named: S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (YA, CL, GEF, SS), pp. 254–257.
CADE-2011-KlinovP #probability #satisfiability: A Hybrid Method for Probabilistic Satisfiability (PK, BP), pp. 354–368.
CADE-2011-Platzer #difference #logic #probability #source code: Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (AP), pp. 446–460.
CAV-2011-CimattiMT #automaton #performance #verification: Efficient Scenario Verification for Hybrid Automata (AC, SM, ST), pp. 317–332.
CAV-2011-FrehseGDCRLRGDM #named #scalability #verification: SpaceEx: Scalable Verification of Hybrid Systems (GF, CLG, AD, SC, RR, OL, RR, AG, TD, OM), pp. 379–395.
CAV-2011-Platzer #composition #logic #verification: Logic and Compositional Verification of Hybrid Systems — (AP), pp. 28–43.
CAV-2011-SankaranarayananT #abstraction #relational: Relational Abstractions for Continuous and Hybrid Systems (SS, AT), pp. 686–702.
ICLP-2011-Bottalico #consistency #simulation: Consistency Techniques for Hybrid Simulations (MB), pp. 255–260.
ICLP-2011-BrikR: Hybrid ASP (AB, JBR), pp. 40–50.
ICLP-J-2011-SlotaLS #knowledge base: Splitting and updating hybrid knowledge bases (MS, JL, TS), pp. 801–819.
ICST-2011-Bhattacharya #verification: SoftwareHardware Hybrid Systems Verification (NB), pp. 435–438.
QoSA-2010-MartensAKMR #approach #component #multi #optimisation: A Hybrid Approach for Multi-attribute QoS Optimisation in Component Based Software Systems (AM, DA, HK, RM, RHR), pp. 84–101.
DocEng-2010-CahierMZ #documentation #modelling #semantics #web: Document and item-based modeling: a hybrid method for a socio-semantic web (JPC, XM, LZ), pp. 243–246.
DRR-2010-AwalMV #classification #recognition: A hybrid classifier for handwritten mathematical expression recognition (AMA, HM, CVG), pp. 1–10.
HT-2010-ZhangQHJWHHJ #approach #collaboration #identification #web: Collaborative identification and annotation of government deep web resources: a hybrid approach (PZ, YQ, CH, PTJ, JW, WSH, JEH, XJ), pp. 285–286.
JCDL-2010-YeZWDWZ #approach: In-depth utilization of Chinese ancient maps: a hybrid approach to digitizing map resources in CADAL (ZY, LZ, JW, CD, BW, YZ), pp. 263–272.
VLDB-2011-GrundKPZCM10 #in memory #memory management #named: HYRISE — A Main Memory Hybrid Storage Engine (MG, JK, HP, AZ, PCM, SM), pp. 105–116.
CSMR-2010-MaiaBFG #impact analysis #object-oriented: The Hybrid Technique for Object-Oriented Software Change Impact Analysis (MCOM, RAB, JCAdF, DDSG), pp. 252–255.
DLT-2010-CarpiD #on the #problem: On the Hybrid Cerný-Road Coloring Problem and Hamiltonian Paths (AC, FD), pp. 124–135.
IFM-2010-FranzleTE #probability #smt: Satisfaction Meets Expectations — Computing Expected Values of Probabilistic Hybrid Systems with SMT (MF, TT, AE), pp. 168–182.
CHI-2010-CaoVI #performance: Comparing user performance with single-finger, whole-hand, and hybrid pointing devices (XC, NV, SI), pp. 1643–1646.
CHI-2010-LiaoLLW #fine-grained #gesture #interactive #named: Pacer: fine-grained interactive paper via camera-touch hybrid gestures on a cell phone (CL, QL, BL, LW), pp. 2441–2450.
EDOC-2010-NarmanBKJ #analysis #modelling #probability #quality #relational: Hybrid Probabilistic Relational Models for System Quality Analysis (PN, MB, JK, PJ), pp. 57–66.
CIKM-2010-GemmellSMB #recommendation #social: Hybrid tag recommendation for social annotation systems (JG, TS, BM, RDB), pp. 829–838.
CIKM-2010-KaliciakSWP #image #novel #retrieval: Novel local features with hybrid sampling technique for image retrieval (LK, DS, NW, JP), pp. 1557–1560.
CIKM-2010-PavlovGB #named #scalability: BagBoo: a scalable hybrid bagging-the-boosting model (DYP, AG, CAB), pp. 1897–1900.
ICPR-2010-BastanlarTYS #effectiveness: Effective Structure-from-Motion for Hybrid Camera Systems (YB, AT, YY, PFS), pp. 1654–1657.
ICPR-2010-ChenWJ #robust: Robust Frame-to-Frame Hybrid Matching (LC, ZW, YJ), pp. 1019–1022.
ICPR-2010-ChoPPKKALL #segmentation #using: Level-Set Segmentation of Brain Tumors Using a New Hybrid Speed Function (WC, JP, SYP, SHK, SWK, GA, MEL, GL), pp. 1545–1548.
ICPR-2010-KimYJS #estimation #robust #visual notation: Receding Horizon Estimation for Hybrid Particle Filters and Application for Robust Visual Tracking (DYK, EY, MJ, VS), pp. 3508–3512.
ICPR-2010-LiuZYL #image #performance: A Fast Image Inpainting Method Based on Hybrid Similarity-Distance (JL, SZ, WY, HL), pp. 4432–4435.
ICPR-2010-SakarK #analysis #canonical #correlation #feature model: A Hybrid Method for Feature Selection Based on Mutual Information and Canonical Correlation Analysis (COS, OK), pp. 4360–4363.
KEOD-2010-NirenburgMBC #elicitation: Hybrid Methods of Knowledge Elicitation within a Unified Representational Knowledge Scheme (SN, MM, SB, RC), pp. 177–182.
RecSys-2010-MarxHM #algorithm #comprehension #recommendation: Increasing consumers’ understanding of recommender results: a preference-based hybrid algorithm with strong explanatory power (PM, THT, AM), pp. 297–300.
RecSys-2010-Said #identification #recommendation: Identifying and utilizing contextual data in hybrid recommender systems (AS), pp. 365–368.
SPLC-2010-ZhangJ #approach #feature model #programming: A Hybrid Approach to Feature-Oriented Programming in XVCL (HZ, SJ), pp. 440–445.
LOPSTR-2010-Vidal #approach #logic programming #partial evaluation #source code: A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs (GV), pp. 200–214.
PADL-2010-GomesAS #implementation #knowledge base #query: Implementing Query Answering for Hybrid MKNF Knowledge Bases (ASG, JJA, TS), pp. 25–39.
SAS-2010-MatringeMR #algebra #generative #invariant #linear: Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods (NM, AVM, RR), pp. 373–389.
ICSE-2010-Bodden #analysis #performance #type system: Efficient hybrid typestate analysis by determining continuation-equivalent states (EB), pp. 5–14.
ICSE-2010-WuGAK #approach #evolution #framework #identification #named: AURA: a hybrid approach to identify framework evolution (WW, YGG, GA, MK), pp. 325–334.
SAC-2010-AraujoOS #quantum: Hybrid evolutionary quantum inspired method to adjust time phase distortions in financial time series (RdAA, ALIdO, SCBS), pp. 1153–1154.
SAC-2010-DuraoD #personalisation #recommendation: Extending a hybrid tag-based recommender system with personalization (FAD, PD), pp. 1723–1727.
SAC-2010-KaoLW #approach #novel: Expert finding in question-answering websites: a novel hybrid approach (WCK, DRL, SWW), pp. 867–871.
SAC-2010-KimKPT #framework #platform #realtime #scheduling: Integrating real-time hybrid task scheduling into a sensor node platform (TK, BK, EKP, ST), pp. 737–741.
SAC-2010-LeePKKS #network #policy #retrieval: A hybrid prefetch policy for the retrieval of link-associated information on vehicular networks (JL, GLP, SWK, HJK, SYS), pp. 189–193.
SAC-2010-SchutzC #approach #fault tolerance #multi #network #optimisation: A multi-objective optimization approach for fault-tolerance provisioning in multi-radio hybrid wireless-optical broadband access networks (GS, NSCC), pp. 635–640.
SAC-2010-SillaKK #automation #classification #music: Improving automatic music genre classification with hybrid content-based feature vectors (CNSJ, ALK, CAAK), pp. 1702–1707.
CASE-2010-CaiM #analysis #approach #industrial #process: Dwell-time approach to stability analysis for hybrid control systems: Application to an industrial refrigeration process (CC, SM), pp. 728–733.
CASE-2010-ChangJZ #assembly: Hybrid micro assembly of microchips on segmented patterns (BC, MJ, QZ), pp. 15–20.
CASE-2010-GuerreroLBX #state of the art: Hybrid/electric vehicle battery manufacturing: The state-of-the-art (CPAG, JL, SB, GX), pp. 281–286.
CASE-2010-IslamL #distributed: A distributed hybrid sliding mode control system for a class of nonlinear mechanical systems (SI, PXL), pp. 356–361.
CASE-2010-JingL #assembly #scheduling: A MILP-based batch scheduling for two-stage hybrid flowshop with sequence-dependent setups in semiconductor assembly and test manufacturing (XJ, ZL), pp. 87–92.
CASE-2010-Julius #design: Trajectory-based controller design for hybrid systems with affine continuous dynamics (AAJ), pp. 1007–1012.
CASE-2010-WangKF #approach #assembly #layout: A hybrid approach for dynamic assembly shop floor layout (LW, SK, HYF), pp. 604–609.
CASE-2010-WangL #3d: Hybrid impedance control of a 3-DOF robotic arm used for rehabilitation treatment (JW, YL), pp. 768–773.
CGO-2010-JungMO #compilation #framework #java #optimisation #platform: Hybrid Java compilation and optimization for digital TV software platform (DHJ, SMM, HSO), pp. 73–81.
DAC-2010-Koushanfar #network #power management: Hierarchical hybrid power supply networks (FK), pp. 629–630.
DATE-2010-BuLWCL #bound #composition #linear #reachability: BACH 2 : Bounded reachability checker for compositional linear hybrid systems (LB, YL, LW, XC, XL), pp. 1512–1517.
DATE-2010-StrukovM: Monolithically stackable hybrid FPGA (DBS, AM), pp. 661–666.
DATE-2010-TotaCRRZ #architecture #message passing #multi #named: MEDEA: a hybrid shared-memory/message-passing multiprocessor NoC-based architecture (ST, MRC, MRR, LR, MZ), pp. 45–50.
HPCA-2010-SunJCNXCL #architecture #energy #performance: A Hybrid solid-state storage architecture for the performance, energy consumption, and lifetime improvement (GS, YJ, YC, DN, YX, YC, HL), pp. 1–12.
HPDC-2010-KimKJP #adaptation #framework: Exploring application and infrastructure adaptation on hybrid grid-cloud infrastructure (HK, YEK, SJ, MP), pp. 402–412.
HPDC-2010-KrampeLS #markov #parallel: A hybrid Markov chain model for workload on parallel computers (AK, JL, WS), pp. 589–596.
PDP-2010-RibeiroA #architecture #named #persistent: DataCube: A P2P Persistent Data Storage Architecture Based on Hybrid Redundancy Schema (HBR, EA), pp. 302–306.
PDP-2010-VilardellGR #scalability: A Scalable Hybrid P2P System for MMOFPS (IBV, FG, CR), pp. 341–347.
PPoPP-2010-MarjanovicLAV #communication #effectiveness: Effective communication and computation overlap with hybrid MPI/SMPSs (VM, JL, EA, MV), pp. 337–338.
CAV-2010-Donze #parametricity #synthesis #verification: Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems (AD), pp. 167–170.
CAV-2010-MariMST #feedback #linear #synthesis: Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems (FM, IM, IS, ET), pp. 180–195.
CAV-2010-ZhangSRHH #probability #safety #verification: Safety Verification for Probabilistic Hybrid Systems (LZ, ZS, SR, HH, EMH), pp. 196–211.
CSL-2010-Platzer #difference #distributed #logic #quantifier: Quantified Differential Dynamic Logic for Distributed Hybrid Systems (AP), pp. 469–483.
IJCAR-2010-KaminskiS #logic: Terminating Tableaux for Hybrid Logic with Eventualities (MK, GS), pp. 240–254.
IJCAR-2010-MayerC #logic #proving: Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic (MCM, SC), pp. 255–262.
VMCAI-2010-BuZL #automaton #programming #reachability #using #verification: Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming (LB, JZ, XL), pp. 78–94.
DocEng-2009-KuttyNL #approach #clustering #documentation #named #performance #xml: HCX: an efficient hybrid clustering approach for XML documents (SK, RN, YL), pp. 94–97.
ECDL-2009-NakasholeS #architecture #distributed: A Hybrid Distributed Architecture for Indexing (NN, HS), pp. 250–260.
ICDAR-2009-Smith #analysis #detection #layout: Hybrid Page Layout Analysis via Tab-Stop Detection (RWS), pp. 241–245.
VLDB-2009-AbouzeidBARS #architecture #named #pipes and filters: HadoopDB: An Architectural Hybrid of MapReduce and DBMS Technologies for Analytical Workloads (AA, KBP, DJA, AR, AS), pp. 922–933.
ITiCSE-2009-ErnstSW #data type #evolution: Hybrid and custom data structures: evolution of the data structures course (DJE, DES, PJW), pp. 213–217.
ICSM-2009-DongG #comprehension #using: Understanding source package organization using the hybrid model (XD, MWG), pp. 575–578.
DiGRA-2009-Maietti #facebook: The hybrid identity of player characters: between Facebook and the Sacred book [Abstract] (MM).
CHI-2009-KolevaESGGRD #case study #experience: Supporting the creation of hybrid museum experiences (BK, SRE, HS, KG, CG, TR, MDR), pp. 1973–1982.
HCI-AUII-2009-SuedaIMR #communication #physics: Communication Grill/Salon: Hybrid Physical/Digital Artifacts for Stimulating Spontaneous Real World Communication (KS, KI, TM, JR), pp. 526–535.
ICEIS-AIDSS-2009-Jou #algorithm #mining: A Projection-based Hybrid Sequential Patterns Mining Algorithm (CJ), pp. 152–157.
ICEIS-AIDSS-2009-ZanchettinL #design #network #optimisation: Hybrid Optimization Technique for Artificial Neural Networks Design (CZ, TBL), pp. 242–247.
ICEIS-J-2009-ChenPZQ #case study: A Study of Indexing Strategies for Hybrid Data Spaces (CC, SP, QZ, GQ), pp. 149–159.
ICEIS-J-2009-MohebiS #ambiguity #analysis #clustering #detection #network #using: An Optimized Hybrid Kohonen Neural Network for Ambiguity Detection in Cluster Analysis Using Simulated Annealing (EM, MNMS), pp. 389–401.
CIKM-2009-GobelHNB: A hybrid index structure for geo-textual searches (RG, AH, RN, DB), pp. 1625–1628.
KDD-2009-FrenoTG #estimation #pseudo #random #scalability: Scalable pseudo-likelihood estimation in hybrid random fields (AF, ET, MG), pp. 319–328.
KEOD-2009-CardilloTS #information management: A Hybrid Methodology for Consumer-oriented Healthcare Knowledge Acquisition (EC, AT, LS), pp. 64–71.
KEOD-2009-GrozaH #approach #metadata #towards: A Hybrid Approach Towards Information Expansion based on Shallow and Deep Metadata (TG, SH), pp. 109–116.
RecSys-2009-GunawardanaM #approach #recommendation: A unified approach to building hybrid recommender systems (AG, CM), pp. 117–124.
SEKE-2009-LinWK #algorithm #feature model #novel: A Novel Hybrid Search Algorithm for Feature Selection (PL, HW, TMK), pp. 81–86.
ECMDA-FA-2009-CharfiSS #editing #uml #visual notation: A Hybrid Graphical and Textual Notation and Editor for UML Actions (AC, AS, AS), pp. 237–252.
PPDP-2009-FeltyM #reasoning: Reasoning with hypothetical judgments and open terms in hybrid (APF, AM), pp. 83–92.
CASE-2009-MitraS #automaton #composition: Hybrid Input Output Automata for composable conveyor systems (SM, SS), p. 29.
DAC-2009-BorgstromHWADCMCN #hardware #prototype #question: System prototypes: virtual, hardware or hybrid? (TB, EH, RW, DA, AD, RC, OM, CC, AN), pp. 1–3.
DAC-2009-ChangMR #architecture #process #video: A voltage-scalable & process variation resilient hybrid SRAM architecture for MPEG-4 video processors (IJC, DM, KR), pp. 670–675.
DAC-2009-DhimanAR #in memory #memory management #named: PDRAM: a hybrid PRAM and DRAM main memory system (GD, RZA, TR), pp. 664–469.
DAC-2009-GlassLTBC #analysis #architecture #design #encoding #network: Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis (MG, ML, JT, UDB, SC), pp. 43–46.
DAC-2009-LiFMSVFPS #named #network: Spectrum: a hybrid nanophotonic-electric on-chip network (ZL, DF, ARM, LS, MV, DF, WP, YS), pp. 575–580.
DATE-2009-ModarressiSA #network: A hybrid packet-circuit switched on-chip network based on SDM (MM, HSA, MA), pp. 566–569.
DATE-2009-WuLZSX #performance: Power and performance of read-write aware Hybrid Caches with non-volatile memories (XW, JL, LZ, ES, YX), pp. 737–742.
DATE-2009-ZhuSJ #architecture #cpu #realtime #scheduling #streaming: Buffer minimization of real-time streaming applications scheduling on hybrid CPU/FPGA architectures (JZ, IS, AJ), pp. 1506–1511.
HPCA-2009-EbrahimiMP #data type #linked data #open data: Techniques for bandwidth-efficient prefetching of linked data structures in hybrid prefetching systems (EE, OM, YNP), pp. 7–17.
PDP-2009-RabenseifnerHJ #clustering #manycore #parallel #programming: Hybrid MPI/OpenMP Parallel Programming on Clusters of Multi-Core SMP Nodes (RR, GH, GJ), pp. 427–436.
FoSSaCS-2009-MyersPS #algebra #logic: Coalgebraic Hybrid Logic (RSRM, DP, LS), pp. 137–151.
TACAS-2009-PlakuKV #ltl #safety: Falsification of LTL Safety Properties in Hybrid Systems (EP, LEK, MYV), pp. 368–382.
CAV-2009-CimattiRT #requirements #validation: Requirements Validation for Hybrid Systems (AC, MR, ST), pp. 188–203.
CAV-2009-GuernicG #analysis #reachability #using: Reachability Analysis of Hybrid Systems Using Support Functions (CLG, AG), pp. 540–554.
MBT-2009-AichernigBW #consistency #modelling #reasoning #testing: Conformance Testing of Hybrid Systems with Qualitative Reasoning Models (BKA, HB, FW), pp. 53–69.
SAT-2009-Chen #reasoning #satisfiability: Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques (JC), pp. 298–311.
TAP-2009-RatschanS #fault #optimisation #quality: Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (SR, JGS), pp. 153–168.
VMCAI-2009-JurdzinskiLR #automaton #game studies: Average-Price-per-Reward Games on Hybrid Automata with Strong Resets (MJ, RL, MR), pp. 167–181.
DRR-2008-KimLT #approach #identification #statistics: Hybrid approach combining contextual and statistical information for identifying MEDLINE citation terms (ICK, DXL, GRT), p. 68150.
PASTE-2008-ZhangLGZ #approach #effectiveness #identification: Effective identification of failure-inducing changes: a hybrid approach (SZ, YL, ZG, JZ), pp. 77–83.
WCRE-2008-GhanbariCA #analysis #aspectj #java #query #source code: A Hybrid Query Engine for the Structural Analysis of Java and AspectJ Programs (HG, CC, VA), pp. 133–137.
ICALP-B-2008-VladimerouPVD: STORMED Hybrid Systems (VV, PP, MV, GED), pp. 136–147.
LATA-2008-AlhazovCMR #network: About Universal Hybrid Networks of Evolutionary Processors of Small Size (AA, ECV, CMV, YR), pp. 28–39.
LATA-2008-PhuongHRV #approach #segmentation #word: A Hybrid Approach to Word Segmentation of Vietnamese Texts (HPL, NTMH, AR, HTV), pp. 240–249.
SEFM-2008-BartheKPS #proving #verification: Preservation of Proof Pbligations for Hybrid Verification Methods (GB, CK, DP, JSF), pp. 127–136.
SFM-2008-BortolussiP #biology: Hybrid Systems and Biology (LB, AP), pp. 424–448.
IFL-2008-GiorgidzeN #functional #haskell #modelling: Embedding a Functional Hybrid Modelling Language in Haskell (GG, HN), pp. 138–155.
CIG-2008-InoueS #classification #game studies #learning #video: Applying GA for reward allotment in an event-driven hybrid learning classifier system for soccer video games (YI, YS), pp. 296–303.
GDCSE-2008-SettleLB #approach #game studies: A hybrid approach to projects in gaming courses (AS, JL, AB), pp. 36–40.
CSCW-2008-LindtnerNWMJL: A hybrid cultural ecology: world of warcraft in China (SL, BAN, YW, SDM, HJ, WL), pp. 371–382.
CSCW-2008-TabardME #collaboration #evolution: From individual to collaborative: the evolution of prism, a hybrid laboratory notebook (AT, WEM, EE), pp. 569–578.
ICEIS-AIDSS-2008-PanahiT #clustering #performance #problem: An Efficient Hybrid Method for Clustering Problems (HP, RTM), pp. 288–294.
ICEIS-ISAS2-2008-BainaT #algorithm #graph #towards #verification #workflow: Toward a Hybrid Algorithm for Workflow Graph Structural Verification (FT, KB, WG), pp. 442–447.
ICEIS-J-2008-PapatheocharousA08a #algorithm #approach #modelling #network #predict #search-based #using: Hybrid Computational Models for Software Cost Prediction: An Approach Using Artificial Neural Networks and Genetic Algorithms (EP, ASA), pp. 87–100.
CIKM-2008-WangTL #named #ranking #scalability #towards: CE2: towards a large scale hybrid search engine with integrated ranking support (HW, TT, CL), pp. 1323–1324.
ECIR-2008-VanB #library #personalisation: Hybrid Method for Personalized Search in Digital Libraries (TTV, MB), pp. 647–651.
ICPR-2008-Abd-AlmageedASD #classification #using: Document-zone classification using partial least squares and hybrid classifiers (WAA, MA, WS, DSD), pp. 1–4.
ICPR-2008-DelayeMA #fuzzy #online #recognition #statistics: Hybrid statistical-structural on-line Chinese character recognition with fuzzy inference system (AD, SM, ÉA), pp. 1–4.
ICPR-2008-GeorgeKK #classification: Hybrid wavelet support vector classification of temporal bone abnormalities (JG, STK, RK), pp. 1–4.
ICPR-2008-SerCY #classification #recognition #speech: A Hybrid PNN-GMM classification scheme for speech emotion recognition (WS, LC, ZLY), pp. 1–4.
ICPR-2008-SinghNGBSP #random #using: Hybrid SVM — Random Forest classication system for oral cancer screening using LIF spectra (RKS, SKN, LG, SB, CS, KMP), pp. 1–4.
LOPSTR-2008-BandaG #analysis #linear: Analysis of Linear Hybrid Systems in CLP (GB, JPG), pp. 55–70.
ICSE-2008-McCafferyPR #agile #assessment #named #safety: Ahaa — agile, hybrid assessment method for automotive, safety critical smes (FM, MP, IR), pp. 551–560.
SAC-2008-CorreaL #documentation #semantics: Semantic mapping and K-means applied to hybrid SOM-based document organization system construction (RFC, TBL), pp. 1112–1116.
SAC-2008-Ercan #comparison #multi #performance #scheduling: A performance comparison of PSO and GA in scheduling hybrid flow-shops with multiprocessor tasks (MFE), pp. 1767–1771.
SAC-2008-ErdilL #grid #scheduling #self: Supporting self-organization for hybrid grid resource scheduling (DCE, MJL), pp. 1981–1986.
SAC-2008-GuiFSB #component #configuration management #embedded #realtime: A hybrid real-time component model for reconfigurable embedded systems (NG, VDF, HS, CB), pp. 1590–1596.
SAC-2008-LuCL #embedded #self: A hybrid software-based self-testing methodology for embedded processor (THL, CHC, KJL), pp. 1528–1534.
SAC-2008-ParkLLP #architecture #file system #memory management #named #ram #scalability: PFFS: a scalable flash memory file system for the hybrid architecture of phase-change RAM and NAND flash (YP, SHL, CL, KHP), pp. 1498–1503.
SAC-2008-PereiraAGS #architecture #configuration management #using: Using traditional loop unrolling to fit application on a new hybrid reconfigurable architecture (MMP, SRFdA, BCdO, ISS), pp. 1552–1553.
SAC-2008-Schneider #analysis #reachability: Reachability analysis of generalized polygonal hybrid systems (GS), pp. 327–332.
SAC-2008-SobralB #mobile #realtime: A wireless hybrid contention/TDMA-based MAC for real-time mobile application (MMS, LBB), pp. 284–288.
SAC-2008-TaghipourK #recommendation #web: A hybrid web recommender system based on Q-learning (NT, AAK), pp. 1164–1168.
CASE-2008-AdamekSS #nondeterminism #probability: Stochastic optimal control for hybrid systems with uncertain discrete dynamics (FA, MS, OS), pp. 23–28.
CASE-2008-DasSPS #aspect-oriented #assembly #on the #precise: On the precision alignment and hybrid assembly aspects in manufacturing of a microspectrometer (AND, JS, DOP, HES), pp. 959–966.
CASE-2008-DotoliFM #automation #fault #first-order #monitoring #petri net: Fault monitoring of automated manufacturing systems by first order hybrid Petri nets (MD, MPF, AMM), pp. 181–186.
CASE-2008-GiglioMSS #optimisation: Optimization of inventory levels and production effort in Hybrid Inventory-Production (HIP) systems (DG, RM, SS, SS), pp. 8–15.
CASE-2008-TeoP #heuristic #layout #problem: A hybrid ACO/PSO heuristic to solve single row layout problem (YTT, SGP), pp. 597–602.
DAC-2008-BalkanQV #network #parallel: An area-efficient high-throughput hybrid interconnection network for single-chip parallel processing (AOB, GQ, UV), pp. 435–440.
DAC-2008-GaoKKLAM #estimation #multi #performance #simulation #using: Multiprocessor performance estimation using hybrid simulation (LG, KK, SK, RL, GA, HM), pp. 325–330.
ESOP-2008-BouissouM #semantics: A Hybrid Denotational Semantics for Hybrid Systems (OB, MM), pp. 63–77.
TACAS-2008-SankaranarayananDI #model checking #using: Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (SS, TD, FI), pp. 188–202.
CAV-2008-GulwaniT #analysis #approach #constraints: Constraint-Based Approach for Analysis of Hybrid Systems (SG, AT), pp. 190–203.
CAV-2008-KobayashiS #mobile #process #type system: A Hybrid Type System for Lock-Freedom of Mobile Processes (NK, DS), pp. 80–93.
CAV-2008-PlatzerC #difference #invariant: Computing Differential Invariants of Hybrid Systems as Fixedpoints (AP, EMC), pp. 176–189.
IJCAR-2008-KaminskiS #difference #logic: Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (MK, GS), pp. 210–225.
IJCAR-2008-PlatzerQ #named #proving #theorem proving: KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (AP, JDQ), pp. 171–178.
SAT-2008-LetombeM #algorithm #incremental #satisfiability: Improvements to Hybrid Incremental SAT Algorithms (FL, JMS), pp. 168–181.
TestCom-FATES-2008-DangN #generative #testing #using: Using Disparity to Enhance Test Generation for Hybrid Systems (TD, TN), pp. 54–69.
VMCAI-2008-SohailSR #algorithm #game studies #ltl: A Hybrid Algorithm for LTL Games (SS, FS, KR), pp. 309–323.
ICDAR-2007-AssabieB #recognition #robust: A Hybrid System for Robust Recognition of Ethiopic Script (YA, JB), pp. 556–560.
ICDAR-2007-KeshariW #recognition #using: Hybrid Mathematical Symbol Recognition Using Support Vector Machines (BK, SMW), pp. 859–863.
ICDAR-2007-ToujAA07a #approach #markov #modelling #recognition: A hybrid approach for off-line Arabic handwriting recognition based on a Planar Hidden Markov modeling (SMT, NEBA, HA), pp. 964–968.
SIGMOD-2007-MoroLC: Schema advisor for hybrid relational-XML DBMS (MMM, LL, YCC), pp. 959–970.
ICPC-2007-Godfrey #object-oriented #reverse engineering: A Hybrid Program Model for Object-Oriented Reverse Engineering (MWG), pp. 81–90.
CIAA-J-2006-BordihnHK07 #automaton #finite: Hybrid Extended Finite Automata (HB, MH, MK), pp. 745–760.
CIG-2007-KimCC #evolution #learning: Hybrid of Evolution and Reinforcement Learning for Othello Players (KJK, HC, SBC), pp. 203–209.
CIG-2007-NaveedCH #game studies #learning: Hybrid Evolutionary Learning Approaches for The Virus Game (MHN, PIC, MAH), pp. 196–202.
DHM-2007-WangYHWJJLZ #classification: A Hybrid AB-RBF Classifier for Surface Electromyography Classification (RW, YY, XH, FW, DJ, XJ, FL, JZ), pp. 727–735.
HIMI-MTT-2007-NoorinaeiniLW #classification #composition: Hybrid Singular Value Decomposition: A Model of Human Text Classification (AN, MRL, SjW), pp. 517–525.
ICEIS-AIDSS-2007-CuellarDP #algorithm #network #problem: Problems and Features of Evolutionary Algorithms to Build Hybrid Training Methods for Recurrent Neural Networks (MPC, MD, MdCPJ), pp. 204–211.
ICEIS-DISI-2007-GorawskiF #named: STAH-TREE: Hybrid index for spatio temporal aggregation (MG, MF), pp. 113–118.
ICEIS-SAIC-2007-LazanasKK #policy #recommendation #web #web service: Applying Hybrid Recommendation Policies through Agent-Invoked Web Services in E-Markets (AL, NIK, VK), pp. 161–166.
CIKM-2007-PaltoglouSS: Hybrid results merging (GP, MS, MS), pp. 321–330.
ICML-2007-WangZZ #array #classification: Hybrid huberized support vector machines for microarray classification (LW, JZ, HZ), pp. 983–990.
KDD-2007-DruckPMZ #classification #generative: Semi-supervised classification with hybrid generative/discriminative methods (GD, CP, AM, XZ), pp. 280–289.
KDD-2007-JanssensGM #analysis #clustering #mining: Dynamic hybrid clustering of bioinformatics by incorporating text mining and citation analysis (FALJ, WG, BDM), pp. 360–369.
MLDM-2007-AburtoW #predict: A Sequential Hybrid Forecasting System for Demand Prediction (LA, RW), pp. 518–532.
MLDM-2007-GomezF #2d #algorithm #evolution #image #learning: A Hybrid Algorithm Based on Evolution Strategies and Instance-Based Learning, Used in Two-Dimensional Fitting of Brightness Profiles in Galaxy Images (JCG, OF), pp. 716–726.
MLDM-2007-Lehmann #learning #ontology: Hybrid Learning of Ontology Classes (JL), pp. 883–898.
RecSys-2007-ChenP #evaluation #recommendation: The evaluation of a hybrid critiquing system with preference-based recommendations organization (LC, PP), pp. 169–172.
RecSys-2007-Donaldson #music #recommendation: A hybrid social-acoustic recommendation system for popular music (JD), pp. 187–190.
RecSys-2007-TiemannP #learning #music #recommendation #towards: Towards ensemble learning for hybrid music recommendation (MT, SP), pp. 177–178.
SEKE-2007-TeekayuphunS #approach #natural language #query: A Hybrid Approach for Natural Language Query Translation (PT, OS), pp. 368–373.
RE-2007-LuoST #modelling #music: Modelling a Smart Music Player with a Hybrid Agent-Oriented Methodology (YL, LS, KT), pp. 281–286.
ICSE-2007-MajumdarS #testing: Hybrid Concolic Testing (RM, KS), pp. 416–426.
SAC-2007-BoussellaaZA #using: A methodology for the separation of foreground/background in Arabic historical manuscripts using hybrid methods (WB, AZ, AMA), pp. 605–609.
SAC-2007-ImmaneniT #retrieval #web: Hybrid retrieval from the unified web (TI, KT), pp. 1346–1350.
CASE-2007-NguyenCYD: Motion Control of a Robotic Puppet through a Hybrid Motion Capture Device (KDN, IMC, SHY, HBLD), pp. 753–758.
CASE-2007-YogeswaranPT #algorithm #heuristic #problem #search-based #using: An hybrid heuristic using genetic algorithm and simulated annealing algorithm to solve machine loading problem in FMS (MY, SGP, MKT), pp. 182–187.
CASE-2007-ZhangBGL #feature model #monitoring: A Hybrid Model with a Weighted Voting Scheme for Feature Selection in Machinery Condition Monitoring (KZ, ADB, FG, YL), pp. 424–429.
DAC-2007-DadgourB #analysis #design #power management: Design and Analysis of Hybrid NEMS-CMOS Circuits for Ultra Low-Power Applications (HFD, KB), pp. 306–311.
DAC-2007-GhodratLR #analysis #estimation #using: Accelerating System-on-Chip Power Analysis Using Hybrid Power Estimation (MAG, KL, AR), pp. 883–886.
DAC-2007-ZhangSJ #architecture #configuration management #design #named #optimisation: NanoMap: An Integrated Design Optimization Flow for a Hybrid Nanotube/CMOS Dynamically Reconfigurable Architecture (WZ, LS, NKJ), pp. 300–305.
DAC-2007-ZhouLS #bound #embedded #multi #performance #using: Fast Capacitance Extraction in Multilayer, Conformal and Embedded Dielectric using Hybrid Boundary Element Method (NYZ, ZL, WS), pp. 835–840.
DAC-2007-ZhuoCLC #power management: Dynamic Power Management with Hybrid Power Sources (JZ, CC, KL, NC), pp. 871–876.
DATE-2007-BauerPT #analysis #modelling: Tool-support for the analysis of hybrid systems and models (AB, MP, MT), pp. 924–929.
DATE-2007-FangH #performance #satisfiability: A new hybrid solution to boost SAT solver performance (LF, MSH), pp. 1307–1313.
HPCA-2007-ZhongLM #architecture #manycore #parallel #thread: Extending Multicore Architectures to Exploit Hybrid Parallelism in Single-thread Applications (HZ, SAL, SAM), pp. 25–36.
CAV-2007-Franzle #verification: Verification of Hybrid Systems (MF), p. 38.
CAV-2007-NahhalD #test coverage: Test Coverage for Continuous and Hybrid Systems (TN, TD), pp. 449–462.
CAV-2007-PlakuKV #verification: Hybrid Systems: From Verification to Falsification (EP, LEK, MYV), pp. 463–476.
CAV-2007-Segelken #abstraction #automaton #linear #model checking #modelling: Abstraction and Counterexample-Guided Construction of ω-Automata for Model Checking of Step-Discrete Linear Hybrid Models (MS), pp. 433–448.
VMCAI-2007-KlaedtkeRS #abstraction #refinement #verification: Language-Based Abstraction Refinement for Hybrid System Verification (FK, SR, ZS), pp. 151–166.
ITiCSE-2006-Quade #learning #re-engineering: Developing a hybrid software engineering curse that promotes project-based active learning (AMQ), p. 308.
CIAA-2006-BordihnHK #automaton #finite: Hybrid Extended Finite Automata (HB, MH, MK), pp. 34–45.
CIAA-2006-YangXSP #quantum #synthesis: Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits (GY, FX, XS, MAP), pp. 279–280.
ICALP-v2-2006-HarnikN #bound #on the #security: On Everlasting Security in the Hybrid Bounded Storage Model (DH, MN), pp. 192–203.
ICALP-v2-2006-PhanST: Generic Construction of Hybrid Public Key Traitor Tracing with Full-Public-Traceability (DHP, RSN, DT), pp. 264–275.
ICFP-2006-HickeyNYK #representation #using: Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection (JH, AN, XY, AK), pp. 172–183.
CHI-2006-LuffHKYY #documentation: Handling documents and discriminating objects in hybrid spaces (PL, CH, HK, KY, JY), pp. 561–570.
CHI-2006-MedynskiyDF #analysis #community #development #network #online #using: Using hybrid networks for the analysis of online software development communities (YEM, ND, AF), pp. 513–516.
CSCW-2006-JunuzovicD #architecture #collaboration: Response times in N-user replicated, centralized, and proximity-based hybrid collaboration architectures (SJ, PD), pp. 129–138.
ICEIS-HCI-2006-LiSB #correlation #recognition #sketching #synthesis #using: Face Recognition from Sketches Using Advanced Correlation Filters Using Hybrid Eigenanalysis for Face Synthesis (YhL, MS, VB), pp. 11–18.
ICEIS-ISAS-2006-DasguptaSKG #modelling #re-engineering #using: Hybrid Modeling Using I* and Agentspeak(L) Agents in Agent Oriented Software Engineering (AD, FS, AK, AKG), pp. 420–425.
ECIR-2006-ButtcherC #approach #maintenance #retrieval: A Hybrid Approach to Index Maintenance in Dynamic Text Retrieval Systems (SB, CLAC), pp. 229–240.
ICPR-v1-2006-HadidP #approach #detection: A Hybrid Approach to Face Detection under Unconstrained Environments (AH, MP), pp. 227–230.
ICPR-v1-2006-IvaldiMG #framework: A hybrid resampling framework for facial shape alignment (WI, MM, SG), pp. 488–491.
ICPR-v1-2006-LiCF #kernel #set: Hybrid Kernel Machine Ensemble for Imbalanced Data Sets (PL, KLC, WF), pp. 1108–1111.
ICPR-v1-2006-ViswanathP #clustering #performance: l-DBSCAN : A Fast Hybrid Density Based Clustering Method (PV, RP), pp. 912–915.
ICPR-v2-2006-AndelicSKK #kernel #modelling #speech #using: A Hybrid HMM-Based Speech Recognizer Using Kernel-Based Discriminants as Acoustic Models (EA, MS, MK, SEK), pp. 1158–1161.
ICPR-v2-2006-GatosPP #recognition #word: Hybrid Off-Line Cursive Handwriting Word Recognition (BG, IP, SJP), pp. 998–1002.
ICPR-v2-2006-LeL: A Hybrid License Plate Extraction Method for Complex Scenes (WL, SL), pp. 324–327.
ICPR-v2-2006-LiLW #feature model #ranking: A Hybrid Method of Unsupervised Feature Selection Based on Ranking (YL, BLL, ZFW), pp. 687–690.
ICPR-v2-2006-LuXL #recognition: A Hybrid Recognition Scheme Based on Partially Labeled SOM and MLP (SL, CX, YL), pp. 800–803.
ICPR-v3-2006-JainHSVHG #algorithm #clustering #recursion #sequence: A Hybrid, Recursive Algorithm for Clustering Expressed Sequence Tags in Chlamydomonas reinhardtii (MJ, HJH, JS, OV, CH, AG), pp. 404–407.
ICPR-v4-2006-JinYSLX #classification #detection #precise #robust: A hybrid classifier for precise and robust eye detection (LJ, XHY, SS, JL, LX), pp. 731–735.
ICPR-v4-2006-LeeRS #recognition: Fusion of Chaotic Measure Into a New Hybrid Face-Gait System for Human Recognition (TKML, SR, SS), pp. 541–544.
ICPR-v4-2006-LiuXYD #verification: A New Hybrid GMM/SVM for Speaker Verification (ML, YX, ZY, BD), pp. 314–317.
KR-2006-SannerM #calculus #first-order #logic #reasoning: An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic (SS, SAM), pp. 100–111.
SEKE-2006-AguilaCPT #development #towards: Towards a Methodology for Hybrid Systems Software Development (IMdÁ, JC, JTP, ST), pp. 188–193.
SIGIR-2006-ButtcherCL #maintenance: Hybrid index maintenance for growing text collections (SB, CLAC, BL), pp. 356–363.
SIGIR-2006-DingLP #algorithm #equivalence: NMF and PLSI: equivalence and a hybrid algorithm (CHQD, TL, WP), pp. 641–642.
PADL-2006-HawkinsS #constraints #finite #satisfiability #theorem proving: A Hybrid BDD and SAT Finite Domain Constraint Solver (PH, PJS), pp. 103–117.
POPL-2006-Flanagan #type checking: Hybrid type checking (CF), pp. 245–256.
ICSE-2006-TrendowiczHMIYK #development #estimation: Development of a hybrid cost estimation model in an iterative manner (AT, JH, JM, YI, KY, NK), pp. 331–340.
SAC-2006-BianchiniAM #ontology: Hybrid ontology-based matchmaking for service discovery (DB, VDA, MM), pp. 1707–1708.
SAC-2006-CutelloNP #algorithm #optimisation #using: Real coded clonal selection algorithm for unconstrained global optimization using a hybrid inversely proportional hypermutation operator (VC, GN, MP), pp. 950–954.
ASPLOS-2006-DamronFLLMN #memory management #transaction: Hybrid transactional memory (PD, AF, YL, VL, MM, DN), pp. 336–346.
CASE-2006-ChenYTCW #difference #fuzzy #linear #matrix: Applying the Linear Matrix Inequality for Hybrid Fuzzy/H-infinity Control of Active Structural Damping (CWC, KY, CHT, CYC, DJW), pp. 678–682.
CASE-2006-XieLP #linear: The hybrid calibration of linear structured light system (KX, WYL, ZBP), pp. 611–614.
CASE-2006-ZhangCY #adaptation #automation #fuzzy #identification: Adaptive Fuzzy Controller for Hybrid Traction Control System based on Automatic Road Identification (JZ, DC, CY), pp. 524–529.
CC-2006-CavazosMO #algorithm #optimisation #question: Hybrid Optimizations: Which Optimization Algorithm to Use? (JC, JEBM, MFPO), pp. 124–138.
DAC-2006-BrahmbhattZWQ #adaptation #algorithm #encoding #power management #using: Low-power bus encoding using an adaptive hybrid algorithm (ARB, JZ, QW, QQ), pp. 987–990.
DAC-2006-RadT #clustering: A new hybrid FPGA with nanoscale clusters and CMOS routing (RMR, MT), pp. 727–730.
DAC-2006-ZhangJS #architecture #configuration management #named: NATURE: a hybrid nanotube/CMOS dynamically reconfigurable architecture (WZ, NKJ, LS), pp. 711–716.
DAC-2006-ZhuoCCV: Extending the lifetime of fuel cell based hybrid systems (JZ, CC, NC, SBKV), pp. 562–567.
DATE-2006-BhaduriSCTGG #analysis #architecture #design #fault tolerance #framework: A hybrid framework for design and analysis of fault-tolerant architectures (DB, SKS, DC, VET, PSG, MG), pp. 335–336.
DATE-2006-ShyamB #verification: Distance-guided hybrid verification with GUIDO (SS, VB), pp. 1211–1216.
DATE-2006-YavariSR #design: Systematic and optimal design of CMOS two-stage opamps with hybrid cascode compensation (MY, OS, ÁRV), pp. 144–149.
OSDI-2006-CowlingMLRS #fault tolerance #protocol #replication: HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance (JAC, DSM, BL, RR, LS), pp. 177–190.
PPoPP-2006-KumarCHKN #memory management #transaction: Hybrid transactional memory (SK, MC, CJH, PK, ADN), pp. 209–220.
FoSSaCS-2006-EdalatP #automaton #semantics: Denotational Semantics of Hybrid Automata (AE, DP), pp. 231–245.
CAV-2006-BoigelotH #power of: The Power of Hybrid Acceleration (BB, FH), pp. 438–451.
FATES-RV-2006-Osch #consistency #generative #testing: Hybrid Input-Output Conformance and Test Generation (MvO), pp. 70–84.
ISSTA-2006-CsallnerS #analysis #debugging #named: DSD-Crasher: a hybrid analysis tool for bug finding (CC, YS), pp. 245–254.
LICS-2006-BouyerBC: Control in o-minimal Hybrid Systems (PB, TB, FC), pp. 367–378.
ECDL-2005-JaneeF #declarative #metadata #python: A Hybrid Declarative/Procedural Metadata Mapping Language Based on Python (GJ, JF), pp. 302–313.
ICDAR-2005-CecottiB05a #approach #documentation: Hybrid OCR combination approach complemented by a specialized ICR applied on ancient documents (HC, AB), pp. 1045–1049.
ICDAR-2005-KumarJ #architecture #configuration management #recognition: Configurable Hybrid Architectures for Character Recognition Applications (MNSSKPK, CVJ), pp. 1199–1205.
ICDAR-2005-LongJ #recognition: Hybrid Recognition for One Stroke Style Cursive Handwriting Characters (TL, LJ), pp. 232–236.
ICDAR-2005-ZhangBS #feature model #recognition: Hybrid Feature Extraction and Feature Selection for Improving Recognition Accuracy of Handwritten Numerals (PZ, TDB, CYS), pp. 136–140.
ICALP-2005-CatalanoV: Hybrid Trapdoor Commitments and Their Applications (DC, IV), pp. 298–310.
CIG-2005-RhalibiB #adaptation: A Hybrid AI System for Agent Adaptation in a First Person Shooter (AER, MB).
DiGRA-2005-MagerkurthM #component #design #evaluation #game studies #physics: Design and Evaluation of a Hybrid Games System Combining Physical and Virtual Components (CM, MM).
DiGRA-2005-Spierling #approach #concept #interactive #towards: Interactive Digital Storytelling: Towards a Hybrid Conceptual Approach (US).
ICEIS-v1-2005-FengWM #clustering: A Hybrid Clustering Criterion for R*-Tree on Business Data (YF, ZW, AM), pp. 346–352.
ICEIS-v1-2005-XuePQZ #database #scalability #string: The Hybrid Digital Tree: A New Indexing Technique for Large String Databases (QX, SP, GQ, QZ), pp. 115–121.
ICEIS-v2-2005-ClemmonsH #enterprise: Reducing Risk in the Enterprise: Proposal for a Hybrid Audit Expert System (SC, KH), pp. 260–266.
ICEIS-v2-2005-LokugeA #learning #multi: Handling Multiple Events in Hybrid BDI Agents with Reinforcement Learning: A Container Application (PL, DA), pp. 83–90.
ICEIS-v4-2005-GruhnH #information management #mobile: Hybrid Application Support for Mobile Information Systems (VG, MH), pp. 232–237.
CIKM-2005-FreskoRF #approach: A hybrid approach to NER by MEMM and manual rules (MF, BR, RF), pp. 361–362.
CIKM-2005-ZhouXWGM #web: Hybrid index structures for location-based web search (YZ, XX, CW, YG, WYM), pp. 155–162.
ICML-2005-GuptaG #clustering #robust #using: Robust one-class clustering using hybrid global and local search (GG, JG), pp. 273–280.
KDD-2005-SurdeanuTA #approach #clustering #documentation: A hybrid unsupervised approach for document clustering (MS, JT, AA), pp. 685–690.
SEKE-2005-FerreiraV #algorithm #generative #named #search-based #testing: TDSGen: An Environment Based on Hybrid Genetic Algorithms for Generation of Test Data (LPF, SRV), pp. 312–317.
SEKE-2005-WangWH #linear #verification: Verifying Timed and Linear Hybrid Rule-Systems with RED (FW, RSW, GDH), pp. 448–454.
SIGIR-2005-HawkingT: Server selection methods in hybrid portal search (DH, PT), pp. 75–82.
QAPL-2004-Huth05 #abstraction #logic: Abstraction and Probabilities for Hybrid Logics (MH), pp. 61–76.
PADL-2005-SaadP #framework #logic programming #probability #towards: Towards a More Practical Hybrid Probabilistic Logic Programming Framework (ES, EP), pp. 67–82.
ESEC-FSE-2005-MetzLG #approach #performance #using: Performance data collection using a hybrid approach (EM, RL, TFG), pp. 126–135.
SAC-2005-Eliassi-RadC #approach #modelling #multi #scalability: A hybrid approach for multiresolution modeling of large-scale scientific data (TER, TC), pp. 511–518.
SAC-2005-OuajaR #composition: Hybrid Lagrangian relaxation for bandwidth-constrained routing: knapsack decomposition (WO, BR), pp. 383–387.
CASE-2005-TsinarakisTV #multi #petri net: Studying multi-assembly machine production systems with hybrid timed Petri nets (GJT, NT, KPV), pp. 327–332.
DAC-2005-MuttrejaRRJ #embedded #energy #estimation #simulation: Hybrid simulation for embedded software energy estimation (AM, AR, SR, NKJ), pp. 23–26.
DATE-2005-FaroukS #algorithm #communication #encryption #implementation #security: An Improved FPGA Implementation of the Modified Hybrid Hiding Encryption Algorithm (MHHEA) for Data Communication Security (HAF, MS), pp. 76–81.
DATE-2005-LiC #analysis #clustering #sequence: Hybrid BIST Based on Repeating Sequences and Cluster Analysis (LL, KC), pp. 1142–1147.
DATE-2005-LiuPP #named #performance #power management: RIP: An Efficient Hybrid Repeater Insertion Scheme for Low Power (XL, YP, MCP), pp. 1330–1335.
DATE-2005-ResanoMC #configuration management #hardware #heuristic #runtime #scheduling: A Hybrid Prefetch Scheduling Heuristic to Minimize at Run-Time the Reconfiguration Overhead of Dynamically Reconfigurable Hardware (JR, DM, FC), pp. 106–111.
HPDC-2005-MassettoJS #named: HMPI — hybrid MPI (FIM, AMGJ, LMS), pp. 306–307.
SAT-J-2004-JinS05 #named #satisfiability: CirCUs: A Hybrid Satisfiability Solver (HJ, FS), pp. 211–223.
CAV-2005-SebastianiTV #ltl #model checking: Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking (RS, ST, MYV), pp. 350–363.
CSL-2005-CateF #complexity #logic #on the: On the Complexity of Hybrid Logics with Binders (BtC, MF), pp. 339–354.
ICLP-2005-SaadP #logic programming #probability #source code: Hybrid Probabilistic Logic Programs with Non-monotonic Negation (ES, EP), pp. 204–220.
VMCAI-2005-AbrahamBKS #bound #linear #model checking #optimisation: Optimizing Bounded Model Checking for Linear Hybrid Systems (EÁ, BB, FK, MS), pp. 396–412.
IFM-2004-Willemse #algebra #automaton #process: Embeddings of Hybrid Automata in Process Algebra (TACW), pp. 343–362.
ICEIS-v2-2004-KotsiantisP #classification #using: A Hybrid Decision Support Tool — Using Ensemble of Classifiers (SBK, PEP), pp. 448–456.
ICEIS-v4-2004-DegemmisLSCLG #collaboration #recommendation: A Hybrid Collaborative Recommender System Based on User Profiles (MD, PL, GS, MFC, OL, SG), pp. 162–169.
CIKM-2004-RosenfeldFFSA #approach #information management #named: TEG: a hybrid approach to information extraction (BR, RF, MF, JS, YA), pp. 589–596.
ICPR-v2-2004-ChangLC #recognition: Applying A Hybrid Method To Handwritten Character Recognition (FC, CCL, CJC), pp. 529–532.
ICPR-v2-2004-HongliangC #statistics: A hybrid License Plate Extraction Method Based On Edge Statistics and Morphology (HB, CL), pp. 831–834.
ICPR-v2-2004-WeiXMJS: A Hybrid SOM-SVM Method for Analyzing Zebra Fish Gene Expression (WW, LX, XM, PJ, RS), pp. 323–326.
ICPR-v3-2004-HuangMP #markov #random #recognition #using: A Hybrid Face Recognition Method using Markov Random Fields (RH, DNM, VP), pp. 157–160.
ICPR-v4-2004-DharaC #approach #estimation #predict #using #video: Video Motion Estimation Using Prediction Based Hybrid Approach (BCD, BC), pp. 737–740.
ICPR-v4-2004-QiuMHHS #video: A Hybrid Watermarking Scheme for H.264/AVC Video (GQ, PM, ATSH, DH, QS), pp. 865–869.
KR-2004-Barrett #compilation: From Hybrid Systems to Universal Plans Via Domain Compilation (AB), pp. 654–661.
SIGIR-2004-DoranSNDC #generative #statistics: A hybrid statistical/linguistic model for generating news story gists (WPD, NS, EN, JD, JC), pp. 464–465.
ASE-2004-Xie #approach #component #verification: Decompositional Verification of Component-based Systems — A Hybrid Approach (GX), pp. 414–417.
ICSE-2004-Francois #architecture #data type #distributed #parallel: A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams (ARJF), pp. 367–376.
SAC-2004-AlbaC #fault #heuristic #parallel #problem: Solving the error correcting code problem with parallel hybrid heuristics (EA, JFC), pp. 985–989.
SAC-2004-CaldeiraMR #algorithm #problem #using: Using a hybrid Evolutionary-Taboo Algorithm to solve Job Shop Problem (JPC, FM, ACR), pp. 1446–1451.
SAC-2004-FeltlR #algorithm #problem #search-based: An improved hybrid genetic algorithm for the generalized assignment problem (HF, GRR), pp. 990–995.
SAC-2004-JulstromA #algorithm #problem: Two hybrid evolutionary algorithms for the rectilinear Steiner arborescence problem (BAJ, AA), pp. 980–984.
DATE-v1-2004-Skadron #architecture: Hybrid Architectural Dynamic Thermal Management (KS), pp. 10–15.
DATE-v2-2004-BobrekPNPT #approach #modelling #simulation #using: Modeling Shared Resource Contention Using a Hybrid Simulation/Analytical Approach (AB, JJP, JEN, JMP, DET), pp. 1144–1149.
DATE-v2-2004-MineKKWA #linear #performance #reduction #simulation: Hybrid Reduction Technique for Efficient Simulation of Linear/Nonlinear Mixed Circuits (TM, HK, AK, TW, HA), pp. 1327–1333.
DATE-v2-2004-WangLC #fault #hardware #testing: Hybrid Delay Scan: A Low Hardware Overhead Scan-Based Delay Test Technique for High Fault Coverage and Compact Test Sets (SW, XL, STC), pp. 1296–1301.
HPDC-2004-PearlmanKGSFRFHS #case study #distributed #experience #grid: Distributed Hybrid Earthquake Engineering Experiments: Experiences with a Ground-Shaking Grid Application (LP, CK, SG, BFSJ, JF, KR, ITF, PH, CS), pp. 14–23.
DATE-2005-GalanisMTSG04 #clustering #configuration management #platform: A Partitioning Methodology for Accelerating Applications in Hybrid Reconfigurable Platforms (MDG, AM, GT, DS, CEG), pp. 247–252.
CAV-2004-Wang #analysis #linear #parametricity #safety: Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures (FW), pp. 295–307.
CSL-2004-KorovinaV: Pfaffian Hybrid Systems (MVK, NV), pp. 430–441.
SAT-2004-JinS #named #satisfiability: CirCUs: A Hybrid Satisfiability Solver (HJ, FS), pp. 47–55.
DRR-2003-RahmanTA #heuristic #web: Exploring a hybrid of support vector machines (SVMs) and a heuristic-based system in classifying web pages (AFRR, YT, HA), pp. 120–127.
ICDAR-2003-RagotA #classification #fuzzy #modelling #online #recognition: A Generic Hybrid Classifier Based on Hierarchical Fuzzy Modeling: Experiments on On-Line Handwritten Character Recognition (NR, ÉA), pp. 963–967.
ICDAR-2003-ZimmerL #verification: A Hybrid On/Off Line Handwritten Signature Verification System (AZ, LLL), pp. 424–428.
DiGRA-2003-ChristensenJJ #usability #using: Developing a hybrid of MMORPG and LARP using usability methods: the case of Takkar (LJC, TTYJ, AHJ).
AGTIVE-2003-LaraGV #analysis #graph transformation #metamodelling #model checking: Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems (JdL, EG, HV), pp. 292–298.
ICEIS-v2-2003-SalemNB #adaptation: A Hybrid Case-Based Adaptation Model for Thyroid Cancer Diagnosis (ABMS, KAN, BEB), pp. 58–65.
ICEIS-v2-2003-SalemSH #approach #fuzzy #recognition #self: A Hybrid Approach for Handwritten Arabic Character Recognition: Combining Self-Organizing Maps (SOMS) and Fuzzy Rules (ABMS, MMS, MKH), pp. 529–532.
CIKM-2003-LuC #network #peer-to-peer #retrieval: Content-based retrieval in hybrid peer-to-peer networks (JL, JPC), pp. 199–206.
ECIR-2003-CachedaCGV #data type #optimisation #strict #using #web: Optimization of Restricted Searches in Web Directories Using Hybrid Data Structures (FC, VC, CG, ÁV), pp. 436–451.
ECIR-2003-XuXYT #approach #retrieval: A Hybrid Relevance-Feedback Approach to Text Retrieval (ZX, XX, KY, VT), pp. 281–293.
SEKE-2003-KendalAC #development #information management #overview: A Brief Overview of HyM: A Methodology for the Development of Hybrid Intelligent Information Systems (SLK, KA, XC), pp. 322–326.
SIGIR-2003-Blair-GoldensohnMS #named: DefScriber: a hybrid system for definitional QA (SBG, KM, AHS), p. 462.
SIGIR-2003-TsaiMT #classification #image #network #using: Image classification using hybrid neural networks (CFT, KM, JT), pp. 431–432.
LOPSTR-2003-Ellman #animation #automaton #specification #synthesis: Specification and Synthesis of Hybrid Automata for Physics-Based Animation (TE), pp. 54–55.
PADL-2003-NilssonPH #functional #modelling: Functional Hybrid Modeling (HN, JP, PH), pp. 376–390.
ASE-2003-Ellman #animation #automaton #specification #synthesis: Specification and Synthesis of Hybrid Automata for Physics-Based Animation (TE), pp. 80–93.
SAC-2003-LiLR #approach #problem: A Hybrid AI Approach for Nurse Rostering Problem (HL, AL, BR), pp. 730–735.
SAC-2003-PannalaDSO #modelling #parallel: Hybrid (OpenMP and MPI) Parallelization of MFIX: A Multiphase CFD Code for Modeling Fluidized Beds (SP, EFD, MS, TO), pp. 199–206.
SAC-2003-QianZ #approach #clustering: A Customizable Hybrid Approach to Data Clustering (YQ, KZ), pp. 485–489.
SAC-2003-RagothamanP #assessment #segmentation: Hybrid Log Segmentation for Assured Damage Assessment (PR, BP), pp. 522–527.
DAC-2003-SeshiaLB #logic #satisfiability: A hybrid SAT-based decision procedure for separation logic with uninterpreted functions (SAS, SKL, REB), pp. 425–430.
DAC-2003-ShiG #performance #power management: Hybrid hierarchical timing closure methodology for a high performance and low power DSP (KS, GG), pp. 850–855.
LCTES-2003-AlurIKLS #embedded #generative #modelling: Generating embedded software from hierarchical hybrid models (RA, FI, JK, IL, OS), pp. 171–182.
PDP-2003-HidalgoPLBTG #algorithm #parallel #search-based: Hybrid Parallelization of a Compact Genetic Algorithm (JIH, MP, JL, RB, FT, OG), pp. 449–455.
PDP-2003-WolfM #analysis #automation #performance: Automatic Performance Analysis of Hybrid MPI/OpenMP Applications (FW, BM), pp. 13–22.
PPoPP-2003-OCallahanC #concurrent #detection: Hybrid dynamic data race detection (RO, JDC), pp. 167–178.
TACAS-2003-AlurDI #abstraction: Counter-Example Guided Predicate Abstraction of Hybrid Systems (RA, TD, FI), pp. 208–223.
TACAS-2003-ClarkeFHKST #abstraction #refinement #verification: Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement (EMC, AF, ZH, BHK, OS, MT), pp. 192–207.
CAV-2003-BoigelotHJ #automaton #using: Hybrid Acceleration Using Real Vector Automata (BB, FH, SJ), pp. 193–205.
ECDL-2002-XiSLF #validation: Hybrid Partition Inverted Files: Experimental Validation (WX, OS, ML, EAF), pp. 422–431.
VLDB-2002-SeifertS #multi #policy: A Multi-version Cache Replacement and Prefetching Policy for Hybrid Data Delivery Environments (AS, MHS), pp. 850–861.
CIAA-2002-Sutner02a #automaton: automata, a Hybrid System for Computational Automata Theory (KS), pp. 221–227.
ICPR-v1-2002-HarnsomburanaS #approach #database #feedback #image #performance #retrieval: A Hybrid Tree Approach for Efficient Image Database Retrieval with Dynamic Feedback (JH, CRS), pp. 263–266.
ICPR-v1-2002-LongL #invariant: A Hybrid Model for Invariant and Perceptual Texture Mapping (HL, WKL), pp. 135–138.
ICPR-v1-2002-MaedaKI #3d #modelling #representation #using: Shapes Modeling of 3-D Objects Based on A Hybrid Representation Using Extended B-spline Surface Model (MM, KK, KI), pp. 656–659.
ICPR-v3-2002-MaoCLS #detection #image #video: Hybrid Chinese/English Text Detection in Images and Video Frames (WM, FLC, KKML, WCS), pp. 1015–1018.
ICPR-v3-2002-RossJR: A Hybrid Fingerprint Matcher (AR, AKJ, JR), pp. 795–798.
SEKE-2002-RaffoHV #framework #metric #modelling #process #trade-off #using: Software process decision support: making process tradeoffs using a hybrid metrics, modeling and utility framework (DR, WH, JV), pp. 803–809.
DAC-2002-HazelhurstWKF #approach #design #verification: A hybrid verification approach: getting deep into the design (SH, OW, GK, LF), pp. 111–116.
DAC-2002-IonescuDMBG #towards: Few electron devices: towards hybrid CMOS-SET integrated circuits (AMI, MJD, SM, KB, JG), pp. 88–93.
WRLA-J-1996-OlveczkyM02 #logic #realtime #specification: Specification of real-time and hybrid systems in rewriting logic (PCÖ, JM), pp. 359–405.
TACAS-2002-KwiatkowskaNP #approach #model checking #probability: Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach (MZK, GN, DP), pp. 52–66.
CADE-2002-ArecesH #logic: HyLoRes 1.0: Direct Resolution for Hybrid Logics (CA, JH), pp. 156–160.
CAV-2002-AsarinDM #verification: The d/dt Tool for Verification of Hybrid Systems (EA, TD, OM), pp. 365–370.
CAV-2002-AsarinPSY #named #verification: SPeeDI — A Verification Tool for Polygonal Hybrid Systems (EA, GJP, GS, SY), pp. 354–358.
CAV-2002-Henzinger #approach: The Symbolic Approach to Hybrid Systems (TAH), p. 57.
ICLP-2002-BockmayrC #biology #concurrent #constraints #programming #using: Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems (AB, AC), pp. 85–99.
ICDAR-2001-BelliliGG: An Hybrid MLP-SVM Handwritten Digit Recognizer (AB, MG, PG), pp. 28–33.
ICDAR-2001-ElgammalI01a #documentation #identification #image: Techniques for Language Identification for Hybrid Arabic-English Document Images (AME, MAI), pp. 1100–1104.
ICDAR-2001-MarukatatAGD #modelling #recognition: Sentence Recognition through Hybrid Neuro-Markovian Modeling (SM, TA, PG, BD), pp. 731–737.
JCDL-2001-FrasconiSV #approach #categorisation #documentation #multi #naive bayes: Text categorization for multi-page documents: a hybrid naive Bayes HMM approach (PF, GS, AV), pp. 11–20.
VLDB-2001-YangG #peer-to-peer: Comparing Hybrid Peer-to-Peer Systems (BY, HGM), pp. 561–570.
ITiCSE-2001-Rosbottom #distance #education #learning: Hybrid learning — a safe route into web-based open and distance learning for the computer science teacher (JR), pp. 89–92.
SCAM-2001-RillingK #framework #slicing: A Hybrid Program Slicing Framework (JR, BK), pp. 14–25.
CIKM-2001-KimLJH #algorithm #named #transaction: O-PreH: Optimistic Transaction Processing Algorithm based on Pre-Reordering in Hybrid Broadcast Environments (SK, SL, SYJ, CSH), pp. 553–555.
ICML-2001-Das #feature model: Filters, Wrappers and a Boosting-Based Hybrid for Feature Selection (SD), pp. 74–81.
MLDM-2001-PernerB #data mining #mining: A Hybrid Tool for Data Mining in Picture Archiving System (PP, TPB), pp. 141–156.
SEKE-2001-WangenheimLW #approach #memory management: A Hybrid Approach for Corporate Memory Management Systems in Software R&D Organizations (CGvW, DL, AvW), pp. 326–330.
SAC-2001-GaliassoW #algorithm #multi #problem #search-based: A hybrid genetic algorithm for the point to multipoint routing problem with single split paths (PG, RLW), pp. 327–332.
DAC-2001-MneimnehAWCSA #scalability #verification: Scalable Hybrid Verification of Complex Microprocessors (MNM, FAA, CTW, SC, KAS, TMA), pp. 41–46.
DAC-2001-WangHLKZMD #abstraction #refinement #simulation #verification: Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines (DW, PHH, JL, JHK, YZ, HKTM, RFD), pp. 35–40.
LCTES-OM-2001-KimH #embedded #power management #realtime #runtime #scalability: Hybrid Run-time Power Management Technique for Real-time Embedded System with Voltage Scalable Processor (MK, SH), pp. 11–19.
IJCAR-2001-SattlerV #calculus: The Hybrid µ-Calculus (US, MYV), pp. 76–91.
LICS-2001-AsarinB #turing machine: Perturbed Turing Machines and Hybrid Systems (EA, AB), pp. 269–278.
ECDL-2000-Koehler #documentation #library #web: The Bibliographic Management of Web Documents in Digital and Hybrid Libraries (WCKJ), pp. 407–412.
ICML-2000-SilvaL #learning: Obtaining Simplified Rule Bases by Hybrid Learning (RBdAeS, TBL), pp. 879–886.
ICPR-v2-2000-GuoM #approach #automation #feature model #statistics: Automatic Feature Selection — A Hybrid Statistical Approach (HG, YLM), pp. 2382–2385.
ICPR-v2-2000-PodolakLBM: A Hybrid Neural System for Phonematic Transformation (ITP, SWL, AB, EM), pp. 2957–2960.
ICPR-v2-2000-StainvasI #architecture #network #recognition: Blurred Face Recognition via a Hybrid Network Architecture (IS, NI), pp. 2805–2808.
ICPR-v4-2000-BrakensiekWR #documentation #modelling #n-gram #recognition: Improved Degraded Document Recognition with Hybrid Modeling Techniques and Character N-Grams (AB, DW, GR), pp. 4438–4441.
KDD-2000-Farahat #process: Hybrid Poisson process (AF), pp. 474–479.
TOOLS-ASIA-2000-Taibi #development #object-oriented #process: Hybrid Object-Oriented Method (HOOM): The Software Development Process (TT), pp. 8–17.
TOOLS-ASIA-2000-ZhengZYW #compilation #concurrent #design #java #virtual machine: A Java Virtual Machine Design Based on Hybrid Concurrent Compilation Model (WZ, FZ, BY, YW), pp. 18–23.
PADL-2000-YunesMS #approach #problem #scalability #scheduling: A Hybrid Approach for Solving Large Scale Crew Scheduling Problems (THY, AVM, CCdS), pp. 293–307.
SAC-2000-LohHTN #concurrent #database #mobile: A Hybrid Method for Concurrent Updates on Disconnected Databases in Mobile Computing Environments (YHL, TH, MT, SN), pp. 563–565.
SAC-2000-LoiaSTS #approach #design: An Evolutionary Hybrid Approach to the Design of a Decision Support System (VL, AS, RT, SS), pp. 524–528.
LCTES-2000-AmnellDY #realtime: A Real-Time Animator for Hybrid Systems (TA, AD, WY), pp. 134–145.
TACAS-2000-HenzingerM #model checking: Symbolic Model Checking for Rectangular Hybrid Systems (TAH, RM), pp. 142–156.
WRLA-2000-OlveczkyM #maude #realtime #simulation: Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems (PCÖ, JM), pp. 361–382.
CAV-2000-CassezL #constraints #model checking: Model-Checking for Hybrid Systems by Quotienting and Constraints Solving (FC, FL), pp. 373–388.
ICDAR-1999-BrakensiekKWWR #evaluation #modelling #online #performance #recognition #using: Performance Evaluation of a New Hybrid Modeling Technique for Handwriting Recognition using On-Line and Off-Line Data (AB, AK, DW, WW, GR), pp. 446–449.
ICDAR-1999-TanakaNIAN #integration #recognition: Hybrid Pen-Input Character Recognition System based on Integration of Online-Offline Recognition (HT, KN, KI, KA, MN), pp. 209–212.
VLDB-1999-VorugantiOU #adaptation #architecture: An Adaptive Hybrid Server Architecture for Client Caching ODBMSs (KV, MTÖ, RCU), pp. 150–161.
WCRE-1999-DemeyerDL #approach #metric #reverse engineering #visualisation: A Hybrid Reverse Engineering Approach Combining Metrics and Program Visualization (SD, SD, ML), pp. 175–186.
FM-v1-1999-AlurEKKL #analysis #case study #coordination #formal method #modelling #multi: Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination (RA, JME, MK, VK, IL), pp. 212–232.
CHI-1999-RekimotoS: Augmented Surfaces: A Spatially Continuous Work Space for Hybrid Computing Environments (JR, MS), pp. 378–385.
HCI-CCAD-1999-NabeshimaTSNIOKS #monitoring: Hybrid monitoring system for high temperature gas cooling reactor (KN, ET, TS, SN, KI, TO, KK, KS), pp. 1187–1191.
ICML-1999-ZhouB #algorithm #approach #learning #memory management #parametricity #requirements: A Hybrid Lazy-Eager Approach to Reducing the Computation and Memory Requirements of Local Parametric Learning Algorithms (YZ, CEB), p. 503–?.
SAC-1999-Sabharwal #approach #database #image #implementation: An Implementation of Hybrid Approach to Indexing Image Databases (CLS), pp. 421–426.
DATE-1999-BolsensMDBV #integration: Single Chip or Hybrid System Integration (IB, WM, LD, JB, HJMV), p. 616–?.
PDP-1999-Dalton #logic #simulation: A special purpose hybrid SIMD processor for logic event simulation (DD), pp. 74–83.
PDP-1999-NicastroV #architecture: An atmosphere-ocean forecast system on a hybrid architecture (SN, FV), pp. 309–314.
CSL-1999-ArecesBM #complexity #logic: A Road-Map on Complexity for Hybrid Logics (CA, PB, MM), pp. 307–321.
CSL-1999-Franzle #analysis #infinity: Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States (MF), pp. 126–140.
ICLP-1999-CiarliniF #execution #symbolic computation: Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems (AEMC, TWF), p. 606.
ICPR-1998-BukerK #learning: Learning in an active hybrid vision system (UB, BK), pp. 178–181.
ICPR-1998-KnerrA #markov #recognition #word: A neural network-hidden Markov model hybrid for cursive word recognition (SK, EA), pp. 1518–1520.
ICPR-1998-KummertFSB #image #recognition #sequence: Hybrid object recognition in image sequences (FK, GAF, GS, EB), pp. 1165–1170.
ICPR-1998-RigollKW #approach #recognition #scalability: A new hybrid approach to large vocabulary cursive handwriting recognition (GR, AK, DW), pp. 1512–1514.
ICPR-1998-ShahA #architecture #classification #performance #reasoning: A hybrid architecture for performance reasoning in classification systems (SS, JKA), pp. 326–330.
ICSE-1998-BriandEB #assessment #benchmark #estimation #metric #named #risk management: COBRA: A Hybrid Method for Software Cost Estimation, Benchmarking, and Risk Assessment (LCB, KEE, FB), pp. 390–399.
DAC-1998-AzizKS #simulation #using #verification: Hybrid Verification Using Saturated Simulation (AA, JHK, TRS), pp. 615–618.
DAC-1998-LuoWA #functional #performance #simulation: Hybrid Techniques for Fast Functional Simulation (YL, TW, AA), pp. 664–667.
DATE-1998-GrimmW #clustering: Repartitioning and Technology-Mapping of Electronic Hybrid Systems (CG, KW), pp. 52–58.
ICDAR-1997-TeoS #classification: A Hybrid Classifier for Recognizing Handwritten Numerals (RYMT, RS), pp. 283–287.
VLDB-1997-StathatosRB #adaptation #network: Adaptive Data Broadcast in Hybrid Networks (KS, NR, JSB), pp. 326–335.
DLT-1997-Mihalache #communication #parallel: Hybrid Parallel Communicating Grammar Systems (VM), pp. 175–189.
ICALP-1997-HenzingerK97a #automaton: Discrete-Time Control for Rectangular Hybrid Automata (TAH, PWK), pp. 582–593.
SAC-1997-ChristensenWS #algorithm #multi #problem: A hybrid algorithm for the point to multipoint routing problem (HLC, RLW, DAS), pp. 263–268.
SAC-1997-KaiserLMGP #algorithm #predict #search-based: Polypeptide structure prediction: real-value versus binary hybrid genetic algorithms (CEK, GBL, LDM, GHGJ, RP), pp. 279–286.
SAC-1997-PargasLS #algorithm: Hybrid search algorithms (RPP, JL, SAS), pp. 269–273.
SAC-1997-SurmaS #communication #parallel #scheduling: Hybrid static-dynamic communication scheduling for parallel systems (DRS, EHMS), pp. 374–379.
DAC-1997-TsaiCLB #algorithm: A Hybrid Algorithm for Test Point Selection for Scan-Based BIST (HCT, KTC, CJL, SB), pp. 478–483.
EDTC-1997-ChiusanoCPR #graph #problem: Hybrid symbolic-explicit techniques for the graph coloring problem (SC, FC, PP, MSR), pp. 422–426.
SOSP-1997-CastroALM #adaptation #distributed #named: HAC: Hybrid Adaptive Caching for Distributed Storage Systems (MC, AA, BL, ACM), pp. 102–115.
CADE-1997-FeltyH #interactive #proving #theorem proving #using: Hybrid Interactive Theorem Proving Using Nuprl and HOL (APF, DJH), pp. 351–365.
CAV-1997-BoigelotBR #analysis #linear #reachability: An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (BB, LB, SR), pp. 167–178.
CAV-1997-HenzingerHW #model checking #named: HYTECH: A Model Checker for Hybrid Systems (TAH, PHH, HWT), pp. 460–463.
ICLP-1997-DekhtyarS #probability #source code: Hybrid Probabilistic Programs (AD, VSS), pp. 391–405.
ICPR-1996-Ayoung-CheeDF #3d #representation #using: Enhanced 3D representation using a hybrid model (NAC, GD, FPF), pp. 575–579.
ICPR-1996-BalaDHVW #architecture #detection #search-based #using #visual notation: Visual routine for eye detection using hybrid genetic architectures (JWB, KD, JH, HV, HW), pp. 606–610.
ICPR-1996-ChiangG #feature model #framework #recognition: A hybrid feature extraction framework for handwritten numeric fields recognition (JHC, PDG), pp. 436–440.
KDD-1996-CiesielskiP #database #mining #overview #using: Using a Hybrid Neural/Expert System for Data Base Mining in Market Survey Data (VC, GP), pp. 38–43.
KDD-1996-Kohavi #classification #scalability: Scaling Up the Accuracy of Naive-Bayes Classifiers: A Decision-Tree Hybrid (RK), pp. 202–207.
SEKE-1996-ChenKPS #development #information management #process: The Development of Hybrid Information Systems: a Process Model an Methodology (XC, SK, IP, PS), pp. 51–58.
SAS-1996-RouxR #automaton #decidability: Uniformity for the Decidability of Hybrid Automata (OFR, VR), pp. 301–316.
SAC-1996-MerkleGLGP #algorithm #energy #search-based: Hybrid genetic algorithms for polypeptide energy minimization (LDM, RLG, GBL, GHGJ, RP), pp. 305–311.
DAC-1996-ChengCWM #estimation: A New Hybrid Methodology for Power Estimation (DIC, KTC, DCW, MMS), pp. 439–444.
HPCA-1996-AndersonK #adaptation #protocol: Two Adaptive Hybrid Cache Coherency Protocols (CA, ARK), pp. 303–313.
LICS-1996-Henzinger #automaton #formal method: The Theory of Hybrid Automata (TAH), pp. 278–292.
ICDAR-v1-1995-GillouxLL #markov #network #recognition #word: A hybrid radial basis function network/hidden Markov model handwritten word recognition system (MG, BL, ML), pp. 394–397.
ICDAR-v1-1995-PowalkaSW #invariant #recognition: Zoning invariant holistic recognizer for hybrid recognition of handwriting (RKP, NS, RJW), pp. 64–67.
ICALP-1995-Henzinger95a #automaton #bisimulation #finite: Hybrid Automata with Finite Bisimulatioins (TAH), pp. 324–335.
CIKM-1995-ParkST #algorithm #concurrent #detection #distributed #generative #graph: A Distributed Deadlock Detection and Resolution Algorithm Based on A Hybrid Wait-for Graph and Probe Generation Scheme (YCP, PS, HLT), pp. 378–386.
FSE-1995-GuptaS #approach #information management #slicing #using: Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information (RG, MLS), pp. 29–40.
SAC-1995-Goonatilake: Intelligent hybrid systems for financial decision making (SG), pp. 471–476.
SAC-1995-ThuenteS #algorithm #problem #programming #search-based: Mathematical programming in a hybrid genetic algorithm for Steiner point problems (DJT, PS), pp. 357–363.
HPCA-1995-TheobaldHG #design: A Design Frame for Hybrid Access Caches (KBT, HHJH, GRG), pp. 144–153.
HPDC-1995-Sivalingam #network #protocol: Hybrid Media Access Protocols for a DSM System Based on Optical WDM Networks (KMS), pp. 40–47.
LCT-RTS-1995-LeeLK #scheduling: Scheduling of Hard Aperiodic Tasks in Hybrid Static/Dynamic Priority Systems (JL, SL, HK), pp. 7–19.
STOC-1995-HenzingerKPV #automaton #decidability #question #what: What’s decidable about hybrid automata? (TAH, PWK, AP, PV), pp. 373–382.
CAV-1995-BouajjaniLR #automaton #calculus #linear: From Duration Calculus To Linear Hybrid Automata (AB, YL, RR), pp. 196–210.
CAV-1995-BouajjaniR #linear #subclass #verification: Verifying ω-Regular Properties for a Subclass of Linear Hybrid Systems (AB, RR), pp. 437–450.
CAV-1995-HenzingerH #algorithm #analysis: Algorithmic Analysis of Nonlinear Hybrid Systems (TAH, PHH), pp. 225–238.
ICLP-1995-Hausman #erlang #implementation: Hybrid Implementation Techniques in Erlang BEAM (BH), p. 816.
TOOLS-EUROPE-1994-KarakostasP #automation #c++ #logic #specification: Automatic Transformation of Hybrid Object and Logic Specification to C++ Code (VK, LP), pp. 363–373.
PLILP-1994-HundehegeLX #memory management #optimisation #program transformation #runtime #semantics: Semantic-Based Static Program Transformations for Memory Space and Run Time Optimization in Hybrid Languages (JBH, WML, UX), pp. 453–454.
SAS-1994-HalbwachsPR #approximate #linear #verification: Verification of Linear Hybrid Systems by Means of Convex Approximations (NH, YEP, PR), pp. 223–237.
SAC-1994-GrissW #flexibility: Hybrid domain-specific kits for a flexible software factory (MLG, KDW), pp. 47–52.
SAC-1994-WongD #stack #thread #using: Supporting thousands of threads using a hybrid stack sharing scheme (KFW, BD), pp. 493–498.
DAC-1994-BuiM #algorithm #clustering #performance #problem #search-based: A Fast and Stable Hybrid Genetic Algorithm for the Ratio-Cut Partitioning Problem on Hypergraphs (TNB, BRM), pp. 664–669.
DAC-1994-KrishnakumarC #modelling #on the #set: On the Computation of the Set of Reachable States of Hybrid Models (ASK, KTC), pp. 615–621.
CAV-1994-BouajjaniER #linear #using #verification: Verification of Context-Free Timed Systems Using Linear Hybrid Observers (AB, RE, RR), pp. 118–131.
CAV-1994-McManisV #automaton #decidability: Suspension Automata: A Decidable Class of Hybrid Automata (JM, PV), pp. 105–117.
CAV-1994-OliveroSY #abstraction #linear #using #verification: Using Abstractions for the Verification of Linear Hybrid Systems (AO, JS, SY), pp. 81–94.
CAV-1994-PuriV #decidability #difference: Decidability of Hybrid Systems with Rectangular Differential Inclusion (AP, PV), pp. 95–104.
CAV-1994-Schubert #hardware #reasoning: A Hybrid Model for Reasoning about Composed Hardware Systems (ETS), pp. 260–272.
ICLP-1994-MoolenaarD: Hybrid Tree Search in the Andorra Model (RM, BD), pp. 110–123.
ICDAR-1993-OkamotoT #segmentation: A hybrid page segmentation method (MO, MT), pp. 743–746.
WCRE-1993-Quilici #approach #programming: A Hybrid Approach to Recognizing Programming Plans (AQ), pp. 126–133.
HCI-SHI-1993-MilechWNRK #modelling #student: Student Modelling in Hybrid Training Systems (DM, BW, SN, GGR, KK), pp. 754–759.
CIKM-1993-GolverRO #pattern matching #pattern recognition #recognition #self: Hybrid Pattern Recognition System Capable of Self-Modification (CWG, NSVR, EMO), pp. 239–244.
CIKM-1993-ShinLYC #information retrieval #knowledge base #named: HYKIS — An Information Retrieval System Based on a Hybrid Knowledge Base (DS, HL, YY, KSC), pp. 264–273.
TOOLS-PACIFIC-1993-PloschW #communication #distributed #library: An Extensible Communication Class Library for Hybrid Distributed Systems (RP, RW), pp. 431–437.
KBSE-1993-KingstonVD #approach #development #evaluation #using: Development of an Expert Assistant for Software Evaluation using a Hybrid Approach (GK, RV, PD), p. 26.
SAC-1993-RankinWHS #algorithm #evaluation #problem #search-based: A Hybrid Genetic Algorithm for an NP-Complete Problem with an Expensive Evaluation Function (RR, RWW, GH, JS), pp. 251–256.
SAC-1993-SutherlandPR #architecture #integration #object-oriented #relational: The Hybrid Object-Relational Architecture (HORA): An Integration of Object-Oriented and Relational Technology (JS, MP, KR), pp. 326–333.
SAC-1993-VeezhinathanKT #bound #branch: A Hybrid of Neural Net and Branch and Bound Techniques for Seismic Horizon Tracking (JV, FK, JT), pp. 173–178.
CAV-1993-LincolnR #algorithm #consistency #fault #interactive #verification: The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model (PL, JMR), pp. 292–304.
ICLP-1993-NerodeK #constraints #logic programming: Hybrid Systems and Constraint Logic Programming (AN, WK), pp. 18–24.
KR-1992-Jang #feedback #information management #representation: Knowledge Representation and Incorporation in a Hybrid System with Feedback (YJ), pp. 477–488.
ASPLOS-1992-VeenstraF #evaluation #performance #protocol: A Performance Evaluation of Optimal Hybrid Cache Coherency Protocols (JEV, RJF), pp. 149–160.
ESOP-1992-BenvenisteBG #realtime: SIGNAL as a Model for Real-Time and Hybrid Systems (AB, MLB, PLG), pp. 20–38.
ML-1991-FawcettU #generative: A Hybrid Method for Feature Generation (TF, PEU), pp. 137–141.
ML-1991-GratchD #approach #effectiveness: A Hybrid Approach to Guaranteed Effective Control Strategies (JG, GD), pp. 509–513.
SIGIR-1991-LuoY #algorithm #image: Image Decompression: A Hybrid Image Decompressing Algorithm (CL, CTY), pp. 82–91.
ECOOP-1991-MatsuokaWY #architecture #concurrent #object-oriented #programming: Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming (SM, TW, AY), pp. 231–250.
VLDB-1990-AgrawalJ #algorithm #transitive: Hybrid Transitive Closure Algorithms (RA, HVJ), pp. 326–334.
GG-1990-Schurr90a #editing #graph grammar #term rewriting: Presentation of the PROGRESS-Editor: A text-oriented hybrid editor for PROgrammed Graph REwriting SyStems (AS), p. 67.
ALP-1990-Walters #algebra #implementation #specification: Hybrid Implementations of Algebraic Specifications (HRW), pp. 40–54.
POPL-1990-MarloweR #algorithm #analysis #data flow #incremental #performance: An Efficient Hybrid Algorithm for Incremental Data Flow Analysis (TJM, BGR), pp. 184–196.
CC-1990-Dobler #parsing #top-down: A Hybrid Top-Down Parsing Technique (HD), pp. 210–211.
VLDB-1989-KitsuregawaNT: The Effect of Bucket Size Tuning in the Dynamic Hybrid GRACE Hash Join Method (MK, MN, MT), pp. 257–266.
KR-1989-Cohn #framework #on the #reasoning: On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning (AGC), pp. 55–66.
KR-1989-Frisch #deduction #framework #reasoning: A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning (AMF), pp. 126–136.
ML-1989-HilliardLRP #approach #classification #learning #problem #scheduling: Learning Decision Rules for scheduling Problems: A Classifier Hybrid Approach (MRH, GEL, GR, MRP), pp. 188–190.
ML-1989-LambertTL #algorithm #concept #learning #recursion: Generalized Recursive Splitting Algorithms for Learning Hybrid Concepts (BLL, DKT, SCYL), pp. 496–498.
SEKE-1989-LiRPS #execution #modelling #paradigm #simulation: A Hybrid Modeling Paradigm for Simulating Existing Software and Its Execution Environment (XL, AR, RP, JS), pp. 61–66.
SEKE-1989-WongW #information management #representation: Object Formation in A Hybrid Knowledge Representation (STCW, JLW), pp. 42–47.
DAC-1989-PreasPC #automation #layout: Automatic Layout of Silicon-on-Silicon Hybrid Packages (BP, MP, DC), pp. 394–399.
PODS-1988-HerlihyW #concurrent #data type: Hybrid Concurrency Control for Abstract Data Types (MH, WEW), pp. 201–210.
OOPSLA-1987-Nierstrasz: Active Objects in Hybrid (ON), pp. 243–253.
PLDI-1987-Pittman #execution #interpreter #performance: Two-level hybrid interpreter/native code execution for combined space-time program efficiency (TP), pp. 150–152.
ESEC-1987-EngelsS #development #interpreter: A Hybrid Interpreter in a Software Development Environment (GE, AS), pp. 80–88.
DAC-1982-GingerichCCL: A hybrid CAD/CAM system for mechanical applications (JZG, MPC, EJC, PKL), pp. 643–649.
DAC-1981-Haynie #automation #database #design #network #relational: The relational/network Hybrid data model for Design Automation Databases (MNH), pp. 646–652.
DAC-1979-Sherwood #logic #scheduling: A hybrid scheduling technique for hierarchical logic simulators or “Close Encounters of the Simulated Kind” (WS), pp. 249–254.
DAC-1977-Waldvogel #multi #using: Computer designed multilayer hybrid substrate using thick film technology (CWW), pp. 351–353.
SOSP-1973-Svobodova #metric #monitoring #online #performance: Online System Performance Measurements with Software and Hybrid Monitors (LS), pp. 45–53.
SIGFIDET-1972-WalkerG #data type: Hybrid Trees: A Data Structure for Lists of Keys (WAW, CCG), pp. 189–211.
SIGFIDET-1970-DempseyM #problem: Problems of Building a Hybrid Data Definition Facility (JWD, JKM), pp. 174–187.