BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (229)
base (97)
model (88)
approach (87)
use (83)

Stem hybrid$ (all stems)

839 papers:

CBSECBSE-2015-RuchkinSG #abstraction #architecture #hybrid #source code
Architectural Abstractions for Hybrid Programs (IR, BRS, DG), pp. 65–74.
CASECASE-2015-ChenHLL #development #ontology #tool support
Development of a Hybrid-Cloud-based Wheel-Manufacturing Service with Ontology inference for machine tools (CCC, MHH, YCL, PYL), pp. 1440–1445.
CASECASE-2015-LennartsonBW #hybrid #optimisation #petri net
Optimization of hybrid Petri nets with shared variables (BL, KB, OW), pp. 1395–1396.
CASECASE-2015-MaedaK #algorithm #hybrid
Inverse kinematics solution algorithm for continuous/binary hybrid manipulator (KM, EK), pp. 483–488.
CASECASE-2015-NakhaeiniaPHK #architecture #hybrid #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 #hybrid #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 #hybrid #modelling #using
Cyber-physical modeling of compression systems using hybrid automata (AS), pp. 1125–1130.
DACDAC-2015-BadrTG #hybrid #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 #hybrid #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 #hybrid #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 #hybrid
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 #hybrid #scalability
An EDA framework for large scale hybrid neuromorphic computing systems (WW, CRW, XH, BL, TYH, XL, YC), p. 6.
DATEDATE-2015-AfacanBPDB #hybrid #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 #hybrid
Reverse longstaff-schwartz american option pricing on hybrid CPU/FPGA systems (CB, JAV, NW, ST, RK), pp. 1599–1602.
DATEDATE-2015-ChenEC #3d #hybrid
Enabling vertical wormhole switching in 3D NoC-bus hybrid systems (CC, ME, SDC), pp. 507–512.
DATEDATE-2015-GheolbanoiuPC #adaptation #hybrid
Hybrid adaptive clock management for FPGA processor acceleration (AG, LP, SC), pp. 1359–1364.
DATEDATE-2015-Lastras-Montano #configuration management #hybrid #memory management #named
HReRAM: a hybrid reconfigurable resistive random-access memory (MALM, AG, KTC), pp. 1299–1304.
DATEDATE-2015-MazloumiM #hybrid #memory management #multi
A hybrid packet/circuit-switched router to accelerate memory access in NoC-based chip multiprocessors (AM, MM), pp. 908–911.
DATEDATE-2015-RawatS #architecture #concurrent #hybrid #manycore #memory management #thread
Enabling multi-threaded applications on hybrid shared memory manycore architectures (TR, AS), pp. 742–747.
DATEDATE-2015-XieKBWPC #design #energy #hybrid #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.
HTHT-2015-Laouris #hybrid
The Near Future is Hybrid (YL), p. 1.
TACASTACAS-2015-CimattiGMT #hybrid #model checking #named #smt
HyComp: An SMT-Based Model Checker for Hybrid Systems (AC, AG, SM, ST), pp. 52–67.
TACASTACAS-2015-JeanninGKGSZP #hybrid
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 #hybrid #named
dReach: δ-Reachability Analysis for Hybrid Systems (SK, SG, WC, EMC), pp. 200–205.
FMFM-2015-0009ZZZ #abstraction #hybrid
Abstraction of Elementary Hybrid Systems by Variable Transformation (JL, NZ, HZ, LZ), pp. 360–377.
FMFM-2015-SogokonJ #hybrid #liveness #verification
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (AS, PBJ), pp. 514–531.
CHICHI-2015-DevendorfR #configuration management #hybrid
Being the Machine: Reconfiguring Agency and Control in Hybrid Fabrication (LD, KR), pp. 2477–2486.
CHICHI-2015-JacobsZ #collaboration #design #hybrid #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 #hybrid #open source #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 #hybrid #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 #hybrid #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 #hybrid #machine learning #named
Flock: Hybrid Crowd-Machine Learning Classifiers (JC, MSB), pp. 600–611.
CSCWCSCW-2015-HoubenFB #collaboration #hybrid
Collaborative Affordances of Hybrid Patient Record Technologies in Medical Work (SH, MF, JEB), pp. 785–797.
HCIDHM-EH-2015-BoZDYWF #hybrid #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 #hybrid #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-Castanon-PugaSG #algorithm #data mining #fuzzy #logic #mining #mobile #using
Hybrid-Intelligent Mobile Indoor Location Using Wi-Fi Signals — Location Method Using Data Mining Algorithms and Type-2 Fuzzy Logic Systems (MCP, ASC, CGP, GLS, MFP, EAT), pp. 609–615.
ICEISICEIS-v1-2015-GharbiGB #approach #configuration management #embedded #hybrid #realtime #scheduling #search-based
A Hybrid Genetic based Approach for Real-time Reconfigurable Scheduling of OS Tasks in Uniprocessor Embedded Systems (IG, HG, SB), pp. 385–390.
ICEISICEIS-v1-2015-SilvaHL #approach #hybrid #memory management
A Hybrid Memory Data Cube Approach for High Dimension Relations (RRS, CMH, JdCL), pp. 139–149.
ICEISICEIS-v2-2015-SmirnovP #architecture #hybrid #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 #hybrid #probability #random #using
A Hybrid Approach for Probabilistic Inference using Random Projections (MZ, SE), pp. 2039–2047.
KDDKDD-2015-GroverKH #hybrid
A Deep Hybrid Model for Weather Forecasting (AG, AK, EH), pp. 379–386.
MLDMMLDM-2015-GovadaJMS #approach #hybrid #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 #hybrid #recommendation
Factorization Machines for Hybrid Recommendation Systems Based on Behavioral, Product, and Customer Data (SG), pp. 379–382.
RecSysRecSys-2015-KoukiFFEG #flexibility #framework #hybrid #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 #hybrid #recommendation
A Hybrid Recommendation System Based on Human Curiosity (AMdS), pp. 367–370.
SEKESEKE-2015-WangG #approach #hybrid #novel #predict
A Novel Hybrid Approach for Diarrhea Prediction (YW, JG), pp. 168–173.
ECOOPECOOP-2015-Alimadadi0P #hybrid #impact analysis #javascript
Hybrid DOM-Sensitive Change Impact Analysis for JavaScript (SA, AM, KP), pp. 321–345.
SACSAC-2015-CapelleMHFV #hybrid #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 #hybrid #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 #hybrid #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 #hybrid #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 #hybrid #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.
SPLCSPLC-2015-Santos #composition #comprehension #hybrid #refactoring
Understanding hybrid SPL composition impact on the refactoring into SPL (ARS), pp. 348–351.
ASPLOSASPLOS-2015-MatveevS #hardware #hybrid #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
Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability (AS, SB, MZ, MDB, MK), pp. 561–575.
CCCC-2015-BourkeCPPP #code generation #hybrid
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages (TB, JLC, BP, CP, MP), pp. 69–88.
HPCAHPCA-2015-MenezoPG #energy #hybrid #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 #hybrid #java #memory management #performance
Safe and efficient hybrid memory management for Java (CS, CW, SB, PL, MF), pp. 81–92.
PPoPPPPoPP-2015-ShiLDHJLWLZ #gpu #graph #hybrid #optimisation
Optimization of asynchronous graph processing on GPU with hybrid coloring model (XS, JL, SD, BH, HJ, LL, ZW, XL, JZ), pp. 271–272.
CADECADE-2015-FultonMQVP #axiom #hybrid #proving #theorem proving
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (NF, SM, JDQ, MV, AP), pp. 527–538.
CAVCAV-2015-Tiwari #abstraction
Time-Aware Abstractions in HybridSal (AT), pp. 504–510.
CAVCAV-2015-AkazakiH #hybrid #robust
Time Robustness in MTL and Expressivity in Hybrid System Falsification (TA, IH), pp. 356–374.
VMCAIVMCAI-2015-PrabhakarS #abstraction #analysis #hybrid
Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems (PP, MGS), pp. 318–335.
CASECASE-2014-Gao #hybrid #towards
Towards a converse Lyapunov stability theory of hybrid impulsive and switching systems (RG), pp. 425–429.
CASECASE-2014-GunawanNPL #hybrid #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 #hybrid
Review of structures and control of battery-supercapacitor hybrid energy storage system for electric vehicles (FJ, QZ, WD, JL), pp. 143–148.
CASECASE-2014-KanagarajPL #algorithm #optimisation #process
Application of a hybridized cuckoo search-genetic algorithm to path optimization for PCB holes drilling process (GK, SGP, WCEL), pp. 373–378.
CASECASE-2014-MaTLZLD #algorithm #hybrid #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 #hybrid
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 #hybrid #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.
DACDAC-2014-AhnYC #hybrid #memory management #power management
Dynamic Power Management of Off-Chip Links for Hybrid Memory Cubes (JA, SY, KC), p. 6.
DACDAC-2014-ChuangLJ #hybrid #synthesis
Synthesis of PCHB-WCHB Hybrid Quasi-Delay Insensitive Circuits (CCC, YHL, JHRJ), p. 6.
DACDAC-2014-KabirS #hybrid
Computing with Hybrid CMOS/STO Circuits (MK, MRS), p. 6.
DATEDATE-2014-BortolottiBWRB #architecture #hybrid #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 #hybrid #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 #hybrid
A hybrid non-volatile SRAM cell with concurrent SEU detection and correction (PJ, FL, JH), pp. 1–4.
DATEDATE-2014-KarkarDATMY #architecture #communication #hybrid
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 #hybrid #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 #hybrid #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 #hybrid #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 #hybrid #using
Thermal management of batteries using a hybrid supercapacitor architecture (DS, MP, EM), pp. 1–6.
DATEDATE-2014-WangLXCP #energy #hybrid
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 #hybrid #question
Hybrid side-channel/machine-learning attacks on PUFs: A new threat? (XX, WB), pp. 1–6.
PODSPODS-2014-GrecoS #hybrid #query
Counting solutions to conjunctive queries: structural and hybrid tractability (GG, FS), pp. 132–143.
VLDBVLDB-2014-BoehmTRSTBV #hybrid #machine learning #parallel #scalability
Hybrid Parallelization Strategies for Large-Scale Machine Learning in SystemML (MB, ST, BR, PS, YT, DB, SV), pp. 553–564.
PEPMPEPM-J-2013-Garcia-PerezN14 #automaton #functional #hybrid #on the
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines (ÁGP, PN), pp. 176–199.
PLDIPLDI-2014-ZhangMNY #analysis #bottom-up #hybrid #interprocedural #top-down
Hybrid top-down and bottom-up interprocedural analysis (XZ, RM, MN, HY), p. 28.
AFLAFL-2014-FernauFH #distributed #finite #hybrid
Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes (HF, RF, MH), pp. 246–260.
ICALPICALP-v2-2014-Parter #hybrid
Bypassing Erdős’ Girth Conjecture: Hybrid Stretch and Sourcewise Spanners (MP), pp. 608–619.
FMFM-2014-MitschQP #hybrid #logic #reasoning #refactoring #refinement
Refactoring, Refinement, and Reasoning — A Logical Characterization for Hybrid Systems (SM, JDQ, AP), pp. 481–496.
IFMIFM-2014-RamsdellDGR #analysis #hybrid #protocol #security
A Hybrid Analysis for Security Protocols with State (JDR, DJD, JDG, PDR), pp. 272–287.
CSCWCSCW-2014-MaruyamaRDSF #how #hybrid #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 #hybrid #network #smarttech
Wearable Networks, Creating Hybrid Spaces with Soft Circuits (TRF, DG), pp. 435–445.
HCIDUXU-DI-2014-Schranz #artificial reality #design #hybrid #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 #hybrid #process #social #social media
Gamifying Social Media to Encourage Social Activities with Digital-Physical Hybrid Role-Playing (MS, TN), pp. 581–591.
HILTHILT-2014-AhmadLBZD #behaviour #cyber-physical #hybrid #interactive #modelling
Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling (EA, BRL, SCB, NZ, YD), pp. 29–38.
ICEISICEIS-v1-2014-GuerineRP #data mining #metaheuristic #mining
Extending the Hybridization of Metaheuristics with Data Mining to a Broader Domain (MG, IR, AP), pp. 395–406.
ICEISICEIS-v1-2014-GuilavoguiKF #hybrid
A Hybrid Strategy for Integrating Sensor Information (KG, LK, MF), pp. 281–286.
ICEISICEIS-v2-2014-ZhengJL #hybrid #learning #taxonomy #using
Cross-Sensor Iris Matching using Patch-based Hybrid Dictionary Learning (BRZ, DYJ, YHL), pp. 169–174.
ICPRICPR-2014-AwadCR #hybrid
A New Hybrid Texture-Perceptual Descriptor: Application CBIR (DA, VC, AR), pp. 1150–1155.
ICPRICPR-2014-ChenCF #approach #classification #hybrid #semantics
A Hybrid Holistic/Semantic Approach for Scene Classification (ZC, ZC, HF), pp. 2299–2304.
ICPRICPR-2014-GaoATHRE #hybrid #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 #hybrid #recognition
Hybrid Aggregation of Sparse Coded Descriptors for Food Recognition (RK, XHH, YWC), pp. 1490–1495.
ICPRICPR-2014-LiCGW #hybrid #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 #hybrid
A Nonlocal Filter-Based Hybrid Strategy for Depth Map Enhancement (LL, CZ), pp. 4394–4399.
ICPRICPR-2014-PhamP #3d #hybrid #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 #hybrid #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 #hybrid #refinement
Hybrid Kinect Depth Map Refinement for Transparent Objects (GS, LvdM, EAH), pp. 2751–2756.
ICPRICPR-2014-SharmaCL #3d #approach #generative #hybrid #novel
Kinect-Variety Fusion: A Novel Hybrid Approach for Artifacts-Free 3DTV Content Generation (MS, SC, BL), pp. 2275–2280.
ICPRICPR-2014-WangCH #hybrid #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 #hybrid #image
Local Hybrid Coding for Image Classification (WX, JW, ML), pp. 3744–3749.
ICPRICPR-2014-ZhangHLHZL #approach #feature model #hybrid
A Hybrid Feature Selection Approach by Correlation-Based Filters and SVM-RFE (JZ, XH, PPL, WH, YZ, HL), pp. 3684–3689.
ICPRICPR-2014-ZhuYCTJYZ #adaptation #classification #hybrid
A Noise-Robust Adaptive Hybrid Pattern for Texture Classification (ZZ, XY, CLPC, DT, XJ, FY, JZ), pp. 1633–1638.
RecSysRecSys-2014-BraunhoferCR #hybrid #recommendation
Switching hybrid for cold-starting context-aware recommender systems (MB, VC, FR), pp. 349–352.
RecSysRecSys-2014-Vahedian #hybrid #network #recommendation
Weighted hybrid recommendation for heterogeneous networks (FV), pp. 429–432.
SIGIRSIGIR-2014-PetriMC #hybrid
Score-safe term-dependency processing with hybrid indexes (MP, AM, JSC), pp. 899–902.
OOPSLAOOPSLA-2014-RosnerBPKAFK #bound #generative #hybrid #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 #hybrid #programming language #visual notation
Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers (RK, WS), pp. 21–30.
LOPSTRLOPSTR-2014-TahatE #hybrid #protocol #self #synthesis #verification
A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols (AT, AE), pp. 201–218.
QAPLQAPL-2014-Feng #distributed #hybrid #modelling #probability #using
Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE — ZebraNet as an Example (CF0), pp. 64–77.
SACSAC-2014-AndradeRMOCFR #architecture #hybrid #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 #hybrid #recommendation #twitter
A hybrid algorithm for recommendation twitter peers (JNKL, ZM, YXH, YLH, SCKS, VWSC), pp. 644–649.
SACSAC-2014-SantosSTO #approach #hybrid #navigation
A hybrid GA-ANN approach for autonomous robots topological navigation (VdCS, DOS, CFMT, FSO), pp. 148–153.
CGOCGO-2014-GrosserCHSV #hybrid
Hybrid Hexagonal/Classical Tiling for GPUs (TG, AC, JH, PS, SV), p. 66.
HPCAHPCA-2014-WangJXSX #adaptation #hybrid #migration #policy
Adaptive placement and migration policy for an STT-RAM-based hybrid cache (ZW, DAJ, CX, GS, YX), pp. 13–24.
PPoPPPPoPP-2014-LuoLHKP #hybrid #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 #hybrid #ltl #verification
Verifying LTL Properties of Hybrid Systems with K-Liveness (AC, AG, SM, ST), pp. 424–440.
CAVCAV-2014-Hagemann #analysis #hybrid #orthogonal #reachability #using
Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections (WH), pp. 407–423.
CAVCAV-2014-HuangFMMK #automaton #hybrid #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 #hybrid #testing
Hybrid Directed Test Suite Augmentation: An Interleaving Framework (YK, ZX, MK, MBC, GR), pp. 263–272.
IJCARIJCAR-2014-GorinPSWW #algebra #hybrid #logic #named
Cool — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) (DG, DP, LS, FW, TW), pp. 396–402.
IJCARIJCAR-2014-JeanninP #difference #hybrid #logic #named
dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems (JBJ, AP), pp. 292–306.
ISSTAISSTA-2014-TrippFP #analysis #hybrid #javascript #partial evaluation #security #web
Hybrid security analysis of web JavaScript code via dynamic partial evaluation (OT, PF, MP), pp. 49–59.
DACDAC-2013-LinLM #analysis #hybrid #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 #hybrid #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
Hybrid energy storage systems and battery management for electric vehicles (SP, YK, NC), p. 6.
DATEDATE-2013-AbdullaDRSZ #hybrid #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 #hybrid #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 #hybrid #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 #hybrid #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 #hybrid #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 #hybrid #performance
A hybrid approach for fast and accurate trace signal selection for post-silicon debug (ML, AD), pp. 485–490.
DATEDATE-2013-MaricAV #architecture #hybrid #performance #reliability #using
Efficient cache architectures for reliable hybrid voltage operation using EDC codes (BM, JA, MV), pp. 917–920.
DATEDATE-2013-NoguchiNAFAKNMN #energy #hybrid #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
Hybrid interconnect design for heterogeneous hardware accelerators (CPQ, JH, SW, ZAA, JB, KB), pp. 843–846.
DATEDATE-2013-SabooriA #embedded #hybrid #manycore #prototype
Hybrid prototyping of multicore embedded systems (ES, SA), pp. 1627–1630.
DATEDATE-2013-ShafiqueVH #adaptation #hybrid #manycore #power management #self
Self-adaptive hybrid dynamic power management for many-core systems (MS, BV, JH), pp. 51–56.
DATEDATE-2013-WangLPPC #energy #hybrid
Optimal control of a grid-connected hybrid electrical energy storage system for homes (YW, XL, MP, SP, NC), pp. 881–886.
ICDARICDAR-2013-AlvaroSB #classification #hybrid #network #online
Classification of On-Line Mathematical Symbols with Hybrid Features and Recurrent Neural Networks (FA, JAS, JMB), pp. 1012–1016.
ICDARICDAR-2013-ChenYL #hybrid #performance #segmentation
Hybrid Page Segmentation with Efficient Whitespace Rectangles Extraction and Grouping (KC, FY, CLL), pp. 958–962.
VLDBVLDB-2013-Bress #gpu #hybrid #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
Hybrid Storage Management for Database Systems (XL, KS), pp. 541–552.
ICSMEICSM-2013-AsaduzzamanRSP #approach #hybrid #independence #named #source code
LHDiff: A Language-Independent Hybrid Approach for Tracking Source Code Lines (MA, CKR, KAS, MDP), pp. 230–239.
PLDIPLDI-2013-KastrinisS #analysis #context-sensitive grammar #hybrid #points-to
Hybrid context-sensitivity for points-to analysis (GK, YS), pp. 423–434.
IFMIFM-2013-IshiiMN #automaton #calculus #hybrid #induction #verification
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus (DI, GM, SN), pp. 139–153.
HCIDUXU-PMT-2013-GuyC #experience #hybrid #interactive
The Lack of Subjective Experience in Hybrid Intelligent Agents in Interactive Storytelling (OG, RC), pp. 74–83.
HCIHIMI-LCCB-2013-Canter #hybrid #student
A Hybrid Model for an E-learning System Which Develops Metacognitive Skills at Students (MC), pp. 9–15.
CAiSECAiSE-2013-BakkerFV #approach #detection #hybrid #web
A Hybrid Model Words-Driven Approach for Web Product Duplicate Detection (MdB, FF, DV), pp. 149–161.
ICEISICEIS-v1-2013-YaguinumaMSCR #fuzzy #hybrid #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 #hybrid #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 #hybrid #query #scheduling
Hybrid Query Scheduling for a Replicated Search Engine (AF, CM, NT, IO, FC), pp. 435–446.
RecSysRecSys-2013-Dooms #generative #hybrid #personalisation #recommendation
Dynamic generation of personalized hybrid recommender systems (SD), pp. 443–446.
RecSysRecSys-2013-KaminskasRS #hybrid #music #recommendation #using
Location-aware music recommendation using auto-tagging and hybrid matching (MK, FR, MS), pp. 17–24.
RecSysRecSys-2013-KhroufT #hybrid #linked data #open data #recommendation #using
Hybrid event recommendation using linked data and user diversity (HK, RT), pp. 185–192.
RecSysRecSys-2013-MouraoRKM #hybrid #recommendation
Exploiting non-content preference attributes through hybrid recommendation method (FM, LCdR, JAK, WMJ), pp. 177–184.
SEKESEKE-2013-ZouFCZZ #hybrid #test coverage #testing
A Hybrid Coverage Criterion for DynamicWeb Testing (S) (YZ, CF, ZC, XZ, ZZ), pp. 210–213.
SIGIRSIGIR-2013-LiSWH #hybrid #segmentation #twitter
Exploiting hybrid contexts for Tweet segmentation (CL, AS, JW, QH), pp. 523–532.
SIGIRSIGIR-2013-SchedlS #hybrid #music #recommendation #retrieval
Hybrid retrieval approaches to geospatial music recommendation (MS, DS), pp. 793–796.
LOPSTRLOPSTR-2013-GonzalezIS #architecture #debugging #eclipse #hybrid
A New Hybrid Debugging Architecture for Eclipse (JG, DI, JS), pp. 183–201.
SACSAC-2013-AllaniGP #hybrid #named #protocol
Hyphen: a hybrid protocol for generic overlay construction in P2P environments (MA, BG, PP), pp. 423–430.
SACSAC-2013-FurtadoC #hybrid #middleware #network
Sensor streams middleware for easy configuration and processing in hybrid sensor network (PF, JC), pp. 1499–1504.
SACSAC-2013-KimM #algorithm #detection #hybrid #search-based #using
Disguised malware script detection system using hybrid genetic algorithm (JK, BRM), pp. 182–187.
SACSAC-2013-LeeKP #hybrid #recommendation
A tour recommendation service for electric vehicles based on a hybrid orienteering model (JL, SWK, GLP), pp. 1652–1654.
SACSAC-2013-LommatzschKA #hybrid #learning #modelling #recommendation #semantics
Learning hybrid recommender models for heterogeneous semantic data (AL, BK, SA), pp. 275–276.
SACSAC-2013-ToledoAOD #algorithm #hybrid #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 #hybrid #recommendation
A hybrid bug triage algorithm for developer recommendation (TZ, BL), pp. 1088–1094.
ICSEICSE-2013-SharTB #hybrid #injection #mining #program analysis #sql #using
Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysis (LKS, HBKT, LCB), pp. 642–651.
HPCAHPCA-2013-CragoALP #energy #hybrid #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 #hybrid #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.
CADECADE-2013-Mayer #hybrid #logic #proving #transitive
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (MCM), pp. 76–90.
CADECADE-2013-Sofronie-Stokkermans #generative #hybrid #parametricity #reasoning #verification
Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems (VSS), pp. 360–376.
CAVCAV-2013-ChenAS #hybrid
Flow*: An Analyzer for Non-linear Hybrid Systems (XC, , SS), pp. 258–263.
CAVCAV-2013-KongHSHG #generative #hybrid #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 #hybrid #model checking
Abstraction Based Model-Checking of Stability of Hybrid Systems (PP, MGS), pp. 280–295.
ICSTICST-2013-GraslandBGP #approach #functional #hybrid #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 #hybrid #interface #learning
Hybrid learning: interface generation through static, dynamic, and symbolic analysis (FH, DG, ZR), pp. 268–279.
VMCAIVMCAI-2013-PrabhakarDMV #hybrid
Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems (PP, PSD, SM, MV), pp. 48–67.
CASECASE-2012-CaiL #algorithm #hybrid #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 #hybrid #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 #hybrid #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 #hybrid #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 #hybrid #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 #hybrid #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 #hybrid
Networked architecture for hybrid electrical energy storage systems (YK, SP, NC, QX, YW, MP), pp. 522–528.
DACDAC-2012-KumarGCALT #approach #cyber-physical #hybrid #verification
A hybrid approach to cyber-physical systems verification (PK, DG, SC, AA, KL, LT), pp. 688–696.
DACDAC-2012-MurilloEJYLA #hybrid #simulation
Synchronization for hybrid MPSoC full-system simulation (LGM, JFE, JJ, SY, RL, GA), pp. 121–126.
DACDAC-2012-ZhaoJDZKI #design #hybrid #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 #hybrid #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 #hybrid
Dynamically reconfigurable hybrid cache: An energy-efficient last-level cache design (YTC, JC, HH, BL, CL, MP, GR), pp. 45–50.
DATEDATE-2012-JovicYMELA #hybrid #simulation
Hybrid simulation for extensible processor cores (JJ, SY, LGM, JFE, RL, GA), pp. 288–291.
DATEDATE-2012-MasrurGCCAB #analysis #communication #cyber-physical #hybrid #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 #hybrid #simulation
A framework for simulating hybrid MTJ/CMOS circuits: Atoms to system approach (GP, CA, KR), pp. 1443–1446.
DATEDATE-2012-PiscitelliP #analysis #design #hybrid
Design space pruning through hybrid analysis in system-level design space exploration (RP, ADP), pp. 781–786.
DATEDATE-2012-SabryAC #approach #embedded #fault #hybrid
A hybrid HW-SW approach for intermittent error mitigation in streaming-based embedded systems (MMS, DA, FC), pp. 1110–1113.
DATEDATE-2012-StattelmannGCBR #hybrid #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 #hybrid #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 #hybrid
State of health aware charge management in hybrid electrical energy storage systems (QX, XL, YW, MP, DS, NC), pp. 1060–1065.
VLDBVLDB-2012-FunkeKN #database #hybrid #transaction
Compacting Transactional Data in Hybrid OLTP & OLAP Databases (FF, AK, TN), pp. 1424–1435.
VLDBVLDB-2012-LuoLMCZ #data transformation #hybrid #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-RoschDHF #database
A Storage Advisor for Hybrid-Store Databases (PR, LD, GH, FF), pp. 1748–1758.
VLDBVLDB-2012-WangHLWZS #cpu #gpu #hybrid #image
Accelerating Pathology Image Data Cross-Comparison on CPU-GPU Hybrid Systems (KW, YH, RL, FW, XZ, JHS), pp. 1543–1554.
PEPMPEPM-2012-Xu #contract #hybrid
Hybrid contract checking via symbolic simplification (DNX), pp. 107–116.
PLDIPLDI-2012-HackettG #hybrid #javascript #performance #precise #type inference
Fast and precise hybrid type inference for JavaScript (BH, SyG), pp. 239–250.
PLDIPLDI-2012-LeeCFN #hybrid #named #program analysis
Chimera: hybrid program analysis for determinism (DL, PMC, JF, SN), pp. 463–474.
FLOPSFLOPS-2012-RoseVS #data flow #hybrid #programming language #query
A Data Flow Language for Hybrid Query and Programming Languages (KHR, LV, NS), pp. 228–242.
FMFM-2012-JohnsonGMDE #case study #hybrid #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 #hybrid #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.
CHICHI-2012-MorrisonMRSC #approach #hybrid #mobile
A hybrid mass participation approach to mobile software trials (AM, DM, SR, SS, MC), pp. 1311–1320.
ICEISICEIS-J-2012-KaragiannisS #approach #design #hybrid #modelling
An Engineering Approach for the Design of Hybrid Modelling Methods (DK, MS), pp. 3–17.
ICEISICEIS-v1-2012-DomagalaWLS #energy #hybrid
A Hybrid Solver for Maximizing the Profit of an Energy Company (LD, TW, WL, MS), pp. 278–283.
ICEISICEIS-v1-2012-Karagiannis #hybrid #modelling
Hybrid Modeling (DK).
ICEISICEIS-v3-2012-XavierN #approach #evaluation #hybrid #information management
A Hybrid Evaluation Approach for the Emotional State of Information Systems Users (RACX, VPdAN), pp. 45–53.
CIKMCIKM-2012-SakrEH #graph #hybrid #named #query #scalability
G-SPARQL: a hybrid engine for querying large attributed graphs (SS, SE, YH), pp. 335–344.
CIKMCIKM-2012-SunWGM #hybrid #learning #rank #recommendation
Learning to rank for hybrid recommendation (JS, SW, BJG, JM), pp. 2239–2242.
CIKMCIKM-2012-XieFTCMLL #approach #hybrid #performance
A hybrid approach for efficient provenance storage (YX, DF, ZT, LC, KKMR, YL, DDEL), pp. 1752–1756.
ICMLICML-2012-AzimiJF #hybrid #optimisation
Hybrid Batch Bayesian Optimization (JA, AJ, XZF), p. 45.
ICMLICML-2012-Laue #algorithm #hybrid #optimisation
A Hybrid Algorithm for Convex Semidefinite Optimization (SL), p. 142.
ICMLICML-2012-McDowellA #classification #hybrid
Semi-Supervised Collective Classification via Hybrid Label Regularization (LM, DWA), p. 162.
ICPRICPR-2012-ClausnerAP #approach #documentation #hybrid #robust #segmentation
A robust hybrid approach for text line segmentation in historical documents (CC, AA, SP), pp. 335–338.
ICPRICPR-2012-JetleyBKN #documentation #hybrid #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 #hybrid #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 #hybrid #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 #hybrid #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 #hybrid
Paraconsistent Hybrid Theories (MF).
MLDMMLDM-2012-Ba-KaraitSS #classification #hybrid #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 #hybrid #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 #hybrid #interactive #named #recommendation #visual notation
TasteWeights: a visual interactive hybrid recommender system (SB, JO, TH), pp. 35–42.
RecSysRecSys-2012-RibeiroLVZ #multi #recommendation
Pareto-efficient hybridization for multi-objective recommender systems (MTR, AL, AV, NZ), pp. 19–26.
SEKESEKE-2012-LiLCZJZ #adaptation #continuation #self #verification
A HybridUML and QdL Based Verification Method for CPS Self-Adaptability (JL, BL, QC, MZ, SJ, XZ), pp. 239–242.
SEKESEKE-2012-ZhuLLCZJ #continuation #difference #logic #using #verification
HybridUML Based Verification of CPS Using Differential Dynamic Logic (MZ, BL, JL, QC, XZ, SJ), pp. 235–238.
SIGIRSIGIR-2012-YeHM #ad hoc #hybrid #information retrieval
A hybrid model for ad-hoc information retrieval (ZY, JXH, JM), pp. 1025–1026.
QAPLQAPL-2012-BortolussiGH #hybrid #modelling #network #performance
Hybrid performance modelling of opportunistic networks (LB, VG, JH), pp. 106–121.
SACSAC-2012-KimPJSCH #garbage collection #hybrid #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 #hybrid #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.
FSEFSE-2012-WangZXXM #analysis #automation #collaboration #hybrid #web
Automating presentation changes in dynamic web applications via collaborative hybrid analysis (XW, LZ, TX, YX, HM), p. 16.
HPCAHPCA-2012-YanLHLGL #architecture #hybrid #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 #hybrid #migration
A hybrid local storage transfer scheme for live migration of I/O intensive workloads (BN, FC), pp. 85–96.
HPDCHPDC-2012-SchendelPJBBGLLKCKRS #hybrid #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 #hybrid
Compiler-assisted preferred caching for embedded systems with STT-RAM based hybrid cache (QL, MZ, CJX, YH), pp. 109–118.
PPoPPPPoPP-2012-KwonJEM #approach #clustering #hybrid
A hybrid approach of OpenMP for clusters (OK, FJ, RE, SPM), pp. 75–84.
CAVCAV-2012-HasuoS #hybrid #standard #static analysis
Exercises in Nonstandard Static Analysis of Hybrid Systems (IH, KS), pp. 462–478.
CAVCAV-2012-Tiwari #relational
HybridSAL Relational Abstracter (AT), pp. 725–731.
ICTSSICTSS-2012-DangS #estimation #hybrid #testing
State Estimation and Property-Guided Exploration for Hybrid Systems Testing (TD, NS), pp. 152–167.
IJCARIJCAR-2012-QueselP #game studies #hybrid
Playing Hybrid Games with KeYmaera (JDQ, AP), pp. 439–453.
LICSLICS-2012-Platzer12a #hybrid #proving
The Complete Proof Theory of Hybrid Systems (AP), pp. 541–550.
WICSAWICSA-2011-TsakirisKM #case study #evaluation #hybrid #industrial #plugin #quality
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.
CASECASE-2011-DotoliFI #first-order #hybrid #petri net
A freeway traffic control model by first order hybrid Petri nets (MD, MPF, GI), pp. 425–431.
CASECASE-2011-GhomriA #hybrid #petri net #using
Continuous flow systems and control methodology using Hybrid Petri nets (LG, HA), pp. 419–424.
CASECASE-2011-HejriG #hybrid #modelling
Hybrid modeling and control of switching DC-DC converters via MLD systems (MH, AG), pp. 714–719.
CASECASE-2011-ParkCH #design #hybrid
Design and control for hybrid magnetic thrust bearing for turbo refrigerant compressor (CHP, SKC, SYH), pp. 792–797.
DACDAC-2011-DyerMK #hybrid #modelling #process
Hybrid modeling of non-stationary process variations (ELD, MM, FK), pp. 194–199.
DACDAC-2011-LiuZXL #clustering #hybrid #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 #hybrid #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 #hybrid
An energy-efficient heterogeneous CMP based on hybrid TFET-CMOS cores (VS, AKM, SD, VN), pp. 729–734.
DATEDATE-2011-BehrendLHRKR #embedded #hybrid #scalability #verification
Scalable hybrid verification for embedded software (JB, DL, PH, JR, TK, WR), pp. 179–184.
DATEDATE-2011-ChangMFWHYN #architecture #hardware #hybrid #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 #hybrid #protocol #re-engineering
Re-engineering cyber-physical control applications for hybrid communication protocols (DG, RS, SC), pp. 914–919.
DATEDATE-2011-HaronH #fault tolerance #hybrid #low cost
Cost-efficient fault-tolerant decoder for hybrid nanoelectronic memories (NZH, SH), pp. 265–268.
DATEDATE-2011-HuXZTS #energy #hybrid #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-LiuV #analysis #generative #performance #source code #validation
Efficient validation input generation in RTL by hybridized source code analysis (LL, SV), pp. 1596–1601.
DATEDATE-2011-MirhoseiniK #energy #hybrid #optimisation #performance
HypoEnergy. Hybrid supercapacitor-battery power-supply optimization for Energy efficiency (AM, FK), pp. 887–890.
DATEDATE-2011-ShinKSCWP #hybrid
Battery-supercapacitor hybrid system for high-rate pulsed load applications (DS, YK, JS, NC, YW, MP), pp. 875–878.
DRRDRR-2011-YouADRGT #automation #documentation #hybrid #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
Hybrid Approach to Adaptive OCR for Historical Books (VK, AT, DC, EW), pp. 900–904.
SIGMODSIGMOD-2011-WangFGHW #declarative #hybrid #information management
Hybrid in-database inference for declarative information extraction (DZW, MJF, MNG, JMH, MLW), pp. 517–528.
VLDBVLDB-2011-GrundCM #hybrid #in memory #memory management
A Demonstration of HYRISE — A Main Memory Hybrid Storage Engine (MG, PCM, SM), pp. 1434–1437.
TACASTACAS-2011-AnnpureddyLFS #hybrid #logic #named
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (YA, CL, GEF, SS), pp. 254–257.
ICPCICPC-2011-KeivanlooRC #approach #clone detection #hybrid #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 #hybrid #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 #hybrid #linear #model checking #μ-calculus
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems (DF, LK), pp. 404–415.
ICALPICALP-v2-2011-SuenagaH #hybrid #modelling #programming
Programming with Infinitesimals: A While-Language for Hybrid System Modeling (KS, IH), pp. 392–403.
FMFM-2011-LoosPN #adaptation #distributed #hybrid
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified (SML, AP, LN), pp. 42–56.
SEFMSEFM-2011-EggersRNF #analysis #hybrid #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 #hybrid #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 #hybrid #specification
Hybrid Specification of Reactive Systems: An Institutional Approach (AM, JMF, MAM, LSB), pp. 269–285.
CHICHI-2011-JetterGZRM #collaboration #hybrid #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 #hybrid #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 #hybrid #interface #smarttech
A Hybrid Brain-Computer Interface for Smart Home Control (GE, CH, CG), pp. 417–426.
HCIHCI-MIIE-2011-CarrinoMKI #approach #hybrid #interactive #named #towards
ARAMIS: Toward a Hybrid Approach for Human- Environment Interaction (SC, EM, OAK, RI), pp. 165–174.
HCIHCI-MIIE-2011-YuC #hybrid #interactive
Reacting with Care: The Hybrid Interaction Types in a Sensible Space (GJY, TWC), pp. 250–258.
HCIHIMI-v2-2011-GonzalezGGS #hybrid #tool support #towards
Towards Argument Representational Tools for Hybrid Argumentation Systems (MPG, SG, AJG, GRS), pp. 236–245.
HCIHIMI-v2-2011-PohlML #hybrid #learning #standard
Transforming a Standard Lecture into a Hybrid Learning Scenario (HMP, JTM, JL), pp. 55–61.
EDOCEDOC-2011-SapkotaAIS #composition #hybrid #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 #hybrid #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 #hybrid
An Advanced Hybrid P2P Botnet 2.0 (TTL, HYL, MFC), pp. 273–276.
CIKMCIKM-2011-AmodeoBB #hybrid #modelling #predict
Hybrid models for future event prediction (GA, RB, UB), pp. 1981–1984.
CIKMCIKM-2011-ChenCC #framework #hybrid #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 #hybrid #named #sql
H-DB: a hybrid quantitative-structural sql optimizer (LG, GG, FS), pp. 2573–2576.
CIKMCIKM-2011-SeguelaS #hybrid #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 #hybrid
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 #hybrid
An Hybrid Approach to Feature Selection for Mixed Categorical and Continuous Data (GD, MV), pp. 394–401.
KEODKEOD-2011-FrikhDO #hybrid #ontology #web
A Hybrid Method for Domain Ontology Construction from the Web (BF, ASD, BO), pp. 285–292.
MLDMMLDM-2011-LiTM #classification #hybrid #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 #hybrid #network #recommendation #self #social
Self-adjusting hybrid recommenders based on social network analysis (AB, PC, IC), pp. 1147–1148.
SIGIRSIGIR-2011-BroschartS #hybrid #novel #performance #retrieval
A novel hybrid index structure for efficient text retrieval (AB, RS), pp. 1175–1176.
OOPSLAOOPSLA-2011-ShaliC #hybrid #partial evaluation
Hybrid partial evaluation (AS, WRC), pp. 375–390.
QAPLQAPL-2011-AssouramouD #analysis #hybrid #probability
Analysis of Non-Linear Probabilistic Hybrid Systems (JA, JD), pp. 104–119.
SACSAC-2011-AlencarRB #composition #evaluation #human-computer #hybrid
Composition of HCI evaluation methods for hybrid virtual environments (MFCA, ABR, SDJB), pp. 1237–1244.
SACSAC-2011-KienHB #algorithm #communication #hybrid #problem #search-based
New hybrid genetic algorithm for solving optimal communication spanning tree problem (PTK, NDH, HTTB), pp. 1076–1081.
SACSAC-2011-MonfroyCCF #adaptation
Adaptive hybridization strategies (EM, CC, BC, CF), pp. 922–923.
SACSAC-2011-NakajimaLYZGXYDQCG #hybrid #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 #hybrid #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.
ICSEICSE-2011-Zhang #automation #generative #hybrid #java #named #testing
Palus: a hybrid automated test generation tool for java (SZ), pp. 1182–1184.
ASPLOSASPLOS-2011-DalessandroCWLMSS #case study #effectiveness #hardware #hybrid #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.
LCTESLCTES-2011-BenvenisteBCP #compilation #hybrid
Divide and recycle: types and compilation for a hybrid synchronous language (AB, TB, BC, MP), pp. 61–70.
CADECADE-2011-KlinovP #hybrid #probability #satisfiability
A Hybrid Method for Probabilistic Satisfiability (PK, BP), pp. 354–368.
CADECADE-2011-Platzer #difference #hybrid #logic #probability #source code
Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (AP), pp. 446–460.
CAVCAV-2011-CimattiMT #automaton #hybrid #performance #verification
Efficient Scenario Verification for Hybrid Automata (AC, SM, ST), pp. 317–332.
CAVCAV-2011-FrehseGDCRLRGDM #hybrid #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 #hybrid #logic #tutorial #verification
Logic and Compositional Verification of Hybrid Systems — (Invited Tutorial) (AP), pp. 28–43.
CAVCAV-2011-SankaranarayananT #abstraction #hybrid #relational
Relational Abstractions for Continuous and Hybrid Systems (SS, AT), pp. 686–702.
ICLPICLP-2011-Bottalico #consistency #hybrid #simulation
Consistency Techniques for Hybrid Simulations (MB), pp. 255–260.
ICLPICLP-2011-BrikR #hybrid
Hybrid ASP (AB, JBR), pp. 40–50.
ICLPICLP-J-2011-SlotaLS #hybrid #knowledge base
Splitting and updating hybrid knowledge bases (MS, JL, TS), pp. 801–819.
ICSTICST-2011-Bhattacharya #hybrid #verification
SoftwareHardware Hybrid Systems Verification (NB), pp. 435–438.
QoSAQoSA-2010-MartensAKMR #approach #component #hybrid #multi #optimisation
A Hybrid Approach for Multi-attribute QoS Optimisation in Component Based Software Systems (AM, DA, HK, RM, RHR), pp. 84–101.
CASECASE-2010-CaiM #analysis #approach #hybrid #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
Hybrid micro assembly of microchips on segmented patterns (BC, MJ, QZ), pp. 15–20.
CASECASE-2010-GuerreroLBX #hybrid #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 #hybrid
A distributed hybrid sliding mode control system for a class of nonlinear mechanical systems (SI, PXL), pp. 356–361.
CASECASE-2010-JingL #assembly #hybrid #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 #hybrid
Trajectory-based controller design for hybrid systems with affine continuous dynamics (AAJ), pp. 1007–1012.
CASECASE-2010-WangKF #approach #assembly #hybrid #layout
A hybrid approach for dynamic assembly shop floor layout (LW, SK, HYF), pp. 604–609.
CASECASE-2010-WangL #3d #hybrid
Hybrid impedance control of a 3-DOF robotic arm used for rehabilitation treatment (JW, YL), pp. 768–773.
DACDAC-2010-Koushanfar #hybrid #network #power management
Hierarchical hybrid power supply networks (FK), pp. 629–630.
DATEDATE-2010-BuLWCL #bound #composition #hybrid #linear #reachability
BACH 2 : Bounded reachability checker for compositional linear hybrid systems (LB, YL, LW, XC, XL), pp. 1512–1517.
DATEDATE-2010-StrukovM #hybrid
Monolithically stackable hybrid FPGA (DBS, AM), pp. 661–666.
DATEDATE-2010-TotaCRRZ #architecture #hybrid #message passing #multi #named
MEDEA: a hybrid shared-memory/message-passing multiprocessor NoC-based architecture (ST, MRC, MRR, LR, MZ), pp. 45–50.
DocEngDocEng-2010-CahierMZ #documentation #hybrid #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 #hybrid #recognition
A hybrid classifier for handwritten mathematical expression recognition (AMA, HM, CVG), pp. 1–10.
HTHT-2010-ZhangQHJWHHJ #approach #collaboration #hybrid #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.
VLDBVLDB-2011-GrundKPZCM10 #hybrid #in memory #memory management #named
HYRISE — A Main Memory Hybrid Storage Engine (MG, JK, HP, AZ, PCM, SM), pp. 105–116.
CSMRCSMR-2010-MaiaBFG #hybrid #impact analysis #object-oriented
The Hybrid Technique for Object-Oriented Software Change Impact Analysis (MCOM, RAB, JCAdF, DDSG), pp. 252–255.
SASSAS-2010-MatringeMR #algebra #generative #hybrid #invariant #linear
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods (NM, AVM, RR), pp. 373–389.
DLTDLT-2010-CarpiD #hybrid #on the #problem
On the Hybrid Cerný-Road Coloring Problem and Hamiltonian Paths (AC, FD), pp. 124–135.
IFMIFM-2010-FranzleTE #hybrid #probability #smt
Satisfaction Meets Expectations — Computing Expected Values of Probabilistic Hybrid Systems with SMT (MF, TT, AE), pp. 168–182.
CHICHI-2010-CaoVI #hybrid #performance
Comparing user performance with single-finger, whole-hand, and hybrid pointing devices (XC, NV, SI), pp. 1643–1646.
CHICHI-2010-EngstromJPB #realtime
Temporal hybridity: footage with instant replay in real time (AE, OJ, MJP, MB), pp. 1495–1504.
CHICHI-2010-LiaoLLW #fine-grained #gesture #hybrid #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 #hybrid #modelling #probability #quality #relational
Hybrid Probabilistic Relational Models for System Quality Analysis (PN, MB, JK, PJ), pp. 57–66.
CIKMCIKM-2010-GemmellSMB #hybrid #recommendation #social
Hybrid tag recommendation for social annotation systems (JG, TS, BM, RDB), pp. 829–838.
CIKMCIKM-2010-KaliciakSWP #hybrid #image #novel #retrieval
Novel local features with hybrid sampling technique for image retrieval (LK, DS, NW, JP), pp. 1557–1560.
CIKMCIKM-2010-PavlovGB #hybrid #named #scalability
BagBoo: a scalable hybrid bagging-the-boosting model (DYP, AG, CAB), pp. 1897–1900.
ICPRICPR-2010-BastanlarTYS #effectiveness #hybrid
Effective Structure-from-Motion for Hybrid Camera Systems (YB, AT, YY, PFS), pp. 1654–1657.
ICPRICPR-2010-ChenWJ #hybrid #robust
Robust Frame-to-Frame Hybrid Matching (LC, ZW, YJ), pp. 1019–1022.
ICPRICPR-2010-ChoPPKKALL #hybrid #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 #hybrid #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 #hybrid #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 #hybrid
A Hybrid Method for Feature Selection Based on Mutual Information and Canonical Correlation Analysis (COS, OK), pp. 4360–4363.
KEODKEOD-2010-NirenburgMBC #elicitation #hybrid
Hybrid Methods of Knowledge Elicitation within a Unified Representational Knowledge Scheme (SN, MM, SB, RC), pp. 177–182.
RecSysRecSys-2010-MarxHM #algorithm #comprehension #hybrid #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 #hybrid #identification #recommendation
Identifying and utilizing contextual data in hybrid recommender systems (AS), pp. 365–368.
LOPSTRLOPSTR-2010-Vidal #approach #hybrid #logic programming #partial evaluation #source code
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs (GV), pp. 200–214.
PADLPADL-2010-GomesAS #hybrid #implementation #knowledge base #query
Implementing Query Answering for Hybrid MKNF Knowledge Bases (ASG, JJA, TS), pp. 25–39.
SACSAC-2010-AraujoOS #hybrid #quantum
Hybrid evolutionary quantum inspired method to adjust time phase distortions in financial time series (RdAA, ALIdO, SCBS), pp. 1153–1154.
SACSAC-2010-DuraoD #hybrid #personalisation #recommendation
Extending a hybrid tag-based recommender system with personalization (FAD, PD), pp. 1723–1727.
SACSAC-2010-KaoLW #approach #hybrid #novel
Expert finding in question-answering websites: a novel hybrid approach (WCK, DRL, SWW), pp. 867–871.
SACSAC-2010-KimKPT #framework #hybrid #realtime #scheduling
Integrating real-time hybrid task scheduling into a sensor node platform (TK, BK, EKP, ST), pp. 737–741.
SACSAC-2010-LeePKKS #hybrid #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 #hybrid #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 #hybrid #music
Improving automatic music genre classification with hybrid content-based feature vectors (CNSJ, ALK, CAAK), pp. 1702–1707.
ICSEICSE-2010-Bodden #analysis #hybrid #performance #type system
Efficient hybrid typestate analysis by determining continuation-equivalent states (EB), pp. 5–14.
ICSEICSE-2010-WuGAK #approach #evolution #framework #hybrid #identification #named
AURA: a hybrid approach to identify framework evolution (WW, YGG, GA, MK), pp. 325–334.
SPLCSPLC-2010-ZhangJ #approach #feature model #hybrid #programming
A Hybrid Approach to Feature-Oriented Programming in XVCL (HZ, SJ), pp. 440–445.
CGOCGO-2010-JungMO #compilation #framework #hybrid #java #optimisation
Hybrid Java compilation and optimization for digital TV software platform (DHJ, SMM, HSO), pp. 73–81.
HPCAHPCA-2010-SunJCNXCL #architecture #energy #hybrid #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 #hybrid
Exploring application and infrastructure adaptation on hybrid grid-cloud infrastructure (HK, YEK, SJ, MP), pp. 402–412.
HPDCHPDC-2010-KrampeLS #hybrid #markov #parallel
A hybrid Markov chain model for workload on parallel computers (AK, JL, WS), pp. 589–596.
PPoPPPPoPP-2010-MarjanovicLAV #communication #effectiveness #hybrid
Effective communication and computation overlap with hybrid MPI/SMPSs (VM, JL, EA, MV), pp. 337–338.
CAVCAV-2010-Donze #hybrid #parametricity #synthesis #verification
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems (AD), pp. 167–170.
CAVCAV-2010-MariMST #feedback #hybrid #linear #synthesis
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems (FM, IM, IS, ET), pp. 180–195.
CAVCAV-2010-ZhangSRHH #hybrid #probability #safety #verification
Safety Verification for Probabilistic Hybrid Systems (LZ, ZS, SR, HH, EMH), pp. 196–211.
CSLCSL-2010-Platzer #difference #distributed #hybrid #logic #quantifier
Quantified Differential Dynamic Logic for Distributed Hybrid Systems (AP), pp. 469–483.
IJCARIJCAR-2010-KaminskiS #hybrid #logic
Terminating Tableaux for Hybrid Logic with Eventualities (MK, GS), pp. 240–254.
IJCARIJCAR-2010-MayerC #hybrid #logic #proving
Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic (MCM, SC), pp. 255–262.
VMCAIVMCAI-2010-BuZL #automaton #hybrid #programming #reachability #using #verification
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming (LB, JZ, XL), pp. 78–94.
CASECASE-2009-MitraS #automaton #composition #hybrid
Hybrid Input Output Automata for composable conveyor systems (SM, SS), p. 29.
DACDAC-2009-BorgstromHWADCMCN #hardware #hybrid #prototype #question
System prototypes: virtual, hardware or hybrid? (TB, EH, RW, DA, AD, RC, OM, CC, AN), pp. 1–3.
DACDAC-2009-ChangMR #architecture #hybrid #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 #hybrid #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 #hybrid #network
Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis (MG, ML, JT, UDB, SC), pp. 43–46.
DACDAC-2009-LiFMSVFPS #hybrid #named #network
Spectrum: a hybrid nanophotonic-electric on-chip network (ZL, DF, ARM, LS, MV, DF, WP, YS), pp. 575–580.
DATEDATE-2009-ModarressiSA #hybrid #network
A hybrid packet-circuit switched on-chip network based on SDM (MM, HSA, MA), pp. 566–569.
DATEDATE-2009-WuLZSX #hybrid #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 #hybrid #realtime #scheduling #streaming
Buffer minimization of real-time streaming applications scheduling on hybrid CPU/FPGA architectures (JZ, IS, AJ), pp. 1506–1511.
DocEngDocEng-2009-KuttyNL #approach #clustering #documentation #hybrid #named #performance #xml
HCX: an efficient hybrid clustering approach for XML documents (SK, RN, YL), pp. 94–97.
ICDARICDAR-2009-Smith #analysis #detection #hybrid #layout
Hybrid Page Layout Analysis via Tab-Stop Detection (RWS), pp. 241–245.
VLDBVLDB-2009-AbouzeidBARS #architecture #hybrid #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
Hybrid and custom data structures: evolution of the data structures course (DJE, DES, PJW), pp. 213–217.
FoSSaCSFoSSaCS-2009-MyersPS #algebra #hybrid #logic
Coalgebraic Hybrid Logic (RSRM, DP, LS), pp. 137–151.
TACASTACAS-2009-PlakuKV #hybrid #ltl #safety
Falsification of LTL Safety Properties in Hybrid Systems (EP, LEK, MYV), pp. 368–382.
ICSMEICSM-2009-DongG #comprehension #hybrid #using
Understanding source package organization using the hybrid model (XD, MWG), pp. 575–578.
CHICHI-2009-KolevaESGGRD #case study #experience #hybrid
Supporting the creation of hybrid museum experiences (BK, SRE, HS, KG, CG, TR, MDR), pp. 1973–1982.
HCIHCI-AUII-2009-SuedaIMR #communication #hybrid #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 #hybrid #mining
A Projection-based Hybrid Sequential Patterns Mining Algorithm (CJ), pp. 152–157.
ICEISICEIS-AIDSS-2009-ZanchettinL #design #hybrid #network #optimisation
Hybrid Optimization Technique for Artificial Neural Networks Design (CZ, TBL), pp. 242–247.
ICEISICEIS-J-2009-ChenPZQ #case study #hybrid
A Study of Indexing Strategies for Hybrid Data Spaces (CC, SP, QZ, GQ), pp. 149–159.
ICEISICEIS-J-2009-MohebiS #ambiguity #analysis #clustering #detection #hybrid #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 #hybrid
A hybrid index structure for geo-textual searches (RG, AH, RN, DB), pp. 1625–1628.
KDDKDD-2009-FrenoTG #estimation #hybrid #pseudo #random #scalability
Scalable pseudo-likelihood estimation in hybrid random fields (AF, ET, MG), pp. 319–328.
KEODKEOD-2009-CardilloTS #hybrid #information management
A Hybrid Methodology for Consumer-oriented Healthcare Knowledge Acquisition (EC, AT, LS), pp. 64–71.
KEODKEOD-2009-GrozaH #approach #hybrid #metadata #towards
A Hybrid Approach Towards Information Expansion based on Shallow and Deep Metadata (TG, SH), pp. 109–116.
RecSysRecSys-2009-GunawardanaM #approach #hybrid #recommendation
A unified approach to building hybrid recommender systems (AG, CM), pp. 117–124.
SEKESEKE-2009-LinWK #algorithm #feature model #hybrid #novel
A Novel Hybrid Search Algorithm for Feature Selection (PL, HW, TMK), pp. 81–86.
ECMFAECMDA-FA-2009-CharfiSS #editing #hybrid #uml #visual notation
A Hybrid Graphical and Textual Notation and Editor for UML Actions (AC, AS, AS), pp. 237–252.
PPDPPPDP-2009-FeltyM #hybrid #reasoning
Reasoning with hypothetical judgments and open terms in hybrid (APF, AM), pp. 83–92.
HPCAHPCA-2009-EbrahimiMP #data type #hybrid #linked data #open data
Techniques for bandwidth-efficient prefetching of linked data structures in hybrid prefetching systems (EE, OM, YNP), pp. 7–17.
CAVCAV-2009-BouissouGPTV #named #source code
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment (OB, EG, SP, KT, FV), pp. 620–626.
CAVCAV-2009-CimattiRT #hybrid #requirements #validation
Requirements Validation for Hybrid Systems (AC, MR, ST), pp. 188–203.
CAVCAV-2009-GuernicG #analysis #hybrid #reachability #using
Reachability Analysis of Hybrid Systems Using Support Functions (CLG, AG), pp. 540–554.
MBTMBT-2009-AichernigBW #consistency #hybrid #modelling #reasoning #testing
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models (BKA, HB, FW), pp. 53–69.
ICSTSAT-2009-Chen #hybrid #reasoning #satisfiability
Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques (JC), pp. 298–311.
TAPTAP-2009-RatschanS #fault #hybrid #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 #hybrid
Average-Price-per-Reward Games on Hybrid Automata with Strong Resets (MJ, RL, MR), pp. 167–181.
CASECASE-2008-AdamekSS #hybrid #nondeterminism #probability
Stochastic optimal control for hybrid systems with uncertain discrete dynamics (FA, MS, OS), pp. 23–28.
CASECASE-2008-DasSPS #aspect-oriented #assembly #hybrid #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 #hybrid #monitoring #petri net
Fault monitoring of automated manufacturing systems by first order hybrid Petri nets (MD, MPF, AMM), pp. 181–186.
CASECASE-2008-GiglioMSS #hybrid #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 #hybrid #layout #problem
A hybrid ACO/PSO heuristic to solve single row layout problem (YTT, SGP), pp. 597–602.
DACDAC-2008-BalkanQV #hybrid #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 #hybrid #multi #performance #simulation #using
Multiprocessor performance estimation using hybrid simulation (LG, KK, SK, RL, GA, HM), pp. 325–330.
DRRDRR-2008-KimLT #approach #hybrid #identification #statistics
Hybrid approach combining contextual and statistical information for identifying MEDLINE citation terms (ICK, DXL, GRT), p. 68150.
ESOPESOP-2008-BouissouM #hybrid #semantics
A Hybrid Denotational Semantics for Hybrid Systems (OB, MM), pp. 63–77.
TACASTACAS-2008-SankaranarayananDI #hybrid #model checking #using
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (SS, TD, FI), pp. 188–202.
PASTEPASTE-2008-ZhangLGZ #approach #effectiveness #hybrid #identification
Effective identification of failure-inducing changes: a hybrid approach (SZ, YL, ZG, JZ), pp. 77–83.
WCREWCRE-2008-GhanbariCA #analysis #aspectj #hybrid #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 #hybrid
STORMED Hybrid Systems (VV, PP, MV, GED), pp. 136–147.
LATALATA-2008-AlhazovCMR #hybrid #network
About Universal Hybrid Networks of Evolutionary Processors of Small Size (AA, ECV, CMV, YR), pp. 28–39.
LATALATA-2008-PhuongHRV #approach #hybrid #segmentation #word
A Hybrid Approach to Word Segmentation of Vietnamese Texts (HPL, NTMH, AR, HTV), pp. 240–249.
SEFMSEFM-2008-BartheKPS #hybrid #proving #verification
Preservation of Proof Pbligations for Hybrid Verification Methods (GB, CK, DP, JSF), pp. 127–136.
SFMSFM-2008-BortolussiP #biology #hybrid
Hybrid Systems and Biology (LB, AP), pp. 424–448.
IFLIFL-2008-GiorgidzeN #functional #haskell #hybrid #modelling
Embedding a Functional Hybrid Modelling Language in Haskell (GG, HN), pp. 138–155.
CSCWCSCW-2008-LindtnerNWMJL #hybrid
A hybrid cultural ecology: world of warcraft in China (SL, BAN, YW, SDM, HJ, WL), pp. 371–382.
CSCWCSCW-2008-TabardME #collaboration #evolution #hybrid
From individual to collaborative: the evolution of prism, a hybrid laboratory notebook (AT, WEM, EE), pp. 569–578.
ICEISICEIS-AIDSS-2008-PanahiT #clustering #hybrid #performance #problem
An Efficient Hybrid Method for Clustering Problems (HP, RTM), pp. 288–294.
ICEISICEIS-ISAS2-2008-BainaT #algorithm #graph #hybrid #towards #verification #workflow
Toward a Hybrid Algorithm for Workflow Graph Structural Verification (FT, KB, WG), pp. 442–447.
ICEISICEIS-J-2008-PapatheocharousA08a #algorithm #approach #hybrid #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 #hybrid #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 #hybrid #library #personalisation
Hybrid Method for Personalized Search in Digital Libraries (TTV, MB), pp. 647–651.
ICPRICPR-2008-Abd-AlmageedASD #classification #hybrid #using
Document-zone classification using partial least squares and hybrid classifiers (WAA, MA, WS, DSD), pp. 1–4.
ICPRICPR-2008-DelayeMA #fuzzy #hybrid #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
Hybrid wavelet support vector classification of temporal bone abnormalities (JG, STK, RK), pp. 1–4.
ICPRICPR-2008-SerCY #classification #hybrid #recognition #speech
A Hybrid PNN-GMM classification scheme for speech emotion recognition (WS, LC, ZLY), pp. 1–4.
ICPRICPR-2008-SinghNGBSP #hybrid #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 #hybrid #linear
Analysis of Linear Hybrid Systems in CLP (GB, JPG), pp. 55–70.
SACSAC-2008-CorreaL #documentation #hybrid #semantics
Semantic mapping and K-means applied to hybrid SOM-based document organization system construction (RFC, TBL), pp. 1112–1116.
SACSAC-2008-Ercan #comparison #hybrid #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 #hybrid #scheduling #self
Supporting self-organization for hybrid grid resource scheduling (DCE, MJL), pp. 1981–1986.
SACSAC-2008-GuiFSB #component #configuration management #embedded #hybrid #realtime
A hybrid real-time component model for reconfigurable embedded systems (NG, VDF, HS, CB), pp. 1590–1596.
SACSAC-2008-LuCL #embedded #hybrid #self
A hybrid software-based self-testing methodology for embedded processor (THL, CHC, KJL), pp. 1528–1534.
SACSAC-2008-ParkLLP #architecture #file system #hybrid #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 #hybrid #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 #hybrid #reachability
Reachability analysis of generalized polygonal hybrid systems (GS), pp. 327–332.
SACSAC-2008-SobralB #hybrid #mobile #realtime
A wireless hybrid contention/TDMA-based MAC for real-time mobile application (MMS, LBB), pp. 284–288.
SACSAC-2008-TaghipourK #hybrid #recommendation #web
A hybrid web recommender system based on Q-learning (NT, AAK), pp. 1164–1168.
ICSEICSE-2008-McCafferyPR #agile #assessment #hybrid #named #safety
Ahaa — agile, hybrid assessment method for automotive, safety critical smes (FM, MP, IR), pp. 551–560.
CAVCAV-2008-GulwaniT #analysis #approach #constraints #hybrid
Constraint-Based Approach for Analysis of Hybrid Systems (SG, AT), pp. 190–203.
CAVCAV-2008-KobayashiS #hybrid #mobile #process #type system
A Hybrid Type System for Lock-Freedom of Mobile Processes (NK, DS), pp. 80–93.
CAVCAV-2008-PlatzerC #difference #hybrid #invariant
Computing Differential Invariants of Hybrid Systems as Fixedpoints (AP, EMC), pp. 176–189.
ICLPICLP-2008-Cipriano #constraints #modelling #on the #programming #tool support
On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools (RC), pp. 803–804.
IJCARIJCAR-2008-KaminskiS #difference #hybrid #logic
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (MK, GS), pp. 210–225.
IJCARIJCAR-2008-PlatzerQ #hybrid #named #proving #theorem proving
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (AP, JDQ), pp. 171–178.
ICSTSAT-2008-LetombeM #algorithm #hybrid #incremental #satisfiability
Improvements to Hybrid Incremental SAT Algorithms (FL, JMS), pp. 168–181.
FATESTestCom-FATES-2008-DangN #generative #hybrid #testing #using
Using Disparity to Enhance Test Generation for Hybrid Systems (TD, TN), pp. 54–69.
VMCAIVMCAI-2008-SohailSR #algorithm #game studies #hybrid #ltl
A Hybrid Algorithm for LTL Games (SS, FS, KR), pp. 309–323.
CASECASE-2007-JiangLCHHS #automation #development #framework
Development of Whole Human Genome Micro-array Automated Hybridization Platform (JYJ, KHL, CCC, JLH, CHH, HJS), pp. 640–645.
CASECASE-2007-NguyenCYD #hybrid
Motion Control of a Robotic Puppet through a Hybrid Motion Capture Device (KDN, IMC, SHY, HBLD), pp. 753–758.
CASECASE-2007-YogeswaranPT #algorithm #heuristic #hybrid #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 #hybrid #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 #hybrid #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 #hybrid #using
Accelerating System-on-Chip Power Analysis Using Hybrid Power Estimation (MAG, KL, AR), pp. 883–886.
DACDAC-2007-ZhangSJ #architecture #configuration management #design #hybrid #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 #hybrid #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 #hybrid #power management
Dynamic Power Management with Hybrid Power Sources (JZ, CC, KL, NC), pp. 871–876.
DATEDATE-2007-BauerPT #analysis #hybrid #modelling
Tool-support for the analysis of hybrid systems and models (AB, MP, MT), pp. 924–929.
DATEDATE-2007-FangH #hybrid #performance #satisfiability
A new hybrid solution to boost SAT solver performance (LF, MSH), pp. 1307–1313.
ICDARICDAR-2007-AssabieB #hybrid #recognition #robust
A Hybrid System for Robust Recognition of Ethiopic Script (YA, JB), pp. 556–560.
ICDARICDAR-2007-KeshariW #hybrid #recognition #using
Hybrid Mathematical Symbol Recognition Using Support Vector Machines (BK, SMW), pp. 859–863.
ICDARICDAR-2007-ToujAA07a #approach #hybrid #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 #hybrid
Schema advisor for hybrid relational-XML DBMS (MMM, LL, YCC), pp. 959–970.
ICPCICPC-2007-Godfrey #hybrid #object-oriented #reverse engineering
A Hybrid Program Model for Object-Oriented Reverse Engineering (MWG), pp. 81–90.
CIAACIAA-J-2006-BordihnHK07 #automaton #finite #hybrid
Hybrid Extended Finite Automata (HB, MH, MK), pp. 745–760.
HCIDHM-2007-WangYHWJJLZ #classification #hybrid
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
Hybrid Singular Value Decomposition: A Model of Human Text Classification (AN, MRL, SjW), pp. 517–525.
ICEISICEIS-AIDSS-2007-CuellarDP #algorithm #hybrid #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 #hybrid #named
STAH-TREE: Hybrid index for spatio temporal aggregation (MG, MF), pp. 113–118.
ICEISICEIS-SAIC-2007-LazanasKK #hybrid #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
Hybrid results merging (GP, MS, MS), pp. 321–330.
ICMLICML-2007-GriraH #clustering #heuristic
Best of both: a hybridized centroid-medoid clustering heuristic (NG, MEH), pp. 313–320.
ICMLICML-2007-WangZZ #array #classification #hybrid
Hybrid huberized support vector machines for microarray classification (LW, JZ, HZ), pp. 983–990.
KDDKDD-2007-DruckPMZ #classification #generative #hybrid
Semi-supervised classification with hybrid generative/discriminative methods (GD, CP, AM, XZ), pp. 280–289.
KDDKDD-2007-JanssensGM #analysis #clustering #hybrid #mining
Dynamic hybrid clustering of bioinformatics by incorporating text mining and citation analysis (FALJ, WG, BDM), pp. 360–369.
MLDMMLDM-2007-AburtoW #hybrid #predict
A Sequential Hybrid Forecasting System for Demand Prediction (LA, RW), pp. 518–532.
MLDMMLDM-2007-GomezF #2d #algorithm #evolution #hybrid #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 #hybrid #learning #ontology
Hybrid Learning of Ontology Classes (JL), pp. 883–898.
RecSysRecSys-2007-ChenP #evaluation #hybrid #recommendation
The evaluation of a hybrid critiquing system with preference-based recommendations organization (LC, PP), pp. 169–172.
RecSysRecSys-2007-Donaldson #hybrid #music #recommendation
A hybrid social-acoustic recommendation system for popular music (JD), pp. 187–190.
RecSysRecSys-2007-TiemannP #hybrid #learning #music #recommendation #towards
Towards ensemble learning for hybrid music recommendation (MT, SP), pp. 177–178.
SEKESEKE-2007-TeekayuphunS #approach #hybrid #natural language #query
A Hybrid Approach for Natural Language Query Translation (PT, OS), pp. 368–373.
RERE-2007-LuoST #hybrid #modelling #music
Modelling a Smart Music Player with a Hybrid Agent-Oriented Methodology (YL, LS, KT), pp. 281–286.
SACSAC-2007-BoussellaaZA #hybrid #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 #hybrid #retrieval #web
Hybrid retrieval from the unified web (TI, KT), pp. 1346–1350.
ICSEICSE-2007-MajumdarS #hybrid #testing
Hybrid Concolic Testing (RM, KS), pp. 416–426.
HPCAHPCA-2007-ZhongLM #architecture #hybrid #manycore #parallel #thread
Extending Multicore Architectures to Exploit Hybrid Parallelism in Single-thread Applications (HZ, SAL, SAM), pp. 25–36.
CAVCAV-2007-Franzle #hybrid #verification
Verification of Hybrid Systems (MF), p. 38.
CAVCAV-2007-NahhalD #hybrid #test coverage
Test Coverage for Continuous and Hybrid Systems (TN, TD), pp. 449–462.
CAVCAV-2007-PlakuKV #hybrid #verification
Hybrid Systems: From Verification to Falsification (EP, LEK, MYV), pp. 463–476.
CAVCAV-2007-Segelken #abstraction #automaton #hybrid #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 #hybrid #refinement #verification
Language-Based Abstraction Refinement for Hybrid System Verification (FK, SR, ZS), pp. 151–166.
CASECASE-2006-ChenYTCW #difference #fuzzy #hybrid #linear #matrix
Applying the Linear Matrix Inequality for Hybrid Fuzzy/H-infinity Control of Active Structural Damping (CWC, KY, CHT, CYC, DJW), pp. 678–682.
CASECASE-2006-XieLP #hybrid #linear
The hybrid calibration of linear structured light system (KX, WYL, ZBP), pp. 611–614.
CASECASE-2006-ZhangCY #adaptation #automation #fuzzy #hybrid #identification
Adaptive Fuzzy Controller for Hybrid Traction Control System based on Automatic Road Identification (JZ, DC, CY), pp. 524–529.
DACDAC-2006-BrahmbhattZWQ #adaptation #algorithm #encoding #hybrid #power management #using
Low-power bus encoding using an adaptive hybrid algorithm (ARB, JZ, QW, QQ), pp. 987–990.
DACDAC-2006-RadT #clustering #hybrid
A new hybrid FPGA with nanoscale clusters and CMOS routing (RMR, MT), pp. 727–730.
DACDAC-2006-ZhangJS #architecture #configuration management #hybrid #named
NATURE: a hybrid nanotube/CMOS dynamically reconfigurable architecture (WZ, NKJ, LS), pp. 711–716.
DACDAC-2006-ZhuoCCV #hybrid
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 #hybrid
A hybrid framework for design and analysis of fault-tolerant architectures (DB, SKS, DC, VET, PSG, MG), pp. 335–336.
DATEDATE-2006-ShyamB #hybrid #verification
Distance-guided hybrid verification with GUIDO (SS, VB), pp. 1211–1216.
DATEDATE-2006-YavariSR #design #hybrid
Systematic and optimal design of CMOS two-stage opamps with hybrid cascode compensation (MY, OS, ÁRV), pp. 144–149.
ITiCSEITiCSE-2006-Quade #hybrid #learning #re-engineering
Developing a hybrid software engineering curse that promotes project-based active learning (AMQ), p. 308.
FoSSaCSFoSSaCS-2006-EdalatP #automaton #hybrid #semantics
Denotational Semantics of Hybrid Automata (AE, DP), pp. 231–245.
CIAACIAA-2006-BordihnHK #automaton #finite #hybrid
Hybrid Extended Finite Automata (HB, MH, MK), pp. 34–45.
CIAACIAA-2006-YangXSP #hybrid #quantum #synthesis
Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits (GY, FX, XS, MAP), pp. 279–280.
ICALPICALP-v2-2006-HarnikN #bound #hybrid #on the #security
On Everlasting Security in the Hybrid Bounded Storage Model (DH, MN), pp. 192–203.
ICALPICALP-v2-2006-PhanST #hybrid
Generic Construction of Hybrid Public Key Traitor Tracing with Full-Public-Traceability (DHP, RSN, DT), pp. 264–275.
ICFPICFP-2006-HickeyNYK #hybrid #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 #hybrid
Handling documents and discriminating objects in hybrid spaces (PL, CH, HK, KY, JY), pp. 561–570.
CHICHI-2006-MedynskiyDF #analysis #community #development #hybrid #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 #hybrid
Response times in N-user replicated, centralized, and proximity-based hybrid collaboration architectures (SJ, PD), pp. 129–138.
ICEISICEIS-HCI-2006-LiSB #correlation #hybrid #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 #hybrid #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 #hybrid #maintenance #retrieval
A Hybrid Approach to Index Maintenance in Dynamic Text Retrieval Systems (SB, CLAC), pp. 229–240.
ICPRICPR-v1-2006-HadidP #approach #detection #hybrid
A Hybrid Approach to Face Detection under Unconstrained Environments (AH, MP), pp. 227–230.
ICPRICPR-v1-2006-IvaldiMG #framework #hybrid
A hybrid resampling framework for facial shape alignment (WI, MM, SG), pp. 488–491.
ICPRICPR-v1-2006-LiCF #hybrid #kernel #set
Hybrid Kernel Machine Ensemble for Imbalanced Data Sets (PL, KLC, WF), pp. 1108–1111.
ICPRICPR-v1-2006-ViswanathP #clustering #hybrid #performance
l-DBSCAN : A Fast Hybrid Density Based Clustering Method (PV, RP), pp. 912–915.
ICPRICPR-v2-2006-AndelicSKK #hybrid #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 #hybrid #recognition #word
Hybrid Off-Line Cursive Handwriting Word Recognition (BG, IP, SJP), pp. 998–1002.
ICPRICPR-v2-2006-LeL #hybrid
A Hybrid License Plate Extraction Method for Complex Scenes (WL, SL), pp. 324–327.
ICPRICPR-v2-2006-LiLW #feature model #hybrid #ranking
A Hybrid Method of Unsupervised Feature Selection Based on Ranking (YL, BLL, ZFW), pp. 687–690.
ICPRICPR-v2-2006-LuXL #hybrid #recognition
A Hybrid Recognition Scheme Based on Partially Labeled SOM and MLP (SL, CX, YL), pp. 800–803.
ICPRICPR-v3-2006-JainHSVHG #algorithm #clustering #hybrid #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 #hybrid #precise #robust
A hybrid classifier for precise and robust eye detection (LJ, XHY, SS, JL, LX), pp. 731–735.
ICPRICPR-v4-2006-LeeRS #hybrid #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 #hybrid #verification
A New Hybrid GMM/SVM for Speaker Verification (ML, YX, ZY, BD), pp. 314–317.
KRKR-2006-SannerM #calculus #first-order #hybrid #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 #hybrid #towards
Towards a Methodology for Hybrid Systems Software Development (IMdÁ, JC, JTP, ST), pp. 188–193.
SIGIRSIGIR-2006-ButtcherCL #hybrid #maintenance
Hybrid index maintenance for growing text collections (SB, CLAC, BL), pp. 356–363.
SIGIRSIGIR-2006-DingLP #algorithm #equivalence #hybrid
NMF and PLSI: equivalence and a hybrid algorithm (CHQD, TL, WP), pp. 641–642.
PADLPADL-2006-HawkinsS #constraints #finite #hybrid #satisfiability #theorem proving
A Hybrid BDD and SAT Finite Domain Constraint Solver (PH, PJS), pp. 103–117.
POPLPOPL-2006-Flanagan #hybrid #type checking
Hybrid type checking (CF), pp. 245–256.
SACSAC-2006-BianchiniAM #hybrid #ontology
Hybrid ontology-based matchmaking for service discovery (DB, VDA, MM), pp. 1707–1708.
SACSAC-2006-CutelloNP #algorithm #hybrid #optimisation #using
Real coded clonal selection algorithm for unconstrained global optimization using a hybrid inversely proportional hypermutation operator (VC, GN, MP), pp. 950–954.
SACSAC-2006-SousaNV #architecture
Proactive resilience through architectural hybridization (PS, NFN, PV), pp. 686–690.
ICSEICSE-2006-TrendowiczHMIYK #development #estimation #hybrid
Development of a hybrid cost estimation model in an iterative manner (AT, JH, JM, YI, KY, NK), pp. 331–340.
ASPLOSASPLOS-2006-DamronFLLMN #hybrid #memory management #transaction
Hybrid transactional memory (PD, AF, YL, VL, MM, DN), pp. 336–346.
CCCC-2006-CavazosMO #algorithm #hybrid #optimisation #question
Hybrid Optimizations: Which Optimization Algorithm to Use? (JC, JEBM, MFPO), pp. 124–138.
OSDIOSDI-2006-CowlingMLRS #fault tolerance #hybrid #protocol #replication
HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance (JAC, DSM, BL, RR, LS), pp. 177–190.
PPoPPPPoPP-2006-KumarCHKN #hybrid #memory management #transaction
Hybrid transactional memory (SK, MC, CJH, PK, ADN), pp. 209–220.
CAVCAV-2006-BoigelotH #hybrid #power of
The Power of Hybrid Acceleration (BB, FH), pp. 438–451.
FATESFATES-RV-2006-Osch #consistency #generative #hybrid #testing
Hybrid Input-Output Conformance and Test Generation (MvO), pp. 70–84.
ISSTAISSTA-2006-CsallnerS #analysis #debugging #hybrid #named
DSD-Crasher: a hybrid analysis tool for bug finding (CC, YS), pp. 245–254.
LICSLICS-2006-BouyerBC #hybrid
Control in o-minimal Hybrid Systems (PB, TB, FC), pp. 367–378.
CASECASE-2005-TsinarakisTV #hybrid #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 #hybrid #simulation
Hybrid simulation for embedded software energy estimation (AM, AR, SR, NKJ), pp. 23–26.
DATEDATE-2005-FaroukS #algorithm #communication #encryption #hybrid #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 #hybrid #sequence
Hybrid BIST Based on Repeating Sequences and Cluster Analysis (LL, KC), pp. 1142–1147.
DATEDATE-2005-LiuPP #hybrid #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 #hybrid #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.
DATEDATE-2005-StagniGLBR #design #detection
Hardware-Software Design of a Smart Sensor for Fully-Electronic DNA Hybridization Detection (CS, CG, ML, LB, BR), pp. 198–203.
ICDARICDAR-2005-CecottiB05a #approach #documentation #hybrid
Hybrid OCR combination approach complemented by a specialized ICR applied on ancient documents (HC, AB), pp. 1045–1049.
ICDARICDAR-2005-KumarJ #architecture #configuration management #hybrid #recognition
Configurable Hybrid Architectures for Character Recognition Applications (MNSSKPK, CVJ), pp. 1199–1205.
ICDARICDAR-2005-LongJ #hybrid #recognition
Hybrid Recognition for One Stroke Style Cursive Handwriting Characters (TL, LJ), pp. 232–236.
ICDARICDAR-2005-ZhangBS #feature model #hybrid #recognition
Hybrid Feature Extraction and Feature Selection for Improving Recognition Accuracy of Handwritten Numerals (PZ, TDB, CYS), pp. 136–140.
ICALPICALP-2005-CatalanoV #hybrid
Hybrid Trapdoor Commitments and Their Applications (DC, IV), pp. 298–310.
ICEISICEIS-v1-2005-FengWM #clustering #hybrid
A Hybrid Clustering Criterion for R*-Tree on Business Data (YF, ZW, AM), pp. 346–352.
ICEISICEIS-v1-2005-XuePQZ #database #hybrid #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 #hybrid
Reducing Risk in the Enterprise: Proposal for a Hybrid Audit Expert System (SC, KH), pp. 260–266.
ICEISICEIS-v2-2005-LokugeA #hybrid #learning #multi
Handling Multiple Events in Hybrid BDI Agents with Reinforcement Learning: A Container Application (PL, DA), pp. 83–90.
ICEISICEIS-v4-2005-GruhnH #hybrid #information management #mobile
Hybrid Application Support for Mobile Information Systems (VG, MH), pp. 232–237.
CIKMCIKM-2005-FreskoRF #approach #hybrid
A hybrid approach to NER by MEMM and manual rules (MF, BR, RF), pp. 361–362.
CIKMCIKM-2005-ZhouXWGM #hybrid #web
Hybrid index structures for location-based web search (YZ, XX, CW, YG, WYM), pp. 155–162.
ICMLICML-2005-GuptaG #clustering #hybrid #robust #using
Robust one-class clustering using hybrid global and local search (GG, JG), pp. 273–280.
KDDKDD-2005-SurdeanuTA #approach #clustering #documentation #hybrid
A hybrid unsupervised approach for document clustering (MS, JT, AA), pp. 685–690.
SEKESEKE-2005-FerreiraV #algorithm #generative #hybrid #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 #hybrid #linear #verification
Verifying Timed and Linear Hybrid Rule-Systems with RED (FW, RSW, GDH), pp. 448–454.
SIGIRSIGIR-2005-HawkingT #hybrid
Server selection methods in hybrid portal search (DH, PT), pp. 75–82.
QAPLQAPL-2004-Huth05 #abstraction #hybrid #logic
Abstraction and Probabilities for Hybrid Logics (MH), pp. 61–76.
PADLPADL-2005-SaadP #framework #hybrid #logic programming #probability #towards
Towards a More Practical Hybrid Probabilistic Logic Programming Framework (ES, EP), pp. 67–82.
SACSAC-2005-Eliassi-RadC #approach #hybrid #modelling #multi #scalability
A hybrid approach for multiresolution modeling of large-scale scientific data (TER, TC), pp. 511–518.
SACSAC-2005-LambertMS #constraints #using
Solving strategies using a hybridization model for local search and constraint propagation (TL, EM, FS), pp. 398–403.
SACSAC-2005-OcaGA #algorithm #classification #clustering #network
An hybridization of an ant-based clustering algorithm with growing neural gas networks for classification tasks (MAMdO, LG, JLA), pp. 9–13.
SACSAC-2005-OuajaR #composition #hybrid
Hybrid Lagrangian relaxation for bandwidth-constrained routing: knapsack decomposition (WO, BR), pp. 383–387.
ESEC-FSEESEC-FSE-2005-MetzLG #approach #hybrid #performance #using
Performance data collection using a hybrid approach (EM, RL, TFG), pp. 126–135.
HPDCHPDC-2005-MassettoJS #hybrid #named
HMPI — hybrid MPI (FIM, AMGJ, LMS), pp. 306–307.
ICSTSAT-J-2004-JinS05 #hybrid #named #satisfiability
CirCUs: A Hybrid Satisfiability Solver (HJ, FS), pp. 211–223.
CAVCAV-2005-SebastianiTV #hybrid #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 #hybrid #logic #on the
On the Complexity of Hybrid Logics with Binders (BtC, MF), pp. 339–354.
ICLPICLP-2005-LambertCMRS #algorithm #constraints #search-based
Hybridization of Genetic Algorithms and Constraint Propagation for the BACP (TL, CC, EM, MCR, FS), pp. 421–423.
ICLPICLP-2005-SaadP #hybrid #logic programming #probability #source code
Hybrid Probabilistic Logic Programs with Non-monotonic Negation (ES, EP), pp. 204–220.
VMCAIVMCAI-2005-AbrahamBKS #bound #hybrid #linear #model checking #optimisation
Optimizing Bounded Model Checking for Linear Hybrid Systems (, BB, FK, MS), pp. 396–412.
ASEASE-2004-Xie #approach #component #hybrid #verification
Decompositional Verification of Component-based Systems — A Hybrid Approach (GX), pp. 414–417.
DATEDATE-v1-2004-Skadron #architecture #hybrid
Hybrid Architectural Dynamic Thermal Management (KS), pp. 10–15.
DATEDATE-v2-2004-BobrekPNPT #approach #hybrid #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 #hybrid #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 #hybrid #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.
DATEDATE-2005-GalanisMTSG04 #clustering #configuration management #hybrid
A Partitioning Methodology for Accelerating Applications in Hybrid Reconfigurable Platforms (MDG, AM, GT, DS, CEG), pp. 247–252.
IFMIFM-2004-Willemse #algebra #automaton #hybrid #process
Embeddings of Hybrid Automata in Process Algebra (TACW), pp. 343–362.
ICEISICEIS-v2-2004-KotsiantisP #classification #hybrid #using
A Hybrid Decision Support Tool — Using Ensemble of Classifiers (SBK, PEP), pp. 448–456.
ICEISICEIS-v4-2004-DegemmisLSCLG #collaboration #hybrid #recommendation
A Hybrid Collaborative Recommender System Based on User Profiles (MD, PL, GS, MFC, OL, SG), pp. 162–169.
CIKMCIKM-2004-RosenfeldFFSA #approach #hybrid #information management #named
TEG: a hybrid approach to information extraction (BR, RF, MF, JS, YA), pp. 589–596.
ICPRICPR-v2-2004-ChangLC #hybrid #recognition
Applying A Hybrid Method To Handwritten Character Recognition (FC, CCL, CJC), pp. 529–532.
ICPRICPR-v2-2004-HongliangC #hybrid #statistics
A hybrid License Plate Extraction Method Based On Edge Statistics and Morphology (HB, CL), pp. 831–834.
ICPRICPR-v2-2004-WeiXMJS #hybrid
A Hybrid SOM-SVM Method for Analyzing Zebra Fish Gene Expression (WW, LX, XM, PJ, RS), pp. 323–326.
ICPRICPR-v3-2004-HuangMP #hybrid #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 #hybrid #predict #using #video
Video Motion Estimation Using Prediction Based Hybrid Approach (BCD, BC), pp. 737–740.
ICPRICPR-v4-2004-QiuMHHS #hybrid #video
A Hybrid Watermarking Scheme for H.264/AVC Video (GQ, PM, ATSH, DH, QS), pp. 865–869.
KRKR-2004-Barrett #compilation #hybrid
From Hybrid Systems to Universal Plans Via Domain Compilation (AB), pp. 654–661.
SIGIRSIGIR-2004-DoranSNDC #generative #hybrid #statistics
A hybrid statistical/linguistic model for generating news story gists (WPD, NS, EN, JD, JC), pp. 464–465.
SACSAC-2004-AlbaC #fault #heuristic #hybrid #parallel #problem
Solving the error correcting code problem with parallel hybrid heuristics (EA, JFC), pp. 985–989.
SACSAC-2004-CaldeiraMR #algorithm #hybrid #problem #using
Using a hybrid Evolutionary-Taboo Algorithm to solve Job Shop Problem (JPC, FM, ACR), pp. 1446–1451.
SACSAC-2004-FeltlR #algorithm #hybrid #problem #search-based
An improved hybrid genetic algorithm for the generalized assignment problem (HF, GRR), pp. 990–995.
SACSAC-2004-JulstromA #algorithm #hybrid #problem
Two hybrid evolutionary algorithms for the rectilinear Steiner arborescence problem (BAJ, AA), pp. 980–984.
ICSEICSE-2004-Francois #architecture #data type #distributed #hybrid #parallel
A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams (ARJF), pp. 367–376.
HPDCHPDC-2004-PearlmanKGSFRFHS #case study #distributed #experience #grid #hybrid
Distributed Hybrid Earthquake Engineering Experiments: Experiences with a Ground-Shaking Grid Application (LP, CK, SG, BFSJ, JF, KR, ITF, PH, CS), pp. 14–23.
CAVCAV-2004-Wang #analysis #hybrid #linear #parametricity #safety
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures (FW), pp. 295–307.
CSLCSL-2004-KorovinaV #hybrid
Pfaffian Hybrid Systems (MVK, NV), pp. 430–441.
ICLPICLP-2004-MonfroySL #constraints #on the
On Hybridization of Local Search and Constraint Propagation (EM, FS, TL), pp. 299–313.
SATSAT-2004-JinS #hybrid #named #satisfiability
CirCUs: A Hybrid Satisfiability Solver (HJ, FS), pp. 47–55.
ASEASE-2003-Ellman #animation #automaton #hybrid #specification #synthesis
Specification and Synthesis of Hybrid Automata for Physics-Based Animation (TE), pp. 80–93.
DACDAC-2003-SeshiaLB #hybrid #logic #satisfiability
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions (SAS, SKL, REB), pp. 425–430.
DACDAC-2003-ShiG #hybrid #performance #power management
Hybrid hierarchical timing closure methodology for a high performance and low power DSP (KS, GG), pp. 850–855.
DRRDRR-2003-RahmanTA #heuristic #hybrid #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 #hybrid #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 #hybrid #verification
A Hybrid On/Off Line Handwritten Signature Verification System (AZ, LLL), pp. 424–428.
TACASTACAS-2003-AlurDI #abstraction #hybrid
Counter-Example Guided Predicate Abstraction of Hybrid Systems (RA, TD, FI), pp. 208–223.
TACASTACAS-2003-ClarkeFHKST #abstraction #hybrid #refinement #verification
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement (EMC, AF, ZH, BHK, OS, MT), pp. 192–207.
AGTIVEAGTIVE-2003-LaraGV #analysis #graph transformation #hybrid #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 #hybrid
A Hybrid Case-Based Adaptation Model for Thyroid Cancer Diagnosis (ABMS, KAN, BEB), pp. 58–65.
ICEISICEIS-v2-2003-SalemSH #approach #fuzzy #hybrid #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 #hybrid #network #peer-to-peer #retrieval
Content-based retrieval in hybrid peer-to-peer networks (JL, JPC), pp. 199–206.
ECIRECIR-2003-CachedaCGV #data type #hybrid #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 #hybrid #retrieval
A Hybrid Relevance-Feedback Approach to Text Retrieval (ZX, XX, KY, VT), pp. 281–293.
SEKESEKE-2003-KendalAC #bibliography #development #hybrid #information management
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 #hybrid #named
DefScriber: a hybrid system for definitional QA (SBG, KM, AHS), p. 462.
SIGIRSIGIR-2003-TsaiMT #classification #hybrid #image #network #using
Image classification using hybrid neural networks (CFT, KM, JT), pp. 431–432.
LOPSTRLOPSTR-2003-Ellman #animation #automaton #hybrid #specification #synthesis
Specification and Synthesis of Hybrid Automata for Physics-Based Animation (TE), pp. 54–55.
PADLPADL-2003-NilssonPH #functional #hybrid #modelling
Functional Hybrid Modeling (HN, JP, PH), pp. 376–390.
SACSAC-2003-LiLR #approach #hybrid #problem
A Hybrid AI Approach for Nurse Rostering Problem (HL, AL, BR), pp. 730–735.
SACSAC-2003-PannalaDSO #hybrid #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 #hybrid
A Customizable Hybrid Approach to Data Clustering (YQ, KZ), pp. 485–489.
SACSAC-2003-RagothamanP #assessment #hybrid #segmentation
Hybrid Log Segmentation for Assured Damage Assessment (PR, BP), pp. 522–527.
LCTESLCTES-2003-AlurIKLS #embedded #generative #hybrid #modelling
Generating embedded software from hierarchical hybrid models (RA, FI, JK, IL, OS), pp. 171–182.
PPoPPPPoPP-2003-OCallahanC #concurrent #detection #hybrid
Hybrid dynamic data race detection (RO, JDC), pp. 167–178.
CAVCAV-2003-BoigelotHJ #automaton #hybrid #using
Hybrid Acceleration Using Real Vector Automata (Extended Abstract) (BB, FH, SJ), pp. 193–205.
DACDAC-2002-HazelhurstWKF #approach #design #hybrid #verification
A hybrid verification approach: getting deep into the design (SH, OW, GK, LF), pp. 111–116.
DACDAC-2002-IonescuDMBG #hybrid #towards
Few electron devices: towards hybrid CMOS-SET integrated circuits (AMI, MJD, SM, KB, JG), pp. 88–93.
VLDBVLDB-2002-SeifertS #hybrid #multi #policy
A Multi-version Cache Replacement and Prefetching Policy for Hybrid Data Delivery Environments (AS, MHS), pp. 850–861.
WRLAWRLA-J-1996-OlveczkyM02 #hybrid #logic #realtime #specification
Specification of real-time and hybrid systems in rewriting logic (PCÖ, JM), pp. 359–405.
TACASTACAS-2002-KwiatkowskaNP #approach #hybrid #model checking #probability
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach (MZK, GN, DP), pp. 52–66.
CIAACIAA-2002-Sutner02a #automaton #hybrid
automata, a Hybrid System for Computational Automata Theory (KS), pp. 221–227.
ICPRICPR-v1-2002-HarnsomburanaS #approach #database #feedback #hybrid #image #performance #retrieval
A Hybrid Tree Approach for Efficient Image Database Retrieval with Dynamic Feedback (JH, CRS), pp. 263–266.
ICPRICPR-v1-2002-LongL #hybrid #invariant
A Hybrid Model for Invariant and Perceptual Texture Mapping (HL, WKL), pp. 135–138.
ICPRICPR-v1-2002-MaedaKI #3d #hybrid #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 #hybrid #image #video
Hybrid Chinese/English Text Detection in Images and Video Frames (WM, FLC, KKML, WCS), pp. 1015–1018.
ICPRICPR-v3-2002-RossJR #hybrid
A Hybrid Fingerprint Matcher (AR, AKJ, JR), pp. 795–798.
SEKESEKE-2002-RaffoHV #framework #hybrid #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.
SACSAC-2002-AlcalaCCHZ
Hybridizing Hierarchical and Weighted Linguistic Rules (RA, JC, OC, FH, IZ), pp. 812–816.
CADECADE-2002-ArecesH #hybrid #logic
HyLoRes 1.0: Direct Resolution for Hybrid Logics (CA, JH), pp. 156–160.
CAVCAV-2002-AsarinDM #hybrid #verification
The d/dt Tool for Verification of Hybrid Systems (EA, TD, OM), pp. 365–370.
CAVCAV-2002-AsarinPSY #hybrid #named #verification
SPeeDI — A Verification Tool for Polygonal Hybrid Systems (EA, GJP, GS, SY), pp. 354–358.
CAVCAV-2002-Henzinger #approach #hybrid
The Symbolic Approach to Hybrid Systems (TAH), p. 57.
ICLPICLP-2002-BockmayrC #biology #concurrent #constraints #hybrid #programming #using
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems (AB, AC), pp. 85–99.
DACDAC-2001-MneimnehAWCSA #hybrid #scalability #verification
Scalable Hybrid Verification of Complex Microprocessors (MNM, FAA, CTW, SC, KAS, TMA), pp. 41–46.
DACDAC-2001-WangHLKZMD #abstraction #hybrid #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.
ICDARICDAR-2001-BelliliGG #hybrid
An Hybrid MLP-SVM Handwritten Digit Recognizer (AB, MG, PG), pp. 28–33.
ICDARICDAR-2001-ElgammalI01a #documentation #hybrid #identification #image
Techniques for Language Identification for Hybrid Arabic-English Document Images (AME, MAI), pp. 1100–1104.
ICDARICDAR-2001-MarukatatAGD #hybrid #modelling #recognition
Sentence Recognition through Hybrid Neuro-Markovian Modeling (SM, TA, PG, BD), pp. 731–737.
VLDBVLDB-2001-YangG #hybrid #peer-to-peer
Comparing Hybrid Peer-to-Peer Systems (BY, HGM), pp. 561–570.
ITiCSEITiCSE-2001-Rosbottom #distance #education #hybrid #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 #hybrid #slicing
A Hybrid Program Slicing Framework (JR, BK), pp. 14–25.
STOCSTOC-2001-Trakhtenbrot #automaton
Automata, circuits and hybrids: facets of continuous time (BAT), pp. 754–755.
ICALPICALP-2001-Trakhtenbrot #automaton
Automata, Circuits, and Hybrids: Facets of Continuous Time (BAT), pp. 4–23.
CIKMCIKM-2001-KimLJH #algorithm #hybrid #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 #hybrid
Filters, Wrappers and a Boosting-Based Hybrid for Feature Selection (SD), pp. 74–81.
MLDMMLDM-2001-PernerB #data mining #hybrid #mining
A Hybrid Tool for Data Mining in Picture Archiving System (PP, TPB), pp. 141–156.
SEKESEKE-2001-WangenheimLW #approach #hybrid #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 #hybrid #multi #problem #search-based
A hybrid genetic algorithm for the point to multipoint routing problem with single split paths (PG, RLW), pp. 327–332.
LCTESLCTES-OM-2001-KimH #embedded #hybrid #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 #hybrid
The Hybrid µ-Calculus (US, MYV), pp. 76–91.
LICSLICS-2001-AsarinB #hybrid #turing machine
Perturbed Turing Machines and Hybrid Systems (EA, AB), pp. 269–278.
TACASTACAS-2000-HenzingerM #hybrid #model checking
Symbolic Model Checking for Rectangular Hybrid Systems (TAH, RM), pp. 142–156.
WRLAWRLA-2000-OlveczkyM #hybrid #maude #realtime #simulation
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems (PCÖ, JM), pp. 361–382.
ICMLICML-2000-SilvaL #hybrid #learning
Obtaining Simplified Rule Bases by Hybrid Learning (RBdAeS, TBL), pp. 879–886.
ICPRICPR-v2-2000-GuoM #approach #automation #feature model #hybrid #statistics
Automatic Feature Selection — A Hybrid Statistical Approach (HG, YLM), pp. 2382–2385.
ICPRICPR-v2-2000-PodolakLBM #hybrid
A Hybrid Neural System for Phonematic Transformation (ITP, SWL, AB, EM), pp. 2957–2960.
ICPRICPR-v2-2000-StainvasI #architecture #hybrid #network #recognition
Blurred Face Recognition via a Hybrid Network Architecture (IS, NI), pp. 2805–2808.
ICPRICPR-v4-2000-BrakensiekWR #documentation #hybrid #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 #hybrid #process
Hybrid Poisson process (AF), pp. 474–479.
TOOLSTOOLS-ASIA-2000-Taibi #development #hybrid #object-oriented #process
Hybrid Object-Oriented Method (HOOM): The Software Development Process (TT), pp. 8–17.
TOOLSTOOLS-ASIA-2000-ZhengZYW #compilation #concurrent #design #hybrid #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 #hybrid #problem #scalability #scheduling
A Hybrid Approach for Solving Large Scale Crew Scheduling Problems (THY, AVM, CCdS), pp. 293–307.
SACSAC-2000-LohHTN #concurrent #database #hybrid #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 #hybrid
An Evolutionary Hybrid Approach to the Design of a Decision Support System (VL, AS, RT, SS), pp. 524–528.
LCTESLCTES-2000-AmnellDY #hybrid #realtime
A Real-Time Animator for Hybrid Systems (TA, AD, WY), pp. 134–145.
CAVCAV-2000-CassezL #constraints #hybrid #model checking
Model-Checking for Hybrid Systems by Quotienting and Constraints Solving (FC, FL), pp. 373–388.
DATEDATE-1999-BolsensMDBV #hybrid #integration
Single Chip or Hybrid System Integration (IB, WM, LD, JB, HJMV), p. 616–?.
ICDARICDAR-1999-BrakensiekKWWR #evaluation #hybrid #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 #hybrid #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 #hybrid
An Adaptive Hybrid Server Architecture for Client Caching ODBMSs (KV, MTÖ, RCU), pp. 150–161.
WCREWCRE-1999-DemeyerDL #approach #hybrid #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 #hybrid #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 #hybrid
Augmented Surfaces: A Spatially Continuous Work Space for Hybrid Computing Environments (JR, MS), pp. 378–385.
HCIHCI-CCAD-1999-NabeshimaTSNIOKS #hybrid #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 #hybrid #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–?.
PADLPADL-1999-DemoenS #approach #chat #named
CHAT: The Copy-Hybrid Approach to Tabling (BD, KFS), pp. 106–121.
SACSAC-1999-Sabharwal #approach #database #hybrid #image #implementation
An Implementation of Hybrid Approach to Indexing Image Databases (CLS), pp. 421–426.
CSLCSL-1999-ArecesBM #complexity #hybrid #logic
A Road-Map on Complexity for Hybrid Logics (CA, PB, MM), pp. 307–321.
CSLCSL-1999-Franzle #analysis #hybrid #infinity
Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States (MF), pp. 126–140.
ICLPICLP-1999-CiarliniF #execution #hybrid #symbolic computation
Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems (AEMC, TWF), p. 606.
DACDAC-1998-AzizKS #hybrid #simulation #using #verification
Hybrid Verification Using Saturated Simulation (AA, JHK, TRS), pp. 615–618.
DACDAC-1998-LuoWA #functional #hybrid #performance #simulation
Hybrid Techniques for Fast Functional Simulation (YL, TW, AA), pp. 664–667.
DATEDATE-1998-GrimmW #clustering #hybrid
Repartitioning and Technology-Mapping of Electronic Hybrid Systems (CG, KW), pp. 52–58.
ICPRICPR-1998-BukerK #hybrid #learning
Learning in an active hybrid vision system (UB, BK), pp. 178–181.
ICPRICPR-1998-KnerrA #hybrid #markov #recognition #word
A neural network-hidden Markov model hybrid for cursive word recognition (SK, EA), pp. 1518–1520.
ICPRICPR-1998-KummertFSB #hybrid #image #recognition #sequence
Hybrid object recognition in image sequences (FK, GAF, GS, EB), pp. 1165–1170.
ICPRICPR-1998-RigollKW #approach #hybrid #recognition #scalability
A new hybrid approach to large vocabulary cursive handwriting recognition (GR, AK, DW), pp. 1512–1514.
ICPRICPR-1998-ShahA #architecture #classification #hybrid #performance #reasoning
A hybrid architecture for performance reasoning in classification systems (SS, JKA), pp. 326–330.
ICSEICSE-1998-BriandEB #assessment #benchmark #estimation #hybrid #metric #named #risk management
COBRA: A Hybrid Method for Software Cost Estimation, Benchmarking, and Risk Assessment (LCB, KEE, FB), pp. 390–399.
DACDAC-1997-TsaiCLB #algorithm #hybrid
A Hybrid Algorithm for Test Point Selection for Scan-Based BIST (HCT, KTC, CJL, SB), pp. 478–483.
DATEEDTC-1997-ChiusanoCPR #graph #hybrid #problem
Hybrid symbolic-explicit techniques for the graph coloring problem (SC, FC, PP, MSR), pp. 422–426.
ICDARICDAR-1997-TeoS #classification #hybrid
A Hybrid Classifier for Recognizing Handwritten Numerals (RYMT, RS), pp. 283–287.
VLDBVLDB-1997-StathatosRB #adaptation #hybrid #network
Adaptive Data Broadcast in Hybrid Networks (KS, NR, JSB), pp. 326–335.
DLTDLT-1997-Mihalache #communication #hybrid #parallel
Hybrid Parallel Communicating Grammar Systems (VM), pp. 175–189.
ICALPICALP-1997-HenzingerK97a #automaton #hybrid
Discrete-Time Control for Rectangular Hybrid Automata (TAH, PWK), pp. 582–593.
HCIHCI-SEC-1997-BaconS #3d #representation
Hybridization of Classical Documentary Techniques and Techniques of Three Dimensional Representation in Space: Dynamical Constitution of Virtual Scenes (JB, XS), pp. 925–928.
SACSAC-1997-ChristensenWS #algorithm #hybrid #multi #problem
A hybrid algorithm for the point to multipoint routing problem (HLC, RLW, DAS), pp. 263–268.
SACSAC-1997-KaiserLMGP #algorithm #hybrid #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
Hybrid search algorithms (RPP, JL, SAS), pp. 269–273.
SACSAC-1997-SurmaS #communication #hybrid #parallel #scheduling
Hybrid static-dynamic communication scheduling for parallel systems (DRS, EHMS), pp. 374–379.
SOSPSOSP-1997-CastroALM #adaptation #distributed #hybrid #named
HAC: Hybrid Adaptive Caching for Distributed Storage Systems (MC, AA, BL, ACM), pp. 102–115.
CADECADE-1997-FeltyH #hybrid #interactive #proving #theorem proving #using
Hybrid Interactive Theorem Proving Using Nuprl and HOL (APF, DJH), pp. 351–365.
CAVCAV-1997-BoigelotBR #analysis #hybrid #linear #reachability
An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract) (BB, LB, SR), pp. 167–178.
CAVCAV-1997-HenzingerHW #hybrid #model checking #named
HYTECH: A Model Checker for Hybrid Systems (TAH, PHH, HWT), pp. 460–463.
ICLPICLP-1997-DekhtyarS #hybrid #probability #source code
Hybrid Probabilistic Programs (AD, VSS), pp. 391–405.
DACDAC-1996-ChengCWM #estimation #hybrid
A New Hybrid Methodology for Power Estimation (DIC, KTC, DCW, MMS), pp. 439–444.
SASSAS-1996-RouxR #automaton #decidability #hybrid
Uniformity for the Decidability of Hybrid Automata (OFR, VR), pp. 301–316.
ICPRICPR-1996-Ayoung-CheeDF #3d #hybrid #representation #using
Enhanced 3D representation using a hybrid model (NAC, GD, FPF), pp. 575–579.
ICPRICPR-1996-BalaDHVW #architecture #detection #hybrid #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 #hybrid #recognition
A hybrid feature extraction framework for handwritten numeric fields recognition (JHC, PDG), pp. 436–440.
KDDKDD-1996-CiesielskiP #bibliography #database #hybrid #mining #using
Using a Hybrid Neural/Expert System for Data Base Mining in Market Survey Data (VC, GP), pp. 38–43.
KDDKDD-1996-Kohavi #classification #hybrid #scalability
Scaling Up the Accuracy of Naive-Bayes Classifiers: A Decision-Tree Hybrid (RK), pp. 202–207.
SEKESEKE-1996-ChenKPS #development #hybrid #information management #process
The Development of Hybrid Information Systems: a Process Model an Methodology (XC, SK, IP, PS), pp. 51–58.
SACSAC-1996-MerkleGLGP #algorithm #energy #hybrid #search-based
Hybrid genetic algorithms for polypeptide energy minimization (LDM, RLG, GBL, GHGJ, RP), pp. 305–311.
HPCAHPCA-1996-AndersonK #adaptation #hybrid #protocol
Two Adaptive Hybrid Cache Coherency Protocols (CA, ARK), pp. 303–313.
LICSLICS-1996-Henzinger #automaton #formal method #hybrid
The Theory of Hybrid Automata (TAH), pp. 278–292.
ICDARICDAR-v1-1995-GillouxLL #hybrid #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 #hybrid #invariant #recognition
Zoning invariant holistic recognizer for hybrid recognition of handwriting (RKP, NS, RJW), pp. 64–67.
STOCSTOC-1995-HenzingerKPV #automaton #decidability #hybrid #question #what
What’s decidable about hybrid automata? (TAH, PWK, AP, PV), pp. 373–382.
ICALPICALP-1995-Henzinger95a #automaton #bisimulation #finite #hybrid
Hybrid Automata with Finite Bisimulatioins (TAH), pp. 324–335.
CIKMCIKM-1995-ParkST #algorithm #concurrent #detection #distributed #generative #graph #hybrid
A Distributed Deadlock Detection and Resolution Algorithm Based on A Hybrid Wait-for Graph and Probe Generation Scheme (YCP, PS, HLT), pp. 378–386.
SACSAC-1995-Goonatilake #hybrid
Intelligent hybrid systems for financial decision making (SG), pp. 471–476.
SACSAC-1995-ThuenteS #algorithm #hybrid #problem #programming #search-based
Mathematical programming in a hybrid genetic algorithm for Steiner point problems (DJT, PS), pp. 357–363.
FSEFSE-1995-GuptaS #approach #hybrid #information management #slicing #using
Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information (RG, MLS), pp. 29–40.
HPCAHPCA-1995-TheobaldHG #design #hybrid
A Design Frame for Hybrid Access Caches (KBT, HHJH, GRG), pp. 144–153.
HPDCHPDC-1995-Sivalingam #hybrid #network #protocol
Hybrid Media Access Protocols for a DSM System Based on Optical WDM Networks (KMS), pp. 40–47.
LCTESLCT-RTS-1995-LeeLK #hybrid #scheduling
Scheduling of Hard Aperiodic Tasks in Hybrid Static/Dynamic Priority Systems (JL, SL, HK), pp. 7–19.
CAVCAV-1995-BouajjaniLR #automaton #calculus #hybrid #linear
From Duration Calculus To Linear Hybrid Automata (AB, YL, RR), pp. 196–210.
CAVCAV-1995-BouajjaniR #hybrid #linear #subclass #verification
Verifying ω-Regular Properties for a Subclass of Linear Hybrid Systems (AB, RR), pp. 437–450.
CAVCAV-1995-HenzingerH #algorithm #analysis #hybrid
Algorithmic Analysis of Nonlinear Hybrid Systems (TAH, PHH), pp. 225–238.
ICLPICLP-1995-Hausman #erlang #hybrid #implementation
Hybrid Implementation Techniques in Erlang BEAM (BH), p. 816.
DACDAC-1994-BuiM #algorithm #clustering #hybrid #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 #hybrid #modelling #on the #set
On the Computation of the Set of Reachable States of Hybrid Models (ASK, KTC), pp. 615–621.
SASSAS-1994-HalbwachsPR #approximate #hybrid #linear #verification
Verification of Linear Hybrid Systems by Means of Convex Approximations (NH, YEP, PR), pp. 223–237.
TOOLSTOOLS-EUROPE-1994-KarakostasP #automation #c++ #hybrid #logic #specification
Automatic Transformation of Hybrid Object and Logic Specification to C++ Code (VK, LP), pp. 363–373.
PPDPPLILP-1994-HundehegeLX #hybrid #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.
SACSAC-1994-GrissW #flexibility #hybrid
Hybrid domain-specific kits for a flexible software factory (MLG, KDW), pp. 47–52.
SACSAC-1994-WongD #hybrid #stack #thread #using
Supporting thousands of threads using a hybrid stack sharing scheme (KFW, BD), pp. 493–498.
CAVCAV-1994-BouajjaniER #hybrid #linear #using #verification
Verification of Context-Free Timed Systems Using Linear Hybrid Observers (AB, RE, RR), pp. 118–131.
CAVCAV-1994-McManisV #automaton #decidability #hybrid
Suspension Automata: A Decidable Class of Hybrid Automata (JM, PV), pp. 105–117.
CAVCAV-1994-OliveroSY #abstraction #hybrid #linear #using #verification
Using Abstractions for the Verification of Linear Hybrid Systems (AO, JS, SY), pp. 81–94.
CAVCAV-1994-PuriV #decidability #difference #hybrid
Decidability of Hybrid Systems with Rectangular Differential Inclusion (AP, PV), pp. 95–104.
CAVCAV-1994-Schubert #hardware #hybrid #reasoning
A Hybrid Model for Reasoning about Composed Hardware Systems (ETS), pp. 260–272.
ICLPICLP-1994-MoolenaarD #hybrid
Hybrid Tree Search in the Andorra Model (RM, BD), pp. 110–123.
ASEKBSE-1993-KingstonVD #approach #development #evaluation #hybrid #using
Development of an Expert Assistant for Software Evaluation using a Hybrid Approach (GK, RV, PD), p. 26.
ICDARICDAR-1993-OkamotoT #hybrid #segmentation
A hybrid page segmentation method (MO, MT), pp. 743–746.
WCREWCRE-1993-Quilici #approach #hybrid #programming
A Hybrid Approach to Recognizing Programming Plans (AQ), pp. 126–133.
HCIHCI-SHI-1993-MilechWNRK #hybrid #modelling #student
Student Modelling in Hybrid Training Systems (DM, BW, SN, GGR, KK), pp. 754–759.
CIKMCIKM-1993-GolverRO #hybrid #pattern matching #pattern recognition #recognition #self
Hybrid Pattern Recognition System Capable of Self-Modification (CWG, NSVR, EMO), pp. 239–244.
CIKMCIKM-1993-ShinLYC #hybrid #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 #hybrid #library
An Extensible Communication Class Library for Hybrid Distributed Systems (RP, RW), pp. 431–437.
SACSAC-1993-RankinWHS #algorithm #evaluation #hybrid #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 #hybrid #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 #hybrid
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 #hybrid #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 #hybrid #logic programming
Hybrid Systems and Constraint Logic Programming (AN, WK), pp. 18–24.
ESOPESOP-1992-BenvenisteBG #hybrid #realtime
SIGNAL as a Model for Real-Time and Hybrid Systems (AB, MLB, PLG), pp. 20–38.
KRKR-1992-Jang #feedback #hybrid #information management #representation
Knowledge Representation and Incorporation in a Hybrid System with Feedback (YJ), pp. 477–488.
ASPLOSASPLOS-1992-VeenstraF #evaluation #hybrid #performance #protocol
A Performance Evaluation of Optimal Hybrid Cache Coherency Protocols (JEV, RJF), pp. 149–160.
KRKR-1991-Myers #integration #logic
Universal Attachment: An Integration Method for Logic Hybrids (KLM), pp. 405–416.
ICMLML-1991-FawcettU #generative #hybrid
A Hybrid Method for Feature Generation (TF, PEU), pp. 137–141.
ICMLML-1991-GratchD #approach #effectiveness #hybrid
A Hybrid Approach to Guaranteed Effective Control Strategies (JG, GD), pp. 509–513.
SIGIRSIGIR-1991-LuoY #algorithm #hybrid #image
Image Decompression: A Hybrid Image Decompressing Algorithm (CL, CTY), pp. 82–91.
ECOOPECOOP-1991-MatsuokaWY #architecture #concurrent #hybrid #object-oriented #programming
Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming (SM, TW, AY), pp. 231–250.
VLDBVLDB-1990-AgrawalJ #algorithm #hybrid #transitive
Hybrid Transitive Closure Algorithms (RA, HVJ), pp. 326–334.
VLDBVLDB-1990-GhandeharizadehD #clustering #database #multi
Hybrid-Range Partitioning Strategy: A New Declustering Strategy for Multiprocessor Database Machines (SG, DJD), pp. 481–492.
ICGTGG-1990-Schurr90a #editing #graph grammar #hybrid #term rewriting
Presentation of the PROGRESS-Editor: A text-oriented hybrid editor for PROgrammed Graph REwriting SyStems (AS), p. 67.
PPDPALP-1990-Walters #algebra #hybrid #implementation #specification
Hybrid Implementations of Algebraic Specifications (HRW), pp. 40–54.
POPLPOPL-1990-MarloweR #algorithm #analysis #data flow #hybrid #incremental #performance
An Efficient Hybrid Algorithm for Incremental Data Flow Analysis (TJM, BGR), pp. 184–196.
CCCC-1990-Dobler #hybrid #parsing #top-down
A Hybrid Top-Down Parsing Technique (Abstract) (HD), pp. 210–211.
DACDAC-1989-PreasPC #automation #hybrid #layout
Automatic Layout of Silicon-on-Silicon Hybrid Packages (BP, MP, DC), pp. 394–399.
VLDBVLDB-1989-KitsuregawaNT #hybrid
The Effect of Bucket Size Tuning in the Dynamic Hybrid GRACE Hash Join Method (MK, MN, MT), pp. 257–266.
KRKR-1989-Cohn #framework #hybrid #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 #hybrid #reasoning
A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning (AMF), pp. 126–136.
ICMLML-1989-HilliardLRP #approach #classification #hybrid #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 #hybrid #learning #recursion
Generalized Recursive Splitting Algorithms for Learning Hybrid Concepts (BLL, DKT, SCYL), pp. 496–498.
SEKESEKE-1989-LiRPS #execution #hybrid #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 #hybrid #information management #representation
Object Formation in A Hybrid Knowledge Representation (STCW, JLW), pp. 42–47.
PODSPODS-1988-HerlihyW #concurrent #data type #hybrid
Hybrid Concurrency Control for Abstract Data Types (MH, WEW), pp. 201–210.
PLDIPLDI-1987-Pittman #execution #hybrid #interpreter #performance
Two-level hybrid interpreter/native code execution for combined space-time program efficiency (TP), pp. 150–152.
OOPSLAOOPSLA-1987-Nierstrasz #hybrid
Active Objects in Hybrid (ON), pp. 243–253.
ESECESEC-1987-EngelsS #development #hybrid #interpreter
A Hybrid Interpreter in a Software Development Environment (GE, AS), pp. 80–88.
DACDAC-1982-GingerichCCL #hybrid
A hybrid CAD/CAM system for mechanical applications (JZG, MPC, EJC, PKL), pp. 643–649.
DACDAC-1981-Haynie #automation #database #design #hybrid #network #relational
The relational/network Hybrid data model for Design Automation Databases (MNH), pp. 646–652.
DACDAC-1979-Sherwood #hybrid #logic #scheduling
A hybrid scheduling technique for hierarchical logic simulators or “Close Encounters of the Simulated Kind” (WS), pp. 249–254.
DACDAC-1977-Waldvogel #hybrid #multi #using
Computer designed multilayer hybrid substrate using thick film technology (CWW), pp. 351–353.
SOSPSOSP-1973-Svobodova #hybrid #metric #monitoring #online #performance
Online System Performance Measurements with Software and Hybrid Monitors (LS), pp. 45–53.
SIGMODSIGFIDET-1972-WalkerG #data type #hybrid
Hybrid Trees: A Data Structure for Lists of Keys (WAW, CCG), pp. 189–211.
SIGMODSIGFIDET-1970-DempseyM #hybrid #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.