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

Tag #hybrid

983 papers:

ASPLOSASPLOS-2020-0004JE #multi #named
HSM: A Hybrid Slowdown Model for Multitasking GPUs (XZ0, MJ, LE), pp. 1371–1385.
EDMEDM-2019-HanWJZZ #framework #human-computer
A Human-Machine Hybrid Peer Grading Framework for SPOCs (YH, WW0, SJ, LZ, HZ0).
EDMEDM-2019-HarrakBL #approach #categorisation #student #using
Categorizing students' questions using an ensemble hybrid approach (FH, FB, VL).
EDMEDM-2019-TatoND #network #predict #reasoning
Hybrid Deep Neural Networks to Predict Socio-Moral Reasoning Skills (AANT, RN, AD).
MSRMSR-2019-MatsumotoHK #approach
Beyond GumTree: a hybrid approach to generate edit scripts (JM, YH, SK), pp. 550–554.
FSCDFSCD-2019-Felty #framework #linear #logic
A Linear Logical Framework in Hybrid (Invited Talk) (APF), p. 2.
CoGCoG-2019-NeufeldML #approach #evaluation #evolution #game studies
Evolving Game State Evaluation Functions for a Hybrid Planning Approach (XN, SM, DPL), pp. 1–8.
DiGRADiGRA-2019-KankainenP #design #game studies #guidelines
Hybrid Board Game Design Guidelines (VK, JP).
FDGFDG-2019-NummenmaaK #game studies #social
Social features in hybrid board game marketing material (TN, VK), p. 8.
FDGFDG-2019-ZelekeOS #approach #game studies
Analyzing action games: a hybrid systems approach (YZ, JCO, RGS), p. 11.
CIKMCIKM-2019-0005HQQGCLSL
A Hybrid Retrieval-Generation Neural Conversation Model (LY0, JH, MQ, CQ, JG, WBC, XL, YS, JL), pp. 1341–1350.
CIKMCIKM-2019-KimRG #ambiguity #classification
Hybrid Deep Pairwise Classification for Author Name Disambiguation (KK, SR, CLG), pp. 2369–2372.
CIKMCIKM-2019-LiJC0W #approach #named #recommendation
HAES: A New Hybrid Approach for Movie Recommendation with Elastic Serendipity (XL, WJ, WC, JW0, GW0), pp. 1503–1512.
CIKMCIKM-2019-LinWXLB #estimation #network #using
Path Travel Time Estimation using Attribute-related Hybrid Trajectories Network (XL, YW, XX, ZL, SSB), pp. 1973–1982.
ECIRECIR-p1-2019-KimY #approach #automation #modelling
A Hybrid Modeling Approach for an Automated Lyrics-Rating System for Adolescents (JK, MYY), pp. 779–786.
ICMLICML-2019-NalisnickMTGL #modelling
Hybrid Models with Deep and Invertible Features (ETN, AM, YWT, DG, BL), pp. 4723–4732.
KDDKDD-2019-RamanSMZYV #parallel #scalability
Scaling Multinomial Logistic Regression via Hybrid Parallelism (PR, SS, SM, XZ, HY, SVNV), pp. 1460–1470.
PLDIPLDI-2019-KhanZPMK #detection #named
Huron: hybrid false sharing detection and repair (TAK, YZ, GP, BM, BK), pp. 453–468.
PLDIPLDI-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.
PPDPPPDP-2019-0001N
An Adequate While-Language for Hybrid Computation (SG0, RN), p. 15.
SASSAS-2019-BecchiZ #analysis
Revisiting Polyhedral Analysis for Hybrid Systems (AB, EZ), pp. 183–202.
ASPLOSASPLOS-2019-MiaoJPML #memory management #named
StreamBox-HBM: Stream Analytics on High Bandwidth Hybrid Memory (HM, MJ, GP, KSM, FXL), pp. 167–181.
CASECASE-2019-FechterDB #assembly #configuration management
Cost calculation model for reconfigurable, hybrid assembly systems (MF, TD, TB), pp. 836–841.
CASECASE-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.
CASECASE-2019-MrochenS
Flatness-based Powertrain Control for Engine Start Applications in Hybrid Dual-Clutch Transmissions (MAM, OS), pp. 1562–1567.
CASECASE-2019-MuthukumaranSE #multi #navigation
A Hybrid Control Strategy for Autonomous Navigation while Avoiding Multiple Obstacles at Unknown Locations (VM, RGS, GHE), pp. 1042–1047.
CASECASE-2019-RibeiroHCL
Passivity-based Cascade Hybrid Pose/Force Robot Control (RR, LH, RRC, FCL), pp. 806–811.
CASECASE-2019-SoniGAS #learning #named
HMC: A Hybrid Reinforcement Learning Based Model Compression for Healthcare Applications (RS, JG, GA, VRS), pp. 146–151.
CASECASE-2019-SunW #algorithm #assembly #design #network
Hybrid Evolutionary Algorithm for Integrated Supply Chain Network Design With Assembly Line Balancing (BqS, LW), pp. 885–890.
CASECASE-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.
CASECASE-2019-XingQ0 #algorithm #energy #multi #scheduling
A Hybrid Multi-objective Algorithm for Energy-Efficient Scheduling Considering Machine Maintenance* (JX, FQ, HL0), pp. 115–120.
FASEFASE-2019-HennickerMK #data-driven #logic
A Hybrid Dynamic Logic for Event/Data-Based Systems (RH, AM, AK), pp. 79–97.
CADECADE-2019-CordwellP #physics #towards
Towards Physical Hybrid Systems (KC, AP), pp. 216–232.
CAVCAV-2019-SotoHSZ #automaton #linear #synthesis
Membership-Based Synthesis of Linear Hybrid Automata (MGS, TAH, CS0, LZ), pp. 297–314.
CAVCAV-2019-ZhangHA #multi
Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification (ZZ, IH, PA), pp. 401–420.
ICTSSICTSS-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.
EDMEDM-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).
ICSMEICSME-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.
SANERSANER-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.
SEFMSEFM-2018-SchuppA #analysis #concurrent #multi #safety #thread
Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems (SS, ), pp. 89–104.
AIIDEAIIDE-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-PLAYCHI-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.
CoGCIG-2018-TakanoOIHT #architecture #game studies
Applying Hybrid Reward Architecture to a Fighting Game AI (YT, WO, SI, TH, RT), pp. 1–4.
FDGFDG-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.
FDGFDG-2018-ZhouGMKNT
A hybrid search agent in pommerman (HZ, YG, LM, AK, AN, JT), p. 4.
CIKMCIKM-2018-KhattarKV0 #named #recommendation
HRAM: A Hybrid Recurrent Attention Machine for News Recommendation (DK, VK, VV, MG0), pp. 1619–1622.
CIKMCIKM-2018-SuLK #distributed #learning #metric
Communication-Efficient Distributed Deep Metric Learning with Hybrid Synchronization (YS, MRL, IK), pp. 1463–1472.
CIKMCIKM-2018-VainshteinGKSR #approach #automation #recommendation
A Hybrid Approach for Automatic Model Recommendation (RV, AGM, GK, BS, LR), pp. 1623–1626.
CIKMCIKM-2018-WuZSW #modelling #predict #social
Hybrid Deep Sequential Modeling for Social Text-Driven Stock Prediction (HW, WZ, WS, JW), pp. 1627–1630.
ECIRECIR-2018-CohenC #approach #retrieval
A Hybrid Embedding Approach to Noisy Answer Passage Retrieval (DC, WBC), pp. 127–140.
ECIRECIR-2018-StihecZP #approach #detection #semantics
Simplified Hybrid Approach for Detection of Semantic Orientations in Economic Texts (JS, MZ, SP), pp. 692–698.
ICMLICML-2018-KolarijaniEK #exponential #framework #performance
Fast Gradient-Based Methods with Exponential Rate: A Hybrid Control Framework (ASK, PME, TK), pp. 2733–2741.
ICMLICML-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.
ICPRICPR-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.
ICPRICPR-2018-CuiB00JH #graph #kernel #learning #network
A Deep Hybrid Graph Kernel Through Deep Learning Networks (LC, LB0, LR0, YW0, YJ0, ERH), pp. 1030–1035.
ICPRICPR-2018-MaL #clustering #visual notation
Hybrid Sparse Subspace Clustering for Visual Tracking (LM, ZL), pp. 1737–1742.
ICPRICPR-2018-MaLHY #estimation #network #using
Image-based Air Pollution Estimation Using Hybrid Convolutional Neural Network (JM, KL, YH, JY), pp. 471–476.
ICPRICPR-2018-Shen0Z #3d
Hybrid 3D Surface Description with Global Frames and Local Signatures of Histograms (ZS, XM0, XZ), pp. 1610–1615.
ICPRICPR-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.
ICPRICPR-2018-XuXZHCZDNW #estimation #framework
A Hybrid Framework for Tumor Saliency Estimation (FX, MX, YZ, KH, HDC, BZ, JD, CN, YW), pp. 3935–3940.
MoDELSMoDELS-2018-CremonaLBLMT
Hybrid Co-simulation: It’s About Time (FC, ML, DB, EAL, MM, ST), p. 368.
PLDIPLDI-2018-AkramSME #garbage collection
Write-rationing garbage collection for hybrid memories (SA, JBS, KSM, LE), pp. 62–77.
ESEC-FSEESEC-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.
ASPLOSASPLOS-2018-DevecseryCFN #dynamic analysis #static analysis
Optimistic Hybrid Analysis: Accelerating Dynamic Analysis through Predicated Static Analysis (DD, PMC, JF, SN), pp. 348–362.
CASECASE-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.
CASECASE-2018-HidakaK #algorithm #generative
Hybrid Sensor-Based and Frontier-Based Exploration Algorithm for Autonomous Transport Vehicle Map Generation (KH, NK), pp. 994–999.
CASECASE-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.
CASECASE-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.
CASECASE-2018-MalhanKSSGC #multi
Hybrid Cells for Multi-Layer Prepreg Composite Sheet Layup (RKM, AMK, AVS, BCS, SKG, TC), pp. 1466–1472.
CASECASE-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.
CASECASE-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.
JCDLJCDL-2017-WuCCLG #approach #named
HESDK: A Hybrid Approach to Extracting Scientific Domain Knowledge Entities (JW0, SRC, AC, CL, CLG), pp. 241–244.
FSCDFSCD-2017-BiernackaCZ #automaton
Generalized Refocusing: From Hybrid Strategies to Abstract Machines (MB, WC, KZ), p. 17.
SEFMSEFM-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.
AIIDEAIIDE-2017-OsbornLM #game studies #modelling #named
HyPED: Modeling and Analyzing Action Games as Hybrid Systems (JCO, BL, MM), pp. 87–93.
AIIDEAIIDE-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.
CoGCIG-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.
CIKMCIKM-2017-KhuranaASVS #network
Hybrid BiLSTM-Siamese network for FAQ Assistance (PK, PA, GMS, LV, AS0), pp. 537–545.
CIKMCIKM-2017-NicosiaM #network
Accurate Sentence Matching with Hybrid Siamese Networks (MN, AM), pp. 2235–2238.
CIKMCIKM-2017-RuchanskySL #detection #named
CSI: A Hybrid Deep Model for Fake News Detection (NR, SS, YL0), pp. 797–806.
CIKMCIKM-2017-Singh0V #summary
Hybrid MemNet for Extractive Summarization (AKS, MG0, VV), pp. 2303–2306.
CIKMCIKM-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.
KDDKDD-2017-WangJY #framework #modelling
A Hybrid Framework for Text Modeling with Convolutional RNN (CW, FJ, HY), pp. 2061–2069.
ECMFAECMFA-2017-AddaziCLP #modelling #towards #uml
Towards Seamless Hybrid Graphical-Textual Modelling for UML and Profiles (LA, FC, PL, EP), pp. 20–33.
QAPLQAPL-2017-SchuppNA #analysis #divide and conquer #reachability #set
Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis (SS, JN, ), pp. 1–14.
ESEC-FSEESEC-FSE-2017-MatinnejadNB #automation #case study #industrial #testing
Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies (RM, SN, LCB), pp. 938–943.
CASECASE-2017-DangD #specification #testing
Temporal specification testing of hybrid systems (TD, TD), pp. 1338–1343.
CASECASE-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.
CASECASE-2017-OliveiraCMS #requirements #simulation
Simulation of hybrid systems from natural-language requirements (BO, GC, MRM, AS), pp. 1320–1325.
CASECASE-2017-RuppertSKSP #process
Hybrid dynamic control of a sewage sludge dewatering and incineration process (SR, CS, MK, PS, JP), pp. 451–457.
CASECASE-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.
CASECASE-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.
CASECASE-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.
FASEFASE-2017-0002MRSP #component #contract #verification
Change and Delay Contracts for Hybrid System Component Verification (AM0, SM, WR, WS, AP), pp. 134–151.
TAPTAP-2017-BaranyS #analysis #c #data flow
Hybrid Information Flow Analysis for Real-World C Code (GB, JS), pp. 23–40.
SANERSANER-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.
FMFM-2016-CimattiMS #automaton #network
From Electrical Switched Networks to Hybrid Automata (AC, SM, MS), pp. 164–181.
FMFM-2016-KawamotoBL #data flow #estimation #statistics
Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow (YK0, FB, AL), pp. 406–425.
FMFM-2016-KongLCSSW #testing #towards
Towards Concolic Testing for Hybrid Systems (PK, YL0, XC0, JS0, MS0, JW), pp. 460–478.
FMFM-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.
FMFM-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.
CoGCIG-2016-HornVLP #estimation #game studies
MCTS/EA hybrid GVGAI players and game difficulty estimation (HH, VV, DPL, MP), pp. 1–8.
CIKMCIKM-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.
CIKMCIKM-2016-WeiWWLX #named #predict
ZEST: A Hybrid Model on Predicting Passenger Demand for Chauffeured Car Service (HW, YW, TW, YL, JX0), pp. 2203–2208.
CIKMCIKM-2016-YiLW #adaptation #evaluation #latency #named
APAM: Adaptive Eager-Lazy Hybrid Evaluation of Event Patterns for Low Latency (IY, JGL0, KYW), pp. 2275–2280.
ICPRICPR-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.
ICPRICPR-2016-GaoJ #markov
Hybrid Markov Blanket discovery (TG, QJ), pp. 1653–1658.
ICPRICPR-2016-HuangL #recognition
Hybrid hypergraph construction for facial expression recognition (YH, HL), pp. 4142–4147.
ICPRICPR-2016-KaurDCM #image #learning
Hybrid deep learning for Reflectance Confocal Microscopy skin images (PK, KJD, GOC, MCM), pp. 1466–1471.
ICPRICPR-2016-Liu #mining #scalability
Exposing seam carving forgery under recompression attacks by hybrid large feature mining (QL), pp. 1041–1046.
ICPRICPR-2016-Perez-YusLG #novel
A novel hybrid camera system with depth and fisheye cameras (APY, GLN, JJG), pp. 2789–2794.
OOPSLAOOPSLA-2016-ChapmanHM #transaction
Hybrid STM/HTM for nested transactions on OpenJDK (KC, ALH, JEBM), pp. 660–676.
POPLPOPL-2016-Murray #synthesis
Synthesis of reactive controllers for hybrid systems (keynote) (RMM), p. 3.
ASEASE-2016-LeeDR #android #framework #named #static analysis
HybriDroid: static analysis framework for Android hybrid applications (SL, JD, SR), pp. 250–261.
ASPLOSASPLOS-2016-ZhangH #comparison #hardware #performance
Maximizing Performance Under a Power Cap: A Comparison of Hardware, Software, and Hybrid Techniques (HZ, HH), pp. 545–559.
CASECASE-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.
CASECASE-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.
CASECASE-2016-LiuT #distributed #multi #network #using
Distributed vision network for multiple target tracking using a dynamic hybrid consensus filter (GL, GT), pp. 805–808.
CASECASE-2016-PanKHC #reliability
The Claw-Wheel transformable hybrid robot with reliable stair climbing and high maneuverability (LHP, CNK, CYH, JJC), pp. 233–238.
CASECASE-2016-SadrfaridpourSW #assembly #collaboration #framework
An integrated framework for human-robot collaborative assembly in hybrid manufacturing cells (BS, HS, YW0), pp. 462–467.
CASECASE-2016-YangLWC #architecture #predict
A hybrid tool life prediction scheme in cloud architecture (HCY, YYL, MNW, FTC), pp. 1160–1165.
CASECASE-2016-YangWQZ #analysis #clustering #multi #scheduling #tool support
Optimal scheduling analysis of treelike hybrid multi-cluster tools (FY, NW, YQ, MZ), pp. 1400–1404.
CASECASE-2016-YirmibesogluM #embedded
Hybrid soft sensor with embedded IMUs to measure motion (ODY, YM), pp. 798–804.
FASEFASE-2016-HuY #api #generative #verification
Hybrid Session Verification Through Endpoint API Generation (RH, NY), pp. 401–418.
CAVCAV-2016-FanQM0D #analysis #automation #modelling #reachability
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 (CF, BQ, SM, MV0, PSD), pp. 531–538.
VMCAIVMCAI-2016-Parizek #analysis #array #partial order #reduction #source code
Hybrid Analysis for Partial Order Reduction of Programs with Arrays (PP), pp. 291–310.
CBSECBSE-2015-RuchkinSG #abstraction #architecture #source code
Architectural Abstractions for Hybrid Programs (IR, BRS, DG), pp. 65–74.
HTHT-2015-Laouris
The Near Future is Hybrid (YL), p. 1.
JCDLJCDL-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.
SIGMODSIGMOD-2015-OktayMKK #named #performance #pipes and filters
SEMROD: Secure and Efficient MapReduce Over HybriD Clouds (KYO, SM, VK, MK), pp. 153–166.
SIGITESIGITE-2015-AlZoubiFEGAH #education #recursion
A Hybrid Model for Teaching Recursion (OA, DF, BDE, NG, MA, RH), pp. 65–70.
FMFM-2015-0009ZZZ #abstraction
Abstraction of Elementary Hybrid Systems by Variable Transformation (JL, NZ, HZ, LZ), pp. 360–377.
FMFM-2015-SogokonJ #liveness #verification
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (AS, PBJ), pp. 514–531.
CHI-PLAYCHI-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.
CHICHI-2015-DevendorfR #configuration management
Being the Machine: Reconfiguring Agency and Control in Hybrid Fabrication (LD, KR), pp. 2477–2486.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CSCWCSCW-2015-ChengB #classification #machine learning #named
Flock: Hybrid Crowd-Machine Learning Classifiers (JC, MSB), pp. 600–611.
CSCWCSCW-2015-HoubenFB #collaboration
Collaborative Affordances of Hybrid Patient Record Technologies in Medical Work (SH, MF, JEB), pp. 785–797.
HCIDHM-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.
HCILCT-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.
ICEISICEIS-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.
ICEISICEIS-v1-2015-SilvaHL #approach #memory management
A Hybrid Memory Data Cube Approach for High Dimension Relations (RRS, CMH, JdCL), pp. 139–149.
ICEISICEIS-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.
ICMLICML-2015-ZhuE #approach #probability #random #using
A Hybrid Approach for Probabilistic Inference using Random Projections (MZ, SE), pp. 2039–2047.
KDDKDD-2015-GroverKH
A Deep Hybrid Model for Weather Forecasting (AG, AK, EH), pp. 379–386.
MLDMMLDM-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.
RecSysRecSys-2015-Geuens #behaviour #recommendation
Factorization Machines for Hybrid Recommendation Systems Based on Behavioral, Product, and Customer Data (SG), pp. 379–382.
RecSysRecSys-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.
RecSysRecSys-2015-Santos #recommendation
A Hybrid Recommendation System Based on Human Curiosity (AMdS), pp. 367–370.
SEKESEKE-2015-WangG #approach #novel #predict
A Novel Hybrid Approach for Diarrhea Prediction (YW, JG), pp. 168–173.
SPLCSPLC-2015-Santos #composition #comprehension #refactoring
Understanding hybrid SPL composition impact on the refactoring into SPL (ARS), pp. 348–351.
ECOOPECOOP-2015-Alimadadi0P #impact analysis #javascript
Hybrid DOM-Sensitive Change Impact Analysis for JavaScript (SA, AM, KP), pp. 321–345.
SACSAC-2015-CapelleMHFV #recommendation #semantics
Bing-SF-IDF+: a hybrid semantics-driven news recommender (MC, MM, FH, FF, DV), pp. 732–739.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-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.
ASPLOSASPLOS-2015-MatveevS #hardware #memory management #scalability #transaction
Reduced Hardware NOrec: A Safe and Scalable Hybrid Transactional Memory (AM, NS), pp. 59–71.
ASPLOSASPLOS-2015-SenguptaBZBK #bound #dynamic analysis
Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability (AS, SB, MZ, MDB, MK), pp. 561–575.
CASECASE-2015-LennartsonBW #optimisation #petri net
Optimization of hybrid Petri nets with shared variables (BL, KB, OW), pp. 1395–1396.
CASECASE-2015-MaedaK #algorithm
Inverse kinematics solution algorithm for continuous/binary hybrid manipulator (KM, EK), pp. 483–488.
CASECASE-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.
CASECASE-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.
CASECASE-2015-Schwung #automaton #cyber-physical #modelling #using
Cyber-physical modeling of compression systems using hybrid automata (AS), pp. 1125–1130.
CCCC-2015-BourkeCPPP #code generation
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages (TB, JLC, BP, CP, MP), pp. 69–88.
DACDAC-2015-BadrTG #synthesis
Mask assignment and synthesis of DSA-MP hybrid lithography for sub-7nm contacts/vias (YB, AT, PG), p. 6.
DACDAC-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.
DACDAC-2015-LiCSHLWY #power management
A STT-RAM-based low-power hybrid register file for GPGPUs (GL, XC, GS, HH, YL, YW, HY), p. 6.
DACDAC-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.
DACDAC-2015-WenWHLHLC #framework #scalability
An EDA framework for large scale hybrid neuromorphic computing systems (WW, CRW, XH, BL, TYH, XL, YC), p. 6.
DATEDATE-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.
DATEDATE-2015-BruggerVWTK #cpu
Reverse longstaff-schwartz american option pricing on hybrid CPU/FPGA systems (CB, JAV, NW, ST, RK), pp. 1599–1602.
DATEDATE-2015-ChenEC #3d
Enabling vertical wormhole switching in 3D NoC-bus hybrid systems (CC, ME, SDC), pp. 507–512.
DATEDATE-2015-GheolbanoiuPC #adaptation
Hybrid adaptive clock management for FPGA processor acceleration (AG, LP, SC), pp. 1359–1364.
DATEDATE-2015-Lastras-Montano #configuration management #memory management #named
HReRAM: a hybrid reconfigurable resistive random-access memory (MALM, AG, KTC), pp. 1299–1304.
DATEDATE-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.
DATEDATE-2015-RawatS #architecture #concurrent #manycore #memory management #thread
Enabling multi-threaded applications on hybrid shared memory manycore architectures (TR, AS), pp. 742–747.
DATEDATE-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.
HPCAHPCA-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.
ISMMISMM-2015-StancuWBLF #java #memory management #performance
Safe and efficient hybrid memory management for Java (CS, CW, SB, PL, MF), pp. 81–92.
PDPPDP-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.
PDPPDP-2015-RipepiCD #implementation #parallel
A Hybrid Parallel Implementation of Model Selection for Support Vector Machines (GR, AC, DD), pp. 145–149.
PDPPDP-2015-SieglBB #performance
Revealing Potential Performance Improvements by Utilizing Hybrid Work-Sharing for Resource-Intensive Seismic Applications (PS, RB, MB), pp. 659–663.
PPoPPPPoPP-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.
TACASTACAS-2015-CimattiGMT #model checking #named #smt
HyComp: An SMT-Based Model Checker for Hybrid Systems (AC, AG, SM, ST), pp. 52–67.
TACASTACAS-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.
TACASTACAS-2015-KongGCC #analysis #named
dReach: δ-Reachability Analysis for Hybrid Systems (SK, SG, WC, EMC), pp. 200–205.
CADECADE-2015-FultonMQVP #axiom #proving #theorem proving
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (NF, SM, JDQ, MV, AP), pp. 527–538.
CAVCAV-2015-AkazakiH #robust
Time Robustness in MTL and Expressivity in Hybrid System Falsification (TA, IH), pp. 356–374.
VMCAIVMCAI-2015-PrabhakarS #abstraction #analysis
Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems (PP, MGS), pp. 318–335.
PODSPODS-2014-GrecoS #query
Counting solutions to conjunctive queries: structural and hybrid tractability (GG, FS), pp. 132–143.
VLDBVLDB-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.
AFLAFL-2014-FernauFH #distributed #finite
Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes (HF, RF, MH), pp. 246–260.
ICALPICALP-v2-2014-Parter
Bypassing Erdős’ Girth Conjecture: Hybrid Stretch and Sourcewise Spanners (MP), pp. 608–619.
FMFM-2014-MitschQP #logic #reasoning #refactoring #refinement
Refactoring, Refinement, and Reasoning — A Logical Characterization for Hybrid Systems (SM, JDQ, AP), pp. 481–496.
IFMIFM-2014-RamsdellDGR #analysis #protocol #security
A Hybrid Analysis for Security Protocols with State (JDR, DJD, JDG, PDR), pp. 272–287.
FDGFDG-2014-KouN
Governance in League of Legends: A hybrid system (YK, BAN).
CoGVS-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.
CSCWCSCW-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.
HCIDUXU-DI-2014-FrankjaerG #network #smarttech
Wearable Networks, Creating Hybrid Spaces with Soft Circuits (TRF, DG), pp. 435–445.
HCIDUXU-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.
HCISCSM-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.
ICEISICEIS-v1-2014-GuilavoguiKF
A Hybrid Strategy for Integrating Sensor Information (KG, LK, MF), pp. 281–286.
ICEISICEIS-v2-2014-ZhengJL #learning #taxonomy #using
Cross-Sensor Iris Matching using Patch-based Hybrid Dictionary Learning (BRZ, DYJ, YHL), pp. 169–174.
ICPRICPR-2014-AwadCR
A New Hybrid Texture-Perceptual Descriptor: Application CBIR (DA, VC, AR), pp. 1150–1155.
ICPRICPR-2014-ChenCF #approach #classification #semantics
A Hybrid Holistic/Semantic Approach for Scene Classification (ZC, ZC, HF), pp. 2299–2304.
ICPRICPR-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.
ICPRICPR-2014-KusumotoHC #recognition
Hybrid Aggregation of Sparse Coded Descriptors for Food Recognition (RK, XHH, YWC), pp. 1490–1495.
ICPRICPR-2014-LiCGW #interactive #recognition #using
A Hybrid Method for Human Interaction Recognition Using Spatio-temporal Interest Points (NL, XC, HG, ZW), pp. 2513–2518.
ICPRICPR-2014-LiZ
A Nonlocal Filter-Based Hybrid Strategy for Depth Map Enhancement (LL, CZ), pp. 4394–4399.
ICPRICPR-2014-PhamP #3d #online #sequence #video
Hybrid On-Line 3D Face and Facial Actions Tracking in RGBD Video Sequences (HXP, VP), pp. 4194–4199.
ICPRICPR-2014-SandhanC #dataset #pattern matching #pattern recognition #recognition
Handling Imbalanced Datasets by Partially Guided Hybrid Sampling for Pattern Recognition (TS, JYC), pp. 1449–1453.
ICPRICPR-2014-SaygiliMH14a #artificial reality #refinement
Hybrid Kinect Depth Map Refinement for Transparent Objects (GS, LvdM, EAH), pp. 2751–2756.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2014-Xiang0L #classification #image
Local Hybrid Coding for Image Classification (WX, JW, ML), pp. 3744–3749.
ICPRICPR-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.
ICPRICPR-2014-ZhuYCTJYZ #adaptation #classification
A Noise-Robust Adaptive Hybrid Pattern for Texture Classification (ZZ, XY, CLPC, DT, XJ, FY, JZ), pp. 1633–1638.
RecSysRecSys-2014-BraunhoferCR #recommendation
Switching hybrid for cold-starting context-aware recommender systems (MB, VC, FR), pp. 349–352.
RecSysRecSys-2014-Vahedian #network #recommendation
Weighted hybrid recommendation for heterogeneous networks (FV), pp. 429–432.
SIGIRSIGIR-2014-PetriMC
Score-safe term-dependency processing with hybrid indexes (MP, AM, JSC), pp. 899–902.
OOPSLAOOPSLA-2014-RosnerBPKAFK #bound #generative #invariant
Bounded exhaustive test input generation from hybrid invariants (NR, VSB, PP, SAK, NA, MFF, SK), pp. 655–674.
PLATEAUPLATEAU-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.
PEPMPEPM-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.
HILTHILT-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.
LOPSTRLOPSTR-2014-TahatE #protocol #self #synthesis #verification
A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols (AT, AE), pp. 201–218.
PLDIPLDI-2014-ZhangMNY #analysis #bottom-up #interprocedural #top-down
Hybrid top-down and bottom-up interprocedural analysis (XZ, RM, MN, HY), p. 28.
QAPLQAPL-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.
SACSAC-2014-AndradeRMOCFR #architecture #performance #scheduling
Efficient dynamic scheduling of heterogeneous applications in hybrid architectures (GA, GSR, DM, RSO, EC, RF, LCdR), pp. 866–871.
SACSAC-2014-LiuMHHSC #algorithm #recommendation #twitter
A hybrid algorithm for recommendation twitter peers (JNKL, ZM, YXH, YLH, SCKS, VWSC), pp. 644–649.
SACSAC-2014-SantosSTO #approach #navigation
A hybrid GA-ANN approach for autonomous robots topological navigation (VdCS, DOS, CFMT, FSO), pp. 148–153.
CASECASE-2014-Gao #towards
Towards a converse Lyapunov stability theory of hybrid impulsive and switching systems (RG), pp. 425–429.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CGOCGO-2014-GrosserCHSV
Hybrid Hexagonal/Classical Tiling for GPUs (TG, AC, JH, PS, SV), p. 66.
DACDAC-2014-AhnYC #memory management #power management
Dynamic Power Management of Off-Chip Links for Hybrid Memory Cubes (JA, SY, KC), p. 6.
DACDAC-2014-ChuangLJ #synthesis
Synthesis of PCHB-WCHB Hybrid Quasi-Delay Insensitive Circuits (CCC, YHL, JHRJ), p. 6.
DACDAC-2014-KabirS
Computing with Hybrid CMOS/STO Circuits (MK, MRS), p. 6.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-JunsangsriLH #concurrent #detection
A hybrid non-volatile SRAM cell with concurrent SEU detection and correction (PJ, FL, JH), pp. 1–4.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-RossiTB #optimisation #realtime
Real-time optimization of the battery banks lifetime in Hybrid Residential Electrical Systems (MR, AT, DB), pp. 1–6.
DATEDATE-2014-ShinPM #architecture #using
Thermal management of batteries using a hybrid supercapacitor architecture (DS, MP, EM), pp. 1–6.
DATEDATE-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.
DATEDATE-2014-XuB #question
Hybrid side-channel/machine-learning attacks on PUFs: A new threat? (XX, WB), pp. 1–6.
HPCAHPCA-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.
PDPPDP-2014-Llena #implementation
A Hybrid Implementation of Hamming Weight (EM), pp. 84–92.
PDPPDP-2014-MalonyH #parallel #profiling
General Hybrid Parallel Profiling (ADM, KAH), pp. 204–212.
PDPPDP-2014-MolinaFCP #classification #image
Hybrid Classification of Resistors through Image Processing (RM, PF, VGC, MP), pp. 103–106.
PDPPDP-2014-RossRPSH #approach #parallel
A Class-Structured Approach to Couple Application and Hybrid Core Parallelism (JAR, DAR, SJP, DRS, BJH), pp. 681–687.
PPoPPPPoPP-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.
CAVCAV-2014-CimattiGMT #ltl #verification
Verifying LTL Properties of Hybrid Systems with K-Liveness (AC, AG, SM, ST), pp. 424–440.
CAVCAV-2014-Hagemann #analysis #orthogonal #reachability #using
Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections (WH), pp. 407–423.
CAVCAV-2014-HuangFMMK #automaton #invariant #network #verification
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells (ZH, CF, AM, SM, MZK), pp. 373–390.
ICSTICST-2014-KimXKCR #framework #testing
Hybrid Directed Test Suite Augmentation: An Interleaving Framework (YK, ZX, MK, MBC, GR), pp. 263–272.
IJCARIJCAR-2014-GorinPSWW #algebra #logic #named
Cool — A Generic Reasoner for Coalgebraic Hybrid Logics (DG, DP, LS, FW, TW), pp. 396–402.
IJCARIJCAR-2014-JeanninP #difference #logic #named
dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems (JBJ, AP), pp. 292–306.
ISSTAISSTA-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.
ICDARICDAR-2013-AlvaroSB #classification #network #online
Classification of On-Line Mathematical Symbols with Hybrid Features and Recurrent Neural Networks (FA, JAS, JMB), pp. 1012–1016.
ICDARICDAR-2013-ChenYL #performance #segmentation
Hybrid Page Segmentation with Efficient Whitespace Rectangles Extraction and Grouping (KC, FY, CLL), pp. 958–962.
VLDBVLDB-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.
VLDBVLDB-2013-LiuS #database
Hybrid Storage Management for Database Systems (XL, KS), pp. 541–552.
ICSMEICSM-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.
IFMIFM-2013-IshiiMN #automaton #calculus #induction #verification
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus (DI, GM, SN), pp. 139–153.
HCIDUXU-PMT-2013-GuyC #experience #interactive
The Lack of Subjective Experience in Hybrid Intelligent Agents in Interactive Storytelling (OG, RC), pp. 74–83.
HCIHIMI-LCCB-2013-Canter #student
A Hybrid Model for an E-learning System Which Develops Metacognitive Skills at Students (MC), pp. 9–15.
CAiSECAiSE-2013-BakkerFV #approach #detection #web
A Hybrid Model Words-Driven Approach for Web Product Duplicate Detection (MdB, FF, DV), pp. 149–161.
ICEISICEIS-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.
CIKMCIKM-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.
ECIRECIR-2013-FreireMTOC #query #scheduling
Hybrid Query Scheduling for a Replicated Search Engine (AF, CM, NT, IO, FC), pp. 435–446.
RecSysRecSys-2013-Dooms #generative #personalisation #recommendation
Dynamic generation of personalized hybrid recommender systems (SD), pp. 443–446.
RecSysRecSys-2013-KaminskasRS #music #recommendation #using
Location-aware music recommendation using auto-tagging and hybrid matching (MK, FR, MS), pp. 17–24.
RecSysRecSys-2013-KhroufT #linked data #open data #recommendation #using
Hybrid event recommendation using linked data and user diversity (HK, RT), pp. 185–192.
RecSysRecSys-2013-MouraoRKM #recommendation
Exploiting non-content preference attributes through hybrid recommendation method (FM, LCdR, JAK, WMJ), pp. 177–184.
SEKESEKE-2013-ZouFCZZ #test coverage #testing
A Hybrid Coverage Criterion for DynamicWeb Testing (YZ, CF, ZC, XZ, ZZ), pp. 210–213.
SIGIRSIGIR-2013-LiSWH #segmentation #twitter
Exploiting hybrid contexts for Tweet segmentation (CL, AS, JW, QH), pp. 523–532.
SIGIRSIGIR-2013-SchedlS #music #recommendation #retrieval
Hybrid retrieval approaches to geospatial music recommendation (MS, DS), pp. 793–796.
LOPSTRLOPSTR-2013-GonzalezIS #architecture #debugging #eclipse
A New Hybrid Debugging Architecture for Eclipse (JG, DI, JS), pp. 183–201.
PLDIPLDI-2013-KastrinisS #analysis #context-sensitive grammar #points-to
Hybrid context-sensitivity for points-to analysis (GK, YS), pp. 423–434.
ICSEICSE-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.
SACSAC-2013-AllaniGP #named #protocol
Hyphen: a hybrid protocol for generic overlay construction in P2P environments (MA, BG, PP), pp. 423–430.
SACSAC-2013-FurtadoC #middleware #network
Sensor streams middleware for easy configuration and processing in hybrid sensor network (PF, JC), pp. 1499–1504.
SACSAC-2013-KimM #algorithm #detection #search-based #using
Disguised malware script detection system using hybrid genetic algorithm (JK, BRM), pp. 182–187.
SACSAC-2013-LeeKP #recommendation
A tour recommendation service for electric vehicles based on a hybrid orienteering model (JL, SWK, GLP), pp. 1652–1654.
SACSAC-2013-LommatzschKA #learning #modelling #recommendation #semantics
Learning hybrid recommender models for heterogeneous semantic data (AL, BK, SA), pp. 275–276.
SACSAC-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.
SACSAC-2013-ZhangL #algorithm #debugging #developer #recommendation
A hybrid bug triage algorithm for developer recommendation (TZ, BL), pp. 1088–1094.
DACDAC-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.
DACDAC-2013-MaricAV #adaptation #energy #named #predict #reliability
APPLE: adaptive performance-predictable low-energy caches for reliable hybrid voltage operation (BM, JA, MV), p. 8.
DACDAC-2013-ParkKC #energy
Hybrid energy storage systems and battery management for electric vehicles (SP, YK, NC), p. 6.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2013-LeeJS #architecture #memory management #performance
Fast shared on-chip memory architecture for efficient hybrid computing with CGRAs (JL, YJ, SS), pp. 1575–1578.
DATEDATE-2013-LeeWHY #3d #named
NUMANA: a hybrid numerical and analytical thermal simulator for 3-D ICs (YML, THW, PYH, CPY), pp. 1379–1384.
DATEDATE-2013-LiD #approach #debugging #performance
A hybrid approach for fast and accurate trace signal selection for post-silicon debug (ML, AD), pp. 485–490.
DATEDATE-2013-MaricAV #architecture #performance #reliability #using
Efficient cache architectures for reliable hybrid voltage operation using EDC codes (BM, JA, MV), pp. 917–920.
DATEDATE-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.
DATEDATE-2013-Pham-QuocHWABB #design #hardware
Hybrid interconnect design for heterogeneous hardware accelerators (CPQ, JH, SW, ZAA, JB, KB), pp. 843–846.
DATEDATE-2013-SabooriA #embedded #manycore #prototype
Hybrid prototyping of multicore embedded systems (ES, SA), pp. 1627–1630.
DATEDATE-2013-ShafiqueVH #adaptation #manycore #power management #self
Self-adaptive hybrid dynamic power management for many-core systems (MS, BV, JH), pp. 51–56.
DATEDATE-2013-WangLPPC #energy
Optimal control of a grid-connected hybrid electrical energy storage system for homes (YW, XL, MP, SP, NC), pp. 881–886.
HPCAHPCA-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.
LCTESLCTES-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.
PDPPDP-2013-BoukhobzaOR #configuration management #named
CACH-FTL: A Cache-Aware Configurable Hybrid Flash Translation Layer (JB, PO, SR), pp. 94–101.
PDPPDP-2013-GoliG #algorithm #architecture #coordination #performance
Heterogeneous Algorithmic Skeletons for Fast Flow with Seamless Coordination over Hybrid Architectures (MG, HGV), pp. 148–156.
PDPPDP-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.
CADECADE-2013-Mayer #logic #proving #transitive
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (MCM), pp. 76–90.
CADECADE-2013-Sofronie-Stokkermans #generative #parametricity #reasoning #verification
Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems (VSS), pp. 360–376.
CAVCAV-2013-ChenAS
Flow*: An Analyzer for Non-linear Hybrid Systems (XC, , SS), pp. 258–263.
CAVCAV-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.
CAVCAV-2013-PrabhakarS #abstraction #model checking
Abstraction Based Model-Checking of Stability of Hybrid Systems (PP, MGS), pp. 280–295.
ICSTICST-2013-GraslandBGP #approach #functional #safety #testing
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information (YG, LdB, RG, IP), pp. 104–113.
ISSTAISSTA-2013-HowarGR #analysis #generative #interface #learning
Hybrid learning: interface generation through static, dynamic, and symbolic analysis (FH, DG, ZR), pp. 268–279.
VMCAIVMCAI-2013-PrabhakarDMV
Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems (PP, PSD, SM, MV), pp. 48–67.
JCDLJCDL-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.
VLDBVLDB-2012-FunkeKN #database #transaction
Compacting Transactional Data in Hybrid OLTP & OLAP Databases (FF, AK, TN), pp. 1424–1435.
VLDBVLDB-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.
VLDBVLDB-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.
FMFM-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.
FMFM-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.
FLOPSFLOPS-2012-RoseVS #data flow #programming language #query
A Data Flow Language for Hybrid Query and Programming Languages (KHR, LV, NS), pp. 228–242.
FDGFDG-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.
CHICHI-2012-MorrisonMRSC #approach #mobile
A hybrid mass participation approach to mobile software trials (AM, DM, SR, SS, MC), pp. 1311–1320.
ICEISICEIS-J-2012-KaragiannisS #approach #design #modelling
An Engineering Approach for the Design of Hybrid Modelling Methods (DK, MS), pp. 3–17.
ICEISICEIS-v1-2012-DomagalaWLS #energy
A Hybrid Solver for Maximizing the Profit of an Energy Company (LD, TW, WL, MS), pp. 278–283.
ICEISICEIS-v1-2012-Karagiannis #modelling
Hybrid Modeling (DK).
ICEISICEIS-v3-2012-XavierN #approach #evaluation #information management
A Hybrid Evaluation Approach for the Emotional State of Information Systems Users (RACX, VPdAN), pp. 45–53.
CIKMCIKM-2012-SakrEH #graph #named #query #scalability
G-SPARQL: a hybrid engine for querying large attributed graphs (SS, SE, YH), pp. 335–344.
CIKMCIKM-2012-SunWGM #learning #rank #recommendation
Learning to rank for hybrid recommendation (JS, SW, BJG, JM), pp. 2239–2242.
CIKMCIKM-2012-XieFTCMLL #approach #performance
A hybrid approach for efficient provenance storage (YX, DF, ZT, LC, KKMR, YL, DDEL), pp. 1752–1756.
ICMLICML-2012-AzimiJF #optimisation
Hybrid Batch Bayesian Optimization (JA, AJ, XZF), p. 45.
ICMLICML-2012-Laue #algorithm #optimisation
A Hybrid Algorithm for Convex Semidefinite Optimization (SL), p. 142.
ICMLICML-2012-McDowellA #classification
Semi-Supervised Collective Classification via Hybrid Label Regularization (LM, DWA), p. 162.
ICPRICPR-2012-ClausnerAP #approach #documentation #robust #segmentation
A robust hybrid approach for text line segmentation in historical documents (CC, AA, SP), pp. 335–338.
ICPRICPR-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.
ICPRICPR-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.
KDDKDD-2012-WuWCT #detection #named #recommendation
HySAD: a semi-supervised hybrid shilling attack detector for trustworthy product recommendation (ZW, JW, JC, DT), pp. 985–993.
KDIRKDIR-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.
KRKR-2012-Fink
Paraconsistent Hybrid Theories (MF).
MLDMMLDM-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.
MLDMMLDM-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.
RecSysRecSys-2012-BostandjievOH #interactive #named #recommendation #visual notation
TasteWeights: a visual interactive hybrid recommender system (SB, JO, TH), pp. 35–42.
SIGIRSIGIR-2012-YeHM #ad hoc #information retrieval
A hybrid model for ad-hoc information retrieval (ZY, JXH, JM), pp. 1025–1026.
PEPMPEPM-2012-Xu #contract
Hybrid contract checking via symbolic simplification (DNX), pp. 107–116.
PLDIPLDI-2012-HackettG #javascript #performance #precise #type inference
Fast and precise hybrid type inference for JavaScript (BH, SyG), pp. 239–250.
PLDIPLDI-2012-LeeCFN #named #program analysis
Chimera: hybrid program analysis for determinism (DL, PMC, JF, SN), pp. 463–474.
QAPLQAPL-2012-BortolussiGH #modelling #network #performance
Hybrid performance modelling of opportunistic networks (LB, VG, JH), pp. 106–121.
FSEFSE-2012-WangZXXM #analysis #automation #collaboration #web
Automating presentation changes in dynamic web applications via collaborative hybrid analysis (XW, LZ, TX, YX, HM), p. 16.
SACSAC-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.
SACSAC-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2012-KimPCXWP #architecture #energy
Networked architecture for hybrid electrical energy storage systems (YK, SP, NC, QX, YW, MP), pp. 522–528.
DACDAC-2012-KumarGCALT #approach #cyber-physical #verification
A hybrid approach to cyber-physical systems verification (PK, DG, SC, AA, KL, LT), pp. 688–696.
DACDAC-2012-MurilloEJYLA #simulation
Synchronization for hybrid MPSoC full-system simulation (LGM, JFE, JJ, SY, RL, GA), pp. 121–126.
DACDAC-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.
DATEDATE-2012-CampagnaV #architecture #detection #fault #validation
An hybrid architecture to detect transient faults in microprocessors: An experimental validation (SC, MV), pp. 1433–1438.
DATEDATE-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.
DATEDATE-2012-JovicYMELA #simulation
Hybrid simulation for extensible processor cores (JJ, SY, LGM, JFE, RL, GA), pp. 288–291.
DATEDATE-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.
DATEDATE-2012-PanagopoulosAR #approach #framework #simulation
A framework for simulating hybrid MTJ/CMOS circuits: Atoms to system approach (GP, CA, KR), pp. 1443–1446.
DATEDATE-2012-PiscitelliP #analysis #design
Design space pruning through hybrid analysis in system-level design space exploration (RP, ADP), pp. 781–786.
DATEDATE-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.
DATEDATE-2012-StattelmannGCBR #modelling #simulation #using
Hybrid source-level simulation of data caches using abstract cache models (SS, GG, CC, OB, WR), pp. 376–381.
DATEDATE-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.
DATEDATE-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.
HPCAHPCA-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.
HPDCHPDC-2012-NicolaeC #migration
A hybrid local storage transfer scheme for live migration of I/O intensive workloads (BN, FC), pp. 85–96.
HPDCHPDC-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.
LCTESLCTES-2012-LiZXH #embedded
Compiler-assisted preferred caching for embedded systems with STT-RAM based hybrid cache (QL, MZ, CJX, YH), pp. 109–118.
PDPPDP-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.
PDPPDP-2012-WangSYR #approach #performance
A More Efficient Hybrid Approach for Single-Packet IP Traceback (YW, SS, YY, JR), pp. 275–282.
PPoPPPPoPP-2012-KwonJEM #approach #clustering
A hybrid approach of OpenMP for clusters (OK, FJ, RE, SPM), pp. 75–84.
CAVCAV-2012-HasuoS #standard #static analysis
Exercises in Nonstandard Static Analysis of Hybrid Systems (IH, KS), pp. 462–478.
ICTSSICTSS-2012-DangS #estimation #testing
State Estimation and Property-Guided Exploration for Hybrid Systems Testing (TD, NS), pp. 152–167.
IJCARIJCAR-2012-QueselP #game studies
Playing Hybrid Games with KeYmaera (JDQ, AP), pp. 439–453.
LICSLICS-2012-Platzer12a #proving
The Complete Proof Theory of Hybrid Systems (AP), pp. 541–550.
WICSAWICSA-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.
DRRDRR-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.
ICDARICDAR-2011-KluznerTCW #adaptation #approach
Hybrid Approach to Adaptive OCR for Historical Books (VK, AT, DC, EW), pp. 900–904.
SIGMODSIGMOD-2011-WangFGHW #declarative #information management
Hybrid in-database inference for declarative information extraction (DZW, MJF, MNG, JMH, MLW), pp. 517–528.
TPDLTPDL-2011-VeronikisTP #mobile #usability
Assessing Use Intention and Usability of Mobile Devices in a Hybrid Environment (SV, GT, CP), pp. 77–88.
VLDBVLDB-2011-GrundCM #in memory #memory management
A Demonstration of HYRISE — A Main Memory Hybrid Storage Engine (MG, PCM, SM), pp. 1434–1437.
ICPCICPC-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.
ICALPICALP-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.
ICALPICALP-v2-2011-FischerK #calculus #linear #model checking #μ-calculus
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems (DF, LK), pp. 404–415.
ICALPICALP-v2-2011-SuenagaH #modelling #programming
Programming with Infinitesimals: A While-Language for Hybrid System Modeling (KS, IH), pp. 392–403.
FMFM-2011-LoosPN #adaptation #distributed
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified (SML, AP, LN), pp. 42–56.
SEFMSEFM-2011-EggersRNF #analysis #satisfiability
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods (AE, NR, NSN, MF), pp. 172–187.
SEFMSEFM-2011-FadlisyahOA #analysis #formal method #modelling #object-oriented
Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude (MF, PCÖ, ), pp. 415–430.
SEFMSEFM-2011-MadeiraFMB #approach #specification
Hybrid Specification of Reactive Systems: An Institutional Approach (AM, JMF, MAM, LSB), pp. 269–285.
CoGVS-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.
CHICHI-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.
CSCWCSCW-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.
HCIHCI-ITE-2011-EdlingerHG #human-computer #interface #smarttech
A Hybrid Brain-Computer Interface for Smart Home Control (GE, CH, CG), pp. 417–426.
HCIHCI-MIIE-2011-CarrinoMKI #approach #interactive #named #towards
ARAMIS: Toward a Hybrid Approach for Human- Environment Interaction (SC, EM, OAK, RI), pp. 165–174.
HCIHCI-MIIE-2011-YuC #interactive
Reacting with Care: The Hybrid Interaction Types in a Sensible Space (GJY, TWC), pp. 250–258.
HCIHIMI-v2-2011-GonzalezGGS #tool support #towards
Towards Argument Representational Tools for Hybrid Argumentation Systems (MPG, SG, AJG, GRS), pp. 236–245.
HCIHIMI-v2-2011-PohlML #learning #standard
Transforming a Standard Lecture into a Hybrid Learning Scenario (HMP, JTM, JL), pp. 55–61.
EDOCEDOC-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.
ICEISICEIS-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.
ICEISICEIS-v3-2011-LuLC
An Advanced Hybrid P2P Botnet 2.0 (TTL, HYL, MFC), pp. 273–276.
CIKMCIKM-2011-AmodeoBB #modelling #predict
Hybrid models for future event prediction (GA, RB, UB), pp. 1981–1984.
CIKMCIKM-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.
CIKMCIKM-2011-GhionnaGS #named #sql
H-DB: a hybrid quantitative-structural sql optimizer (LG, GG, FS), pp. 2573–2576.
CIKMCIKM-2011-SeguelaS #recommendation
A semi-supervised hybrid system to enhance the recommendation of channels in terms of campaign roi (JS, GS), pp. 2265–2268.
ECIRECIR-2011-AltingovdeOCU #approach
Second Chance: A Hybrid Approach for Dynamic Result Caching in Search Engines (ISA, RO, BBC, ÖU), pp. 510–516.
KDIRKDIR-2011-DoquireV #approach #category theory #feature model
An Hybrid Approach to Feature Selection for Mixed Categorical and Continuous Data (GD, MV), pp. 394–401.
KEODKEOD-2011-FrikhDO #ontology #web
A Hybrid Method for Domain Ontology Construction from the Web (BF, ASD, BO), pp. 285–292.
MLDMMLDM-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.
SIGIRSIGIR-2011-BelloginCC #analysis #network #recommendation #self #social
Self-adjusting hybrid recommenders based on social network analysis (AB, PC, IC), pp. 1147–1148.
SIGIRSIGIR-2011-BroschartS #novel #performance #retrieval
A novel hybrid index structure for efficient text retrieval (AB, RS), pp. 1175–1176.
OOPSLAOOPSLA-2011-ShaliC #partial evaluation
Hybrid partial evaluation (AS, WRC), pp. 375–390.
QAPLQAPL-2011-AssouramouD #analysis #probability
Analysis of Non-Linear Probabilistic Hybrid Systems (JA, JD), pp. 104–119.
ICSEICSE-2011-Zhang #automation #generative #java #named #testing
Palus: a hybrid automated test generation tool for java (SZ), pp. 1182–1184.
SACSAC-2011-AlencarRB #composition #evaluation #human-computer
Composition of HCI evaluation methods for hybrid virtual environments (MFCA, ABR, SDJB), pp. 1237–1244.
SACSAC-2011-KienHB #algorithm #communication #problem #search-based
New hybrid genetic algorithm for solving optimal communication spanning tree problem (PTK, NDH, HTTB), pp. 1076–1081.
SACSAC-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.
SACSAC-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.
ASPLOSASPLOS-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.
CASECASE-2011-DotoliFI #first-order #petri net
A freeway traffic control model by first order hybrid Petri nets (MD, MPF, GI), pp. 425–431.
CASECASE-2011-GhomriA #petri net #using
Continuous flow systems and control methodology using Hybrid Petri nets (LG, HA), pp. 419–424.
CASECASE-2011-HejriG #modelling
Hybrid modeling and control of switching DC-DC converters via MLD systems (MH, AG), pp. 714–719.
CASECASE-2011-ParkCH #design
Design and control for hybrid magnetic thrust bearing for turbo refrigerant compressor (CHP, SKC, SYH), pp. 792–797.
DACDAC-2011-DyerMK #modelling #process
Hybrid modeling of non-stationary process variations (ELD, MM, FK), pp. 194–199.
DACDAC-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.
DACDAC-2011-ParkYL #in memory #memory management #power management
Power management of hybrid DRAM/PRAM-based main memory (HP, SY, SL), pp. 59–64.
DACDAC-2011-SaripalliMDN #energy
An energy-efficient heterogeneous CMP based on hybrid TFET-CMOS cores (VS, AKM, SD, VN), pp. 729–734.
DATEDATE-2011-BehrendLHRKR #embedded #scalability #verification
Scalable hybrid verification for embedded software (JB, DL, PH, JR, TK, WR), pp. 179–184.
DATEDATE-2011-ChangMFWHYN #architecture #hardware #optimisation
Optimization of stateful hardware acceleration in hybrid architectures (XC, YM, HF, KW, RH, HY, TN), pp. 567–570.
DATEDATE-2011-GoswamiSC #communication #cyber-physical #protocol #re-engineering
Re-engineering cyber-physical control applications for hybrid communication protocols (DG, RS, SC), pp. 914–919.
DATEDATE-2011-HaronH #fault tolerance #low cost
Cost-efficient fault-tolerant decoder for hybrid nanoelectronic memories (NZH, SH), pp. 265–268.
DATEDATE-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.
DATEDATE-2011-MirhoseiniK #energy #optimisation #performance
HypoEnergy. Hybrid supercapacitor-battery power-supply optimization for Energy efficiency (AM, FK), pp. 887–890.
DATEDATE-2011-ShinKSCWP
Battery-supercapacitor hybrid system for high-rate pulsed load applications (DS, YK, JS, NC, YW, MP), pp. 875–878.
LCTESLCTES-2011-BenvenisteBCP #compilation
Divide and recycle: types and compilation for a hybrid synchronous language (AB, TB, BC, MP), pp. 61–70.
PDPPDP-2011-SharifiK #3d #automation #feedback #multi
Automatic Feedback Control of Shared Hybrid Caches in 3D Chip Multiprocessors (AS, MTK), pp. 393–400.
PDPPDP-2011-ZengTL #algorithm #memory management #transaction
Parallization of Adaboost Algorithm through Hybrid MPI/OpenMP and Transactional Memory (KZ, YT, FL), pp. 94–100.
TACASTACAS-2011-AnnpureddyLFS #logic #named
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (YA, CL, GEF, SS), pp. 254–257.
CADECADE-2011-KlinovP #probability #satisfiability
A Hybrid Method for Probabilistic Satisfiability (PK, BP), pp. 354–368.
CADECADE-2011-Platzer #difference #logic #probability #source code
Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (AP), pp. 446–460.
CAVCAV-2011-CimattiMT #automaton #performance #verification
Efficient Scenario Verification for Hybrid Automata (AC, SM, ST), pp. 317–332.
CAVCAV-2011-FrehseGDCRLRGDM #named #scalability #verification
SpaceEx: Scalable Verification of Hybrid Systems (GF, CLG, AD, SC, RR, OL, RR, AG, TD, OM), pp. 379–395.
CAVCAV-2011-Platzer #composition #logic #verification
Logic and Compositional Verification of Hybrid Systems — (AP), pp. 28–43.
CAVCAV-2011-SankaranarayananT #abstraction #relational
Relational Abstractions for Continuous and Hybrid Systems (SS, AT), pp. 686–702.
ICLPICLP-2011-Bottalico #consistency #simulation
Consistency Techniques for Hybrid Simulations (MB), pp. 255–260.
ICLPICLP-2011-BrikR
Hybrid ASP (AB, JBR), pp. 40–50.
ICLPICLP-J-2011-SlotaLS #knowledge base
Splitting and updating hybrid knowledge bases (MS, JL, TS), pp. 801–819.
ICSTICST-2011-Bhattacharya #verification
SoftwareHardware Hybrid Systems Verification (NB), pp. 435–438.
QoSAQoSA-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.
DocEngDocEng-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.
DRRDRR-2010-AwalMV #classification #recognition
A hybrid classifier for handwritten mathematical expression recognition (AMA, HM, CVG), pp. 1–10.
HTHT-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.
JCDLJCDL-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.
VLDBVLDB-2011-GrundKPZCM10 #in memory #memory management #named
HYRISE — A Main Memory Hybrid Storage Engine (MG, JK, HP, AZ, PCM, SM), pp. 105–116.
CSMRCSMR-2010-MaiaBFG #impact analysis #object-oriented
The Hybrid Technique for Object-Oriented Software Change Impact Analysis (MCOM, RAB, JCAdF, DDSG), pp. 252–255.
DLTDLT-2010-CarpiD #on the #problem
On the Hybrid Cerný-Road Coloring Problem and Hamiltonian Paths (AC, FD), pp. 124–135.
IFMIFM-2010-FranzleTE #probability #smt
Satisfaction Meets Expectations — Computing Expected Values of Probabilistic Hybrid Systems with SMT (MF, TT, AE), pp. 168–182.
CHICHI-2010-CaoVI #performance
Comparing user performance with single-finger, whole-hand, and hybrid pointing devices (XC, NV, SI), pp. 1643–1646.
CHICHI-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.
EDOCEDOC-2010-NarmanBKJ #analysis #modelling #probability #quality #relational
Hybrid Probabilistic Relational Models for System Quality Analysis (PN, MB, JK, PJ), pp. 57–66.
CIKMCIKM-2010-GemmellSMB #recommendation #social
Hybrid tag recommendation for social annotation systems (JG, TS, BM, RDB), pp. 829–838.
CIKMCIKM-2010-KaliciakSWP #image #novel #retrieval
Novel local features with hybrid sampling technique for image retrieval (LK, DS, NW, JP), pp. 1557–1560.
CIKMCIKM-2010-PavlovGB #named #scalability
BagBoo: a scalable hybrid bagging-the-boosting model (DYP, AG, CAB), pp. 1897–1900.
ICPRICPR-2010-BastanlarTYS #effectiveness
Effective Structure-from-Motion for Hybrid Camera Systems (YB, AT, YY, PFS), pp. 1654–1657.
ICPRICPR-2010-ChenWJ #robust
Robust Frame-to-Frame Hybrid Matching (LC, ZW, YJ), pp. 1019–1022.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2010-LiuZYL #image #performance
A Fast Image Inpainting Method Based on Hybrid Similarity-Distance (JL, SZ, WY, HL), pp. 4432–4435.
ICPRICPR-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.
KEODKEOD-2010-NirenburgMBC #elicitation
Hybrid Methods of Knowledge Elicitation within a Unified Representational Knowledge Scheme (SN, MM, SB, RC), pp. 177–182.
RecSysRecSys-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.
RecSysRecSys-2010-Said #identification #recommendation
Identifying and utilizing contextual data in hybrid recommender systems (AS), pp. 365–368.
SPLCSPLC-2010-ZhangJ #approach #feature model #programming
A Hybrid Approach to Feature-Oriented Programming in XVCL (HZ, SJ), pp. 440–445.
LOPSTRLOPSTR-2010-Vidal #approach #logic programming #partial evaluation #source code
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs (GV), pp. 200–214.
PADLPADL-2010-GomesAS #implementation #knowledge base #query
Implementing Query Answering for Hybrid MKNF Knowledge Bases (ASG, JJA, TS), pp. 25–39.
SASSAS-2010-MatringeMR #algebra #generative #invariant #linear
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods (NM, AVM, RR), pp. 373–389.
ICSEICSE-2010-Bodden #analysis #performance #type system
Efficient hybrid typestate analysis by determining continuation-equivalent states (EB), pp. 5–14.
ICSEICSE-2010-WuGAK #approach #evolution #framework #identification #named
AURA: a hybrid approach to identify framework evolution (WW, YGG, GA, MK), pp. 325–334.
SACSAC-2010-AraujoOS #quantum
Hybrid evolutionary quantum inspired method to adjust time phase distortions in financial time series (RdAA, ALIdO, SCBS), pp. 1153–1154.
SACSAC-2010-DuraoD #personalisation #recommendation
Extending a hybrid tag-based recommender system with personalization (FAD, PD), pp. 1723–1727.
SACSAC-2010-KaoLW #approach #novel
Expert finding in question-answering websites: a novel hybrid approach (WCK, DRL, SWW), pp. 867–871.
SACSAC-2010-KimKPT #framework #platform #realtime #scheduling
Integrating real-time hybrid task scheduling into a sensor node platform (TK, BK, EKP, ST), pp. 737–741.
SACSAC-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.
SACSAC-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.
SACSAC-2010-SillaKK #automation #classification #music
Improving automatic music genre classification with hybrid content-based feature vectors (CNSJ, ALK, CAAK), pp. 1702–1707.
CASECASE-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.
CASECASE-2010-ChangJZ #assembly
Hybrid micro assembly of microchips on segmented patterns (BC, MJ, QZ), pp. 15–20.
CASECASE-2010-GuerreroLBX #state of the art
Hybrid/electric vehicle battery manufacturing: The state-of-the-art (CPAG, JL, SB, GX), pp. 281–286.
CASECASE-2010-IslamL #distributed
A distributed hybrid sliding mode control system for a class of nonlinear mechanical systems (SI, PXL), pp. 356–361.
CASECASE-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.
CASECASE-2010-Julius #design
Trajectory-based controller design for hybrid systems with affine continuous dynamics (AAJ), pp. 1007–1012.
CASECASE-2010-WangKF #approach #assembly #layout
A hybrid approach for dynamic assembly shop floor layout (LW, SK, HYF), pp. 604–609.
CASECASE-2010-WangL #3d
Hybrid impedance control of a 3-DOF robotic arm used for rehabilitation treatment (JW, YL), pp. 768–773.
CGOCGO-2010-JungMO #compilation #framework #java #optimisation #platform
Hybrid Java compilation and optimization for digital TV software platform (DHJ, SMM, HSO), pp. 73–81.
DACDAC-2010-Koushanfar #network #power management
Hierarchical hybrid power supply networks (FK), pp. 629–630.
DATEDATE-2010-BuLWCL #bound #composition #linear #reachability
BACH 2 : Bounded reachability checker for compositional linear hybrid systems (LB, YL, LW, XC, XL), pp. 1512–1517.
DATEDATE-2010-StrukovM
Monolithically stackable hybrid FPGA (DBS, AM), pp. 661–666.
DATEDATE-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.
HPCAHPCA-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.
HPDCHPDC-2010-KimKJP #adaptation #framework
Exploring application and infrastructure adaptation on hybrid grid-cloud infrastructure (HK, YEK, SJ, MP), pp. 402–412.
HPDCHPDC-2010-KrampeLS #markov #parallel
A hybrid Markov chain model for workload on parallel computers (AK, JL, WS), pp. 589–596.
PDPPDP-2010-RibeiroA #architecture #named #persistent
DataCube: A P2P Persistent Data Storage Architecture Based on Hybrid Redundancy Schema (HBR, EA), pp. 302–306.
PDPPDP-2010-VilardellGR #scalability
A Scalable Hybrid P2P System for MMOFPS (IBV, FG, CR), pp. 341–347.
PPoPPPPoPP-2010-MarjanovicLAV #communication #effectiveness
Effective communication and computation overlap with hybrid MPI/SMPSs (VM, JL, EA, MV), pp. 337–338.
CAVCAV-2010-Donze #parametricity #synthesis #verification
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems (AD), pp. 167–170.
CAVCAV-2010-MariMST #feedback #linear #synthesis
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems (FM, IM, IS, ET), pp. 180–195.
CAVCAV-2010-ZhangSRHH #probability #safety #verification
Safety Verification for Probabilistic Hybrid Systems (LZ, ZS, SR, HH, EMH), pp. 196–211.
CSLCSL-2010-Platzer #difference #distributed #logic #quantifier
Quantified Differential Dynamic Logic for Distributed Hybrid Systems (AP), pp. 469–483.
IJCARIJCAR-2010-KaminskiS #logic
Terminating Tableaux for Hybrid Logic with Eventualities (MK, GS), pp. 240–254.
IJCARIJCAR-2010-MayerC #logic #proving
Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic (MCM, SC), pp. 255–262.
VMCAIVMCAI-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.
DocEngDocEng-2009-KuttyNL #approach #clustering #documentation #named #performance #xml
HCX: an efficient hybrid clustering approach for XML documents (SK, RN, YL), pp. 94–97.
TPDLECDL-2009-NakasholeS #architecture #distributed
A Hybrid Distributed Architecture for Indexing (NN, HS), pp. 250–260.
ICDARICDAR-2009-Smith #analysis #detection #layout
Hybrid Page Layout Analysis via Tab-Stop Detection (RWS), pp. 241–245.
VLDBVLDB-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.
ITiCSEITiCSE-2009-ErnstSW #data type #evolution
Hybrid and custom data structures: evolution of the data structures course (DJE, DES, PJW), pp. 213–217.
ICSMEICSM-2009-DongG #comprehension #using
Understanding source package organization using the hybrid model (XD, MWG), pp. 575–578.
DiGRADiGRA-2009-Maietti #facebook
The hybrid identity of player characters: between Facebook and the Sacred book [Abstract] (MM).
CHICHI-2009-KolevaESGGRD #case study #experience
Supporting the creation of hybrid museum experiences (BK, SRE, HS, KG, CG, TR, MDR), pp. 1973–1982.
HCIHCI-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.
ICEISICEIS-AIDSS-2009-Jou #algorithm #mining
A Projection-based Hybrid Sequential Patterns Mining Algorithm (CJ), pp. 152–157.
ICEISICEIS-AIDSS-2009-ZanchettinL #design #network #optimisation
Hybrid Optimization Technique for Artificial Neural Networks Design (CZ, TBL), pp. 242–247.
ICEISICEIS-J-2009-ChenPZQ #case study
A Study of Indexing Strategies for Hybrid Data Spaces (CC, SP, QZ, GQ), pp. 149–159.
ICEISICEIS-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.
CIKMCIKM-2009-GobelHNB
A hybrid index structure for geo-textual searches (RG, AH, RN, DB), pp. 1625–1628.
KDDKDD-2009-FrenoTG #estimation #pseudo #random #scalability
Scalable pseudo-likelihood estimation in hybrid random fields (AF, ET, MG), pp. 319–328.
KEODKEOD-2009-CardilloTS #information management
A Hybrid Methodology for Consumer-oriented Healthcare Knowledge Acquisition (EC, AT, LS), pp. 64–71.
KEODKEOD-2009-GrozaH #approach #metadata #towards
A Hybrid Approach Towards Information Expansion based on Shallow and Deep Metadata (TG, SH), pp. 109–116.
RecSysRecSys-2009-GunawardanaM #approach #recommendation
A unified approach to building hybrid recommender systems (AG, CM), pp. 117–124.
SEKESEKE-2009-LinWK #algorithm #feature model #novel
A Novel Hybrid Search Algorithm for Feature Selection (PL, HW, TMK), pp. 81–86.
ECMFAECMDA-FA-2009-CharfiSS #editing #uml #visual notation
A Hybrid Graphical and Textual Notation and Editor for UML Actions (AC, AS, AS), pp. 237–252.
PPDPPPDP-2009-FeltyM #reasoning
Reasoning with hypothetical judgments and open terms in hybrid (APF, AM), pp. 83–92.
CASECASE-2009-MitraS #automaton #composition
Hybrid Input Output Automata for composable conveyor systems (SM, SS), p. 29.
DACDAC-2009-BorgstromHWADCMCN #hardware #prototype #question
System prototypes: virtual, hardware or hybrid? (TB, EH, RW, DA, AD, RC, OM, CC, AN), pp. 1–3.
DACDAC-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.
DACDAC-2009-DhimanAR #in memory #memory management #named
PDRAM: a hybrid PRAM and DRAM main memory system (GD, RZA, TR), pp. 664–469.
DACDAC-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.
DACDAC-2009-LiFMSVFPS #named #network
Spectrum: a hybrid nanophotonic-electric on-chip network (ZL, DF, ARM, LS, MV, DF, WP, YS), pp. 575–580.
DATEDATE-2009-ModarressiSA #network
A hybrid packet-circuit switched on-chip network based on SDM (MM, HSA, MA), pp. 566–569.
DATEDATE-2009-WuLZSX #performance
Power and performance of read-write aware Hybrid Caches with non-volatile memories (XW, JL, LZ, ES, YX), pp. 737–742.
DATEDATE-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.
HPCAHPCA-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.
PDPPDP-2009-RabenseifnerHJ #clustering #manycore #parallel #programming
Hybrid MPI/OpenMP Parallel Programming on Clusters of Multi-Core SMP Nodes (RR, GH, GJ), pp. 427–436.
FoSSaCSFoSSaCS-2009-MyersPS #algebra #logic
Coalgebraic Hybrid Logic (RSRM, DP, LS), pp. 137–151.
TACASTACAS-2009-PlakuKV #ltl #safety
Falsification of LTL Safety Properties in Hybrid Systems (EP, LEK, MYV), pp. 368–382.
CAVCAV-2009-CimattiRT #requirements #validation
Requirements Validation for Hybrid Systems (AC, MR, ST), pp. 188–203.
CAVCAV-2009-GuernicG #analysis #reachability #using
Reachability Analysis of Hybrid Systems Using Support Functions (CLG, AG), pp. 540–554.
MBTMBT-2009-AichernigBW #consistency #modelling #reasoning #testing
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models (BKA, HB, FW), pp. 53–69.
ICSTSAT-2009-Chen #reasoning #satisfiability
Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques (JC), pp. 298–311.
TAPTAP-2009-RatschanS #fault #optimisation #quality
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (SR, JGS), pp. 153–168.
VMCAIVMCAI-2009-JurdzinskiLR #automaton #game studies
Average-Price-per-Reward Games on Hybrid Automata with Strong Resets (MJ, RL, MR), pp. 167–181.
DRRDRR-2008-KimLT #approach #identification #statistics
Hybrid approach combining contextual and statistical information for identifying MEDLINE citation terms (ICK, DXL, GRT), p. 68150.
PASTEPASTE-2008-ZhangLGZ #approach #effectiveness #identification
Effective identification of failure-inducing changes: a hybrid approach (SZ, YL, ZG, JZ), pp. 77–83.
WCREWCRE-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.
ICALPICALP-B-2008-VladimerouPVD
STORMED Hybrid Systems (VV, PP, MV, GED), pp. 136–147.
LATALATA-2008-AlhazovCMR #network
About Universal Hybrid Networks of Evolutionary Processors of Small Size (AA, ECV, CMV, YR), pp. 28–39.
LATALATA-2008-PhuongHRV #approach #segmentation #word
A Hybrid Approach to Word Segmentation of Vietnamese Texts (HPL, NTMH, AR, HTV), pp. 240–249.
SEFMSEFM-2008-BartheKPS #proving #verification
Preservation of Proof Pbligations for Hybrid Verification Methods (GB, CK, DP, JSF), pp. 127–136.
SFMSFM-2008-BortolussiP #biology
Hybrid Systems and Biology (LB, AP), pp. 424–448.
IFLIFL-2008-GiorgidzeN #functional #haskell #modelling
Embedding a Functional Hybrid Modelling Language in Haskell (GG, HN), pp. 138–155.
CoGCIG-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.
FDGGDCSE-2008-SettleLB #approach #game studies
A hybrid approach to projects in gaming courses (AS, JL, AB), pp. 36–40.
CSCWCSCW-2008-LindtnerNWMJL
A hybrid cultural ecology: world of warcraft in China (SL, BAN, YW, SDM, HJ, WL), pp. 371–382.
CSCWCSCW-2008-TabardME #collaboration #evolution
From individual to collaborative: the evolution of prism, a hybrid laboratory notebook (AT, WEM, EE), pp. 569–578.
ICEISICEIS-AIDSS-2008-PanahiT #clustering #performance #problem
An Efficient Hybrid Method for Clustering Problems (HP, RTM), pp. 288–294.
ICEISICEIS-ISAS2-2008-BainaT #algorithm #graph #towards #verification #workflow
Toward a Hybrid Algorithm for Workflow Graph Structural Verification (FT, KB, WG), pp. 442–447.
ICEISICEIS-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.
CIKMCIKM-2008-WangTL #named #ranking #scalability #towards
CE2: towards a large scale hybrid search engine with integrated ranking support (HW, TT, CL), pp. 1323–1324.
ECIRECIR-2008-VanB #library #personalisation
Hybrid Method for Personalized Search in Digital Libraries (TTV, MB), pp. 647–651.
ICPRICPR-2008-Abd-AlmageedASD #classification #using
Document-zone classification using partial least squares and hybrid classifiers (WAA, MA, WS, DSD), pp. 1–4.
ICPRICPR-2008-DelayeMA #fuzzy #online #recognition #statistics
Hybrid statistical-structural on-line Chinese character recognition with fuzzy inference system (AD, SM, ÉA), pp. 1–4.
ICPRICPR-2008-GeorgeKK #classification
Hybrid wavelet support vector classification of temporal bone abnormalities (JG, STK, RK), pp. 1–4.
ICPRICPR-2008-SerCY #classification #recognition #speech
A Hybrid PNN-GMM classification scheme for speech emotion recognition (WS, LC, ZLY), pp. 1–4.
ICPRICPR-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.
LOPSTRLOPSTR-2008-BandaG #analysis #linear
Analysis of Linear Hybrid Systems in CLP (GB, JPG), pp. 55–70.
ICSEICSE-2008-McCafferyPR #agile #assessment #named #safety
Ahaa — agile, hybrid assessment method for automotive, safety critical smes (FM, MP, IR), pp. 551–560.
SACSAC-2008-CorreaL #documentation #semantics
Semantic mapping and K-means applied to hybrid SOM-based document organization system construction (RFC, TBL), pp. 1112–1116.
SACSAC-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.
SACSAC-2008-ErdilL #grid #scheduling #self
Supporting self-organization for hybrid grid resource scheduling (DCE, MJL), pp. 1981–1986.
SACSAC-2008-GuiFSB #component #configuration management #embedded #realtime
A hybrid real-time component model for reconfigurable embedded systems (NG, VDF, HS, CB), pp. 1590–1596.
SACSAC-2008-LuCL #embedded #self
A hybrid software-based self-testing methodology for embedded processor (THL, CHC, KJL), pp. 1528–1534.
SACSAC-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.
SACSAC-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.
SACSAC-2008-Schneider #analysis #reachability
Reachability analysis of generalized polygonal hybrid systems (GS), pp. 327–332.
SACSAC-2008-SobralB #mobile #realtime
A wireless hybrid contention/TDMA-based MAC for real-time mobile application (MMS, LBB), pp. 284–288.
SACSAC-2008-TaghipourK #recommendation #web
A hybrid web recommender system based on Q-learning (NT, AAK), pp. 1164–1168.
CASECASE-2008-AdamekSS #nondeterminism #probability
Stochastic optimal control for hybrid systems with uncertain discrete dynamics (FA, MS, OS), pp. 23–28.
CASECASE-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.
CASECASE-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.
CASECASE-2008-GiglioMSS #optimisation
Optimization of inventory levels and production effort in Hybrid Inventory-Production (HIP) systems (DG, RM, SS, SS), pp. 8–15.
CASECASE-2008-TeoP #heuristic #layout #problem
A hybrid ACO/PSO heuristic to solve single row layout problem (YTT, SGP), pp. 597–602.
DACDAC-2008-BalkanQV #network #parallel
An area-efficient high-throughput hybrid interconnection network for single-chip parallel processing (AOB, GQ, UV), pp. 435–440.
DACDAC-2008-GaoKKLAM #estimation #multi #performance #simulation #using
Multiprocessor performance estimation using hybrid simulation (LG, KK, SK, RL, GA, HM), pp. 325–330.
ESOPESOP-2008-BouissouM #semantics
A Hybrid Denotational Semantics for Hybrid Systems (OB, MM), pp. 63–77.
TACASTACAS-2008-SankaranarayananDI #model checking #using
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (SS, TD, FI), pp. 188–202.
CAVCAV-2008-GulwaniT #analysis #approach #constraints
Constraint-Based Approach for Analysis of Hybrid Systems (SG, AT), pp. 190–203.
CAVCAV-2008-KobayashiS #mobile #process #type system
A Hybrid Type System for Lock-Freedom of Mobile Processes (NK, DS), pp. 80–93.
CAVCAV-2008-PlatzerC #difference #invariant
Computing Differential Invariants of Hybrid Systems as Fixedpoints (AP, EMC), pp. 176–189.
IJCARIJCAR-2008-KaminskiS #difference #logic
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (MK, GS), pp. 210–225.
IJCARIJCAR-2008-PlatzerQ #named #proving #theorem proving
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (AP, JDQ), pp. 171–178.
ICSTSAT-2008-LetombeM #algorithm #incremental #satisfiability
Improvements to Hybrid Incremental SAT Algorithms (FL, JMS), pp. 168–181.
FATESTestCom-FATES-2008-DangN #generative #testing #using
Using Disparity to Enhance Test Generation for Hybrid Systems (TD, TN), pp. 54–69.
VMCAIVMCAI-2008-SohailSR #algorithm #game studies #ltl
A Hybrid Algorithm for LTL Games (SS, FS, KR), pp. 309–323.
ICDARICDAR-2007-AssabieB #recognition #robust
A Hybrid System for Robust Recognition of Ethiopic Script (YA, JB), pp. 556–560.
ICDARICDAR-2007-KeshariW #recognition #using
Hybrid Mathematical Symbol Recognition Using Support Vector Machines (BK, SMW), pp. 859–863.
ICDARICDAR-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.
SIGMODSIGMOD-2007-MoroLC
Schema advisor for hybrid relational-XML DBMS (MMM, LL, YCC), pp. 959–970.
ICPCICPC-2007-Godfrey #object-oriented #reverse engineering
A Hybrid Program Model for Object-Oriented Reverse Engineering (MWG), pp. 81–90.
CIAACIAA-J-2006-BordihnHK07 #automaton #finite
Hybrid Extended Finite Automata (HB, MH, MK), pp. 745–760.
CoGCIG-2007-KimCC #evolution #learning
Hybrid of Evolution and Reinforcement Learning for Othello Players (KJK, HC, SBC), pp. 203–209.
CoGCIG-2007-NaveedCH #game studies #learning
Hybrid Evolutionary Learning Approaches for The Virus Game (MHN, PIC, MAH), pp. 196–202.
HCIDHM-2007-WangYHWJJLZ #classification
A Hybrid AB-RBF Classifier for Surface Electromyography Classification (RW, YY, XH, FW, DJ, XJ, FL, JZ), pp. 727–735.
HCIHIMI-MTT-2007-NoorinaeiniLW #classification #composition
Hybrid Singular Value Decomposition: A Model of Human Text Classification (AN, MRL, SjW), pp. 517–525.
ICEISICEIS-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.
ICEISICEIS-DISI-2007-GorawskiF #named
STAH-TREE: Hybrid index for spatio temporal aggregation (MG, MF), pp. 113–118.
ICEISICEIS-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.
CIKMCIKM-2007-PaltoglouSS
Hybrid results merging (GP, MS, MS), pp. 321–330.
ICMLICML-2007-WangZZ #array #classification
Hybrid huberized support vector machines for microarray classification (LW, JZ, HZ), pp. 983–990.
KDDKDD-2007-DruckPMZ #classification #generative
Semi-supervised classification with hybrid generative/discriminative methods (GD, CP, AM, XZ), pp. 280–289.
KDDKDD-2007-JanssensGM #analysis #clustering #mining
Dynamic hybrid clustering of bioinformatics by incorporating text mining and citation analysis (FALJ, WG, BDM), pp. 360–369.
MLDMMLDM-2007-AburtoW #predict
A Sequential Hybrid Forecasting System for Demand Prediction (LA, RW), pp. 518–532.
MLDMMLDM-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.
MLDMMLDM-2007-Lehmann #learning #ontology
Hybrid Learning of Ontology Classes (JL), pp. 883–898.
RecSysRecSys-2007-ChenP #evaluation #recommendation
The evaluation of a hybrid critiquing system with preference-based recommendations organization (LC, PP), pp. 169–172.
RecSysRecSys-2007-Donaldson #music #recommendation
A hybrid social-acoustic recommendation system for popular music (JD), pp. 187–190.
RecSysRecSys-2007-TiemannP #learning #music #recommendation #towards
Towards ensemble learning for hybrid music recommendation (MT, SP), pp. 177–178.
SEKESEKE-2007-TeekayuphunS #approach #natural language #query
A Hybrid Approach for Natural Language Query Translation (PT, OS), pp. 368–373.
RERE-2007-LuoST #modelling #music
Modelling a Smart Music Player with a Hybrid Agent-Oriented Methodology (YL, LS, KT), pp. 281–286.
ICSEICSE-2007-MajumdarS #testing
Hybrid Concolic Testing (RM, KS), pp. 416–426.
SACSAC-2007-BoussellaaZA #using
A methodology for the separation of foreground/background in Arabic historical manuscripts using hybrid methods (WB, AZ, AMA), pp. 605–609.
SACSAC-2007-ImmaneniT #retrieval #web
Hybrid retrieval from the unified web (TI, KT), pp. 1346–1350.
CASECASE-2007-NguyenCYD
Motion Control of a Robotic Puppet through a Hybrid Motion Capture Device (KDN, IMC, SHY, HBLD), pp. 753–758.
CASECASE-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.
CASECASE-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.
DACDAC-2007-DadgourB #analysis #design #power management
Design and Analysis of Hybrid NEMS-CMOS Circuits for Ultra Low-Power Applications (HFD, KB), pp. 306–311.
DACDAC-2007-GhodratLR #analysis #estimation #using
Accelerating System-on-Chip Power Analysis Using Hybrid Power Estimation (MAG, KL, AR), pp. 883–886.
DACDAC-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.
DACDAC-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.
DACDAC-2007-ZhuoCLC #power management
Dynamic Power Management with Hybrid Power Sources (JZ, CC, KL, NC), pp. 871–876.
DATEDATE-2007-BauerPT #analysis #modelling
Tool-support for the analysis of hybrid systems and models (AB, MP, MT), pp. 924–929.
DATEDATE-2007-FangH #performance #satisfiability
A new hybrid solution to boost SAT solver performance (LF, MSH), pp. 1307–1313.
HPCAHPCA-2007-ZhongLM #architecture #manycore #parallel #thread
Extending Multicore Architectures to Exploit Hybrid Parallelism in Single-thread Applications (HZ, SAL, SAM), pp. 25–36.
CAVCAV-2007-Franzle #verification
Verification of Hybrid Systems (MF), p. 38.
CAVCAV-2007-NahhalD #test coverage
Test Coverage for Continuous and Hybrid Systems (TN, TD), pp. 449–462.
CAVCAV-2007-PlakuKV #verification
Hybrid Systems: From Verification to Falsification (EP, LEK, MYV), pp. 463–476.
CAVCAV-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.
VMCAIVMCAI-2007-KlaedtkeRS #abstraction #refinement #verification
Language-Based Abstraction Refinement for Hybrid System Verification (FK, SR, ZS), pp. 151–166.
ITiCSEITiCSE-2006-Quade #learning #re-engineering
Developing a hybrid software engineering curse that promotes project-based active learning (AMQ), p. 308.
CIAACIAA-2006-BordihnHK #automaton #finite
Hybrid Extended Finite Automata (HB, MH, MK), pp. 34–45.
CIAACIAA-2006-YangXSP #quantum #synthesis
Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits (GY, FX, XS, MAP), pp. 279–280.
ICALPICALP-v2-2006-HarnikN #bound #on the #security
On Everlasting Security in the Hybrid Bounded Storage Model (DH, MN), pp. 192–203.
ICALPICALP-v2-2006-PhanST
Generic Construction of Hybrid Public Key Traitor Tracing with Full-Public-Traceability (DHP, RSN, DT), pp. 264–275.
ICFPICFP-2006-HickeyNYK #representation #using
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection (JH, AN, XY, AK), pp. 172–183.
CHICHI-2006-LuffHKYY #documentation
Handling documents and discriminating objects in hybrid spaces (PL, CH, HK, KY, JY), pp. 561–570.
CHICHI-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.
CSCWCSCW-2006-JunuzovicD #architecture #collaboration
Response times in N-user replicated, centralized, and proximity-based hybrid collaboration architectures (SJ, PD), pp. 129–138.
ICEISICEIS-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.
ICEISICEIS-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.
ECIRECIR-2006-ButtcherC #approach #maintenance #retrieval
A Hybrid Approach to Index Maintenance in Dynamic Text Retrieval Systems (SB, CLAC), pp. 229–240.
ICPRICPR-v1-2006-HadidP #approach #detection
A Hybrid Approach to Face Detection under Unconstrained Environments (AH, MP), pp. 227–230.
ICPRICPR-v1-2006-IvaldiMG #framework
A hybrid resampling framework for facial shape alignment (WI, MM, SG), pp. 488–491.
ICPRICPR-v1-2006-LiCF #kernel #set
Hybrid Kernel Machine Ensemble for Imbalanced Data Sets (PL, KLC, WF), pp. 1108–1111.
ICPRICPR-v1-2006-ViswanathP #clustering #performance
l-DBSCAN : A Fast Hybrid Density Based Clustering Method (PV, RP), pp. 912–915.
ICPRICPR-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.
ICPRICPR-v2-2006-GatosPP #recognition #word
Hybrid Off-Line Cursive Handwriting Word Recognition (BG, IP, SJP), pp. 998–1002.
ICPRICPR-v2-2006-LeL
A Hybrid License Plate Extraction Method for Complex Scenes (WL, SL), pp. 324–327.
ICPRICPR-v2-2006-LiLW #feature model #ranking
A Hybrid Method of Unsupervised Feature Selection Based on Ranking (YL, BLL, ZFW), pp. 687–690.
ICPRICPR-v2-2006-LuXL #recognition
A Hybrid Recognition Scheme Based on Partially Labeled SOM and MLP (SL, CX, YL), pp. 800–803.
ICPRICPR-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.
ICPRICPR-v4-2006-JinYSLX #classification #detection #precise #robust
A hybrid classifier for precise and robust eye detection (LJ, XHY, SS, JL, LX), pp. 731–735.
ICPRICPR-v4-2006-LeeRS #recognition
Fusion of Chaotic Measure Into a New Hybrid Face-Gait System for Human Recognition (TKML, SR, SS), pp. 541–544.
ICPRICPR-v4-2006-LiuXYD #verification
A New Hybrid GMM/SVM for Speaker Verification (ML, YX, ZY, BD), pp. 314–317.
KRKR-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.
SEKESEKE-2006-AguilaCPT #development #towards
Towards a Methodology for Hybrid Systems Software Development (IMdÁ, JC, JTP, ST), pp. 188–193.
SIGIRSIGIR-2006-ButtcherCL #maintenance
Hybrid index maintenance for growing text collections (SB, CLAC, BL), pp. 356–363.
SIGIRSIGIR-2006-DingLP #algorithm #equivalence
NMF and PLSI: equivalence and a hybrid algorithm (CHQD, TL, WP), pp. 641–642.
PADLPADL-2006-HawkinsS #constraints #finite #satisfiability #theorem proving
A Hybrid BDD and SAT Finite Domain Constraint Solver (PH, PJS), pp. 103–117.
POPLPOPL-2006-Flanagan #type checking
Hybrid type checking (CF), pp. 245–256.
ICSEICSE-2006-TrendowiczHMIYK #development #estimation
Development of a hybrid cost estimation model in an iterative manner (AT, JH, JM, YI, KY, NK), pp. 331–340.
SACSAC-2006-BianchiniAM #ontology
Hybrid ontology-based matchmaking for service discovery (DB, VDA, MM), pp. 1707–1708.
SACSAC-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.
ASPLOSASPLOS-2006-DamronFLLMN #memory management #transaction
Hybrid transactional memory (PD, AF, YL, VL, MM, DN), pp. 336–346.
CASECASE-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.
CASECASE-2006-XieLP #linear
The hybrid calibration of linear structured light system (KX, WYL, ZBP), pp. 611–614.
CASECASE-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.
CCCC-2006-CavazosMO #algorithm #optimisation #question
Hybrid Optimizations: Which Optimization Algorithm to Use? (JC, JEBM, MFPO), pp. 124–138.
DACDAC-2006-BrahmbhattZWQ #adaptation #algorithm #encoding #power management #using
Low-power bus encoding using an adaptive hybrid algorithm (ARB, JZ, QW, QQ), pp. 987–990.
DACDAC-2006-RadT #clustering
A new hybrid FPGA with nanoscale clusters and CMOS routing (RMR, MT), pp. 727–730.
DACDAC-2006-ZhangJS #architecture #configuration management #named
NATURE: a hybrid nanotube/CMOS dynamically reconfigurable architecture (WZ, NKJ, LS), pp. 711–716.
DACDAC-2006-ZhuoCCV
Extending the lifetime of fuel cell based hybrid systems (JZ, CC, NC, SBKV), pp. 562–567.
DATEDATE-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.
DATEDATE-2006-ShyamB #verification
Distance-guided hybrid verification with GUIDO (SS, VB), pp. 1211–1216.
DATEDATE-2006-YavariSR #design
Systematic and optimal design of CMOS two-stage opamps with hybrid cascode compensation (MY, OS, ÁRV), pp. 144–149.
OSDIOSDI-2006-CowlingMLRS #fault tolerance #protocol #replication
HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance (JAC, DSM, BL, RR, LS), pp. 177–190.
PPoPPPPoPP-2006-KumarCHKN #memory management #transaction
Hybrid transactional memory (SK, MC, CJH, PK, ADN), pp. 209–220.
FoSSaCSFoSSaCS-2006-EdalatP #automaton #semantics
Denotational Semantics of Hybrid Automata (AE, DP), pp. 231–245.
CAVCAV-2006-BoigelotH #power of
The Power of Hybrid Acceleration (BB, FH), pp. 438–451.
FATESFATES-RV-2006-Osch #consistency #generative #testing
Hybrid Input-Output Conformance and Test Generation (MvO), pp. 70–84.
ISSTAISSTA-2006-CsallnerS #analysis #debugging #named
DSD-Crasher: a hybrid analysis tool for bug finding (CC, YS), pp. 245–254.
LICSLICS-2006-BouyerBC
Control in o-minimal Hybrid Systems (PB, TB, FC), pp. 367–378.
TPDLECDL-2005-JaneeF #declarative #metadata #python
A Hybrid Declarative/Procedural Metadata Mapping Language Based on Python (GJ, JF), pp. 302–313.
ICDARICDAR-2005-CecottiB05a #approach #documentation
Hybrid OCR combination approach complemented by a specialized ICR applied on ancient documents (HC, AB), pp. 1045–1049.
ICDARICDAR-2005-KumarJ #architecture #configuration management #recognition
Configurable Hybrid Architectures for Character Recognition Applications (MNSSKPK, CVJ), pp. 1199–1205.
ICDARICDAR-2005-LongJ #recognition
Hybrid Recognition for One Stroke Style Cursive Handwriting Characters (TL, LJ), pp. 232–236.
ICDARICDAR-2005-ZhangBS #feature model #recognition
Hybrid Feature Extraction and Feature Selection for Improving Recognition Accuracy of Handwritten Numerals (PZ, TDB, CYS), pp. 136–140.
ICALPICALP-2005-CatalanoV
Hybrid Trapdoor Commitments and Their Applications (DC, IV), pp. 298–310.
CoGCIG-2005-RhalibiB #adaptation
A Hybrid AI System for Agent Adaptation in a First Person Shooter (AER, MB).
DiGRADiGRA-2005-MagerkurthM #component #design #evaluation #game studies #physics
Design and Evaluation of a Hybrid Games System Combining Physical and Virtual Components (CM, MM).
DiGRADiGRA-2005-Spierling #approach #concept #interactive #towards
Interactive Digital Storytelling: Towards a Hybrid Conceptual Approach (US).
ICEISICEIS-v1-2005-FengWM #clustering
A Hybrid Clustering Criterion for R*-Tree on Business Data (YF, ZW, AM), pp. 346–352.
ICEISICEIS-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.
ICEISICEIS-v2-2005-ClemmonsH #enterprise
Reducing Risk in the Enterprise: Proposal for a Hybrid Audit Expert System (SC, KH), pp. 260–266.
ICEISICEIS-v2-2005-LokugeA #learning #multi
Handling Multiple Events in Hybrid BDI Agents with Reinforcement Learning: A Container Application (PL, DA), pp. 83–90.
ICEISICEIS-v4-2005-GruhnH #information management #mobile
Hybrid Application Support for Mobile Information Systems (VG, MH), pp. 232–237.
CIKMCIKM-2005-FreskoRF #approach
A hybrid approach to NER by MEMM and manual rules (MF, BR, RF), pp. 361–362.
CIKMCIKM-2005-ZhouXWGM #web
Hybrid index structures for location-based web search (YZ, XX, CW, YG, WYM), pp. 155–162.
ICMLICML-2005-GuptaG #clustering #robust #using
Robust one-class clustering using hybrid global and local search (GG, JG), pp. 273–280.
KDDKDD-2005-SurdeanuTA #approach #clustering #documentation
A hybrid unsupervised approach for document clustering (MS, JT, AA), pp. 685–690.
SEKESEKE-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.
SEKESEKE-2005-WangWH #linear #verification
Verifying Timed and Linear Hybrid Rule-Systems with RED (FW, RSW, GDH), pp. 448–454.
SIGIRSIGIR-2005-HawkingT
Server selection methods in hybrid portal search (DH, PT), pp. 75–82.
QAPLQAPL-2004-Huth05 #abstraction #logic
Abstraction and Probabilities for Hybrid Logics (MH), pp. 61–76.
PADLPADL-2005-SaadP #framework #logic programming #probability #towards
Towards a More Practical Hybrid Probabilistic Logic Programming Framework (ES, EP), pp. 67–82.
ESEC-FSEESEC-FSE-2005-MetzLG #approach #performance #using
Performance data collection using a hybrid approach (EM, RL, TFG), pp. 126–135.
SACSAC-2005-Eliassi-RadC #approach #modelling #multi #scalability
A hybrid approach for multiresolution modeling of large-scale scientific data (TER, TC), pp. 511–518.
SACSAC-2005-OuajaR #composition
Hybrid Lagrangian relaxation for bandwidth-constrained routing: knapsack decomposition (WO, BR), pp. 383–387.
CASECASE-2005-TsinarakisTV #multi #petri net
Studying multi-assembly machine production systems with hybrid timed Petri nets (GJT, NT, KPV), pp. 327–332.
DACDAC-2005-MuttrejaRRJ #embedded #energy #estimation #simulation
Hybrid simulation for embedded software energy estimation (AM, AR, SR, NKJ), pp. 23–26.
DATEDATE-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.
DATEDATE-2005-LiC #analysis #clustering #sequence
Hybrid BIST Based on Repeating Sequences and Cluster Analysis (LL, KC), pp. 1142–1147.
DATEDATE-2005-LiuPP #named #performance #power management
RIP: An Efficient Hybrid Repeater Insertion Scheme for Low Power (XL, YP, MCP), pp. 1330–1335.
DATEDATE-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.
HPDCHPDC-2005-MassettoJS #named
HMPI — hybrid MPI (FIM, AMGJ, LMS), pp. 306–307.
ICSTSAT-J-2004-JinS05 #named #satisfiability
CirCUs: A Hybrid Satisfiability Solver (HJ, FS), pp. 211–223.
CAVCAV-2005-SebastianiTV #ltl #model checking
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking (RS, ST, MYV), pp. 350–363.
CSLCSL-2005-CateF #complexity #logic #on the
On the Complexity of Hybrid Logics with Binders (BtC, MF), pp. 339–354.
ICLPICLP-2005-SaadP #logic programming #probability #source code
Hybrid Probabilistic Logic Programs with Non-monotonic Negation (ES, EP), pp. 204–220.
VMCAIVMCAI-2005-AbrahamBKS #bound #linear #model checking #optimisation
Optimizing Bounded Model Checking for Linear Hybrid Systems (, BB, FK, MS), pp. 396–412.
IFMIFM-2004-Willemse #algebra #automaton #process
Embeddings of Hybrid Automata in Process Algebra (TACW), pp. 343–362.
ICEISICEIS-v2-2004-KotsiantisP #classification #using
A Hybrid Decision Support Tool — Using Ensemble of Classifiers (SBK, PEP), pp. 448–456.
ICEISICEIS-v4-2004-DegemmisLSCLG #collaboration #recommendation
A Hybrid Collaborative Recommender System Based on User Profiles (MD, PL, GS, MFC, OL, SG), pp. 162–169.
CIKMCIKM-2004-RosenfeldFFSA #approach #information management #named
TEG: a hybrid approach to information extraction (BR, RF, MF, JS, YA), pp. 589–596.
ICPRICPR-v2-2004-ChangLC #recognition
Applying A Hybrid Method To Handwritten Character Recognition (FC, CCL, CJC), pp. 529–532.
ICPRICPR-v2-2004-HongliangC #statistics
A hybrid License Plate Extraction Method Based On Edge Statistics and Morphology (HB, CL), pp. 831–834.
ICPRICPR-v2-2004-WeiXMJS
A Hybrid SOM-SVM Method for Analyzing Zebra Fish Gene Expression (WW, LX, XM, PJ, RS), pp. 323–326.
ICPRICPR-v3-2004-HuangMP #markov #random #recognition #using
A Hybrid Face Recognition Method using Markov Random Fields (RH, DNM, VP), pp. 157–160.
ICPRICPR-v4-2004-DharaC #approach #estimation #predict #using #video
Video Motion Estimation Using Prediction Based Hybrid Approach (BCD, BC), pp. 737–740.
ICPRICPR-v4-2004-QiuMHHS #video
A Hybrid Watermarking Scheme for H.264/AVC Video (GQ, PM, ATSH, DH, QS), pp. 865–869.
KRKR-2004-Barrett #compilation
From Hybrid Systems to Universal Plans Via Domain Compilation (AB), pp. 654–661.
SIGIRSIGIR-2004-DoranSNDC #generative #statistics
A hybrid statistical/linguistic model for generating news story gists (WPD, NS, EN, JD, JC), pp. 464–465.
ASEASE-2004-Xie #approach #component #verification
Decompositional Verification of Component-based Systems — A Hybrid Approach (GX), pp. 414–417.
ICSEICSE-2004-Francois #architecture #data type #distributed #parallel
A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams (ARJF), pp. 367–376.
SACSAC-2004-AlbaC #fault #heuristic #parallel #problem
Solving the error correcting code problem with parallel hybrid heuristics (EA, JFC), pp. 985–989.
SACSAC-2004-CaldeiraMR #algorithm #problem #using
Using a hybrid Evolutionary-Taboo Algorithm to solve Job Shop Problem (JPC, FM, ACR), pp. 1446–1451.
SACSAC-2004-FeltlR #algorithm #problem #search-based
An improved hybrid genetic algorithm for the generalized assignment problem (HF, GRR), pp. 990–995.
SACSAC-2004-JulstromA #algorithm #problem
Two hybrid evolutionary algorithms for the rectilinear Steiner arborescence problem (BAJ, AA), pp. 980–984.
DATEDATE-v1-2004-Skadron #architecture
Hybrid Architectural Dynamic Thermal Management (KS), pp. 10–15.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
HPDCHPDC-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.
DATEDATE-2005-GalanisMTSG04 #clustering #configuration management #platform
A Partitioning Methodology for Accelerating Applications in Hybrid Reconfigurable Platforms (MDG, AM, GT, DS, CEG), pp. 247–252.
CAVCAV-2004-Wang #analysis #linear #parametricity #safety
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures (FW), pp. 295–307.
CSLCSL-2004-KorovinaV
Pfaffian Hybrid Systems (MVK, NV), pp. 430–441.
SATSAT-2004-JinS #named #satisfiability
CirCUs: A Hybrid Satisfiability Solver (HJ, FS), pp. 47–55.
DRRDRR-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.
ICDARICDAR-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.
ICDARICDAR-2003-ZimmerL #verification
A Hybrid On/Off Line Handwritten Signature Verification System (AZ, LLL), pp. 424–428.
DiGRADiGRA-2003-ChristensenJJ #usability #using
Developing a hybrid of MMORPG and LARP using usability methods: the case of Takkar (LJC, TTYJ, AHJ).
AGTIVEAGTIVE-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.
ICEISICEIS-v2-2003-SalemNB #adaptation
A Hybrid Case-Based Adaptation Model for Thyroid Cancer Diagnosis (ABMS, KAN, BEB), pp. 58–65.
ICEISICEIS-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.
CIKMCIKM-2003-LuC #network #peer-to-peer #retrieval
Content-based retrieval in hybrid peer-to-peer networks (JL, JPC), pp. 199–206.
ECIRECIR-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.
ECIRECIR-2003-XuXYT #approach #retrieval
A Hybrid Relevance-Feedback Approach to Text Retrieval (ZX, XX, KY, VT), pp. 281–293.
SEKESEKE-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.
SIGIRSIGIR-2003-Blair-GoldensohnMS #named
DefScriber: a hybrid system for definitional QA (SBG, KM, AHS), p. 462.
SIGIRSIGIR-2003-TsaiMT #classification #image #network #using
Image classification using hybrid neural networks (CFT, KM, JT), pp. 431–432.
LOPSTRLOPSTR-2003-Ellman #animation #automaton #specification #synthesis
Specification and Synthesis of Hybrid Automata for Physics-Based Animation (TE), pp. 54–55.
PADLPADL-2003-NilssonPH #functional #modelling
Functional Hybrid Modeling (HN, JP, PH), pp. 376–390.
ASEASE-2003-Ellman #animation #automaton #specification #synthesis
Specification and Synthesis of Hybrid Automata for Physics-Based Animation (TE), pp. 80–93.
SACSAC-2003-LiLR #approach #problem
A Hybrid AI Approach for Nurse Rostering Problem (HL, AL, BR), pp. 730–735.
SACSAC-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.
SACSAC-2003-QianZ #approach #clustering
A Customizable Hybrid Approach to Data Clustering (YQ, KZ), pp. 485–489.
SACSAC-2003-RagothamanP #assessment #segmentation
Hybrid Log Segmentation for Assured Damage Assessment (PR, BP), pp. 522–527.
DACDAC-2003-SeshiaLB #logic #satisfiability
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions (SAS, SKL, REB), pp. 425–430.
DACDAC-2003-ShiG #performance #power management
Hybrid hierarchical timing closure methodology for a high performance and low power DSP (KS, GG), pp. 850–855.
LCTESLCTES-2003-AlurIKLS #embedded #generative #modelling
Generating embedded software from hierarchical hybrid models (RA, FI, JK, IL, OS), pp. 171–182.
PDPPDP-2003-HidalgoPLBTG #algorithm #parallel #search-based
Hybrid Parallelization of a Compact Genetic Algorithm (JIH, MP, JL, RB, FT, OG), pp. 449–455.
PDPPDP-2003-WolfM #analysis #automation #performance
Automatic Performance Analysis of Hybrid MPI/OpenMP Applications (FW, BM), pp. 13–22.
PPoPPPPoPP-2003-OCallahanC #concurrent #detection
Hybrid dynamic data race detection (RO, JDC), pp. 167–178.
TACASTACAS-2003-AlurDI #abstraction
Counter-Example Guided Predicate Abstraction of Hybrid Systems (RA, TD, FI), pp. 208–223.
TACASTACAS-2003-ClarkeFHKST #abstraction #refinement #verification
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement (EMC, AF, ZH, BHK, OS, MT), pp. 192–207.
CAVCAV-2003-BoigelotHJ #automaton #using
Hybrid Acceleration Using Real Vector Automata (BB, FH, SJ), pp. 193–205.
TPDLECDL-2002-XiSLF #validation
Hybrid Partition Inverted Files: Experimental Validation (WX, OS, ML, EAF), pp. 422–431.
VLDBVLDB-2002-SeifertS #multi #policy
A Multi-version Cache Replacement and Prefetching Policy for Hybrid Data Delivery Environments (AS, MHS), pp. 850–861.
CIAACIAA-2002-Sutner02a #automaton
automata, a Hybrid System for Computational Automata Theory (KS), pp. 221–227.
ICPRICPR-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.
ICPRICPR-v1-2002-LongL #invariant
A Hybrid Model for Invariant and Perceptual Texture Mapping (HL, WKL), pp. 135–138.
ICPRICPR-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.
ICPRICPR-v3-2002-MaoCLS #detection #image #video
Hybrid Chinese/English Text Detection in Images and Video Frames (WM, FLC, KKML, WCS), pp. 1015–1018.
ICPRICPR-v3-2002-RossJR
A Hybrid Fingerprint Matcher (AR, AKJ, JR), pp. 795–798.
SEKESEKE-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.
DACDAC-2002-HazelhurstWKF #approach #design #verification
A hybrid verification approach: getting deep into the design (SH, OW, GK, LF), pp. 111–116.
DACDAC-2002-IonescuDMBG #towards
Few electron devices: towards hybrid CMOS-SET integrated circuits (AMI, MJD, SM, KB, JG), pp. 88–93.
WRLAWRLA-J-1996-OlveczkyM02 #logic #realtime #specification
Specification of real-time and hybrid systems in rewriting logic (PCÖ, JM), pp. 359–405.
TACASTACAS-2002-KwiatkowskaNP #approach #model checking #probability
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach (MZK, GN, DP), pp. 52–66.
CADECADE-2002-ArecesH #logic
HyLoRes 1.0: Direct Resolution for Hybrid Logics (CA, JH), pp. 156–160.
CAVCAV-2002-AsarinDM #verification
The d/dt Tool for Verification of Hybrid Systems (EA, TD, OM), pp. 365–370.
CAVCAV-2002-AsarinPSY #named #verification
SPeeDI — A Verification Tool for Polygonal Hybrid Systems (EA, GJP, GS, SY), pp. 354–358.
CAVCAV-2002-Henzinger #approach
The Symbolic Approach to Hybrid Systems (TAH), p. 57.
ICLPICLP-2002-BockmayrC #biology #concurrent #constraints #programming #using
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems (AB, AC), pp. 85–99.
ICDARICDAR-2001-BelliliGG
An Hybrid MLP-SVM Handwritten Digit Recognizer (AB, MG, PG), pp. 28–33.
ICDARICDAR-2001-ElgammalI01a #documentation #identification #image
Techniques for Language Identification for Hybrid Arabic-English Document Images (AME, MAI), pp. 1100–1104.
ICDARICDAR-2001-MarukatatAGD #modelling #recognition
Sentence Recognition through Hybrid Neuro-Markovian Modeling (SM, TA, PG, BD), pp. 731–737.
JCDLJCDL-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.
VLDBVLDB-2001-YangG #peer-to-peer
Comparing Hybrid Peer-to-Peer Systems (BY, HGM), pp. 561–570.
ITiCSEITiCSE-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.
SCAMSCAM-2001-RillingK #framework #slicing
A Hybrid Program Slicing Framework (JR, BK), pp. 14–25.
CIKMCIKM-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.
ICMLICML-2001-Das #feature model
Filters, Wrappers and a Boosting-Based Hybrid for Feature Selection (SD), pp. 74–81.
MLDMMLDM-2001-PernerB #data mining #mining
A Hybrid Tool for Data Mining in Picture Archiving System (PP, TPB), pp. 141–156.
SEKESEKE-2001-WangenheimLW #approach #memory management
A Hybrid Approach for Corporate Memory Management Systems in Software R&D Organizations (CGvW, DL, AvW), pp. 326–330.
SACSAC-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.
DACDAC-2001-MneimnehAWCSA #scalability #verification
Scalable Hybrid Verification of Complex Microprocessors (MNM, FAA, CTW, SC, KAS, TMA), pp. 41–46.
DACDAC-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.
LCTESLCTES-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.
IJCARIJCAR-2001-SattlerV #calculus
The Hybrid µ-Calculus (US, MYV), pp. 76–91.
LICSLICS-2001-AsarinB #turing machine
Perturbed Turing Machines and Hybrid Systems (EA, AB), pp. 269–278.
TPDLECDL-2000-Koehler #documentation #library #web
The Bibliographic Management of Web Documents in Digital and Hybrid Libraries (WCKJ), pp. 407–412.
ICMLICML-2000-SilvaL #learning
Obtaining Simplified Rule Bases by Hybrid Learning (RBdAeS, TBL), pp. 879–886.
ICPRICPR-v2-2000-GuoM #approach #automation #feature model #statistics
Automatic Feature Selection — A Hybrid Statistical Approach (HG, YLM), pp. 2382–2385.
ICPRICPR-v2-2000-PodolakLBM
A Hybrid Neural System for Phonematic Transformation (ITP, SWL, AB, EM), pp. 2957–2960.
ICPRICPR-v2-2000-StainvasI #architecture #network #recognition
Blurred Face Recognition via a Hybrid Network Architecture (IS, NI), pp. 2805–2808.
ICPRICPR-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.
KDDKDD-2000-Farahat #process
Hybrid Poisson process (AF), pp. 474–479.
TOOLSTOOLS-ASIA-2000-Taibi #development #object-oriented #process
Hybrid Object-Oriented Method (HOOM): The Software Development Process (TT), pp. 8–17.
TOOLSTOOLS-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.
PADLPADL-2000-YunesMS #approach #problem #scalability #scheduling
A Hybrid Approach for Solving Large Scale Crew Scheduling Problems (THY, AVM, CCdS), pp. 293–307.
SACSAC-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.
SACSAC-2000-LoiaSTS #approach #design
An Evolutionary Hybrid Approach to the Design of a Decision Support System (VL, AS, RT, SS), pp. 524–528.
LCTESLCTES-2000-AmnellDY #realtime
A Real-Time Animator for Hybrid Systems (TA, AD, WY), pp. 134–145.
TACASTACAS-2000-HenzingerM #model checking
Symbolic Model Checking for Rectangular Hybrid Systems (TAH, RM), pp. 142–156.
WRLAWRLA-2000-OlveczkyM #maude #realtime #simulation
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems (PCÖ, JM), pp. 361–382.
CAVCAV-2000-CassezL #constraints #model checking
Model-Checking for Hybrid Systems by Quotienting and Constraints Solving (FC, FL), pp. 373–388.
ICDARICDAR-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.
ICDARICDAR-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.
VLDBVLDB-1999-VorugantiOU #adaptation #architecture
An Adaptive Hybrid Server Architecture for Client Caching ODBMSs (KV, MTÖ, RCU), pp. 150–161.
WCREWCRE-1999-DemeyerDL #approach #metric #reverse engineering #visualisation
A Hybrid Reverse Engineering Approach Combining Metrics and Program Visualization (SD, SD, ML), pp. 175–186.
FMFM-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.
CHICHI-1999-RekimotoS
Augmented Surfaces: A Spatially Continuous Work Space for Hybrid Computing Environments (JR, MS), pp. 378–385.
HCIHCI-CCAD-1999-NabeshimaTSNIOKS #monitoring
Hybrid monitoring system for high temperature gas cooling reactor (KN, ET, TS, SN, KI, TO, KK, KS), pp. 1187–1191.
ICMLICML-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–?.
SACSAC-1999-Sabharwal #approach #database #image #implementation
An Implementation of Hybrid Approach to Indexing Image Databases (CLS), pp. 421–426.
DATEDATE-1999-BolsensMDBV #integration
Single Chip or Hybrid System Integration (IB, WM, LD, JB, HJMV), p. 616–?.
PDPPDP-1999-Dalton #logic #simulation
A special purpose hybrid SIMD processor for logic event simulation (DD), pp. 74–83.
PDPPDP-1999-NicastroV #architecture
An atmosphere-ocean forecast system on a hybrid architecture (SN, FV), pp. 309–314.
CSLCSL-1999-ArecesBM #complexity #logic
A Road-Map on Complexity for Hybrid Logics (CA, PB, MM), pp. 307–321.
CSLCSL-1999-Franzle #analysis #infinity
Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States (MF), pp. 126–140.
ICLPICLP-1999-CiarliniF #execution #symbolic computation
Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems (AEMC, TWF), p. 606.
ICPRICPR-1998-BukerK #learning
Learning in an active hybrid vision system (UB, BK), pp. 178–181.
ICPRICPR-1998-KnerrA #markov #recognition #word
A neural network-hidden Markov model hybrid for cursive word recognition (SK, EA), pp. 1518–1520.
ICPRICPR-1998-KummertFSB #image #recognition #sequence
Hybrid object recognition in image sequences (FK, GAF, GS, EB), pp. 1165–1170.
ICPRICPR-1998-RigollKW #approach #recognition #scalability
A new hybrid approach to large vocabulary cursive handwriting recognition (GR, AK, DW), pp. 1512–1514.
ICPRICPR-1998-ShahA #architecture #classification #performance #reasoning
A hybrid architecture for performance reasoning in classification systems (SS, JKA), pp. 326–330.
ICSEICSE-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.
DACDAC-1998-AzizKS #simulation #using #verification
Hybrid Verification Using Saturated Simulation (AA, JHK, TRS), pp. 615–618.
DACDAC-1998-LuoWA #functional #performance #simulation
Hybrid Techniques for Fast Functional Simulation (YL, TW, AA), pp. 664–667.
DATEDATE-1998-GrimmW #clustering
Repartitioning and Technology-Mapping of Electronic Hybrid Systems (CG, KW), pp. 52–58.
ICDARICDAR-1997-TeoS #classification
A Hybrid Classifier for Recognizing Handwritten Numerals (RYMT, RS), pp. 283–287.
VLDBVLDB-1997-StathatosRB #adaptation #network
Adaptive Data Broadcast in Hybrid Networks (KS, NR, JSB), pp. 326–335.
DLTDLT-1997-Mihalache #communication #parallel
Hybrid Parallel Communicating Grammar Systems (VM), pp. 175–189.
ICALPICALP-1997-HenzingerK97a #automaton
Discrete-Time Control for Rectangular Hybrid Automata (TAH, PWK), pp. 582–593.
SACSAC-1997-ChristensenWS #algorithm #multi #problem
A hybrid algorithm for the point to multipoint routing problem (HLC, RLW, DAS), pp. 263–268.
SACSAC-1997-KaiserLMGP #algorithm #predict #search-based
Polypeptide structure prediction: real-value versus binary hybrid genetic algorithms (CEK, GBL, LDM, GHGJ, RP), pp. 279–286.
SACSAC-1997-PargasLS #algorithm
Hybrid search algorithms (RPP, JL, SAS), pp. 269–273.
SACSAC-1997-SurmaS #communication #parallel #scheduling
Hybrid static-dynamic communication scheduling for parallel systems (DRS, EHMS), pp. 374–379.
DACDAC-1997-TsaiCLB #algorithm
A Hybrid Algorithm for Test Point Selection for Scan-Based BIST (HCT, KTC, CJL, SB), pp. 478–483.
DATEEDTC-1997-ChiusanoCPR #graph #problem
Hybrid symbolic-explicit techniques for the graph coloring problem (SC, FC, PP, MSR), pp. 422–426.
SOSPSOSP-1997-CastroALM #adaptation #distributed #named
HAC: Hybrid Adaptive Caching for Distributed Storage Systems (MC, AA, BL, ACM), pp. 102–115.
CADECADE-1997-FeltyH #interactive #proving #theorem proving #using
Hybrid Interactive Theorem Proving Using Nuprl and HOL (APF, DJH), pp. 351–365.
CAVCAV-1997-BoigelotBR #analysis #linear #reachability
An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (BB, LB, SR), pp. 167–178.
CAVCAV-1997-HenzingerHW #model checking #named
HYTECH: A Model Checker for Hybrid Systems (TAH, PHH, HWT), pp. 460–463.
ICLPICLP-1997-DekhtyarS #probability #source code
Hybrid Probabilistic Programs (AD, VSS), pp. 391–405.
ICPRICPR-1996-Ayoung-CheeDF #3d #representation #using
Enhanced 3D representation using a hybrid model (NAC, GD, FPF), pp. 575–579.
ICPRICPR-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.
ICPRICPR-1996-ChiangG #feature model #framework #recognition
A hybrid feature extraction framework for handwritten numeric fields recognition (JHC, PDG), pp. 436–440.
KDDKDD-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.
KDDKDD-1996-Kohavi #classification #scalability
Scaling Up the Accuracy of Naive-Bayes Classifiers: A Decision-Tree Hybrid (RK), pp. 202–207.
SEKESEKE-1996-ChenKPS #development #information management #process
The Development of Hybrid Information Systems: a Process Model an Methodology (XC, SK, IP, PS), pp. 51–58.
SASSAS-1996-RouxR #automaton #decidability
Uniformity for the Decidability of Hybrid Automata (OFR, VR), pp. 301–316.
SACSAC-1996-MerkleGLGP #algorithm #energy #search-based
Hybrid genetic algorithms for polypeptide energy minimization (LDM, RLG, GBL, GHGJ, RP), pp. 305–311.
DACDAC-1996-ChengCWM #estimation
A New Hybrid Methodology for Power Estimation (DIC, KTC, DCW, MMS), pp. 439–444.
HPCAHPCA-1996-AndersonK #adaptation #protocol
Two Adaptive Hybrid Cache Coherency Protocols (CA, ARK), pp. 303–313.
LICSLICS-1996-Henzinger #automaton #formal method
The Theory of Hybrid Automata (TAH), pp. 278–292.
ICDARICDAR-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.
ICDARICDAR-v1-1995-PowalkaSW #invariant #recognition
Zoning invariant holistic recognizer for hybrid recognition of handwriting (RKP, NS, RJW), pp. 64–67.
ICALPICALP-1995-Henzinger95a #automaton #bisimulation #finite
Hybrid Automata with Finite Bisimulatioins (TAH), pp. 324–335.
CIKMCIKM-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.
FSEFSE-1995-GuptaS #approach #information management #slicing #using
Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information (RG, MLS), pp. 29–40.
SACSAC-1995-Goonatilake
Intelligent hybrid systems for financial decision making (SG), pp. 471–476.
SACSAC-1995-ThuenteS #algorithm #problem #programming #search-based
Mathematical programming in a hybrid genetic algorithm for Steiner point problems (DJT, PS), pp. 357–363.
HPCAHPCA-1995-TheobaldHG #design
A Design Frame for Hybrid Access Caches (KBT, HHJH, GRG), pp. 144–153.
HPDCHPDC-1995-Sivalingam #network #protocol
Hybrid Media Access Protocols for a DSM System Based on Optical WDM Networks (KMS), pp. 40–47.
LCTESLCT-RTS-1995-LeeLK #scheduling
Scheduling of Hard Aperiodic Tasks in Hybrid Static/Dynamic Priority Systems (JL, SL, HK), pp. 7–19.
STOCSTOC-1995-HenzingerKPV #automaton #decidability #question #what
What’s decidable about hybrid automata? (TAH, PWK, AP, PV), pp. 373–382.
CAVCAV-1995-BouajjaniLR #automaton #calculus #linear
From Duration Calculus To Linear Hybrid Automata (AB, YL, RR), pp. 196–210.
CAVCAV-1995-BouajjaniR #linear #subclass #verification
Verifying ω-Regular Properties for a Subclass of Linear Hybrid Systems (AB, RR), pp. 437–450.
CAVCAV-1995-HenzingerH #algorithm #analysis
Algorithmic Analysis of Nonlinear Hybrid Systems (TAH, PHH), pp. 225–238.
ICLPICLP-1995-Hausman #erlang #implementation
Hybrid Implementation Techniques in Erlang BEAM (BH), p. 816.
TOOLSTOOLS-EUROPE-1994-KarakostasP #automation #c++ #logic #specification
Automatic Transformation of Hybrid Object and Logic Specification to C++ Code (VK, LP), pp. 363–373.
PPDPPLILP-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.
SASSAS-1994-HalbwachsPR #approximate #linear #verification
Verification of Linear Hybrid Systems by Means of Convex Approximations (NH, YEP, PR), pp. 223–237.
SACSAC-1994-GrissW #flexibility
Hybrid domain-specific kits for a flexible software factory (MLG, KDW), pp. 47–52.
SACSAC-1994-WongD #stack #thread #using
Supporting thousands of threads using a hybrid stack sharing scheme (KFW, BD), pp. 493–498.
DACDAC-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.
DACDAC-1994-KrishnakumarC #modelling #on the #set
On the Computation of the Set of Reachable States of Hybrid Models (ASK, KTC), pp. 615–621.
CAVCAV-1994-BouajjaniER #linear #using #verification
Verification of Context-Free Timed Systems Using Linear Hybrid Observers (AB, RE, RR), pp. 118–131.
CAVCAV-1994-McManisV #automaton #decidability
Suspension Automata: A Decidable Class of Hybrid Automata (JM, PV), pp. 105–117.
CAVCAV-1994-OliveroSY #abstraction #linear #using #verification
Using Abstractions for the Verification of Linear Hybrid Systems (AO, JS, SY), pp. 81–94.
CAVCAV-1994-PuriV #decidability #difference
Decidability of Hybrid Systems with Rectangular Differential Inclusion (AP, PV), pp. 95–104.
CAVCAV-1994-Schubert #hardware #reasoning
A Hybrid Model for Reasoning about Composed Hardware Systems (ETS), pp. 260–272.
ICLPICLP-1994-MoolenaarD
Hybrid Tree Search in the Andorra Model (RM, BD), pp. 110–123.
ICDARICDAR-1993-OkamotoT #segmentation
A hybrid page segmentation method (MO, MT), pp. 743–746.
WCREWCRE-1993-Quilici #approach #programming
A Hybrid Approach to Recognizing Programming Plans (AQ), pp. 126–133.
HCIHCI-SHI-1993-MilechWNRK #modelling #student
Student Modelling in Hybrid Training Systems (DM, BW, SN, GGR, KK), pp. 754–759.
CIKMCIKM-1993-GolverRO #pattern matching #pattern recognition #recognition #self
Hybrid Pattern Recognition System Capable of Self-Modification (CWG, NSVR, EMO), pp. 239–244.
CIKMCIKM-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.
TOOLSTOOLS-PACIFIC-1993-PloschW #communication #distributed #library
An Extensible Communication Class Library for Hybrid Distributed Systems (RP, RW), pp. 431–437.
ASEKBSE-1993-KingstonVD #approach #development #evaluation #using
Development of an Expert Assistant for Software Evaluation using a Hybrid Approach (GK, RV, PD), p. 26.
SACSAC-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.
SACSAC-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.
SACSAC-1993-VeezhinathanKT #bound #branch
A Hybrid of Neural Net and Branch and Bound Techniques for Seismic Horizon Tracking (JV, FK, JT), pp. 173–178.
CAVCAV-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.
ICLPICLP-1993-NerodeK #constraints #logic programming
Hybrid Systems and Constraint Logic Programming (AN, WK), pp. 18–24.
KRKR-1992-Jang #feedback #information management #representation
Knowledge Representation and Incorporation in a Hybrid System with Feedback (YJ), pp. 477–488.
ASPLOSASPLOS-1992-VeenstraF #evaluation #performance #protocol
A Performance Evaluation of Optimal Hybrid Cache Coherency Protocols (JEV, RJF), pp. 149–160.
ESOPESOP-1992-BenvenisteBG #realtime
SIGNAL as a Model for Real-Time and Hybrid Systems (AB, MLB, PLG), pp. 20–38.
ICMLML-1991-FawcettU #generative
A Hybrid Method for Feature Generation (TF, PEU), pp. 137–141.
ICMLML-1991-GratchD #approach #effectiveness
A Hybrid Approach to Guaranteed Effective Control Strategies (JG, GD), pp. 509–513.
SIGIRSIGIR-1991-LuoY #algorithm #image
Image Decompression: A Hybrid Image Decompressing Algorithm (CL, CTY), pp. 82–91.
ECOOPECOOP-1991-MatsuokaWY #architecture #concurrent #object-oriented #programming
Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming (SM, TW, AY), pp. 231–250.
VLDBVLDB-1990-AgrawalJ #algorithm #transitive
Hybrid Transitive Closure Algorithms (RA, HVJ), pp. 326–334.
ICGTGG-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.
PPDPALP-1990-Walters #algebra #implementation #specification
Hybrid Implementations of Algebraic Specifications (HRW), pp. 40–54.
POPLPOPL-1990-MarloweR #algorithm #analysis #data flow #incremental #performance
An Efficient Hybrid Algorithm for Incremental Data Flow Analysis (TJM, BGR), pp. 184–196.
CCCC-1990-Dobler #parsing #top-down
A Hybrid Top-Down Parsing Technique (HD), pp. 210–211.
VLDBVLDB-1989-KitsuregawaNT
The Effect of Bucket Size Tuning in the Dynamic Hybrid GRACE Hash Join Method (MK, MN, MT), pp. 257–266.
KRKR-1989-Cohn #framework #on the #reasoning
On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning (AGC), pp. 55–66.
KRKR-1989-Frisch #deduction #framework #reasoning
A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning (AMF), pp. 126–136.
ICMLML-1989-HilliardLRP #approach #classification #learning #problem #scheduling
Learning Decision Rules for scheduling Problems: A Classifier Hybrid Approach (MRH, GEL, GR, MRP), pp. 188–190.
ICMLML-1989-LambertTL #algorithm #concept #learning #recursion
Generalized Recursive Splitting Algorithms for Learning Hybrid Concepts (BLL, DKT, SCYL), pp. 496–498.
SEKESEKE-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.
SEKESEKE-1989-WongW #information management #representation
Object Formation in A Hybrid Knowledge Representation (STCW, JLW), pp. 42–47.
DACDAC-1989-PreasPC #automation #layout
Automatic Layout of Silicon-on-Silicon Hybrid Packages (BP, MP, DC), pp. 394–399.
PODSPODS-1988-HerlihyW #concurrent #data type
Hybrid Concurrency Control for Abstract Data Types (MH, WEW), pp. 201–210.
OOPSLAOOPSLA-1987-Nierstrasz
Active Objects in Hybrid (ON), pp. 243–253.
PLDIPLDI-1987-Pittman #execution #interpreter #performance
Two-level hybrid interpreter/native code execution for combined space-time program efficiency (TP), pp. 150–152.
ESECESEC-1987-EngelsS #development #interpreter
A Hybrid Interpreter in a Software Development Environment (GE, AS), pp. 80–88.
DACDAC-1982-GingerichCCL
A hybrid CAD/CAM system for mechanical applications (JZG, MPC, EJC, PKL), pp. 643–649.
DACDAC-1981-Haynie #automation #database #design #network #relational
The relational/network Hybrid data model for Design Automation Databases (MNH), pp. 646–652.
DACDAC-1979-Sherwood #logic #scheduling
A hybrid scheduling technique for hierarchical logic simulators or “Close Encounters of the Simulated Kind” (WS), pp. 249–254.
DACDAC-1977-Waldvogel #multi #using
Computer designed multilayer hybrid substrate using thick film technology (CWW), pp. 351–353.
SOSPSOSP-1973-Svobodova #metric #monitoring #online #performance
Online System Performance Measurements with Software and Hybrid Monitors (LS), pp. 45–53.
SIGMODSIGFIDET-1972-WalkerG #data type
Hybrid Trees: A Data Structure for Lists of Keys (WAW, CCG), pp. 189–211.
SIGMODSIGFIDET-1970-DempseyM #problem
Problems of Building a Hybrid Data Definition Facility (JWD, JKM), pp. 174–187.

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