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:
base (163)
model (153)
use (120)
system (106)
approach (94)

Stem combin$ (all stems)

1339 papers:

CASECASE-2015-NonakaSLNKK #analysis #simulation #statistics
The S-Model: A digital manufacturing system combined with autonomous statistical analysis and autonomous discrete-event simulation for smart manufacturing (YN, YS, AL, SN, KK, YK), pp. 1006–1011.
CASECASE-2015-ReisgenLMBW #modelling #process #quality
Process control of gas metal arc welding processes by optical weld pool observation with combined quality models (UR, PL, SM, GB, KW), pp. 407–410.
DATEDATE-2015-Leger #adaptation #multi
Combining adaptive alternate test and multi-site (GL), pp. 1389–1394.
DATEDATE-2015-WengCCHW #using
Using structural relations for checking combinationality of cyclic circuits (WCW, YCC, JHC, CYH, CYW), pp. 325–328.
DocEngDocEng-2015-WidlocherBLMR #information retrieval
Combining Advanced Information Retrieval and Text-Mining for Digital Humanities (AW, NB, JML, YM, JR), pp. 157–166.
DRRDRR-2015-MiouletBCPB #architecture #multi #network #recognition
Exploring multiple feature combination strategies with a recurrent neural network architecture for off-line handwriting recognition (LM, GB, CC, TP, SB).
DRRDRR-2015-PengCN #approach #using
Boost OCR accuracy using iVector based system combination approach (XP, HC, PN).
HTHT-2015-SongFGWCZ #graph #microblog #word
Build Emotion Lexicon from Microblogs by Combining Effects of Seed Words and Emoticons in a Heterogeneous Graph (KS, SF, WG, DW, LC, CZ), pp. 283–292.
PODSPODS-2015-MartensNNS #named #xml
BonXai: Combining the simplicity of DTD with the expressiveness of XML Schema (WM, FN, MN, TS), pp. 145–156.
ESOPESOP-2015-CastagnaI0B #calculus #pattern matching #xquery
A Core Calculus for XQuery 3.0 — Combining Navigational and Pattern Matching Approaches (GC, HI, KN, VB), pp. 232–256.
ICPCICPC-2015-YanoKII #interactive #library #named #visualisation
VerXCombo: an interactive data visualization of popular library version combinations (YY, RGK, TI, KI), pp. 291–294.
ICSMEICSME-2015-IloGABG #repository
Combining software interrelationship data across heterogeneous software repositories (NI, JG, TA, MB, TG), pp. 571–575.
ICSMEICSME-2015-Yamashita #analysis #assessment #benchmark #case study #experience #metric #quality #visualisation
Experiences from performing software quality evaluations via combining benchmark-based metrics analysis, software visualization, and expert assessment (AY), pp. 421–428.
CHICHI-2015-JokelaOO #multi #process
A Diary Study on Combining Multiple Information Devices in Everyday Activities and Tasks (TJ, JO, TO), pp. 3903–3912.
HCIDHM-EH-2015-CheffiRBBS #approach #cost analysis #feedback #optimisation
A Bi-level Optimization Approach to Get an Optimal Combination of Cost Functions for Pilot’s Arm Movement: The Case of Helicopter’s Flying Aid Functions with Haptic Feedback (SC, TR, LB, PB, JCS), pp. 248–257.
HCIDHM-EH-2015-YamamotoBAKHJSO #music
The Transfer of Expertise in Conducting a Participatory Music Therapy During a Combined Rehabilitation-Recreational Program in an Elderly Care Facility (AY, HCBJ, TA, HK, KH, MJ, MS, TO, AG, NK, NK, HH), pp. 500–511.
HCIDUXU-DD-2015-CamposBFNC #experience #guidelines #heuristic #industrial #multimodal
Combining Principles of Experience, Traditional Heuristics and Industry Guidelines to Evaluate Multimodal Digital Artifacts (FC, RB, WF, EVN, WC), pp. 130–137.
HCIDUXU-DD-2015-XimenesAA #agile #design #project management
Software Project Management Combining Agile, Lean Startup and Design Thinking (BHX, INA, CCA), pp. 356–367.
HCIHIMI-IKD-2015-AinoyaKT
Proposal of New Lighting Which Combined Functionality of Street Light and Outdoor Light (TA, KK, AT), pp. 491–499.
ICEISICEIS-v1-2015-ConstantinonNS #heuristic
Combining Heuristic and Utility Function for Fair Train Crew Rostering (AAC, CFXdMN, AGN, AFdS), pp. 593–602.
ICEISICEIS-v1-2015-NouriDG #algorithm #flexibility #multi #problem #scheduling #search-based
Genetic Algorithm Combined with Tabu Search in a Holonic Multiagent Model for Flexible Job Shop Scheduling Problem (HEN, OBD, KG), pp. 573–584.
SEKESEKE-2015-GaoKN #set
Combining Feature Subset Selection and Data Sampling for Coping with Highly Imbalanced Software Data (KG, TMK, AN), pp. 439–444.
SEKESEKE-2015-XuSZ #algorithm #policy #testing
Fault-Based Testing of Combining Algorithms in XACML3.0 Policies (DX, NS, YZ), pp. 433–438.
SIGIRSIGIR-2015-SchamoniR #information retrieval #orthogonal #scalability
Combining Orthogonal Information in Large-Scale Cross-Language Information Retrieval (SS, SR), pp. 943–946.
PPDPPPDP-2015-Tarau #combinator #on the #representation
On a uniform representation of combinators, arithmetic, λ terms and types (PT), pp. 244–255.
SACSAC-2015-GomesBE #classification #data type #learning
Pairwise combination of classifiers for ensemble learning on data streams (HMG, JPB, FE), pp. 941–946.
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.
SACSAC-2015-SantosOCFTT #named #similarity
Combine-and-conquer: improving the diversity in similarity search through influence sampling (LFDS, WDO, LOC, MRPF, AJMT, CTJ), pp. 994–999.
ESEC-FSEESEC-FSE-2015-Konopka #dependence #eye tracking #identification #navigation
Combining eye tracking with navigation paths for identification of cross-language code dependencies (MK), pp. 1057–1059.
ESEC-FSEESEC-FSE-2015-ShiYGM #reduction #testing
Comparing and combining test-suite reduction and regression test selection (AS, TY, AG, DM), pp. 237–247.
ICSEICSE-v1-2015-HenardPHT #configuration management #constraints #multi #product line #scalability #theorem proving
Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines (CH, MP, MH, YLT), pp. 517–528.
ICSEICSE-v1-2015-SuFPHS #data flow #execution #model checking #symbolic computation #testing
Combining Symbolic Execution and Model Checking for Data Flow Testing (TS, ZF, GP, JH, ZS), pp. 654–665.
ICSEICSE-v2-2015-Imparato #android #testing #user interface
A Combined Technique of GUI Ripping and Input Perturbation Testing for Android Apps (GI), pp. 760–762.
ICSEICSE-v2-2015-Jazayeri #case study #experience #learning #programming
Combining Mastery Learning with Project-Based Learning in a First Programming Course: An Experience Report (MJ), pp. 315–318.
SLESLE-2015-KuehnBGA #formal method #relational
A combined formal model for relational context-dependent roles (TK, SB, SG, UA), pp. 113–124.
PPoPPPPoPP-2015-JinLMLLPCK #automation #benchmark #generative #identification #metric #modelling #parallel #statistics
Combining phase identification and statistic modeling for automated parallel benchmark generation (YJ, ML, XM, QL, JSL, NP, JYC, SK), pp. 269–270.
CADECADE-2015-ChocronFR #revisited
A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (PC, PF, CR), pp. 419–433.
CADECADE-2015-ZulkoskiGC #algebra #named #satisfiability
MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers (EZ, VG, KC), pp. 607–622.
ICSTICST-2015-HuuhtanenIL #algebra #algorithm #design #testing
Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms (TH, JI, CL), pp. 1–10.
LICSLICS-2015-FigueiraL #graph #logic #performance #query
Path Logics for Querying Graphs: Combining Expressiveness and Efficiency (DF, LL), pp. 329–340.
ECSAECSA-2014-GerdesLR #architecture #design #evolution #legacy
Combining Architectural Design Decisions and Legacy System Evolution (SG, SL, MR), pp. 50–57.
ASEASE-2014-CavalcantiMNAM #information retrieval #rule-based
Combining rule-based and information retrieval techniques to assign software change requests (YCC, IdCM, PAdMSN, ESdA, SRdLM), pp. 325–330.
DATEDATE-2014-Bautista-GomezCCDFGPRR #how #named #reliability
GPGPUs: How to combine high computational power with high reliability (LABG, FC, LC, ND, BF, SG, KP, PR, MSR), pp. 1–9.
DATEDATE-2014-BeckerNI #named #sketching
SKETCHILOG: Sketching combinational circuits (AB, DN, PI), pp. 1–4.
DATEDATE-2014-BiewerGH #novel #smt
A novel model for system-level decision making with combined ASP and SMT solving (AB, JG, CH), pp. 1–4.
DATEDATE-2014-DasKVBM
Combined DVFS and mapping exploration for lifetime and soft-error susceptibility improvement in MPSoCs (AD, AK, BV, CB, AM), pp. 1–6.
DATEDATE-2014-ParkKK #design #multi #synthesis
Mixed allocation of adjustable delay buffers combined with buffer sizing in clock tree synthesis of multiple power mode designs (KP, GK, TK), pp. 1–4.
SIGMODSIGMOD-2014-OkcanR #pipes and filters
Anti-combining for MapReduce (AO, MR), pp. 839–850.
VLDBVLDB-2014-JayachandranTKN #execution #interactive #query
Combining User Interaction, Speculative Query Execution and Sampling in the DICE System (PJ, KT, NK, AN), pp. 1697–1700.
FoSSaCSFoSSaCS-2014-ErbaturKMMNR #on the #problem #symmetry #unification
On Asymmetric Unification and the Combination Problem in Disjoint Theories (SE, DK, AMM, CM, PN, CR), pp. 274–288.
FoSSaCSFoSSaCS-2014-RotB #algebra #equation #semantics
Combining Bialgebraic Semantics and Equations (JR, MMB), pp. 381–395.
TACASTACAS-2014-LoweMW #analysis #contest
CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses — (Competition Contribution) (SL, MUM, PW), pp. 392–394.
SANERCSMR-WCRE-2014-VidacsBTSG #approach #detection #fault #locality #reduction #testing
Test suite reduction for fault detection and localization: A combined approach (LV, ÁB, DT, IS, TG), pp. 204–213.
ICSMEICSME-2014-KevicFS #approach #named #navigation
CoMoGen: An Approach to Locate Relevant Task Context by Combining Search and Navigation (KK, TF, DCS), pp. 61–70.
ICSMEICSME-2014-XuanM #fault #learning #locality #metric #multi #ranking
Learning to Combine Multiple Ranking Metrics for Fault Localization (JX, MM), pp. 191–200.
ICSMEICSME-2014-ZhouTGG #classification #data mining #debugging #mining
Combining Text Mining and Data Mining for Bug Report Classification (YZ, YT, RG, HCG), pp. 311–320.
MSRMSR-2014-RoblesRSVG #bibliography #challenge #dataset
FLOSS 2013: a survey dataset about free software contributors: challenges for curating, sharing, and combining (GR, LAR, AS, BV, JMGB), pp. 396–399.
PEPMPEPM-2014-KameyamaKS #code generation #combinator
Combinators for impure yet hygienic code generation (YK, OK, CcS), pp. 3–14.
PEPMPEPM-2014-PachecoHF #bidirectional #combinator #monad #programming
Monadic combinators for “Putback” style bidirectional programming (HP, ZH, SF), pp. 39–50.
SASSAS-2014-ToubhansCR #abstract domain #abstraction #combinator #memory management
An Abstract Domain Combinator for Separately Conjoining Memory Abstractions (AT, BYEC, XR), pp. 285–301.
SFMSFM-2014-BoerG #monitoring #runtime
Combining Monitoring with Run-Time Assertion Checking (FSdB, SdG), pp. 217–262.
IFLIFL-2014-LeF #functional #parallel
Combining Shared State with Speculative Parallelism in a Functional Language (ML, MF), p. 2.
CHICHI-2014-0002ACC #3d #animation #named
MotionMontage: a system to annotate and combine motion takes for 3D animations (AG, MA, BC, MFC), pp. 2017–2026.
CHICHI-2014-DontchevaMBG #crowdsourcing #learning #performance
Combining crowdsourcing and learning to improve engagement and performance (MD, RRM, JRB, EMG), pp. 3379–3388.
CHICHI-2014-SchwarzMLHM #gesture #interface
Combining body pose, gaze, and gesture to determine intention to interact in vision-based interfaces (JS, CCM, TL, SEH, JM), pp. 3443–3452.
CHICHI-2014-TanLS #case study #experience #game studies #video
Combining think-aloud and physiological data to understand video game experiences (CTT, TWL, SS), pp. 381–390.
HCIHCI-TMT-2014-BuchholzF #design #modelling #smarttech
Combining Design of Models for Smart Environments with Pattern-Based Extraction (GB, PF), pp. 285–294.
HCILCT-NLE-2014-AguadoFDGS #design #education
Course Sprints: Combining Teacher Training, Design Thinking and Hackathons (GA, CFB, MGD, RG, AVS), pp. 3–12.
HCILCT-TRE-2014-Castro #case study #collaboration #learning #named
Mosca — A Case Study on Collaborative Work — Combining Dimensions while Learning (SC), pp. 388–396.
VISSOFTVISSOFT-2014-HomerN
Combining Tiled and Textual Views of Code (MH, JN), pp. 1–10.
EDOCEDOC-2014-VenebergISB #architecture #enterprise
Enterprise Architecture Intelligence: Combining Enterprise Architecture and Operational Data (RKMV, MEI, MvS, LB), pp. 22–31.
ICEISICEIS-v1-2014-MamcenkoG #mobile #predict #using
Customer Churn Prediction in Mobile Operator Using Combined Model (JM, JG), pp. 233–240.
ICEISICEIS-v2-2014-BassoPRF #agile #case study #information management #modelling #web
Study on Combining Model-driven Engineering and Scrum to Produce Web Information Systems (FPB, RMP, FRF, RZF), pp. 137–144.
ICEISICEIS-v2-2014-SilvaTDO #process
Combining the Spray Technique with Routes to Improve the Routing Process in VANETS (MJdS, FAT, SED, RARO), pp. 583–590.
CIKMCIKM-2014-MaLG #collaboration #community #recommendation #trust
Improving Recommendation Accuracy by Combining Trust Communities and Collaborative Filtering (XM, HL, ZG), pp. 1951–1954.
ECIRECIR-2014-BelloginSVS #challenge #dataset #evaluation #web
Challenges on Combining Open Web and Dataset Evaluation Results: The Case of the Contextual Suggestion Track (AB, TS, APdV, AS), pp. 430–436.
ICPRICPR-2014-BylowOK #metric #robust
Robust Camera Tracking by Combining Color and Depth Measurements (EB, CO, FK), pp. 4038–4043.
ICPRICPR-2014-HadjadjiCG #classification #multi
Multiple One-Class Classifier Combination for Multi-class Classification (BH, YC, YG), pp. 2832–2837.
ICPRICPR-2014-PlanincK #modelling
Combining Spatial and Temporal Information for Inactivity Modeling (RP, MK), pp. 4234–4239.
ICPRICPR-2014-SjolundJAKN #segmentation
Skull Segmentation in MRI by a Support Vector Machine Combining Local and Global Features (JS, AEJ, MTA, HK, HN), pp. 3274–3279.
ICPRICPR-2014-SmedtBTG #combinator #detection #multi
The Combinator: Optimal Combination of Multiple Pedestrian Detectors (FDS, KVB, TT, TG), pp. 3522–3527.
ICPRICPR-2014-UbukataSTMKMU #detection #image #performance #segmentation
Fast Human Detection Combining Range Image Segmentation and Local Feature Based Detection (TU, MS, KT, AM, TK, GM, KU), pp. 4281–4286.
ICPRICPR-2014-WangSY #realtime #segmentation
Real-Time Tracking Combined with Object Segmentation (HW, NS, YY), pp. 4098–4103.
KDDKDD-2014-XieGFTY
Class-distribution regularized consensus maximization for alleviating overfitting in model combination (SX, JG, WF, DST, PSY), pp. 303–312.
KDIRKDIR-2014-LiuF14a #analysis #classification #n-gram #sentiment #similarity #web
Combining N-gram based Similarity Analysis with Sentiment Analysis in Web Content Classification (SL, TF), pp. 530–537.
KDIRKDIR-2014-OliveiraBSC #automation #classification #clustering #twitter
Combining Clustering and Classification Approaches for Reducing the Effort of Automatic Tweets Classification (EO, HGB, MRS, PMC), pp. 465–472.
KDIRKDIR-2014-PlansangketG #evaluation #performance #query #retrieval #state of the art
Performance Evaluation of State-of-the-Art Ranked Retrieval Methods and Their Combinations for Query Suggestion (SP, JQG), pp. 141–148.
KRKR-2014-GottlobMP #polynomial
Polynomial Combined Rewritings for Existential Rules (GG, MM, AP).
MLDMMLDM-2014-SenkoD #multi
Multiple Regression Method Based on Unexpandable and Irreducible Convex Combinations (OVS, AD), pp. 43–57.
RecSysRecSys-2014-LingLK #approach #recommendation
Ratings meet reviews, a combined approach to recommend (GL, MRL, IK), pp. 105–112.
SEKESEKE-2014-SalmanSD #clustering #feature model #information retrieval
Feature Location in a Collection of Product Variants: Combining Information Retrieval and Hierarchical Clustering (HES, AS, CD), pp. 426–430.
ICMTICMT-2014-GonzalezC #analysis #constraints #generative #model transformation #testing
Test Data Generation for Model Transformations Combining Partition and Constraint Analysis (CAG, JC), pp. 25–41.
OOPSLAOOPSLA-2014-JonnalageddaCSRO #combinator #parsing #performance #staged
Staged parser combinators for efficient data processing (MJ, TC, SS, TR, MO), pp. 637–653.
PPDPPPDP-2014-Haemmerle #constraints #logic programming #on the
On Combining Backward and Forward Chaining in Constraint Logic Programming (RH), pp. 213–224.
PPDPPPDP-2014-SchrijversWDD #functional #heuristic #implementation #logic programming #specification
Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation (TS, NW, BD, BD), pp. 259–270.
POPLPOPL-2014-CasinghinoSW #proving #source code
Combining proofs and programs in a dependently typed language (CC, VS, SW), pp. 33–46.
RERE-2014-BhowmikNMS #automation #requirements
Automated support for combinational creativity in requirements engineering (TB, NN, AM, JS), pp. 243–252.
RERE-2014-LiuSYM14a #feature model #reasoning #requirements
Combined goal and feature model reasoning with the User Requirements Notation and jUCMNav (YL, YS, XY, GM), pp. 321–322.
RERE-2014-WohlrabGKB #experience #industrial #performance #requirements
Experience of pragmatically combining RE methods for performance requirements in industry (RW, TdG, AK, SB), pp. 344–353.
SACSAC-2014-ChenML #case study #education #research #testing
Combining research and education of software testing: a preliminary study (ZC, AM, BL), pp. 1179–1180.
SACSAC-2014-CostaTT #image #named #performance
MFS-Map: efficient context and content combination to annotate images (AFC, AJMT, CTJ), pp. 945–950.
SACSAC-2014-EngielCL #approach #concept #elicitation #using
Eliciting concepts from the Brazilian access law using a combined approach (PE, CC, JCSdPL), pp. 1001–1006.
SACSAC-2014-PessinOUWMV #evolution #learning #network #self
Self-localisation in indoor environments combining learning and evolution with wireless networks (GP, FSO, JU, DFW, RCM, PAV), pp. 661–666.
SLESLE-2014-Ridge #combinator #context-free grammar #parsing #performance #using
Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle (TR), pp. 261–281.
OSDIOSDI-2014-XieSK0YAM #database #distributed #named
Salt: Combining ACID and BASE in a Distributed Database (CX, CS, MK, YW, NY, LA, PM), pp. 495–509.
IJCARIJCAR-2014-ChocronFR #satisfiability
A Gentle Non-disjoint Combination of Satisfiability Procedures (PC, PF, CR), pp. 122–136.
LICSLICS-CSL-2014-AlurFR #combinator #string
Regular combinators for string transformations (RA, AF, MR), p. 10.
TAPTAP-2014-KosmatovS #analysis #runtime #tutorial
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses — Tutorial Synopsis (NK, JS), pp. 165–168.
VMCAIVMCAI-2014-Ferrara #abstract interpretation #analysis
Generic Combination of Heap and Value Analyses in Abstract Interpretation (PF), pp. 302–321.
VMCAIVMCAI-2014-Fu #abstract domain #analysis #java #points-to #scalability
Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java (ZF), pp. 282–301.
QoSAQoSA-2013-BerardinelliLM #analysis #execution #non-functional
Combining fUML and profiles for non-functional analysis based on model execution traces (LB, PL, TM), pp. 79–88.
DATEDATE-2013-FarisiBCS #automation #implementation #multi
An automatic tool flow for the combined implementation of multi-mode circuits (BAF, KB, JMPC, DS), pp. 821–826.
DATEDATE-2013-HameedBH #adaptation #multi
Adaptive cache management for a combined SRAM and DRAM cache hierarchy for multi-cores (FH, LB, JH), pp. 77–82.
DATEDATE-2013-LorenteVSPCLD #power management #ram
Combining RAM technologies for hard-error recovery in L1 data caches working at very-low power modes (VL, AV, JS, SP, RC, PL, JD), pp. 83–88.
DRRDRR-2013-LundKR #multi
Combining multiple thresholding binarization values to improve OCR output (WBL, DJK, EKR).
DRRDRR-2013-NayefB #geometry
Combining geometric matching with SVM to improve symbol spotting (NN, TMB).
DRRDRR-2013-SchusterHME #documentation #how #rule-based
Rule-based versus training-based extraction of index terms from business documents: how to combine the results (DS, MH, KM, DE).
DRRDRR-2013-SrihariKTB #using #verification
Combining evidence using likelihood ratios in writer verification (SNS, DK, YT, GRB).
DRRDRR-2013-ZhangZLT #modelling #recognition
Combining discriminative SVM models for the improved recognition of investigator names in medical articles (XZ, JZ, DXL, GRT).
HTHT-2013-AtzenbeckBAM #multi #named
TouchStory: combining hyperfiction and multitouch (CA, MB, MAAS, SM), pp. 189–195.
ICDARICDAR-2013-DoTT #approach #recognition #representation
New Approach for Symbol Recognition Combining Shape Context of Interest Points with Sparse Representation (THD, ST, ORT), pp. 265–269.
ICDARICDAR-2013-HebertNP #documentation #framework #image
Discrete CRF Based Combination Framework for Document Image Binarization (DH, SN, TP), pp. 1165–1169.
ICDARICDAR-2013-HuC #classification #pseudo #using #verification
Offline Signature Verification Using Real Adaboost Classifier Combination of Pseudo-dynamic Features (JH, YC), pp. 1345–1349.
ICDARICDAR-2013-MiyoshiNS #image #using
Moment-Based Character-Normalization Methods Using a Contour Image Combined with an Original Image (TM, TN, HS), pp. 1066–1070.
ICDARICDAR-2013-NeumannM #multi #on the #recognition
On Combining Multiple Segmentations in Scene Text Recognition (LN, JM), pp. 523–527.
ICDARICDAR-2013-ToyamaDSK #artificial reality #documentation #eye tracking #retrieval #smarttech
Wearable Reading Assist System: Augmented Reality Document Combining Document Retrieval and Eye Tracking (TT, AD, WS, KK), pp. 30–34.
ICDARICDAR-2013-ZhuSSGN #2d #online #recognition #using #word
Online Handwritten Cursive Word Recognition Using Segmentation-Free MRF in Combination with P2DBMN-MQDF (BZ, AS, SS, VG, MN), pp. 349–353.
SIGMODSIGMOD-2013-VartakM #named #recommendation
CHIC: a combination-based recommendation system (MV, SM), pp. 981–984.
VLDBVLDB-2014-HeiseQAJN13 #scalability
Scalable Discovery of Unique Column Combinations (AH, JAQR, ZA, AJ, FN), pp. 301–312.
FASEFASE-2013-HaslingerLE #feature model #modelling #on the #set
On Extracting Feature Models from Sets of Valid Feature Combinations (ENH, RELH, AE), pp. 53–67.
TACASTACAS-2013-Wendler #analysis #contest
CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis — (Competition Contribution) (PW), pp. 613–615.
ICSMEICSM-2013-LabicheKM #analysis #diagrams
Combining Static and Dynamic Analyses to Reverse-Engineer Scenario Diagrams (YL, BK, HM), pp. 130–139.
WCREWCRE-2013-BantelayZK #commit #interactive
Comparing and combining evolutionary couplings from interactions and commits (FB, MBZ, HHK), pp. 311–320.
PLDIPLDI-2013-ApinisSV #equation #how
How to combine widening and narrowing for non-monotonic systems of equations (KA, HS, VV), pp. 377–386.
CIAACIAA-2013-BrzozowskiL #complexity
Universal Witnesses for State Complexity of Basic Operations Combined with Reversal (JAB, DL), pp. 72–83.
ICALPICALP-v1-2013-DemaineILO
Combining Binary Search Trees (EDD, JI, SL, ÖÖ), pp. 388–399.
SEFMSEFM-2013-BennaceurCIJ #automation #behaviour #ontology #reasoning #synthesis
Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning (AB, CC, MI, BJ), pp. 274–288.
ICFPICFP-2013-Chlipala #generative #hoare #logic #metaprogramming #verification
The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier (AC), pp. 391–402.
GT-VMTGT-VMT-2013-WinetzhammerW #behaviour #emf #modelling #rule-based
ModGraph meets Xcore: Combining Rule-Based and Procedural Behavioral Modeling for EMF (SW, BW).
CHICHI-2013-CrossBCAT #education #named #online
TypeRighting: combining the benefits of handwriting and typeface in online educational videos (AC, MB, EC, AA, WT), pp. 793–796.
CHICHI-2013-HaraLF #artificial reality #crowdsourcing #identification #problem
Combining crowdsourcing and google street view to identify street-level accessibility problems (KH, VL, JF), pp. 631–640.
CHICHI-2013-ZadowBHBSD #education #interactive #named #simulation
SimMed: combining simulation and interactive tabletops for medical education (UvZ, SB, TH, FB, KS, RD), pp. 1469–1478.
CSCWCSCW-2013-Heck #network #social
Combining social information for academic networking (TH), pp. 1387–1398.
HCIDHM-HB-2013-SchmuntzschYR #industrial #modelling
Combining Motion Capture and Digital Human Modeling for Creating Instructions in Industrial Settings (US, UY, MR), pp. 124–133.
HCIDUXU-CXC-2013-MarcusPL #design #learning #mobile #persuasion #user interface
The Learning Machine: Mobile UX Design That Combines Information Design with Persuasion Design (AM, YP, NL), pp. 247–256.
HCIDUXU-NTE-2013-MarcusA #design #mobile #persuasion #user interface
The Driving Machine: Mobile UX Design That Combines Information Design with Persuasion Design (AM, SA), pp. 140–149.
HCIDUXU-PMT-2013-ThomasJ #sorting
Merging Methodologies: Combining Individual and Group Card Sorting (RLT, IJ), pp. 417–426.
HCIDUXU-WM-2013-MarcusCNY #behaviour #design #mobile #persuasion #user interface
The Innovation Machine: Mobile UX Design Combining Information and Persuasion Design to Change Behavior (AM, MC, CN, AY), pp. 67–76.
HCIDUXU-WM-2013-MarcusSC #design #mobile #persuasion #user interface
The Travel Machine: Mobile UX Design That Combines Information Design with Persuasion Design (AM, TKS, LC), pp. 696–705.
HCIHCI-III-2013-ShojiOKO #case study
A Study on Combinative Value Creation in Songs Selection (HS, JO, KK, AO), pp. 372–380.
HCIHCI-IMT-2013-RigasA13a #communication #interface #speech
Investigating the Impact of Combining Speech and Earcons to Communicate Information in E-government Interfaces (DR, BA), pp. 23–31.
ICEISICEIS-J-2013-YaguinumaMSCR13a #fuzzy #ontology #reasoning
Combining Fuzzy Ontology Reasoning and Mamdani Fuzzy Inference System with HyFOM Reasoner (CAY, WCPMJ, MTPS, HAC, MR), pp. 174–189.
ECIRECIR-2013-MiyanishiSU #microblog #topic
Combining Recency and Topic-Dependent Temporal Variation for Microblog Search (TM, KS, KU), pp. 331–343.
KDDKDD-2013-HarpazDLS #empirical
Empirical bayes model to combine signals of adverse drug reactions (RH, WD, PL, NHS), pp. 1339–1347.
KDDKDD-2013-ThorntonHHL #algorithm #classification #named #optimisation
Auto-WEKA: combined selection and hyperparameter optimization of classification algorithms (CT, FH, HHH, KLB), pp. 847–855.
KDDKDD-2013-ZhangWF #recommendation
Combining latent factor model with location features for event-based group recommendation (WZ, JW, WF), pp. 910–918.
KDIRKDIR-KMIS-2013-CherichiF #microblog
Relevant Information Discovery in Microblogs — Combining Post’s Features and Author’s Features to Improve Search Results (SC, RF), pp. 128–135.
KDIRKDIR-KMIS-2013-RaafatZR #database #named #semantics
Arabase — A Database Combining Different Arabic Resources with Lexical and Semantic Information (HMR, MAZ, MR), pp. 233–240.
MLDMMLDM-2013-SappP #classification #clustering #predict
Accuracy-Based Classification EM: Combining Clustering with Prediction (SS, AP), pp. 458–465.
SEKESEKE-2013-DengWH #algorithm #combinator #identification #multi #using
Combining multiple stress identification algorithms using combinatorial fusion (YD, ZW, DFH), pp. 421–428.
SEKESEKE-2013-JanesMSS #analysis #problem #programming #requirements
Domain Analysis in Combination with Extreme Programming toAddress Requirements Volatility Problems (S) (AJ, SM, AS, GS), pp. 226–231.
SEKESEKE-2013-MarcalGCJ #identification #mining #repository #using
Mining Software Repository to Identify Crosscutting Concerns Using Combined Techniques (S) (IM, REG, RCMC, COJ), pp. 338–343.
SIGIRSIGIR-2013-LimsopathamMO #learning
Learning to combine representations for medical records search (NL, CM, IO), pp. 833–836.
ECOOPECOOP-2013-LernerELK #source code #static typing
Combining Form and Function: Static Types for JQuery Programs (BSL, LE, JL, SK), pp. 79–103.
OOPSLAOOPSLA-2013-BhattacharyaGN #detection #program analysis
Combining concern input with program analysis for bloat detection (SB, KG, MGN), pp. 745–764.
OOPSLAOOPSLA-2013-MillerHBO #combinator #generative #object-oriented #performance
Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization (HM, PH, EB, MO), pp. 183–202.
SACSAC-2013-StevensonYDPMV #network #reasoning #resource management #self #semantics
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (GS, JY, SD, DP, SM, MV), pp. 1369–1376.
SACSAC-2013-WaflerH #analysis #approach #dependence #grid #modelling #smarttech
A combined structural and dynamic modelling approach for dependability analysis in smart grid (JW, PEH), pp. 660–665.
ICSEICSE-2013-BellomoNO #agile #case study
A study of enabling factors for rapid fielding: combined practices to balance speed and stability (SB, RLN, IO), pp. 982–991.
ICSEICSE-2013-CotroneoPR #testing
A learning-based method for combining testing techniques (DC, RP, SR), pp. 142–151.
ICSEICSE-2013-GivensCSY #grammar inference #user interface
Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference (PG, AC, SS, TY), pp. 1165–1168.
LCTESLCTES-2013-HuberPP #analysis #control flow #graph #using
Combined WCET analysis of bitcode and machine code using control-flow relation graphs (BH, DP, PPP), pp. 163–172.
CADECADE-2013-ErbaturKMNR
Hierarchical Combination (SE, DK, AMM, PN, CR), pp. 249–266.
CAVCAV-2013-ChagantyLNR #learning #relational #smt #using
Combining Relational Learning with SMT Solvers Using CEGAR (ATC, AL, AVN, SKR), pp. 447–462.
ICLPICLP-J-2013-GottlobMP #decidability #paradigm
Combining decidability paradigms for existential rules (GG, MM, AP), pp. 877–892.
ISSTAISSTA-2013-GuiSLSDW #model checking #predict #reliability #testing
Combining model checking and testing with an application to reliability prediction and distribution (LG, JS, YL, YJS, JSD, XW), pp. 101–111.
RTARTA-2013-AvanziniM #complexity #framework
A Combination Framework for Complexity (MA, GM), pp. 55–70.
VMCAIVMCAI-2013-ToubhansCR #abstract domain
Reduced Product Combination of Abstract Domains for Shapes (AT, BYEC, XR), pp. 375–395.
ASEASE-2012-NguyenNNLS #debugging #detection #information retrieval #modelling #topic
Duplicate bug report detection with a combination of information retrieval and topic modeling (ATN, TTN, TNN, DL, CS), pp. 70–79.
DACDAC-2012-Seshia #deduction #induction #named #synthesis #verification
Sciduction: combining induction, deduction, and structure for verification and synthesis (SAS), pp. 356–365.
DATEDATE-2012-CongHLZZ #replication #source code #streaming
Combining module selection and replication for throughput-driven streaming programs (JC, MH, BL, PZ, YZ), pp. 1018–1023.
DRRDRR-2012-ChengWAST #algorithm #classification #image #optimisation #visual notation
Graphical image classification combining an evolutionary algorithm and binary particle swarm optimization (BC, RW, SA, RJS, GRT).
DRRDRR-2012-KimLT #classification #identification
Combining SVM classifiers to identify investigator name zones in biomedical articles (JK, DXL, GRT).
DRRDRR-2012-SaldarriagaMV #ranking #word
Retrieving handwriting by combining word spotting and manifold ranking (SPS, EM, CVG).
DRRDRR-2012-Silva #algorithm #detection #evaluation #using
Using specific evaluation for comparing and combining competing algorithms: applying it to table column detection (ACeS).
SIGMODSIGMOD-2012-LuSLDWC #generative
Optimal top-k generation of attribute combinations based on ranked lists (JL, PS, CL, XD, SW, XC), pp. 409–420.
FASEFASE-2012-RubinC #product line
Combining Related Products into Product Lines (JR, MC), pp. 285–300.
FoSSaCSFoSSaCS-2012-BoveDS #automation #first-order #functional #interactive #reasoning #source code
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs (AB, PD, ASR), pp. 104–118.
FoSSaCSFoSSaCS-2012-MazzaR #abstraction #combinator #interactive #modelling #symmetry
Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators (DM, NJR), pp. 316–330.
SCAMSCAM-2012-GethersAP #concept #database #dependence #detection
Combining Conceptual and Domain-Based Couplings to Detect Database and Code Dependencies (MG, AA, DP), pp. 144–153.
SASSAS-2012-HenryMM #abstract interpretation #algorithm #analysis #evaluation
Succinct Representations for Abstract Interpretation — Combined Analysis Algorithms and Experimental Evaluation (JH, DM, MM), pp. 283–299.
CIAACIAA-2012-JahnKL
Regular Ideal Languages and Their Boolean Combinations (FJ, MK, AL), pp. 205–216.
ICALPICALP-v2-2012-BojanczykP #infinity #regular expression #set
Regular Languages of Infinite Trees That Are Boolean Combinations of Open Sets (MB, TP), pp. 104–115.
ICFPICFP-2012-Sheard #design #programming #reduction
Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages (TES), pp. 89–102.
ICFPICFP-2012-Siederdissen #combinator #performance #programming
Sneaking around concatMap: efficient combinators for dynamic programming (CHzS), pp. 215–226.
HILTHILT-2012-Kanig #ada #testing #verification
Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve — the hi-lite project (JK), pp. 5–6.
ICEISICEIS-J-2012-RibeiroFBKE #algorithm #approach #learning #markov #process
Combining Learning Algorithms: An Approach to Markov Decision Processes (RR, FF, MACB, ALK, FE), pp. 172–188.
CIKMCIKM-2012-NguyenDTH #power of
Federated search in the wild: the combined power of over a hundred search engines (DN, TD, DT, DH), pp. 1874–1878.
ECIRECIR-2012-Garcia-MoyaAL #modelling #probability #retrieval #sentiment
Combining Probabilistic Language Models for Aspect-Based Sentiment Retrieval (LGM, HAS, RBL), pp. 561–564.
ECIRECIR-2012-GeraniZC #linear #multi #ranking
Score Transformation in Linear Combination for Multi-criteria Relevance Ranking (SG, CZ, FC), pp. 256–267.
ECIRECIR-2012-TamFL #approach #automation #email
Automatic Foldering of Email Messages: A Combination Approach (TT, AF, AL), pp. 232–243.
ICPRICPR-2012-AbdelmaseehBAE #recognition
Car Make and Model recognition combining global and local cues (MA, IB, MFA, MES), pp. 910–913.
ICPRICPR-2012-AjmeraD #analysis #detection #word
Combining text and prosodic analysis for prominent word detection (JA, ODD), pp. 1534–1537.
ICPRICPR-2012-AzeemA #online #recognition
Combining online and offline systems for Arabic handwriting recognition (SAA, HA), pp. 3725–3728.
ICPRICPR-2012-BallanBBSSZ #category theory #generative #image #modelling #social
Combining generative and discriminative models for classifying social images from 101 object categories (LB, MB, ADB, AMS, GS, BFZ), pp. 1731–1734.
ICPRICPR-2012-BergamascoATFZ #segmentation
Pairwise similarities for scene segmentation combining color and depth data (FB, AA, AT, MF, PZ), pp. 3565–3568.
ICPRICPR-2012-DaiC #precise #segmentation
Combining contrast saliency and region discontinuity for precise hand segmentation in projector-camera system (JD, RC), pp. 2161–2164.
ICPRICPR-2012-DornellesH #algorithm #approach #image #search-based
A genetic algorithm based approach for combining binary image operators (MMD, NSTH), pp. 3184–3187.
ICPRICPR-2012-DuongDNLDLS #detection #eye tracking #locality #robust #video
Robust eye localization in video by combining eye detector and eye tracker (CND, TCPD, TDN, DDL, DAD, BHL, SS), pp. 242–245.
ICPRICPR-2012-DuttaGLBP #documentation #graph #kernel #random #visual notation
Combination of product graph and random walk kernel for symbol spotting in graphical documents (AD, JG, JL, HB, UP), pp. 1663–1666.
ICPRICPR-2012-FrouzeshPH #modelling #optimisation
A combined method for finding best starting points for optimisation in bernoulli mixture models (FF, SP, YH), pp. 1128–1131.
ICPRICPR-2012-HongZPC #correlation
Combining local and global correlation for texture description (XH, GZ, MP, XC), pp. 2756–2759.
ICPRICPR-2012-KockelkornSGRJVRSG #classification #interactive #simulation
Interactive classification of lung tissue in CT scans by combining prior and interactively obtained training data: A simulation study (TTJPK, CIS, JCG, RR, PAdJ, MAV, JR, CSP, BvG), pp. 105–108.
ICPRICPR-2012-LiangYCJ #evaluation #representation
Evaluation of local feature descriptors and their combination for pedestrian representation (JL, QY, JC, JJ), pp. 2496–2499.
ICPRICPR-2012-LiDL #classification #image #multi
Combining multi-scale dissimilarities for image classification (YL, RPWD, ML), pp. 1639–1642.
ICPRICPR-2012-LiXLL #independence #recognition
Combination of global and local baseline-independent features for offline Arabic handwriting recognition (NL, XX, WL, KML), pp. 713–716.
ICPRICPR-2012-MazinDG #geometry #image
Combining color and geometry for local image matching (BM, JD, YG), pp. 2667–2680.
ICPRICPR-2012-OnofriS #recognition #sequence #video
Combining video subsequences for human action recognition (LO, PS), pp. 597–600.
ICPRICPR-2012-PerezMMSV #recognition #using
Combining gradient histograms using orientation tensors for human action recognition (EdAP, VFM, LMM, DOS, MBV), pp. 3460–3463.
ICPRICPR-2012-PighettiPP #algorithm #image #interactive #multi #retrieval #search-based
Hybdrid Content Based Image Retrieval combining multi-objective interactive genetic algorithm and SVM (RP, DP, FP), pp. 2849–2852.
ICPRICPR-2012-YangLJ #2d #3d #estimation
Face pose estimation with combined 2D and 3D HOG features (JY, WL, YJ), pp. 2492–2495.
ICPRICPR-2012-YeKC #classification #multi
Combining general multi-class and specific two-class classifiers for improved customized ECG heartbeat classification (CY, BVKVK, MTC), pp. 2428–2431.
ICPRICPR-2012-Zografos #segmentation
Enhancing motion segmentation by combination of complementary affinities (VZ), pp. 2198–2201.
KEODKEOD-2012-RiegenHR #ontology #reasoning
Combining Qualitative Spatial Reasoning and Ontological Reasoning for Supporting Robot Tasks (SvR, LH, PR), pp. 377–380.
KRKR-2012-LawryD #framework
A Bipolar Framework for Combining Beliefs about Vague Propositions (JL, DD).
MLDMMLDM-2012-HossainC #behaviour #identification
Combination of Physiological and Behavioral Biometric for Human Identification (EH, GC), pp. 380–393.
RecSysRecSys-2012-EkstrandR #algorithm #predict #recommendation
When recommenders fail: predicting recommender failure for algorithm selection and combination (MDE, JR), pp. 233–236.
SIGIRSIGIR-2012-HeHV #topic
Combining implicit and explicit topic representations for result diversification (JH, VH, APdV), pp. 851–860.
SIGIRSIGIR-2012-HuO #classification #dataset #using
Genre classification for million song dataset using confidence-based classifiers combination (YH, MO), pp. 1083–1084.
SIGIRSIGIR-2012-TononDC #ad hoc #retrieval
Combining inverted indices and structured search for ad-hoc object retrieval (AT, GD, PCM), pp. 125–134.
ECMFAECMFA-2012-BriandLL #data flow #diagrams #integration #sequence #state machine #testing #uml
Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing (LCB, YL, YL), pp. 74–89.
OOPSLAOOPSLA-2012-Anderson #fine-grained #parallel #policy #resource management #using
Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies (ZRA), pp. 717–736.
LOPSTRLOPSTR-2012-SchrijversTWSS #combinator
An Introduction to Search Combinators (TS, GT, PW, HS, PJS), pp. 2–16.
RERE-2012-Ott #fault #legacy #natural language #specification #using
Defects in natural language requirement specifications at Mercedes-Benz: An investigation using a combination of legacy data and expert opinion (DO), pp. 291–296.
RERE-2012-VrbaskiPA #reasoning #rule-based #tool support
Tool support for combined rule-based and goal-based reasoning in Context-Aware systems (MV, DCP, DA), pp. 335–336.
SACSAC-2012-ChebaroKGJ #dynamic analysis #slicing #verification
Program slicing enhances a verification technique combining static and dynamic analysis (OC, NK, AG, JJ), pp. 1284–1291.
SACSAC-2012-NagarAB #functional #graph #similarity #using
Computing gene functional similarity using combined graphs (AN, HAM, SB), pp. 1381–1386.
ICSEICSE-2012-PankratiusSG #empirical #functional #imperative #java #manycore #programming #scala
Combining functional and imperative programming for multicore software: An empirical study evaluating Scala and Java (VP, FS, GG), pp. 123–133.
ICSEICSE-2012-Schwarz #development
Hot clones: Combining search-driven development, clone management, and code provenance (NS), pp. 1628–1629.
SPLCSPLC-2012-KircherH #agile #case study #development #experience #reuse
Combining systematic reuse with Agile development: experience report (MK, PH), pp. 215–219.
PPoPPPPoPP-2012-FatourouK
Revisiting the combining synchronization technique (PF, NDK), pp. 257–266.
ICSTICST-2012-ChoudharyPO #crawling #detection #difference #named #web
CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications (SRC, MRP, AO), pp. 171–180.
ICSTICST-2012-GhandehariLXKK #combinator #identification #testing
Identifying Failure-Inducing Combinations in a Combinatorial Test Set (LSGG, YL, TX, DRK, RK), pp. 370–379.
ICSTICST-2012-PonsiniMR #abstract interpretation #analysis #constraints #float #programming #source code
Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs (OP, CM, MR), pp. 775–776.
ICSTICST-2012-ShakyaXLLKK #classification #combinator #testing #using
Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification (KS, TX, NL, YL, RK, DRK), pp. 620–623.
ICSTICST-2012-VorobyovK #automation #constraints #generative #static analysis #testing #theorem proving
Combining Static Analysis and Constraint Solving for Automatic Test Case Generation (KV, PK), pp. 915–920.
IJCARIJCAR-2012-FontaineMW #decidability
Combination of Disjoint Theories: Beyond Decidability (PF, SM, CW), pp. 256–270.
ISSTAISSTA-2012-NguyenMT #combinator #effectiveness #generative #modelling #testing
Combining model-based and combinatorial testing for effective test case generation (CDN, AM, PT), pp. 100–110.
LICSLICS-2012-BaeldeN #deduction #fixpoint #logic
Combining Deduction Modulo and Logics of Fixed-Point Definitions (DB, GN), pp. 105–114.
TAPTAP-2012-Pasareanu #execution #model checking #symbolic computation #testing
Combining Model Checking and Symbolic Execution for Software Testing (CSP), p. 2.
QoSAQoSA-ISARCS-2011-DettenB #clustering #component #detection #re-engineering
Combining clustering and pattern detection for the reengineering of component-based software systems (MvD, SB), pp. 23–32.
ASEASE-2011-ChenG #automation #documentation #retrieval #traceability
Improving automated documentation to code traceability by combining retrieval techniques (XC, JCG), pp. 223–232.
ASEASE-2011-LeungwattanakitAHTY #distributed #model checking #process
Model checking distributed systems by combining caching and process checkpointing (WL, CA, MH, YT, MY), pp. 103–112.
ASEASE-2011-MalburgF #constraints #search-based #testing
Combining search-based and constraint-based testing (JM, GF), pp. 436–439.
CASECASE-2011-KumarSTS #fuzzy #modelling #on the
On the combination of fuzzy models (MK, NS, KT, RS), pp. 322–326.
DACDAC-2011-JooK #fine-grained #named
WaveMin: a fine-grained clock buffer polarity assignment combined with buffer sizing (DJ, TK), pp. 522–527.
DATEDATE-2011-PavlenkoWSKDSG #algebra #named #problem #reasoning #smt #verification
STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra (EP, MW, DS, WK, AD, FS, GMG), pp. 155–160.
DATEDATE-2011-VasicekS #optimisation
A global postsynthesis optimization method for combinational circuits (ZV, LS), pp. 1525–1528.
DRRDRR-2011-BockholtCM #documentation #image #retrieval #segmentation
Document image retrieval with morphology-based segmentation and features combination (TCB, GDCC, CABM), pp. 1–10.
ICDARICDAR-2011-ChaabouniBKAA11a #feature model #identification #online
Combining of Off-line and On-line Feature Extraction Approaches for Writer Identification (AC, HB, MK, AMA, HEA), pp. 1299–1303.
ICDARICDAR-2011-ChoSLK #multi
Scene Text Extraction by Superpixel CRFs Combining Multiple Character Features (MSC, JHS, SL, JHK), pp. 1034–1038.
ICDARICDAR-2011-HasegawaT #correlation
A Shape Descriptor Combining Logarithmic-Scale Histogram of Radon Transform and Phase-Only Correlation Function (MH, ST), pp. 182–186.
ICDARICDAR-2011-SuLT #documentation #image
Combination of Document Image Binarization Techniques (BS, SL, CLT), pp. 22–26.
ICDARICDAR-2011-ZhuGN #design #online #recognition
Objective Function Design for MCE-Based Combination of On-line and Off-line Character Recognizers for On-line Handwritten Japanese Text Recognition (BZ, JG, MN), pp. 594–598.
VLDBVLDB-2011-FunkeKN #query #transaction
HyPer-sonic Combined Transaction AND Query Processing (FF, AK, TN), pp. 1367–1370.
FoSSaCSFoSSaCS-2011-CousotCM #abstract domain
The Reduced Product of Abstract Domains and the Combination of Decision Procedures (PC, RC, LM), pp. 456–472.
ICSMEICSM-2011-SampathBJM #reduction #testing
A tool for combination-based prioritization and reduction of user-session-based test suites (SS, RCB, SJ, SM), pp. 574–577.
PLDIPLDI-2011-AltidorHS
Taming the wildcards: combining definition- and use-site variance (JA, SSH, YS), pp. 602–613.
CIAACIAA-J-2010-AllauzenCM11 #algorithm #coordination #kernel
A Dual Coordinate Descent Algorithm for SVMs Combined with Rational Kernels (CA, CC, MM), pp. 1761–1779.
CIAACIAA-J-2010-CuiGKY11 #complexity
State Complexity of Two Combined Operations: Catenation-Union and Catenation-Intersection (BC, YG, LK, SY), pp. 1797–1812.
FMFM-2011-ZhangSPLD #on the #reduction
On Combining State Space Reductions with Global Fairness Assumptions (SJZ, JS, JP, YL, JSD), pp. 432–447.
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-ErnstSR #analysis #empirical #interactive #proving #theorem proving #verification
Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving (GE, GS, WR), pp. 188–203.
SEFMSEFM-2011-TschannenFNM #object-oriented #source code #verification
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques (JT, CAF, MN, BM), pp. 382–398.
ICFPICFP-2011-AhnS #combinator #data type #induction #recursion
A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences (KYA, TS), pp. 234–246.
GT-VMTGT-VMT-2011-GogollaHXZ #visual notation
Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques (MG, LH, JX, JZ).
CHICHI-2011-ChauKHF #interactive #machine learning #named #network #scalability
Apolo: making sense of large network data by combining rich user interaction and machine learning (DHC, AK, JIH, CF), pp. 167–176.
CHICHI-2011-LatulipeCL
Evaluating longitudinal projects combining technology with temporal arts (CL, EAC, DML), pp. 1835–1844.
CHICHI-2011-LeitnerH #design #image #interactive #named
Geckos: combining magnets and pressure images to enable new tangible-object design and interaction (JL, MH), pp. 2985–2994.
CHICHI-2011-YuN
Cooks or cobblers?: crowd creativity through combination (LY, JVN), pp. 1393–1402.
HCIDUXU-v2-2011-ChenL11a #2d #3d #design #evaluation #interface #using
Design and Evaluation of the Customized Product Color Combination Interfaces Using 3D Model and 2D Illustration Display (CYC, YJL), pp. 269–275.
HCIDUXU-v2-2011-Marcus #design #health #mobile #persuasion #user interface
The Health Machine: Mobile UX Design That Combines Information Design with Persuasion Design (AM), pp. 598–607.
HCIHCI-DDA-2011-HeL #graph #image #modelling #segmentation
An Image Segmentation Method for Chinese Paintings by Combining Deformable Models with Graph Cuts (NH, KL), pp. 571–579.
HCIHCI-MIIE-2011-ZhanF #design #interactive #named #people
GoCoBa: Interactive Installation Design Applied on Combination of Context and People (JXZ, KKF), pp. 259–267.
ICEISICEIS-v1-2011-ChagheriCRD #classification #documentation
Document Classification — Combining Structure and Content (SC, SC, CR, CD), pp. 95–100.
CIKMCIKM-2011-AbedjanN
Advancing the discovery of unique column combinations (ZA, FN), pp. 1565–1570.
CIKMCIKM-2011-QianHCZN #ambiguity #machine learning
Combining machine learning and human judgment in author disambiguation (YnQ, YH, JC, QZ, ZN), pp. 1241–1246.
ECIRECIR-2011-DinhT #information retrieval #semantics
Combining Global and Local Semantic Contexts for Improving Biomedical Information Retrieval (DD, LT), pp. 375–386.
ECIRECIR-2011-HerbertSG #information retrieval #query
Combining Query Translation Techniques to Improve Cross-Language Information Retrieval (BH, GS, IG), pp. 712–715.
ECIRECIR-2011-NeumayerMN #categorisation #feature model
Combination of Feature Selection Methods for Text Categorisation (RN, RM, KN), pp. 763–766.
KDDKDD-2011-ChauKHF #graph #interactive #machine learning #named #scalability #visualisation
Apolo: interactive large graph sensemaking by combining machine learning and visualization (DHC, AK, JIH, CF), pp. 739–742.
KDDKDD-2011-YeLZZTGA #detection
Combining file content and file relations for cloud based malware detection (YY, TL, SZ, WZ, ET, UG, MA), pp. 222–230.
KDIRKDIR-2011-ArmengolP #case study #classification #information management #lazy evaluation #learning
Combining Two Lazy Learning Methods for Classification and Knowledge Discovery — A Case Study for Malignant Melanoma Diagnosis (EA, SP), pp. 200–207.
KDIRKDIR-2011-JeongY #approach #proximity #semantics #summary
An Approach for Combining Semantic Information and Proximity Information for Text Summarization (HJ, YY), pp. 427–432.
KDIRKDIR-2011-PrachuabsupakijS #classification #multi #set #using
Multi-class Data Classification for Imbalanced Data Set using Combined Sampling Approaches (WP, NS), pp. 166–171.
KDIRKDIR-2011-SanJuan #graph
Mapping Knowledge Domains — Combining Symbolic Relations with Graph Theory (ES), pp. 527–536.
SIGIRSIGIR-2011-WuW #collaboration
Rating-based collaborative filtering combined with additional regularization (SW, SW), pp. 1195–1196.
ICMTICMT-2011-BauerK #model transformation
Combining Specification-Based and Code-Based Coverage for Model Transformation Chains (EB, JMK), pp. 78–92.
MODELSMoDELS-2011-PalyartLOB #framework #maintenance #scalability
Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks (MP, DL, IO, JMB), pp. 213–227.
PADLPADL-2011-Brown #combinator #haskell #message passing
Combinators for Message-Passing in Haskell (NCCB), pp. 19–33.
PADLPADL-2011-DevrieseP #combinator #domain-specific language #recursion #semiparsing
Explicitly Recursive Grammar Combinators — A Better Model for Shallow Parser DSLs (DD, FP), pp. 84–98.
POPLPOPL-2011-MadhusudanPQ #decidability #logic
Decidable logics combining heap structures and data (PM, GP, XQ), pp. 611–622.
SACSAC-2011-DinhT #concept #order #word
Biomedical concept extraction based on combining the content-based and word order similarities (DD, LT), pp. 1159–1163.
SACSAC-2011-HuangC #retrieval #video
An event-based video retrieval system by combining broadcasting baseball video and web-casting text (YFH, LWC), pp. 846–852.
SACSAC-2011-JeffersonMP #automation #constraints #generative #named
Combination: automated generation of puzzles with constraints (CJ, WM, KEP), pp. 907–912.
ICSEICSE-2011-ChenHG #approach #automation #traceability
A combination approach for enhancing automated traceability (XC, JGH, JCG), pp. 912–915.
SLESLE-2011-Wider #bidirectional #combinator #model transformation #scala #towards
Towards Combinators for Bidirectional Model Transformations in Scala (AW), pp. 367–377.
LCTESLCTES-2011-GrayA #api #architecture #embedded #manycore
Targeting complex embedded architectures by combining the multicore communications API (mcapi) with compile-time virtualisation (IG, NCA), pp. 51–60.
ICLPICLP-J-2011-AreiasR #evaluation #logic programming #on the #source code
On combining linear-based strategies for tabled evaluation of logic programs (MA, RR), pp. 681–696.
ISSTAISSTA-2011-ZhangSBE #automation #generative #testing
Combined static and dynamic automated test generation (SZ, DS, YB, MDE), pp. 353–363.
RTARTA-2011-Weirich #proving #source code
Combining Proofs and Programs (SW), p. 9.
TLCATLCA-2011-Weirich #proving #source code
Combining Proofs and Programs (SW), p. 9.
DACDAC-2010-FayyaziK #performance #simulation
Efficient simulation of oscillatory combinational loops (MF, LK), pp. 777–780.
DATEDATE-2010-ChoudhuryCMA #logic #performance
Analytical model for TDDB-based performance degradation in combinational logic (MRC, VC, KM, RCA), pp. 423–428.
DATEDATE-2010-Krupp0 #approach
A systematic approach to the test of combined HW/SW systems (AK, WM), pp. 323–326.
DATEDATE-2010-LiuTL #automation #design #optimisation #power management
Combining optimizations in automated low power design (QL, TT, WL), pp. 1791–1796.
DATEDATE-2010-MischkallaH0 #modelling #simulation #synthesis #uml
Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems (FM, DH, WM), pp. 1201–1206.
DRRDRR-2010-SaldarriagaVM #information retrieval #online
Combining approaches to on-line handwriting information retrieval (SPS, CVG, EM), pp. 1–10.
DRRDRR-2010-ZhuL #online #recognition
A combined recognition system for online handwritten Pinyin input (MZ, CL), pp. 1–10.
ICSMEICSM-2010-GuzziPD #developer #ide #interactive
Combining micro-blogging and IDE interactions to support developers in their quests (AG, MP, AvD), pp. 1–5.
FLOPSFLOPS-2010-ThiemannS #combinator #generative #polymorphism
Tag-Free Combinators for Binding-Time Polymorphic Program Generation (PT, MS), pp. 87–102.
CIAACIAA-2010-CuiGKY #complexity
State Complexity of Catenation Combined with Union and Intersection (BC, YG, LK, SY), pp. 95–104.
ICFPICFP-2010-Danielsson #combinator #parsing
Total parser combinators (NAD), pp. 285–296.
ICFPICFP-2010-VoigtlanderHMW #bidirectional #semantics
Combining syntactic and semantic bidirectionalization (JV, ZH, KM, MW), pp. 181–192.
ICGTICGT-2010-BisztrayH #termination
Combining Termination Criteria by Isolating Deletion (DB, RH), pp. 203–217.
CHICHI-2010-MoffattM #fault #named
Steadied-bubbles: combining techniques to address pen-based pointing errors for younger and older adults (KM, JM), pp. 1125–1134.
ICEISICEIS-ISAS-2010-EliceguiVM #data mining #mining #semantics
Combining Semantic Technologies and Data Mining to Endow BSS/OSS Systems with Intelligence — Particularization to an International Telecom Company Tariff System (JME, GTdV, MdFM), pp. 350–355.
CIKMCIKM-2010-ParameswaranGU #recommendation
Evaluating, combining and generalizing recommendations with prerequisites (AGP, HGM, JDU), pp. 919–928.
CIKMCIKM-2010-ShiZT #learning
Combining link and content for collective active learning (LS, YZ, JT), pp. 1829–1832.
ICPRICPR-2010-AbedM #framework #recognition #word
A Framework for the Combination of Different Arabic Handwritten Word Recognition Systems (HEA, VM), pp. 1904–1907.
ICPRICPR-2010-ChiaSN #linear #multimodal #towards
Towards a Best Linear Combination for Multimodal Biometric Fusion (CC, NS, LN), pp. 1176–1179.
ICPRICPR-2010-CordellaSFMF #classification #performance
Combining Single Class Features for Improving Performance of a Two Stage Classifier (LPC, CDS, FF, CM, ASdF), pp. 4352–4355.
ICPRICPR-2010-Debled-RennessonW
Combining Force Histogram and Discrete Lines to Extract Dashed Lines (IDR, LW), pp. 1574–1577.
ICPRICPR-2010-ErdoganS #classification #framework #learning #linear
A Unifying Framework for Learning the Linear Combiners for Classifier Ensembles (HE, MUS), pp. 2985–2988.
ICPRICPR-2010-FraundorferWP #locality #mobile #using #visual notation #word
Combining Monocular and Stereo Cues for Mobile Robot Localization Using Visual Words (FF, CW, MP), pp. 3927–3930.
ICPRICPR-2010-Garcia-TubioWS #detection #geometry
Combining Geometry and Local Appearance for Object Detection (MPGT, HW, LS), pp. 4024–4027.
ICPRICPR-2010-HadidNS #recognition
Recognition of Blurred Faces via Facial Deblurring Combined with Blur-Tolerant Descriptors (AH, MN, YS), pp. 1160–1163.
ICPRICPR-2010-HanCR #categorisation #image #low level
Image Categorization by Learned Nonlinear Subspace of Combined Visual-Words and Low-Level Features (XHH, YWC, XR), pp. 3037–3040.
ICPRICPR-2010-HanerG #visual notation
Combining Foreground / Background Feature Points and Anisotropic Mean Shift For Enhanced Visual Object Tracking (SH, IYHG), pp. 3488–3491.
ICPRICPR-2010-HassanCG #documentation #image #kernel #retrieval #using
Document Image Retrieval Using Feature Combination in Kernel Space (EH, SC, MG), pp. 2009–2012.
ICPRICPR-2010-HuWZW #classification #gender
Combining Spatial and Temporal Information for Gait Based Gender Classification (MH, YW, ZZ, YW), pp. 3679–3682.
ICPRICPR-2010-IbbaDL #case study #set
A Study on Combining Sets of Differently Measured Dissimilarities (AI, RPWD, WJL), pp. 3360–3363.
ICPRICPR-2010-KhreichGMS #classification
Boolean Combination of Classifiers in the ROC Space (WK, EG, AM, RS), pp. 4299–4303.
ICPRICPR-2010-Kita #modelling
Background Modeling by Combining Joint Intensity Histogram with Time-sequential Data (YK), pp. 991–994.
ICPRICPR-2010-KumarTG #symmetry
Combination of Symmetric Hash Functions for Secure Fingerprint Matching (GK, ST, VG), pp. 890–893.
ICPRICPR-2010-Lei #distance #using #verification
Combining the Likelihood and the Kullback-Leibler Distance in Estimating the Universal Background Model for Speaker Verification Using SVM (ZL), pp. 4553–4556.
ICPRICPR-2010-LettnerS #robust
Combining Spectral and Spatial Features for Robust Foreground-Background Separation (ML, RS), pp. 1969–1972.
ICPRICPR-2010-LiS #kernel #multi
Nonlinear Combination of Multiple Kernels for Support Vector Machines (JL, SS), pp. 2889–2892.
ICPRICPR-2010-LiZXCG #analysis #documentation #multi #sentiment
Exploiting Combined Multi-level Model for Document Sentiment Analysis (SL, HZ, WX, GC, JG), pp. 4141–4144.
ICPRICPR-2010-LobranoTGR #decidability
A Score Decidability Index for Dynamic Score Combination (CL, RT, GG, FR), pp. 69–72.
ICPRICPR-2010-MozaffariBA #classification #gender #geometry #image #using
Gender Classification Using Single Frontal Image Per Person: Combination of Appearance and Geometric Based Features (SM, HB, RA), pp. 1192–1195.
ICPRICPR-2010-OrtegaGJV #configuration management #self #video
A Combined Self-Configuring Method for Object Tracking in Colour Video (JARO, GAG, ÁRJ, VLAV), pp. 2081–2084.
ICPRICPR-2010-PrasadKBRMN #network #recognition
Consensus Network Based Hypotheses Combination for Arabic Offline Handwriting Recognition (RP, MK, DB, AVIR, SM, PN), pp. 2861–2864.
ICPRICPR-2010-RicamatoT #effectiveness #question
AUC-based Combination of Dichotomizers: Is Whole Maximization also Effective for Partial Maximization? (MTR, FT), pp. 73–76.
ICPRICPR-2010-SuLY #recognition
Symbol Recognition Combining Vectorial and Pixel-Level Features for Line Drawings (FS, TL, RY), pp. 1892–1895.
ICPRICPR-2010-WangAYL #bottom-up #estimation #learning #top-down #using
Combined Top-Down/Bottom-Up Human Articulated Pose Estimation Using AdaBoost Learning (SW, HA, TY, SL), pp. 3670–3673.
ICPRICPR-2010-WangLR #clustering #graph
Combining Real and Virtual Graphs to Enhance Data Clustering (LW, CL, KR), pp. 790–793.
ICPRICPR-2010-ZhangWL #categorisation #kernel #learning
Learning the Kernel Combination for Object Categorization (DZ, XW, BL), pp. 2929–2932.
ICPRICPR-2010-ZhaoLLY #visual notation
Sparse Embedding Visual Attention Systems Combined with Edge Information (CZ, CL, ZL, JY), pp. 3432–3435.
ICPRICPR-2010-ZhouDM #image #retrieval #visual notation
Information Fusion for Combining Visual and Textual Image Retrieval (XZ, AD, HM), pp. 1590–1593.
KDDKDD-2010-JahrerTL #predict #recommendation
Combining predictions for accurate recommender systems (MJ, AT, RAL), pp. 693–702.
KDDKDD-2010-Lee #classification #learning
Learning to combine discriminative classifiers: confidence based (CHL), pp. 743–752.
KDDKDD-2010-Sculley #ranking
Combined regression and ranking (DS), pp. 979–988.
KRKR-2010-KontchakovLTWZ #approach #query
The Combined Approach to Query Answering in DL-Lite (RK, CL, DT, FW, MZ).
SEKESEKE-2010-WangXCC #combinator #effectiveness #testing
Cost-Effective Combinatorial Test Case Prioritization for Varying Combination Weights (ZW, BX, LC, ZC), pp. 273–278.
SIGIRSIGIR-2010-AminiGU #categorisation #multi #self
Combining coregularization and consensus-based self-training for multilingual text categorization (MRA, CG, NU), pp. 475–482.
ECMFAECMFA-2010-Vallecillo #modelling #on the
On the Combination of Domain Specific Modeling Languages (AV), pp. 305–320.
MODELSMoDELS-v1-2010-SchrammPHV #agile #development #enterprise #modelling #user interface
Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven Techniques (AS, AP, MH, LV), pp. 271–285.
GPCEGPCE-J-2007-FrisbyKWA10 #algebra #combinator
Constructing language processors with algebra combinators (NF, GK, PW, PA), pp. 543–572.
PPDPPPDP-2010-Jeltsch #combinator #static typing #type checking
Generic record combinators with static type checking (WJ), pp. 143–154.
PADLPADL-2010-HafizF #attribute grammar #combinator #execution #lazy evaluation #specification
Lazy Combinators for Executable Specifications of General Attribute Grammars (RH, RAF), pp. 167–182.
SACSAC-2010-BenaouichaTB #flexibility #probability #query
Flexible document-query matching based on a probabilistic content and structure score combination (MB, MT, MB), pp. 1728–1734.
SACSAC-2010-EtienMLB #independence #model transformation
Combining independent model transformations (AE, AM, TL, XB), pp. 2237–2243.
SACSAC-2010-JouaultVBDBB #coordination #megamodelling #weaving
Inter-DSL coordination support by combining megamodeling and model weaving (FJ, BV, HB, GD, YB, JB), pp. 2011–2018.
SACSAC-2010-OhCM #classification #information management
Combining global and local information for enhanced deep classification (HSO, YC, SHM), pp. 1760–1767.
SACSAC-2010-VoigtIR #automation #generative #metamodelling #named
MatchBox: combined meta-model matching for semi-automatic mapping generation (KV, PI, AR), pp. 2281–2288.
FSEFSE-2010-YilmazP #hardware
Combining hardware and software instrumentation to classify program executions (CY, AAP), pp. 67–76.
ICSEICSE-2010-KlasEMHG #case study #fault #industrial #metric #predict
Transparent combination of expert and measurement data for defect prediction: an industrial case study (MK, FE, JM, KH, OvG), pp. 119–128.
IJCARIJCAR-2010-IhlemannS #on the #reasoning
On Hierarchical Reasoning in Combinations of Theories (CI, VSS), pp. 30–45.
ISSTAISSTA-2010-GodefroidK #float #memory management #program analysis #proving #safety
Proving memory safety of floating-point computations by combining static and dynamic program analysis (PG, JK), pp. 1–12.
LICSLICS-2010-EndrullisHK #combinator #composition #fixpoint
Modular Construction of Fixed Point Combinators and Clocked Bohm Trees (JE, DH, JWK), pp. 111–119.
TAPTAP-2010-ChebaroKGJ #c #debugging #generative #static analysis #testing
Combining Static Analysis and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 94–100.
TAPTAP-2010-GladischTBY #generative #testing #using #verification
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay (CG, SST, BB, AY), pp. 61–76.
TAPTAP-2010-Rusu #proving #specification #theorem proving
Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications (VR), pp. 135–150.
DATEDATE-2009-KimYK #online #runtime #scalability
Program phase and runtime distribution-aware online DVFS for combined Vdd/Vbb scaling (JK, SY, CMK), pp. 417–422.
DATEDATE-2009-LukasiewyczSGHT #architecture #communication #synthesis
Combined system synthesis and communication architecture exploration for MPSoCs (ML, MS, MG, CH, JT), pp. 472–477.
DRRDRR-2009-AbedM #question #recognition
Improvement of Arabic handwriting recognition systems — combination and/or reject ? (HEA, VM), pp. 1–10.
DRRDRR-2009-Likforman-SulemS #classification #network #recognition
Combination of dynamic Bayesian network classifiers for the recognition of degraded characters (LLS, MS), pp. 1–10.
ICDARICDAR-2009-HamdaniAKA #multi #online #recognition #using
Combining Multiple HMMs Using On-line and Off-line Features for Off-line Arabic Handwriting Recognition (MH, HEA, MK, AMA), pp. 201–205.
ICDARICDAR-2009-HeH09a #classification #estimation #online #using
Affine Distortion Compensation for an Isolated Online Handwritten Chinese Character Using Combined Orientation Estimation and HMM-Based Minimax Classification (TH, QH), pp. 1226–1230.
ICDARICDAR-2009-IndermuhleLB #analysis #documentation
Combining Alignment Results for Historical Handwritten Document Analysis (EI, ML, HB), pp. 1186–1190.
ICDARICDAR-2009-LeungL #generative #recognition
Recognition of Handwritten Chinese Characters by Combining Regularization, Fisher’s Discriminant and Distorted Sample Generation (KCL, CHL), pp. 1026–1030.
ICDARICDAR-2009-PirloITS #classification #normalisation
Combination of Measurement-Level Classifiers: Output Normalization by Dynamic Time Warping (GP, DI, CAT, ES), pp. 416–420.
ICDARICDAR-2009-StefanoFFM #classification #evolution #learning #network
Learning Bayesian Networks by Evolution for Classifier Combination (CDS, FF, ASdF, AM), pp. 966–970.
PODSPODS-2009-Parys #complexity #evaluation #linear #polynomial #xpath
XPath evaluation in linear time with polynomial combined complexity (PP), pp. 55–64.
SIGMODSIGMOD-2009-ChenKM #analysis #multi
Exploiting context analysis for combining multiple entity resolution systems (ZC, DVK, SM), pp. 207–218.
SIGMODSIGMOD-2009-ChuBCDN #ad hoc #database #keyword #query
Combining keyword search and forms for ad hoc querying of databases (EC, AB, XC, AD, JFN), pp. 349–360.
SIGMODSIGMOD-2009-KoutrikaBG #flexibility #named #recommendation
FlexRecs: expressing and combining flexible recommendations (GK, BB, HGM), pp. 745–758.
WRLAWRLA-2008-Rodriguez09
Combining Techniques to Reduce State Space and Prove Strong Properties (DER), pp. 267–280.
TACASTACAS-2009-NicoliniRR #integer #satisfiability
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets (EN, CR, MR), pp. 428–442.
TACASTACAS-2009-YuBI #analysis #string #verification
Symbolic String Verification: Combining String Analysis and Size Analysis (FY, TB, OHI), pp. 322–336.
ICPCICPC-J-2008-VidacsBG09 #c #c++ #preprocessor #slicing
Combining preprocessor slicing with C/C++ language slicing (LV, ÁB, TG), pp. 399–413.
SCAMSCAM-2009-GutzmannKLL #analysis #points-to #towards
Towards Comparing and Combining Points-to Analyses (TG, AK, JL, WL), pp. 45–54.
LATALATA-2009-HanSY #complexity #regular expression
State Complexity of Combined Operations for Prefix-Free Regular Languages (YSH, KS, SY), pp. 398–409.
FMFM-2009-SeidlVV #alias #analysis #linear #polynomial
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis (HS, VV, VV), pp. 644–659.
CHICHI-2009-SongGFGKAK #mobile #named #visual notation
PenLight: combining a mobile projector and a digital pen for dynamic visual overlay (HS, TG, GWF, FG, AK, RA, GK), pp. 143–152.
HCIDHM-2009-Weber #algorithm
Intelligent Motion Tracking by Combining Specialized Algorithms (MW), pp. 170–179.
HCIHCD-2009-Blasko-DrabikBB #game studies #physics #testing #usability
Combining Fast-Paced Usability and Scientific Testing to Improve the Lunar Quest Physics Game (HBD, JB, CAB), pp. 23–26.
HCIHCD-2009-RiversCT #collaboration #design #interface #process
Combining Activity Theory and Grounded Theory for the Design of Collaborative Interfaces (CR, JC, AT), pp. 312–321.
HCIHCI-NIMT-2009-KasamatsuMIJ #effectiveness #feedback #visual notation
Effective Combination of Haptic, Auditory and Visual Information Feedback in Operation Feeling (KK, TM, KI, HJ), pp. 58–65.
HCIHCI-NT-2009-TharangieMMY #design #interactive #user interface
Insight into Kansei Color Combinations in Interactive User Interface Designing (KGDT, SM, AM, KY), pp. 735–744.
HCIHIMI-DIE-2009-LeeCW #design #evaluation #experience #interface
Design and Evaluation of the Customized Product Color Combination Interface Based on Scenario Experience (YJL, CYC, FGW), pp. 263–270.
HCIHIMI-DIE-2009-SrinivasSPK #classification #feature model #performance #using
Efficient Text Classification Using Best Feature Selection and Combination of Methods (MS, KPS, EVP, SAK), pp. 437–446.
HCIHIMI-II-2009-KimHPPPKH
An OWL-Based Knowledge Model for Combined-Process-and-Location Aware Service (GK, MH, JP, HP, SHP, LK, SH), pp. 159–167.
HCIHIMI-II-2009-TakaoIS #keyword #web
A Coauthoring Method of Keyword Dictionaries for Knowledge Combination on Corporate Discussion Web Sites (ST, TI, AS), pp. 84–93.
AdaEuropeAdaEurope-2009-BurnsWZ #ada #analysis #implementation #scheduling
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 (AB, AJW, FZ), pp. 119–133.
EDOCEDOC-2009-MietznerUTL #multitenancy
Combining Different Multi-tenancy Patterns in Service-Oriented Applications (RM, TU, RT, FL), pp. 131–140.
ICEISICEIS-ISAS-2009-ChampclauxDM #information retrieval #precise #similarity
Enhancing High Precision by Combining Okapi BM25 with Structural Similarity in an Information Retrieval System (YC, TD, JM), pp. 279–285.
CIKMCIKM-2009-MeloW #learning #towards
Towards a universal wordnet by learning from combined evidence (GdM, GW), pp. 513–522.
CIKMCIKM-2009-QiCKKW #learning
Combining labeled and unlabeled data with word-class distribution learning (YQ, RC, PPK, KK, JW), pp. 1737–1740.
ECIRECIR-2009-BidokiT #documentation
Combination of Documents Features Based on Simulated Click-through Data (AMZB, JAT), pp. 538–545.
ECIRECIR-2009-HauffAH #evaluation #performance #predict #query
The Combination and Evaluation of Query Performance Prediction Methods (CH, LA, DH), pp. 301–312.
ECIRECIR-2009-PetkovaCD #keyword #query #retrieval #xml
Refining Keyword Queries for XML Retrieval by Combining Content and Structure (DP, WBC, YD), pp. 662–669.
ECIRECIR-2009-Wan #image #retrieval
Combining Content and Context Similarities for Image Retrieval (XW), pp. 749–754.
KDDKDD-2009-JamaliE #named #random #recommendation #trust
TrustWalker: a random walk model for combining trust-based and item-based recommendation (MJ, ME), pp. 397–406.
KDDKDD-2009-LuoLXZS #case study #classification #information management #towards #web
Towards combining web classification and web information extraction: a case study (PL, FL, YX, YZ, ZS), pp. 1235–1244.
KDDKDD-2009-MelvilleGL #analysis #classification #sentiment
Sentiment analysis of blogs by combining lexical knowledge with text classification (PM, WG, RDL), pp. 1275–1284.
KDDKDD-2009-YangJCZ #approach #community #detection
Combining link and content for community detection: a discriminative approach (TY, RJ, YC, SZ), pp. 927–936.
KEODKEOD-2009-ReinekingSH #classification #ontology #statistics
Evidential Combination of Ontological and Statistical Information for Active Scene Classification (TR, NS, JH), pp. 72–79.
KEODKEOD-2009-RenaudZR #ontology
A Compound Strategy for Ontologies Combining (DR, CZM, FR), pp. 200–205.
MLDMMLDM-2009-AbdalaJ #approach #clustering
An Evidence Accumulation Approach to Constrained Clustering Combination (DDA, XJ), pp. 361–371.
MLDMMLDM-2009-Calliess #on the
On Fixed Convex Combinations of No-Regret Learners (JPC), pp. 494–504.
MLDMMLDM-2009-KurasovaM #visualisation
Combination of Vector Quantization and Visualization (OK, AM), pp. 29–43.
MLDMMLDM-2009-TronciGR
Dynamic Score Combination: A Supervised and Unsupervised Score Combination Method (RT, GG, FR), pp. 163–177.
MLDMMLDM-2009-WangZ #classification #kernel
Optimal Double-Kernel Combination for Classification (FW, HZ), pp. 107–122.
SEKESEKE-2009-AlbuquerqueR #execution #process
A Real Execution of a Software Process Improvement: An Opportunity to Execute a Combination of Approaches (ABA, ARR), pp. 661–665.
SIGIRSIGIR-2009-OlssonO #independence #retrieval #robust #speech
Combining LVCSR and vocabulary-independent ranked utterance retrieval for robust speech search (JSO, DWO), pp. 91–98.
SIGIRSIGIR-2009-TurnbullBLY #music #semantics #social
Combining audio content and social context for semantic music discovery (DT, LB, GRGL, MY), pp. 387–394.
ECMFAECMDA-FA-2009-EspinozaCSG #challenge #design #embedded #modelling
Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems (HE, DC, BS, SG), pp. 98–113.
ICMTICMT-2009-BergmannHRV #model transformation #pattern matching #performance
Efficient Model Transformations by Combining Pattern Matching Strategies (GB, ÁH, IR, DV), pp. 20–34.
ECOOPECOOP-2009-SmansJP #logic
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic (JS, BJ, FP), pp. 148–172.
POPLPOPL-2009-GulwaniLS #framework
A combination framework for tracking partition sizes (SG, TLA, MS), pp. 239–251.
SACSAC-2009-FodehPT #clustering #documentation #semantics #statistics
Combining statistics and semantics via ensemble model for document clustering (SJF, WFP, PNT), pp. 1446–1450.
SACSAC-2009-ImS #architecture #memory management
Storage architecture and software support for SLC/MLC combined flash memory (SI, DS), pp. 1664–1669.
CADECADE-2009-BaumgartnerW #evolution
Superposition and Model Evolution Combined (PB, UW), pp. 17–34.
CADECADE-2009-GoelKT
Ground Interpolation for Combined Theories (AG, SK, CT), pp. 183–198.
CADECADE-2009-MaLZ #constraints #linear
Volume Computation for Boolean Combination of Linear Arithmetic Constraints (FM, SL, JZ), pp. 453–468.
CADECADE-2009-NicoliniRR
Combinable Extensions of Abelian Groups (EN, CR, MR), pp. 51–66.
LICSLICS-2009-Rossman #game studies
Combining Ehrenfeucht-Fraïssé Games (BR), p. 331.
ICSTSAT-2009-BalintHG #approach #novel #problem #satisfiability
A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem (AB, MH, OG), pp. 284–297.
TAPTAP-2009-CalvagnaG #combinator #heuristic #interactive #satisfiability #testing
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing (AC, AG), pp. 27–42.
TAPTAP-2009-HerberFG #model checking #process #testing
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process (PH, FF, SG), pp. 121–136.
WICSAWICSA-2008-ZimmermannZGL #architecture #design #modelling #pattern matching #reuse
Combining Pattern Languages and Reusable Architectural Decision Models into a Comprehensive and Comprehensible Design Method (OZ, UZ, TG, FL), pp. 157–166.
ASEASE-2008-MooreS #analysis #design #layout
Combining the Analysis of Spatial Layout and Text to Support Design Exploration (JMM, FMSI), pp. 379–382.
ASEASE-2008-PostSKG #abstract interpretation #bound #model checking
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking (HP, CS, AK, TG), pp. 188–197.
CASECASE-2008-RohPSYC0LC #flexibility #using
Flexible docking mechanism using combination of magnetic force with error-compensation capability (SgR, JHP, YKS, KY, MC, HSK, HL, HRC), pp. 697–702.
DACDAC-2008-GargNK #design #performance
A fast, analytical estimator for the SEU-induced pulse width in combinational designs (RG, CN, SPK), pp. 918–923.
DACDAC-2008-HanSE #3d #equation #modelling
Electric field integral equation combined with cylindrical conduction mode basis functions for electrical modeling of three-dimensional interconnects (KJH, MS, EE), pp. 421–424.
DATEDATE-2008-AliWWB #approach #behaviour #modelling #performance
A New Approach for Combining Yield and Performance in Behavioural Models for Analogue Integrated Circuits (SA, RW, PRW, ADB), pp. 152–157.
DATEDATE-2008-PenazziCDSSM #multi #safety
Cooperative Safety: a Combination of Multiple Technologies (RP, PC, MD, AS, MS, EM), pp. 959–961.
DRRDRR-2008-KimLT #approach #hybrid #identification #statistics
Hybrid approach combining contextual and statistical information for identifying MEDLINE citation terms (ICK, DXL, GRT), p. 68150.
DRRDRR-2008-ZavorinBDBS #classification #recognition #word
Combining different classification approaches to improve off-line Arabic handwritten word recognition (IZ, EB, ED, AB, KMS), p. 681504.
ESOPESOP-2008-GulwaniM #algorithm
Cover Algorithms and Their Combination (SG, MM), pp. 193–207.
ICPCICPC-2008-VidacsJBG #c #c++ #preprocessor #slicing
Combining Preprocessor Slicing with C/C++ Language Slicing (LV, JJ, ÁB, TG), pp. 163–171.
ICSMEICSM-2008-AntoniolHGP #cost analysis #reuse
Reuse or rewrite: Combining textual, static, and dynamic analyses to assess the cost of keeping a system up-to-date (GA, JHH, YGG, MDP), pp. 147–156.
CIAACIAA-2008-Fujiyoshi #automaton #context-free grammar
Combination of Context-Free Grammars and Tree Automata for Unranked and Ranked Trees (AF), pp. 283–285.
ICALPICALP-C-2008-FischlinLP #multi #revisited #robust
Robust Multi-property Combiners for Hash Functions Revisited (MF, AL, KP), pp. 655–666.
ICALPICALP-C-2008-HochS #on the
On the Strength of the Concatenated Hash Combiner When All the Hash Functions Are Weak (JJH, AS), pp. 616–630.
ICALPICALP-C-2008-PrzydatekW
Error-Tolerant Combiners for Oblivious Primitives (BP, JW), pp. 461–472.
GT-VMTGT-VMT-2008-MazanekM #combinator #graph #parsing
Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators (SM, MM).
CHICHI-2008-PietrigaA #lens
Sigma lenses: focus-context transitions combining space, time and translucence (EP, CA), pp. 1343–1352.
SOFTVISSOFTVIS-2008-CarneiroMM #comprehension #paradigm #process #visualisation
Combining software visualization paradigms to support software comprehension activities (GdFC, RCM, MGM), pp. 201–202.
EDOCEDOC-2008-ScheiblerML #as a service #execution #power of
EAI as a Service — Combining the Power of Executable EAI Patterns and SaaS (TS, RM, FL), pp. 107–116.
EDOCEDOC-2008-SommestadEJ #analysis #architecture #enterprise #graph #modelling #security
Combining Defense Graphs and Enterprise Architecture Models for Security Analysis (TS, ME, PJ), pp. 349–355.
ICEISICEIS-AIDSS-2008-KompaoreMT #information retrieval #query
Combining Indexing Methods and Query Sizes in Information Retrieval in French (DK, JM, LT), pp. 149–154.
ICEISICEIS-ISAS2-2008-CabreroGP #predict
Combining Different Change Prediction Techniques (DCM, JG, MP), pp. 57–63.
CIKMCIKM-2008-ChemuduguntaSS #concept #modelling #statistics #topic
Combining concept hierarchies and statistical topic models (CC, PS, MS), pp. 1469–1470.
ICMLICML-2008-HyvarinenSH #modelling
Causal modelling combining instantaneous and lagged effects: an identifiable model based on non-Gaussianity (AH, SS, POH), pp. 424–431.
ICMLICML-2008-WangZ #learning #multi #on the
On multi-view active learning and the combination with semi-supervised learning (WW, ZHZ), pp. 1152–1159.
ICPRICPR-2008-AgrisBK #adaptation #agile #approach #recognition #using
Rapid signer adaptation for continuous sign language recognition using a combined approach of eigenvoices, MLLR, and MAP (UvA, CB, KFK), pp. 1–4.
ICPRICPR-2008-AlliliZ #approach #bound #segmentation
An approach for dynamic combination of region and boundary information in segmentation (MSA, DZ), pp. 1–4.
ICPRICPR-2008-Arevalillo-HerraezFD #image #learning #metric #retrieval #similarity
Learning combined similarity measures from user data for image retrieval (MAH, FJF, JD), pp. 1–4.
ICPRICPR-2008-BarratT #effectiveness #image #network #retrieval #semantics #using #visual notation
Visual features with semantic combination using Bayesian network for a more effective image retrieval (SB, ST), pp. 1–4.
ICPRICPR-2008-ChouaibTTCV #algorithm #classification #feature model #search-based
Feature selection combining genetic algorithm and Adaboost classifiers (HC, ORT, ST, FC, NV), pp. 1–4.
ICPRICPR-2008-FakihZ
Structure from Motion: Combining features correspondences and optical flow (AHF, JSZ), pp. 1–4.
ICPRICPR-2008-GaoL #classification #polynomial #recognition
Combining quadratic classifier and pair discriminators by pairwise coupling for handwritten Chinese character recognition (TFG, CLL), pp. 1–4.
ICPRICPR-2008-GatosPP #adaptation #documentation #image #multi #using
Improved document image binarization by using a combination of multiple binarization techniques and adapted edge information (BG, IP, SJP), pp. 1–4.
ICPRICPR-2008-GhoshM #classification #documentation #kernel #similarity #using #xml
Combining content and structure similarity for XML document classification using composite SVM kernels (SG, PM), pp. 1–4.
ICPRICPR-2008-HadidP #classification #gender #sequence #video
Combining motion and appearance for gender classification from video sequences (AH, MP), pp. 1–4.
ICPRICPR-2008-HainesW #random #using
Combining shape-from-shading and stereo using Gaussian-Markov random fields (TSFH, RCW), pp. 1–4.
ICPRICPR-2008-KuhlTV #modelling
Model-based combined tracking and resolution enhancement (AK, TT, SV), pp. 1–4.
ICPRICPR-2008-LinW #3d #re-engineering
3D reconstruction by combining shape from silhouette with stereo (HYL, JRW), pp. 1–4.
ICPRICPR-2008-MilanovaRKTK #sequence #video #visual notation
Combined visual attention model for video sequences (MGM, SHR, RK, VT, RK), pp. 1–4.
ICPRICPR-2008-MirzaeiR #clustering #transitive #using
Combining hierarchical clusterings using min-transitive closure (AM, MR), pp. 1–4.
ICPRICPR-2008-Salgian #3d #categorisation #recognition
Combining local descriptors for 3D object recognition and categorization (AS), pp. 1–4.
ICPRICPR-2008-TranTJ #anti #linear #network #probability
An adjustable combination of linear regression and modified probabilistic neural network for anti-spam filtering (TPT, PT, TJ), pp. 1–4.
ICPRICPR-2008-UchidaA #classification #recognition
Early recognition of sequential patterns by classifier combination (SU, KA), pp. 1–4.
ICPRICPR-2008-UlgesB #parametricity #segmentation
Segmentation by combining parametric optical flow with a color model (AU, TMB), pp. 1–4.
ICPRICPR-2008-WangI #classification #image #markov #modelling #multi #semantics
Combining multiple spatial hidden Markov models in image semantic classification and annotation (LW, HHSI), pp. 1–4.
ICPRICPR-2008-WangQ #3d #correlation #performance #recognition
3D object recognition by fast spherical correlation between combined view EGIs and PFT (DW, HQ), pp. 1–4.
ICPRICPR-2008-WangWCW #algorithm #clustering #learning
A clustering algorithm combine the FCM algorithm with supervised learning normal mixture model (WW, CW, XC, AW), pp. 1–4.
ICPRICPR-2008-WattuyaRPJ #approach #multi #random
A random walker based approach to combining multiple segmentations (PW, KR, JSP, XJ), pp. 1–4.
KDDKDD-2008-ChenZC #collaboration #community #personalisation #recommendation
Combinational collaborative filtering for personalized community recommendation (WC, DZ, EYC), pp. 115–123.
KRKR-2008-BruijnET #logic #ontology
Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic (JdB, TE, HT), pp. 485–495.
SEKESEKE-2008-HerrLSTW #automation #process
Combining SOA and BPM Technologies for Cross-System Process Automation (SH, KL, JS, GKT, GW), pp. 339–344.
SIGIRSIGIR-2008-Meij #documentation #navigation #towards
Towards a combined model for search and navigation of annotated documents (EM), p. 898.
SIGIRSIGIR-2008-RodeSH #ranking
Combining document- and paragraph-based entity ranking (HR, PS, DH), pp. 851–852.
SIGIRSIGIR-2008-SkobeltsynJPB #named #web
ResIn: a combination of results caching and index pruning for high-performance web search engines (GS, FJ, VP, RABY), pp. 131–138.
SIGIRSIGIR-2008-TanWC #detection #sentiment #using
Combining learn-based and lexicon-based techniques for sentiment detection without using labeled examples (ST, YW, XC), pp. 743–744.
OOPSLAOOPSLA-2008-GopinathanR #analysis #protocol #runtime
Enforcing object protocols by combining static and runtime analysis (MG, SKR), pp. 245–260.
PADLPADL-2008-FrostHC #ambiguity #combinator #parsing #recursion
Parser Combinators for Ambiguous Left-Recursive Grammars (RAF, RH, PC), pp. 167–181.
RERE-2008-KaindlCPSZ #design #how #interactive #question #requirements
How to Combine Requirements Engineering and Interaction Design? (HK, LLC, OP, AGS, DZ), pp. 299–301.
SACSAC-2008-Djelloul #constraints #first-order
Combination of decomposability and propagation for solving first-order constraints in decomposable theories (KD), pp. 1728–1732.
SACSAC-2008-FabreS
Combining symbolic and numerical solvers to simplify indecomposable systems solving (AF, PS), pp. 1838–1842.
SACSAC-2008-TarauL #synthesis
Revisiting exact combinational circuit synthesis (PT, BL), pp. 1758–1759.
HPDCHPDC-2008-SotomayorKF #execution #using #virtual machine
Combining batch execution and leasing using virtual machines (BS, KK, ITF), pp. 87–96.
SMTSMT-2007-ConchonCKL08 #congruence #semantics
CC(X): Semantic Combination of Congruence Closure with Solvable Theories (SC, EC, JK, SL), pp. 51–69.
SMTSMT-2007-MouraB08 #modelling
Model-based Theory Combination (LMdM, NB), pp. 37–49.
ICSTICST-2008-SenBM #model transformation #modelling #multi #on the #testing
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing (SS, BB, JMM), pp. 328–337.
ISSTAISSTA-2008-PasareanuMBGLPP #execution #symbolic computation #testing
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software (CSP, PCM, DHB, KGB, MRL, SP, MP), pp. 15–26.
LICSLICS-2008-GacekMN #recursion
Combining Generic Judgments with Recursive Definitions (AG, DM, GN), pp. 33–44.
RTARTA-2008-HendrixO #automaton #equation
Combining Equational Tree Automata over AC and ACI Theories (JH, HO), pp. 142–156.
RTARTA-2008-MazanekM #combinator #functional #graph #parsing
Functional-Logic Graph Parser Combinators (SM, MM), pp. 261–275.
RTARTA-2008-Stratulat #induction
Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities (SS), pp. 351–365.
ASEASE-2007-ArtziKGE #analysis
Combined static and dynamic mutability analysis (SA, AK, DG, MDE), pp. 104–113.
ASEASE-2007-TkachukR #composition #generative #model checking #slicing
Combining environment generation and slicing for modular software model checking (OT, SPR), pp. 401–404.
DACDAC-2007-ChatterjeeMBK #equivalence #on the #proving
On Resolution Proofs for Combinational Equivalence (SC, AM, RKB, AK), pp. 600–605.
DACDAC-2007-WangYBVVLC #performance
The Impact of NBTI on the Performance of Combinational and Sequential Circuits (WW, SY, SB, RV, SBKV, FL, YC), pp. 364–369.
DATEDATE-2007-BorremansLWR #analysis #multi #using
Nonlinearity analysis of Analog/RF circuits using combined multisine and volterra analysis (JB, LDL, PW, YR), pp. 261–266.
DATEDATE-2007-HaastregtK #interactive #optimisation #performance #random #using
Interactive presentation: Feasibility of combined area and performance optimization for superscalar processors using random search (SvH, PMWK), pp. 606–611.
DATEDATE-2007-MoonBP #approach #composition #equivalence
A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states (IHM, PB, CP), pp. 1170–1175.
DATEDATE-2007-NepalBMPZ #design #interactive #multi
Interactive presentation: Techniques for designing noise-tolerant multi-level combinational circuits (KN, RIB, JLM, WRP, AZ), pp. 576–581.
DATEDATE-2007-ZhouB #approach #reduction #scheduling #testing #using
Test cost reduction for SoC using a combined approach to test data compression and test scheduling (QZ, KJB), pp. 39–44.
DocEngDocEng-2007-DejeanM #documentation #functional #logic
Logical document conversion: combining functional and formal knowledge (HD, JLM), pp. 135–143.
DocEngDocEng-2007-PuginI #semantics
Combination of transformation and schema languages described by a complete formal semantics (CP, RI), pp. 222–224.
DRRDRR-2007-AndraNLZBBHST #effectiveness
Frequency coding: an effective method for combining dichotomizers (SA, GN, CLL, IZ, EB, AB, LH, KMS, MT).
DRRDRR-2007-HeD #adaptation #clustering #corpus #retrieval
Combining text clustering and retrieval for corpus adaptation (FH, XD).
ICDARICDAR-2007-Al-HajjML #classification #recognition #word
Combination of HMM-Based Classifiers for the Recognition of Arabic Handwritten Words (RAHM, CM, LLS), pp. 959–963.
ICDARICDAR-2007-FerrerV #evaluation #performance #segmentation
Combination of OCR Engines for Page Segmentation Based on Performance Evaluation (MF, EV), pp. 784–788.
ICDARICDAR-2007-LiwickiB #online #recognition
Combining On-Line and Off-Line Systems for Handwriting Recognition (ML, HB), pp. 372–376.
ICDARICDAR-2007-MengZSZ #documentation #image #multi #retrieval
Document Images Retrieval Based on Multiple Features Combination (GM, NZ, YS, YZ), pp. 143–147.
ICDARICDAR-2007-SunHHFN #classification #recognition
Degraded Character Recognition by Complementary Classifiers Combination (JS, KH, YH, KF, SN), pp. 579–583.
TACASTACAS-2007-AmlaM #abstraction #model checking #refinement #satisfiability
Combining Abstraction Refinement and SAT-Based Model Checking (NA, KLM), pp. 405–419.
TACASTACAS-2007-KrsticGGT #parametricity #satisfiability
Combined Satisfiability Modulo Parametric Theories (SK, AG, JG, CT), pp. 602–617.
ICPCICPC-2007-PoshyvanykM #concept analysis #information retrieval #source code
Combining Formal Concept Analysis with Information Retrieval for Concept Location in Source Code (DP, AM), pp. 37–48.
MSRMSR-2007-KagdiM #dependence #predict
Combining Single-Version and Evolutionary Dependencies for Software-Change Prediction (HHK, JIM), p. 17.
PLDIPLDI-2007-LiZ #concurrent #evaluation #implementation #monad #network #scalability #thread
Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives (PL, SZ), pp. 189–199.
CIAACIAA-J-2006-SalomaaY07 #complexity #estimation #on the
On the State Complexity of Combined Operations and their Estimation (KS, SY), pp. 683–698.
ICALPICALP-2007-IshaiMSW #approximate #multi
Private Multiparty Sampling and Approximation of Vector Combinations (YI, TM, MJS, RNW), pp. 243–254.
LATALATA-2007-LiuMSY #complexity
State Complexity of Basic Operations Combined with Reversal (GL, CMV, AS, SY), pp. 355–366.
IFMIFM-2007-KarkinskyST
Combining Mobility with State (DK, SAS, HT), pp. 373–392.
IFLIFL-2007-MazanekM #combinator #graph #parsing
Graph Parser Combinators (SM, MM), pp. 1–18.
IFLIFL-2007-Wallace #parsing
Partial Parsing: Combining Choice with Commitment (MW), pp. 93–110.
AGTIVEAGTIVE-2007-KoehlerGKPRVV #assurance #development #model transformation #quality
Combining Quality Assurance and Model Transformations in Business-Driven Development (JK, TG, JMK, CP, KR, JV, HV), pp. 1–16.
HCIHCI-AS-2007-Yeh #3d
The Practice of Combining Cinematic Narrative with 3D Gameplay (CSIY), pp. 381–390.
HCIHCI-IDU-2007-DuarteCG #interface #usability #visual notation
Evaluating Usability Improvements by Combining Visual and Audio Modalities in the Interface (CD, LC, NG), pp. 428–437.
HCIHCI-IPT-2007-ChenLWS #layout
Screen Layout on Color Search Task for Customized Product Color Combination Selection (CYC, YJL, FGW, CFS), pp. 32–40.
CIKMCIKM-2007-HlaouaBP #feedback #retrieval #xml
Combination of evidences in relevance feedback for xml retrieval (LH, MB, KPS), pp. 893–896.
ECIRECIR-2007-BloehdornM #classification #kernel #semantics
Combined Syntactic and Semantic Kernels for Text Classification (SB, AM), pp. 307–318.
ECIRECIR-2007-KongL #documentation #modelling #multi #network #xml
Combining Multiple Sources of Evidence in XML Multimedia Documents: An Inference Network Incorporating Element Language Models (ZK, ML), pp. 716–719.
ECIRECIR-2007-PengO #documentation #information retrieval #web
Combination of Document Priors in Web Information Retrieval (JP, IO), pp. 732–736.
ECIRECIR-2007-TsikrikaL #framework #retrieval #web
Combining Evidence for Relevance Criteria: A Framework and Experiments in Web Retrieval (TT, ML), pp. 481–493.
ECIRECIR-2007-ZhaoV
Authorship Attribution Via Combination of Evidence (YZ, PV), pp. 661–669.
ICMLICML-2007-GellyS #online
Combining online and offline knowledge in UCT (SG, DS), pp. 273–280.
ICMLICML-2007-WoznicaKH #learning
Learning to combine distances for complex representations (AW, AK, MH), pp. 1031–1038.
KDDKDD-2007-ShigaTM #approach #clustering #composition #network
A spectral clustering approach to optimally combining numericalvectors with a modular network (MS, IT, HM), pp. 647–656.
MLDMMLDM-2007-CuiL #sequence
A New Combined Fractal Scale Descriptor for Gait Sequence (LC, HL), pp. 616–627.
MLDMMLDM-2007-HulsmannF #algorithm #comparison #multi #novel #optimisation #parametricity
Comparison of a Novel Combined ECOC Strategy with Different Multiclass Algorithms Together with Parameter Optimization Methods (MH, CMF), pp. 17–31.
MLDMMLDM-2007-SzepannekBW #classification #on the
On the Combination of Locally Optimal Pairwise Classifiers (GS, BB, CW), pp. 104–116.
MLDMMLDM-2007-ZagorisPK #algorithm #fuzzy #reduction #self #using
Color Reduction Using the Combination of the Kohonen Self-Organized Feature Map and the Gustafson-Kessel Fuzzy Algorithm (KZ, NP, IK), pp. 703–715.
SEKESEKE-2007-AlencarRSF #classification #modelling #probability #project management
Combining Decorated Classification Trees with RCPS Stochastic Models to Gain New Valuable Insights into Software Project Management (AJA, GGR, EAS, ALF), pp. 151–156.
SIGIRSIGIR-2007-AlmeidaGCC #adaptation #approach #component #programming #ranking #search-based
A combined component approach for finding collection-adapted ranking functions based on genetic programming (HMdA, MAG, MC, PC), pp. 399–406.
SIGIRSIGIR-2007-ShahKF #algorithm #case study #feedback
Making mind and machine meet: a study of combining cognitive and algorithmic relevance feedback (CS, DK, XF), pp. 877–878.
SIGIRSIGIR-2007-TanW #categorisation
Combining error-correcting output codes and model-refinement for text categorization (ST, YW), pp. 699–700.
SIGIRSIGIR-2007-WiegandLK
Combining term-based and event-based matching for question answering (MW, JLL, DK), pp. 715–716.
SIGIRSIGIR-2007-ZhuYCG #classification #matrix #using
Combining content and link for classification using matrix factorization (SZ, KY, YC, YG), pp. 487–494.
GPCEGPCE-2007-WeaverKFA #algebra #combinator
Constructing language processors with algebra combinators (PW, GK, NF, PA), pp. 155–164.
LOPSTRLOPSTR-2007-AbdennadherS #approach #constraints #generative #rule-based #theorem proving
Generation of Rule-Based Constraint Solvers: Combined Approach (SA, IS), pp. 106–120.
PADLPADL-2007-MeraLPCH #execution #profiling #static analysis
Combining Static Analysis and Profiling for Estimating Execution Times (EM, PLG, GP, MC, MVH), pp. 140–154.
POPLPOPL-2007-Lammel #combinator #scrap your boilerplate
Scrap your boilerplate with XPath-like combinators (RL), pp. 137–142.
SACSAC-2007-RosenkranzH #concept #modelling
Combining cybernetics and conceptual modeling: the concept of variety in organizational engineering (CR, RH), pp. 1228–1233.
HPDCHPDC-2007-BudatiSCW #grid #named #performance #reliability
Ridge: combining reliability and performance in open grid platforms (KB, JDS, AC, JBW), pp. 55–64.
LCTESLCTES-2007-BennettMFT #automation #embedded #set #text-to-text
Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration of embedded systems (RVB, ACM, BF, NPT), pp. 83–92.
LCTESLCTES-2007-ZhuM #feedback #named #reduction #scalability #scheduling
DVSleak: combining leakage reduction and voltage scaling in feedback EDF scheduling (YZ, FM), pp. 31–40.
SMTSMT-J-2006-SeshiaSB07 #constraints #on the
On Solving Boolean Combinations of UTVPI Constraints (SAS, KS, REB), pp. 67–90.
AMOSTAMOST-2007-Benz #component #generative #integration #testing
Combining test case generation for component and integration testing (SB), pp. 23–33.
CADECADE-2007-GhilardiNRZ #infinity #model checking #satisfiability
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems (SG, EN, SR, DZ), pp. 362–378.
CADECADE-2007-LynchT #automation #decidability #revisited
Automatic Decidability and Combinability Revisited (CL, DKT), pp. 328–344.
ICLPICLP-2007-TarauL #framework #logic programming #synthesis
A Logic Programming Framework for Combinational Circuit Synthesis (PT, BL), pp. 180–194.
RTARTA-2007-Vaux #linear #on the
On Linear Combinations of λ-Terms (LV), pp. 374–388.
ICSTSAT-2007-LiWZ #adaptation #satisfiability
Combining Adaptive Noise and Look-Ahead in Local Search for SAT (CML, WW, HZ), pp. 121–133.
TAPTAP-2007-BeckertG #black box #specification #testing
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing (BB, CG), pp. 207–216.
TAPTAP-2007-SmaragdakisC #debugging #detection #reasoning
Combining Static and Dynamic Reasoning for Bug Detection (YS, CC), pp. 1–16.
TLCATLCA-2007-Mazza #abstraction #combinator #interactive #symmetry
Edifices and Full Abstraction for the Symmetric Interaction Combinators (DM), pp. 305–320.
VMCAIVMCAI-2007-BeyerHMR #invariant #synthesis
Invariant Synthesis for Combined Theories (DB, TAH, RM, AR), pp. 378–394.
CBSECBSE-2006-SuveeFV #approach #aspect-oriented #component #development #symmetry #towards
A Symmetric and Unified Approach Towards Combining Aspect-Oriented and Component-Based Software Development (DS, BDF, WV), pp. 114–122.
ASEASE-2006-PontissoC #automation #formal method #modelling
TOPCASED Combining Formal Methods with Model-Driven Engineering (NP, DC), pp. 359–360.
DACDAC-2006-FengH #equivalence #verification
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification (XF, AJH), pp. 1063–1068.
DACDAC-2006-MishchenkoCB #fresh look #logic #synthesis
DAG-aware AIG rewriting a fresh look at combinational logic synthesis (AM, SC, RKB), pp. 532–535.
DACDAC-2006-Miskov-ZivanovM #fault #modelling #named #reduction
MARS-C: modeling and reduction of soft errors in combinational circuits (NMZ, DM), pp. 767–772.
DATEDATE-2006-GrossschadlIPTV #algorithm #case study #design #encryption #set
Combining algorithm exploration with instruction set design: a case study in elliptic curve cryptography (JG, PI, LP, ST, AKV), pp. 218–223.
DATEDATE-2006-GuptaJL #automaton #generative #quantum #testing
Test generation for combinational quantum cellular automata (QCA) circuits (PG, NKJ, LL), pp. 311–316.
DATEDATE-2006-KunzliPBT #analysis #formal method #performance #simulation
Combining simulation and formal methods for system-level performance analysis (SK, FP, LB, LT), pp. 236–241.
DATEDATE-2006-RaoCBS #algorithm #fault #performance
An efficient static algorithm for computing the soft error rates of combinational circuits (RRR, KC, DB, DS), pp. 164–169.
DocEngDocEng-2006-Witschel #information retrieval #modelling
Carrot and stick: combining information retrieval models (HFW), p. 32.
DocEngDocEng-2006-ZeridaLC #mining
Combining linguistic and structural descriptors for mining biomedical literature (NZ, NL, BC), pp. 62–64.
DRRDRR-2006-ChellapillaSS #classification
Optimally combining a cascade of classifiers (KC, MS, PYS).
DRRDRR-2006-ChenS #2d #recognition #verification
Combining one- and two-dimensional signal recognition approaches to off-line signature verification (SC, SNS).
PODSPODS-2006-Cohen #equivalence #query #semantics #set
Equivalence of queries combining set and bag-set semantics (SC), pp. 70–79.
ESOPESOP-2006-GulwaniT #abstraction #linear
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions (SG, AT), pp. 279–293.
FASEFASE-2006-LavazzaB #problem #requirements #uml
Combining Problem Frames and UML in the Description of Software Requirements (LL, VDB), pp. 199–213.
TACASTACAS-2006-FontaineMMNT #automation #interactive #proving #smt #towards
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants (PF, JYM, SM, LPN, AFT), pp. 167–181.
ICPCICPC-2006-PoshyvanykMRGA #identification #probability #ranking #semantics
Combining Probabilistic Ranking and Latent Semantic Indexing for Feature Identification (DP, AM, VR, YGG, GA), pp. 137–148.
PLDIPLDI-2006-GulwaniT
Combining abstract interpreters (SG, AT), pp. 376–386.
SASSAS-2006-GonnordH #analysis #linear
Combining Widening and Acceleration in Linear Relation Analysis (LG, NH), pp. 144–160.
FLOPSFLOPS-2006-CasasCH #approach #evaluation #functional #higher-order #lazy evaluation
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems (AC, DC, MVH), pp. 146–162.
CIAACIAA-2006-Yu #complexity #on the
On the State Complexity of Combined Operations (SY), pp. 11–22.
EDOCEDOC-2006-HauserFKV #analysis #workflow
Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows (RH, MF, JMK, JV), pp. 129–140.
ICEISICEIS-AIDSS-2006-GollerHS #algorithm #data mining #mining
Beneficial Sequential Combination of Data Mining Algorithms (MG, MH, MS), pp. 135–143.
ICEISICEIS-J-2006-ShishkovQ06a #modelling #process #refinement
Combining SDBC and ISDL in the Modeling and Refinement of Business Processes (BS, DACQ), pp. 322–335.
CIKMCIKM-2006-OlssonO #classification
Combining feature selectors for text classification (JSO, DWO), pp. 798–799.
CIKMCIKM-2006-TerrovitisPVS
A combination of trie-trees and inverted files for the indexing of set-valued attributes (MT, SP, PV, TKS), pp. 728–737.
ECIRECIR-2006-ZhangDC #detection
Combining Short and Long Term Audio Features for TV Sports Highlight Detection (BZ, WD, LC), pp. 472–475.
ICMLICML-2006-Cesa-BianchiGZ #classification
Hierarchical classification: combining Bayes with SVM (NCB, CG, LZ), pp. 177–184.
ICMLICML-2006-Garcke
Regression with the optimised combination technique (JG), pp. 321–328.
ICMLICML-2006-LeeGW #classification #using
Using query-specific variance estimates to combine Bayesian classifiers (CHL, RG, SW), pp. 529–536.
ICMLICML-2006-LewisJN #kernel
Nonstationary kernel combination (DPL, TJ, WSN), pp. 553–560.
ICMLICML-2006-LuV #clustering
Combined central and subspace clustering for computer vision applications (LL, RV), pp. 593–600.
ICMLICML-2006-RossOZ
Combining discriminative features to infer complex trajectories (DAR, SO, RSZ), pp. 761–768.
ICPRICPR-v1-2006-BouterucheA #fuzzy #gesture #online #recognition
Fuzzy Point of View Combination for Contextual Shape Recognition: Application to On-line Graphic Gesture Recognition (FB, ÉA), pp. 1088–1091.
ICPRICPR-v1-2006-CarterYF #approach #behaviour #markov #recognition
A Combined Bayesian Markovian Approach for Behaviour Recognition (NLC, DPY, JMF), pp. 761–764.
ICPRICPR-v1-2006-OgataCKI #detection #multi #process
Improving human activity detection by combining multi-dimensional motion descriptors with boosting (TO, WJC, JK, SI), pp. 295–298.
ICPRICPR-v2-2006-BertolamiB #classification #integration #multi #recognition
Early feature stream integration versus decision level combination in a multiple classifier system for text line recognition (RB, HB), pp. 845–848.
ICPRICPR-v2-2006-HuD #classification #multi #theorem
A “No Panacea Theorem” for Multiple Classifier Combination (RH, RID), pp. 1250–1253.
ICPRICPR-v2-2006-KelmPM #classification #generative #learning #multi
Combining Generative and Discriminative Methods for Pixel Classification with Multi-Conditional Learning (BMK, CP, AM), pp. 828–832.
ICPRICPR-v2-2006-TerradesTV #adaptation #using
Combination of shape descriptors using an adaptation of boosting (ORT, ST, EV), pp. 764–767.
ICPRICPR-v3-2006-ChoiAB #segmentation #using
Face Alignment Using Segmentation and a Combined AAM in a PTZ Camera (KC, JHA, HB), pp. 1191–1194.
ICPRICPR-v3-2006-MakhloufiZBB
QIM watermarking combined to JPEG2000 part I and II (AM, AOZ, RB, AB), pp. 746–749.
ICPRICPR-v3-2006-MatosC #classification #network
Combining global and local classifiers with Bayesian network (LNM, JMdC), pp. 1212–1215.
ICPRICPR-v3-2006-WuR #adaptation #image
Combining Adaptive PDE and Wavelet Shrinkage in Image Denoising with Edge Enhancing Property (JW, QR), pp. 718–721.
ICPRICPR-v3-2006-YangB #detection #generative
A Combination of Generative and Discriminative Approaches to Object Detection (JY, HB), pp. 249–253.
ICPRICPR-v3-2006-ZhangLG #kernel #memory management #recognition
Face Recognition by Combining Kernel Associative Memory and Gabor Transforms (BZ, CL, YG), pp. 465–468.
ICPRICPR-v3-2006-ZhongW #detection #markov #random
Object Detection Based on Combination of Conditional Random Field and Markov Random Field (PZ, RW), pp. 160–163.
ICPRICPR-v3-2006-ZouariHL #comparison #using
Experimental Comparison of Combination Rules using Simulated Data (HZ, LH, YL), pp. 152–155.
ICPRICPR-v4-2006-AndraN #classification
Combining Dichotomizers for MAP Field Classification (SA, GN), pp. 210–214.
ICPRICPR-v4-2006-DhandraHHM #analysis #image #segmentation #using
Analysis of Abnormality in Endoscopic images using Combined HSI Color Space and Watershed Segmentation (BVD, RH, MH, VSM), pp. 695–698.
ICPRICPR-v4-2006-KumarZ #authentication
Combining Fingerprint, Palmprint and Hand-Shape for User Authentication (AK, DZ), pp. 549–552.
ICPRICPR-v4-2006-MatosC06a #classification #network
Combining global and local classifiers with Bayesian network (LNM, JMdC), p. 952.
ICPRICPR-v4-2006-ShaZT #set #using
Minutiae-based Fingerprint Matching Using Subset Combination (LS, FZ, XT), pp. 566–569.
ICPRICPR-v4-2006-TaxD #linear #optimisation
Linear model combining by optimizing the Area under the ROC curve (DMJT, RPWD), pp. 119–122.
ICPRICPR-v4-2006-YinAC #identification
Combining Cepstral and Prosodic Features in Language Identification (BY, EA, FC), pp. 254–257.
KDDKDD-2006-SuchanekIW #analysis #documentation #statistics #web
Combining linguistic and statistical analysis to extract relations from web documents (FMS, GI, GW), pp. 712–717.
SEKESEKE-2006-BittencourtTC #rule-based
Rule-Based Systems Combining AI Techniques into a Legal Agent-based Intelligent Tutoring System (IIB, MT, EdBC), pp. 35–40.
SIGIRSIGIR-2006-MacdonaldO #email
Combining fields in known-item email search (CM, IO), pp. 675–676.
SIGIRSIGIR-2006-WangO #bidirectional #information retrieval
Combining bidirectional translation and synonymy for cross-language information retrieval (JW, DWO), pp. 202–209.
SIGIRSIGIR-2006-YanH #analysis #multi #probability #query #retrieval
Probabilistic latent query analysis for combining multiple retrieval sources (RY, AGH), pp. 324–331.
LOPSTRLOPSTR-2006-MantelSK #data flow #proving #security #verification
Combining Different Proof Techniques for Verifying Information Flow Security (HM, HS, TK), pp. 94–110.
PPDPPPDP-2006-RooverBD #behaviour #fuzzy #logic #similarity #strict #validation
Combining fuzzy logic and behavioral similarity for non-strict program validation (CDR, JB, TD), pp. 15–26.
PPDPPPDP-2006-SilvaC #algorithm #debugging #slicing
Combining algorithmic debugging and program slicing (JS, OC), pp. 157–166.
SACSAC-2006-ChenJUY #detection #distributed #fault #monitoring
Combining supervised and unsupervised monitoring for fault detection in distributed computing systems (HC, GJ, CU, KY), pp. 705–709.
SACSAC-2006-DoyleB #effectiveness #interactive #mobile #speech
Combining speech and pen input for effective interaction in mobile geospatial environments (JD, MB), pp. 1182–1183.
SACSAC-2006-LejdforsO #embedded #generative #gpu #implementation
Implementing an embedded GPU language by combining translation and generation (CL, LO), pp. 1610–1614.
SACSAC-2006-ShapiraTM
Study of the usefulness of known and new implicit indicators and their optimal combination for accurate inference of users interests (BS, MTM, AM), pp. 1118–1119.
SACSAC-2006-ZuoP #evaluation #trust
Information trustworthiness evaluation based on trust combination (YZ, BP), pp. 1880–1885.
LDTALDTA-2006-Helin
Combining Deep and Shallow Embeddings (JH), pp. 61–79.
SPLCSPLC-2006-LeeKKP #analysis #aspect-oriented #development #feature model #product line #programming
Combining Feature-Oriented Analysis and Aspect-Oriented Programming for Product Line Asset Development (KL, KCK, MK, SP), pp. 103–112.
CCCC-2006-NandivadaP #named #stack
SARA: Combining Stack Allocation and Register Allocation (VKN, JP), pp. 232–246.
ICLPICLP-2006-MeraLPCH #estimation #execution #logic programming #profiling #static analysis #using
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation (EM, PLG, GP, MC, MVH), pp. 431–432.
ICLPICLP-2006-OrtizV #combinator #logic #natural language #using
Natural Language Processing Using Lexical and Logical Combinators (JFO, JV), pp. 444–446.
IJCARIJCAR-2006-Brown #set #type system
Combining Type Theory and Untyped Set Theory (CEB), pp. 205–219.
IJCARIJCAR-2006-UrbanB #combinator #data type #higher-order #recursion
A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL (CU, SB), pp. 498–512.
RTARTA-2006-ChevalierR
Hierarchical Combination of Intruder Theories (YC, MR), pp. 108–122.
VMCAIVMCAI-2006-ArnoldMSS #abstraction #analysis
Combining Shape Analyses by Intersecting Abstractions (GA, RM, MS, RS), pp. 33–48.
ASEASE-2005-Grov #algorithm #approach #correctness #deduction #reasoning #source code #verification
Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning (GG), pp. 444–447.
ASEASE-2005-ShepherdPPC #analysis #automation #framework #mining #named
Timna: a framework for automatically combining aspect mining analyses (DCS, JP, LLP, MCC), pp. 184–193.
CASECASE-2005-GuschinskayaDGL #approach #heuristic #optimisation
A combined heuristic approach for optimization of a class of machining lines (OG, AD, NG, GL), pp. 154–159.
DACDAC-2005-DingV #megamodelling #performance
A combined feasibility and performance macromodel for analog circuits (MD, RV), pp. 63–68.
DACDAC-2005-GuWDZ #behaviour #design #incremental #physics
Incremental exploration of the combined physical and behavioral design space (Z(G, JW, RPD, HZ), pp. 208–213.
DACDAC-2005-KimK #array #design #embedded #memory management #optimisation #scheduling
Memory access optimization through combined code scheduling, memory allocation, and array binding in embedded system design (JK, TK), pp. 105–110.
DRRDRR-2005-NamaneAGSMB #network #recognition
Sequential neural network combination for degraded machine-printed character recognition (AN, MA, AG, EHS, PM, MB), pp. 101–110.
ICDARICDAR-2005-BhattacharyaC #classification #recognition
Fusion of Combination Rules of an Ensemble of MLP Classifiers for Improved Recognition Accuracy of Handprinted Bangla Numerals (UB, BBC), pp. 322–326.
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-HottaTSN #recognition #word
Accuracy Improvement for Handwritten Japanese Word Recognition by Combination of Character and Word Recognizer (YH, HT, MS, SN), pp. 685–689.
ICDARICDAR-2005-KboubiCA #evaluation #recognition
Table Recognition Evaluation and Combination Methods (FK, AHC, MBA), pp. 1237–1241.
ICDARICDAR-2005-MethasateMST #recognition
The feature Combination Technique for Off-line Thai Character Recognition System (IM, SM, SSt, TT), pp. 1006–1009.
ICDARICDAR-2005-SalmonWT #metric
Automatical Definition of Measures from the Combination of Shape Descriptors (JPS, LW, ST), pp. 986–990.
ICDARICDAR-2005-TulyakovG #identification
Combining Matching Scores in Identification Model (ST, VG), pp. 1151–1155.
ICALPICALP-2005-ChevalierR
Combining Intruder Theories (YC, MR), pp. 639–651.
FMFM-2005-ButlerL #csp #specification #verification
Combining CSP and B for Specification and Property Verification (MJB, ML), pp. 221–236.
ICFPICFP-2005-ChenX #programming #proving #theorem proving
Combining programming with theorem proving (CC, HX), pp. 66–77.
VISSOFTVISSOFT-2005-ClearyGEB #eclipse #plugin #static analysis #visualisation
A Combined Software Reconnaissance & Static Analysis Eclipse Visualisation Plug-in (BC, ALG, CE, JB), pp. 121–122.
VISSOFTVISSOFT-2005-TermeerLTC #architecture #metric #visual notation
Visual Exploration of Combined Architectural and Metric Information (MT, CFJL, ACT, MRVC), pp. 21–26.
ICEISICEIS-v2-2005-KianmehrZNOA #approach #data mining #mining #network
Combining Neural Network and Support Vector Machine into Integrated Approach for Biodata Mining (KK, HZ, KN, , RA), pp. 182–187.
CIKMCIKM-2005-CarinoJLWY #machine learning #mining #web
Mining officially unrecognized side effects of drugs by combining web search and machine learning (CC, YJ, BL, PMW, CTY), pp. 365–372.
CIKMCIKM-2005-TorresFZFFGC #framework #image #retrieval
A new framework to combine descriptors for content-based image retrieval (RdST, AXF, BZ, WF, EAF, MAG, PC), pp. 335–336.
CIKMCIKM-2005-YuZS #set #towards
Towards estimating the number of distinct value combinations for a set of attributes (XY, CZ, KCS), pp. 656–663.
ECIRECIR-2005-Belkhatir #automation #image #retrieval #semantics #visual notation
Combining Visual Semantics and Texture Characterizations for Precision-Oriented Automatic Image Retrieval (MB), pp. 457–474.
ECIRECIR-2005-RuchPS
Features Combination for Extracting Gene Functions from MEDLINE (PR, LP, JS), pp. 112–126.
ICMLICML-2005-CalinonB #framework #gesture #probability #recognition #using
Recognition and reproduction of gestures using a probabilistic framework combining PCA, ICA and HMM (SC, AB), pp. 105–112.
ICMLICML-2005-DriessensD #first-order #learning #modelling
Combining model-based and instance-based learning for first order regression (KD, SD), pp. 193–200.
ICMLICML-2005-GeurtsW #modelling
Closed-form dual perturb and combine for tree-based models (PG, LW), pp. 233–240.
ICMLICML-2005-NatarajanTADFR #first-order #learning #modelling #probability
Learning first-order probabilistic models with combining rules (SN, PT, EA, TGD, AF, ACR), pp. 609–616.
ICMLICML-2005-ZhuL #graph #induction #learning #modelling #scalability
Harmonic mixtures: combining mixture models and graph-based methods for inductive and scalable semi-supervised learning (XZ, JDL), pp. 1052–1059.
KDDKDD-2005-HershkopS #email #modelling #reduction
Combining email models for false positive reduction (SH, SJS), pp. 98–107.
KDDKDD-2005-JinZM #collaboration #recommendation #web
A maximum entropy web recommendation system: combining collaborative and content features (XJ, YZ, BM), pp. 612–617.
KDDKDD-2005-LangeB #probability
Combining partitions by probabilistic label aggregation (TL, JMB), pp. 147–156.
KDDKDD-2005-YangWZ #data type #predict
Combining proactive and reactive predictions for data streams (YY, XW, XZ), pp. 710–715.
MLDMMLDM-2005-LeHS #ambiguity #approach #classification #reasoning #word
An Evidential Reasoning Approach to Weighted Combination of Classifiers for Word Sense Disambiguation (CAL, VNH, AS), pp. 516–525.
SEKESEKE-2005-KrishnaG #concept #diagrams #modelling #sequence chart #uml
Combining Agent-oriented Conceptual Modelling and the UML Sequence Diagram (AK, AKG), pp. 205–210.
SEKESEKE-2005-SalimCKG #execution #specification #towards
Towards Executable Specification: Combining i* and AgentSpeak(L) (FS, CFC, AK, AG), pp. 739–742.
SIGIRSIGIR-2005-PuolamakiSSSK #collaboration #eye tracking #information retrieval
Combining eye movements and collaborative filtering for proactive information retrieval (KP, JS, ES, JS, SK), pp. 146–153.
OOPSLAOOPSLA-2005-DoorenS #exception #flexibility #robust #using
Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations (MvD, ES), pp. 455–471.
POPLPOPL-2005-FosterGMPS #approach #combinator #problem
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem (JNF, MBG, JTM, BCP, AS), pp. 233–246.
SACSAC-2005-BustosKS
A pivot-based index structure for combination of feature vectors (BB, DAK, TS), pp. 1180–1184.
SACSAC-2005-Casale #analysis #mining #network #performance #web
Combining queueing networks and web usage mining techniques for web performance analysis (GC), pp. 1699–1703.
SACSAC-2005-FradkinK #classification #learning
Methods for learning classifier combinations: no clear winner (DF, PBK), pp. 1038–1043.
SACSAC-2005-KaminaT #composition #mixin
Selective method combination in mixin-based composition (TK, TT), pp. 1269–1273.
SACSAC-OOPS-J-2005-KaminaT #flexibility #mixin #type system
Flexible Method Combination based on Mixin Subtyping (TK, TT), pp. 95–115.
ESEC-FSEESEC-FSE-2005-HochsteinBZHC #automation #metric #programming #self
Combining self-reported and automatic data to improve programming effort measurement (LH, VRB, MVZ, JKH, JC), pp. 356–365.
ICSEICSE-2005-CsallnerS #static analysis #testing
Check’n’crash: combining static checking and testing (CC, YS), pp. 422–431.
CGOCGO-2005-ChenCH #empirical #memory management #modelling #multi
Combining Models and Guided Empirical Search to Optimize for Multiple Levels of the Memory Hierarchy (CC, JC, MWH), pp. 111–122.
ICSTSAT-J-2004-ArmandoCGM05 #constraints #difference #satisfiability
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints (AA, CC, EG, MM), pp. 16–29.
CADECADE-2005-YorshM #generative
A Combination Method for Generating Interpolants (GY, MM), pp. 353–368.
CAVCAV-2005-BozzanoBCJRRS #modulo theories #performance #satisfiability
Efficient Satisfiability Modulo Theories via Delayed Theory Combination (MB, RB, AC, TAJ, SR, PvR, RS), pp. 335–349.
ASEASE-2004-ChoiH #approach #case study #model checking
Combination Model Checking: Approach and a Case Study (YC, MPEH), pp. 354–357.
ASEASE-2004-HopcroftB #csp #development
Combining the Box Structure Development Method and CSP (PJH, GHB), pp. 340–345.
DACDAC-2004-JeongN #detection #performance
Fast hazard detection in combinational circuits (CJ, SMN), pp. 592–595.
DACDAC-2004-SunKV #taxonomy #testing
Combining dictionary coding and LFSR reseeding for test data compression (XS, LLK, BV), pp. 944–947.
DATEDATE-v1-2004-RaudvereSSJ #abstraction #polynomial #verification
Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits (TR, AKS, IS, AJ), pp. 690–691.
DATEDATE-v2-2004-CheungPHC #equivalence #named #using
MINCE: Matching INstructions Using Combinational Equivalence for Extensible Processor (NC, SP, JH, JC), pp. 1020–1027.
VLDBVLDB-2004-NeumannM #framework #optimisation #order
A Combined Framework for Grouping and Order Optimization (TN, GM), pp. 960–971.
VLDBVLDB-2004-SuRM #algebra #optimisation #query #semantics #xml #xquery
Semantic Query Optimization in an Automata-Algebra Combined XQuery Engine over XML Streams (HS, EAR, MM), pp. 1293–1296.
CSMRCSMR-2004-MaqboolB #algorithm #clustering
The Weighted Combined Algorithm: A Linkage Algorithm for Software Clustering (OM, HAB), pp. 15–24.
WCREWCRE-2004-RocheC #comprehension #hardware #reverse engineering
Combined Software and Hardware Comprehension in Reverse Engineering (PLR, AC), pp. 234–243.
SASSAS-2004-ThompsonM #abstract interpretation
Abstract Interpretation of Combinational Asynchronous Circuits (ST, AM), pp. 181–196.
CIAACIAA-2004-FrishertW #automaton #regular expression
Combining Regular Expressions with (Near-)Optimal Brzozowski Automata (MF, BWW), pp. 319–320.
AFPAFP-2004-Pardo04 #data type
Combining Datatypes and Effects (AP), pp. 171–209.
CHICHI-2004-ToryMAK #2d #3d
Combining 2D and 3D views for orientation and relative position tasks (MT, TM, MSA, AEK), pp. 73–80.
AdaEuropeAdaEurope-2004-MasmanoRRC #linux #realtime
Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux (MM, JR, IR, AC), pp. 144–155.
CAiSECAiSE-2004-BerkumBM #development #runtime #web
A Combined Runtime Environment and Web-Based Development Environment for Web Application Engineering (MvB, SB, AM), pp. 307–321.
ICEISICEIS-v2-2004-KooptiwootS #mining #set #using
Mining the Relationships in the Form of the Predisposing Factors and Coincident Factors Among Numerical Dynamic Attributes in Time Series Data Set by Using the Combination of Some Existing Techniques (SK, MAS), pp. 327–334.
ICEISICEIS-v2-2004-KooptiwootS04a #idea #mining #set #using
Mining the Relationships in the Form of Predisposing Factor and Coincident Factor in Time Series Data Set by Using the Combination of some Existing Ideas with a new Idea from the Fact in the Chemical Reaction (SK, MAS), pp. 531–534.
ICEISICEIS-v2-2004-TagarelliTG #clustering #linear #mining #programming
Mining Scientific Results Through the Combined Use of Clustering and Linear Programming Techniques (AT, IT, SG), pp. 84–91.
ICEISICEIS-v3-2004-KrishnaVG #case study #framework
A Case Study of Combining I* Framework and the Z Notation (AK, SAV, AKG), pp. 192–200.
ICEISICEIS-v4-2004-MazhelisP #classification #detection
Combining One-Class Classifiers for Mobile-User Substitution Detection (OM, SP), pp. 130–137.
CIKMCIKM-2004-LiOM #clustering #multi #on the
On combining multiple clusterings (TL, MO, SM), pp. 294–303.
CIKMCIKM-2004-SiJ #collaboration #exponential
Unified filtering by combining collaborative filtering and content-based filtering via mixture model and exponential model (LS, RJ), pp. 156–157.
CIKMCIKM-2004-ZhangGFCFCC #classification
Combining structural and citation-based evidence for text classification (BZ, MAG, WF, YC, EAF, PC, MC), pp. 162–163.
ECIRECIR-2004-NottelmannF #approach
Combining CORI and the Decision-Theoretic Approach for Advanced Resource Selection (HN, NF), pp. 138–153.
ICMLICML-2004-MoralesS #behaviour #learning
Learning to fly by combining reinforcement learning with behavioural cloning (EFM, CS).
ICMLICML-2004-RudarySP #adaptation #constraints #learning #reasoning
Adaptive cognitive orthotics: combining reinforcement learning and constraint-based temporal reasoning (MRR, SPS, MEP).
ICPRICPR-v1-2004-FanWLT #null #recognition
Combining Null Space-based Gabor Features for Face Recognition (WF, YW, WL, TT), pp. 330–333.
ICPRICPR-v1-2004-KangD #approximate #bound #classification #fault
Product Approximation by Minimizing the Upper Bound of Bayes Error Rate for Bayesian Combination of Classifiers (HJK, DSD), pp. 252–255.
ICPRICPR-v1-2004-MilgramSC #classification #modelling
Two-Stage Classification System combining Model-Based and Discriminative Approaches (JM, RS, MC), pp. 152–155.
ICPRICPR-v1-2004-YiKZ #classification #learning
Classifier Combination based on Active Learning (XY, ZK, CZ), pp. 184–187.
ICPRICPR-v2-2004-KherfiBZ #effectiveness #image #retrieval #semantics #visual notation
Combining Visual Features with Semantics for a More Effective Image Retrieval (MLK, DB, DZ), pp. 961–964.
ICPRICPR-v2-2004-KimBSCCKC #image #using #verification
Scene Text Extraction in Natural Scene Images using Hierarchical Feature Combining and Verification (KCK, HRB, YJS, YWC, SYC, KKK, YC), pp. 679–682.
ICPRICPR-v3-2004-AiLZ #analysis #automation
Combination of Wavelet Analysis and Color Applied to Automatic Color Grading of Ceramic Tiles (JA, DL, XZ), pp. 235–238.
ICPRICPR-v3-2004-CastelanH #constraints #fourier
Combining Data-Closeness and Fourier Domain Integrability Constraints in Shape-from-Shading (MC, ERH), pp. 115–118.
ICPRICPR-v3-2004-DeguchiKO #algorithm
Object Tracking by the Mean-Shift of Regional Color Distribution Combined with the Particle-Filter Algorithm (KD, OK, TO), pp. 506–509.
ICPRICPR-v3-2004-FritschHS #gesture #recognition
Combining Sensory and Symbolic Data for Manipulative Gesture Recognition (JF, NH, GS), pp. 930–933.
ICPRICPR-v3-2004-FujimuraOT #3d #algorithm #re-engineering
Improved 3D Head Reconstruction System based on Combining Shape-From-Silhouette with Two-Stage Stereo Algorithm (KF, YO, TT), pp. 127–130.
ICPRICPR-v3-2004-GimelfarbFE #linear
Expectation-Maximization for a Linear Combination of Gaussians (GLG, AAF, AEB), pp. 422–425.
ICPRICPR-v3-2004-KapoorPI #detection #multi #probability
Probabilistic Combination of Multiple Modalities to Detect Interest (AK, RWP, YI), pp. 969–972.
ICPRICPR-v4-2004-DebiollesOA #network
Combined Use of Partial Least Squares Regression and Neural Network for Diagnosis Tasks (AD, LO, PA), pp. 573–576.
ICPRICPR-v4-2004-ParkJZK #clustering #graph
Support Vector Clustering Combined with Spectral Graph Partitioning (JHP, XJ, HZ, RK), pp. 581–584.
ICPRICPR-v4-2004-SongN
Combined Face-body Tracking in Indoor Environment (XS, RN), pp. 159–162.
ICPRICPR-v4-2004-WangJ #detection #multi
Multi-View Face Detection under Complex Scene based on Combined SVMs (PW, QJ), pp. 179–182.
KDDKDD-2004-CohenS #integration #markov #process
Exploiting dictionaries in named entity extraction: combining semi-Markov extraction processes and data integration methods (WWC, SS), pp. 89–98.
KDDKDD-2004-ShavlikS #detection #effectiveness #evaluation
Selection, combination, and evaluation of effective software sensors for detecting abnormal computer usage (JWS, MS), pp. 276–285.
KDDKDD-2004-TanJ #multi
Ordering patterns by combining opinions from multiple sources (PNT, RJ), pp. 695–700.
KDDKDD-2004-ZhengPZ #approach
A DEA approach for model combination (Z(Z, BP, HZ), pp. 755–760.
KRKR-2004-EiterLST #logic #programming #semantics #set #web
Combining Answer Set Programming with Description Logics for the Semantic Web (TE, TL, RS, HT), pp. 141–151.
KRKR-2004-QiLG #consistency #knowledge base
A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases (GQ, WL, DHG), pp. 348–356.
SIGIRSIGIR-2004-FanLWXF #feedback #ranking #retrieval #robust
Tuning before feedback: combining ranking discovery and blind feedback for robust retrieval (WF, ML, LW, WX, EAF), pp. 138–145.
SIGIRSIGIR-2004-Ogilvie #comprehension #generative #information retrieval #modelling #probability #using
Understanding combination of evidence using generative probabilistic models for information retrieval (abstract only) (PO), p. 603.
SIGIRSIGIR-2004-Zhang #adaptation #classification #using
Using bayesian priors to combine classifiers for adaptive filtering (YZ0), pp. 345–352.
GPCEGPCE-2004-LohmannBS #aspect-oriented #generative #programming
Generic Advice: On the Combination of AOP with Generative Programming in AspectC++ (DL, GB, OS), pp. 55–74.
SACSAC-2004-KampsR #effectiveness #information retrieval
The effectiveness of combining information retrieval strategies for European languages (JK, MdR), pp. 1073–1077.
SACSAC-2004-LimaLS #category theory #combinator #haskell #multi
A back-end for GHC based on categorical multi-combinators (RMFL, RDL, ALMS), pp. 1482–1489.
SACSAC-2004-WebbW #analysis #biology #synthesis
Combining analysis and synthesis in a model of a biological cell (KW, TW), pp. 185–190.
IJCARIJCAR-2004-BaaderGT #decidability #logic #problem #word
A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics (FB, SG, CT), pp. 183–197.
SATSAT-2004-ArmandoCGM #constraints #difference #satisfiability
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints (AA, CC, EG, MM), pp. 166–173.
SATSAT-2004-SangBBKP #component #effectiveness #learning
Combining Component Caching and Clause Learning for Effective Model Counting (TS, FB, PB, HAK, TP), pp. 20–28.
DACDAC-2003-RiedelB #synthesis
The synthesis of cyclic combinational circuits (MDR, JB), pp. 163–168.
DATEDATE-2003-EbendtGD #bound
Combination of Lower Bounds in Exact BDD Minimization (RE, WG, RD), pp. 10758–10763.
DATEDATE-2003-Grivet-TalociaSMC #megamodelling #simulation
Combined FDTD/Macromodel Simulation of Interconnected Digital Devices (SGT, ISS, IAM, FGC), pp. 10536–10541.
DATEDATE-2003-IchiharaI #fault #generative #testing
Test Generation for Acyclic Sequential Circuits with Single Stuck-at Fault Combinational ATPG (HI, TI), pp. 11180–11181.
DATEDATE-2003-PastorP #concurrent #simulation #traversal #verification
Combining Simulation and Guided Traversal for the Verification of Concurrent Systems (EP, MAP), pp. 11158–11159.
HTHT-2003-ShipmanGW #editing
Combining spatial and navigational structure in the hyper-hitchcock hypervideo editor (FMSI, AG, LW), pp. 124–125.
ICDARICDAR-2003-FeldbachT #documentation #segmentation #semantics #word
Word Segmentation of Handwritten Dates in Historical Documents by Combining Semantic A-Priori-Knowledge with Local Features (MF, KDT), pp. 333–337.
ICDARICDAR-2003-HaoLS #classification #evaluation
Confidence Evaluation for Combining Diverse Classifiers (HH, CLL, HS), pp. 760–764.
ICDARICDAR-2003-KangD #classification #dependence #higher-order #multi
Combining Multiple Classifiers based on Third-Order Dependency (HJK, DSD), pp. 21–25.
ICDARICDAR-2003-Likforman-SulemVY #image
Proper Names Extraction from Fax Images Combining Textual and Image Features (LLS, PV, FY), pp. 545–549.
ICDARICDAR-2003-MezghaniCM #online #recognition
Combination of Pruned Kohonen Maps for On-line Arabic Characters Recognition (NM, MC, AM), p. 900–?.
ICDARICDAR-2003-PrevostMMOM #classification #modelling #recognition
Combining model-based and discriminative classifiers : application to handwritten character recognition (LP, CMS, AM, LO, MM), p. 31–?.
ICDARICDAR-2003-TomaiS #using
Combination of Type III Digit Recognizers using the Dempster-Shafer Theory of Evidence (CIT, SNS), pp. 854–858.
ICDARICDAR-2003-VinciarelliP #online #recognition
Combining Online and Offline Handwriting Recognition (AV, MPP), pp. 844–848.
ICDARICDAR-2003-ZouariHLA #classification #parallel
A New Classifier Simulator for Evaluating Parallel Combination Methods (HZ, LH, YL, AMA), pp. 26–30.
TACASTACAS-2003-ConchonK
Strategies for Combining Decision Procedures (SC, SK), pp. 537–552.
CSMRCSMR-2003-SaeedMBHS #algorithm #clustering
Software Clustering Techniques and the Use of Combined Algorithm (MS, OM, HAB, SZH, SMS), pp. 301–306.
ICALPICALP-2003-Peled #model checking #testing
Model Checking and Testing Combined (DP), pp. 47–63.
FMFME-2003-Schafer #analysis #fault #model checking #realtime
Combining Real-Time Model-Checking and Fault Tree Analysis (AS), pp. 522–541.
IFLIFL-2003-WeeldenP #functional
A Functional Shell That Dynamically Combines Compiled Code (AvW, RP), pp. 36–52.
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.
ICEISICEIS-v2-2003-WuCX #grid #knowledge base #semantics #web
Knowledge Base Grid: Relize Global Knowledge Sharing By Combining Grid and Semantic Web (ZW, HC, JX), pp. 258–265.
ICEISICEIS-v4-2003-HampelB #documentation #web
Combining Web Based Document Management and Event-Based Systems — Integrating MUDS and MOOS Together with DMS to Form a Cooperative Knowledge Space (TH, TB), pp. 218–223.
CIKMCIKM-2003-CaladoCMZRG #classification #documentation #web
Combining link-based and content-based methods for web document classification (PC, MC, ESdM, NZ, BARN, MAG), pp. 394–401.
ECIRECIR-2003-PengS #classification #modelling #n-gram #naive bayes
Combining Naive Bayes and n-Gram Language Models for Text Classification (FP, DS), pp. 335–350.
ICMLICML-2003-Mesterharm #algorithm #multi #using
Using Linear-threshold Algorithms to Combine Multi-class Sub-experts (CM), pp. 544–551.
ICMLICML-2003-RivestP #network
Combining TD-learning with Cascade-correlation Networks (FR, DP), pp. 632–639.
MLDMMLDM-2003-MiteranBB #approximate #bound #classification #image #realtime #segmentation #using
Classification Boundary Approximation by Using Combination of Training Steps for Real-Time Image Segmentation (JM, SB, EBB), pp. 141–155.
SEKESEKE-2003-AstesianoMMR #execution #multi #prototype #specification
From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques (EA, MM, VM, GR), pp. 578–585.
SIGIRSIGIR-2003-OgilvieC #documentation
Combining document representations for known-item search (PO, JPC), pp. 143–150.
SACSAC-2003-GeorgousopoulosR #mobile #modelling
Combining State and Model-based Approaches for Mobile Agent Load Balancing (CG, OFR), pp. 878–885.
LDTALDTA-J-2001-DohM #programming language #semantics
Composing programming languages by combining action-semantics modules (KGD, PDM), pp. 3–36.
CCCC-2003-JohnsonM #dependence #graph #using
Combined Code Motion and Register Allocation Using the Value State Dependence Graph (NJ, AM), pp. 1–16.
CADECADE-2003-Ringeissen
Matching in a Class of Combined Non-disjoint Theories (CR), pp. 212–227.
CAVCAV-2003-Drusinsky #monitoring
Monitoring Temporal Rules Combined with Time Series (DD), pp. 114–117.
ASEASE-2002-AzarPBKS #adaptation #algorithm #modelling #predict #quality #search-based
Combining and Adapting Software Quality Predictive Models by Genetic Algorithms (DA, DP, SB, BK, HAS), pp. 285–288.
DACDAC-2002-AnderssonBCH #approach #automation #design #problem #proving
A proof engine approach to solving combinational design automation problems (GA, PB, BC, ZH), pp. 725–730.
DACDAC-2002-ChoiK #code generation #scheduling
Address assignment combined with scheduling in DSP code generation (YC, TK), pp. 225–230.
DACDAC-2002-GanaiAGZM #algorithm #satisfiability
Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver (MKG, PA, AG, LZ, SM), pp. 747–750.
DACDAC-2002-SchrikM #modelling
Combined BEM/FEM substrate resistance modeling (ES, NPvdM), pp. 771–776.
DATEDATE-2002-BuchenriederPS #concept #design
A Powerful System Design Methodology Combining OCAPI and Handel-C for Concept Engineering (KB, AP, AS), pp. 870–874.
DATEDATE-2002-GoossensWPM #network
Networks on Silicon: Combining Best-Effort and Guaranteed Services (KGWG, PW, AMGP, JLvM), pp. 423–425.
VLDBVLDB-2002-DoR #flexibility #named
COMA — A System for Flexible Combination of Schema Matching Approaches (HHD, ER), pp. 610–621.
CSMRCSMR-2002-RivaR #architecture #re-engineering
Combining Static and Dynamic Views for Architecture Reconstruction (CR, JVR), p. 47–?.
ICSMEICSM-2002-BouktifSK #approach #modelling #predict #quality
Combining Software Quality Predictive Models: An Evolutionary Approach (SB, HAS, BK), pp. 385–392.
ICSMEICSM-2002-EisenbarthKS #incremental #scalability #source code
Incremental Location of Combined Features for Large-Scale Programs (TE, RK, DS), pp. 273–282.
IWPCIWPC-2002-DeursenV #combinator #comprehension #tool support #using #visitor
Building Program Understanding Tools Using Visitor Combinators (AvD, JV), pp. 137–146.
PASTEPASTE-2002-Eng #visualisation
Combining static and dynamic data in code visualization (DE), pp. 43–50.
SCAMSCAM-2002-BischofBLRV #matlab #source code
Combining Source Transformation and Operator Overloading Techniques to Compute Derivatives for MATLAB Programs (CHB, HMB, BL, AR, AV), pp. 65–72.
PLDIPLDI-2002-HallenbergET #garbage collection
Combining Region Inference and Garbage Collection (NH, ME, MT), pp. 141–152.
FMFME-2002-GaravelH #evaluation #functional #on the #performance #using #verification
On Combining Functional Verification and Performance Evaluation Using CADP (HG, HH), pp. 410–429.
IFMIFM-2002-HoenickeO #process #specification
Combining Specification Techniques for Processes, Data and Time (JH, ERO), pp. 245–266.
IFMIFM-2002-JohnsenZOA #development #distributed #visual notation
Combining Graphical and Formal Development of Open Distributed Systems (EBJ, WZ, OO, DBA), pp. 319–338.
CIKMCIKM-2002-Al-KhalifaJ #multi #query #xml
Multi-level operator combination in XML query processing (SAK, HVJ), pp. 134–141.
ECIRECIR-2002-HeeschR #comparative #evaluation #performance #retrieval #sketching
Combining Features for Content-Based Sketch Retrieval — A Comparative Evaluation of Retrieval Performance (DH, SMR), pp. 41–52.
ECIRECIR-2002-RajapakseD #adaptation #concept #encoding #information retrieval #representation #using
Concept Based Adaptive IR Model Using FCA-BAM Combination for Concept Representation and Encoding (RKR, MJD), pp. 150–168.
ECIRECIR-2002-TsikrikaL #documentation #network #using #web
Combining Web Document Representations in a Bayesian Inference Network Model Using Link and Content-Based Evidence (TT, ML), pp. 53–72.
ICMLICML-2002-DzeroskiZ #classification
Is Combining Classifiers Better than Selecting the Best One (SD, BZ), pp. 123–130.
ICMLICML-2002-Ghani #categorisation #multi
Combining Labeled and Unlabeled Data for MultiClass Text Categorization (RG), pp. 187–194.
ICMLICML-2002-Langford #bound #testing
Combining Trainig Set and Test Set Bounds (JL), pp. 331–338.
ICMLICML-2002-LebanonL #modelling #named #permutation #probability #ranking #using
Cranking: Combining Rankings Using Conditional Probability Models on Permutations (GL, JDL), pp. 363–370.
ICPRICPR-v1-2002-KatoPQ #image #multi #segmentation
Multicue MRF Image Segmentation: Combining Texture and Color Features (ZK, TCP, SGQ), pp. 660–663.
ICPRICPR-v1-2002-MitaniYKUMH
Combining the Gabor and Histogram Features for Classifying Diffuse Lung Opacities in Thin-Section Computed Tomography (YM, HY, SK, KU, NM, YH), pp. 53–56.
ICPRICPR-v1-2002-RibeiroSH #approach
An Evidence Combining Approach to Shape-from-Shading (ER, FS, ERH), pp. 624–627.
ICPRICPR-v1-2002-SablatnigTK #estimation
Combining Shape from Silhouette and Shape from Structured Light for Volume Estimation of Archaeological Vessels (RS, ST, MK), pp. 364–367.
ICPRICPR-v2-2002-BaggaHZR #multi #summary #video
Multi-Source Combined-Media Video Tracking for Summarization (AB, JH, JZ, GR), pp. 818–821.
ICPRICPR-v2-2002-CzyzKV #verification
Combining Face Verification Experts (JC, JK, LV), pp. 28–31.
ICPRICPR-v2-2002-Duin #classification #question
The Combining Classifier: To Train or Not to Train? (RPWD), pp. 765–770.
ICPRICPR-v2-2002-GuangmingJMHX #algorithm #data type #fault #metric
A New Mesh Simplification Algorithm Combining Half-Edge Data Structure with Modified Quadric Error Metric (GL, JT, MZ, HH, XZ), pp. 659–658.
ICPRICPR-v2-2002-GuunterB #classification #recognition
A New Combination Scheme for HMM-Based Classififiers and its Application to Handwriting Recognition (SG, HB), pp. 332–337.
ICPRICPR-v2-2002-IqbalA #evaluation #image #performance #retrieval
Combining Structure, Color and Texture for Image Retrieval: A Performance Evaluation (QI, JKA), pp. 438–443.
ICPRICPR-v2-2002-KovacsS #animation #detection #probability
Creating Animations Combining Stochastic Paintbrush Transformation and Motion Detection (LK, TS), p. 1090–?.
ICPRICPR-v2-2002-MassadBM #image
Perceptual Grouping in Grey-Level Images by Combination of Gabor Filtering and Tensor Voting (AM, MB, BM), pp. 677–680.
ICPRICPR-v2-2002-Paletta #classification #detection #using
Detection of Traffic Signs Using Posterior Classifier Combination (LP), pp. 705–708.
ICPRICPR-v2-2002-PolatYS #multi #using
Multiple Complex Object Tracking Using A Combined Technique (EP, MY, RS), pp. 717–720.
ICPRICPR-v2-2002-RoliFV #analysis #classification #trade-off
Analysis of Error-Reject Trade-off in Linearly Combined Classifiers (FR, GF, GV), pp. 120–125.
ICPRICPR-v2-2002-SirlantzisFG #algorithm #classification #multi
An Evolutionary Algorithm for Classifier and Combination Rule Selection in Multiple Classifier Systems (KS, MCF, RMG), pp. 771–774.
ICPRICPR-v2-2002-StefanoCM #adaptation #classification #multi
An Adaptive Weighted Majority Vote Rule for Combining Multiple Classifiers (CDS, ADC, AM), pp. 192–195.
ICPRICPR-v2-2002-TweedM #analysis #automation #detection
Automatic Detection of Regions of Interest in Mammographies Based on a Combined Analysis of Texture and Histogram (TT, SM), pp. 448–452.
ICPRICPR-v2-2002-ZollerHB #clustering #parametricity #segmentation
Combined Color And Texture Segmentation by Parametric Distributional Clustering (TZ, LH, JMB), pp. 627–630.
ICPRICPR-v3-2002-GorgevikC #classification #recognition
Combining SVM Classifiers for Handwritten Digit Recognition (DG, DC), pp. 102–105.
ICPRICPR-v3-2002-WangBR #classification #recognition #word
Combining HMM-Based Two-Pass Classifiers for Off-Line Word Recognition (WW, AB, GR), pp. 151–154.
ICPRICPR-v3-2002-XueG #classification #performance #predict #word
Performance Prediction for Handwritten Word Recognizers and Its Application to Classifier Combination (HX, VG), pp. 241–244.
ICPRICPR-v3-2002-ZhouZ #algorithm #recognition
Face Recognition by Combining Several Algorithms (JZ, DZ), p. 497–?.
ICPRICPR-v4-2002-ZhuJFL #eye tracking #information retrieval #realtime
Combining Kalman Filtering and Mean Shift for Real Time Eye Tracking under Active IR Illumination (ZZ, QJ, KF, KL), p. 318–?.
KDDKDD-2002-RaskuttiFK #classification #clustering #using
Combining clustering and co-training to enhance text classification using unlabelled data (BR, HLF, AK), pp. 620–625.
KRKR-2002-PetrickL #equivalence
Knowledge Equivalence in Combined Action Theories (RPAP, HJL), pp. 303–314.
SEKESEKE-2002-GrutznerAP #approach #information management #learning
A systematic approach to produce small courseware modules for combined learning and knowledge management environements (IG, NA, DP), pp. 533–539.
SEKESEKE-2002-JorgensenM #development #how #predict #question #why
Combination of software development effort prediction intervals: why, when and how? (MJ, KM), pp. 425–428.
SEKESEKE-2002-RusBH #analysis #development #empirical #process #simulation
Systematically combining process simulation and empirical data in support of decision analysis in software development (IR, SB, MH), pp. 827–833.
SIGIRSIGIR-2002-BennettDH #classification #modelling #probability #reliability #using
Probabilistic combination of text classifiers using reliability indicators: models and results (PNB, STD, EH), pp. 207–214.
LOPSTRLOPSTR-2002-FioravantiPP #higher-order #logic #logic programming #monad #program transformation #source code
Combining Logic Programs and Monadic Second Order Logics by Program Transformation (FF, AP, MP), pp. 160–181.
PPDPPPDP-2002-SchrijversD #analysis
Combining an improvement to PARMA trailing with trailing analysis (TS, BD), pp. 88–98.
PADLPADL-2002-LammelV #combinator #traversal
Typed Combinators for Generic Traversal (RL, JV), pp. 137–154.
SACSAC-2002-BillhardtBM #algorithm #retrieval #search-based #using
Using genetic algorithms to find suboptimal retrieval expert combinations (HB, DB, VM), pp. 657–662.
ASPLOSASPLOS-2002-AshokCM #energy #memory management #named #performance
Cool-Mem: combining statically speculative memory accessing with selective address translation for energy efficiency (RA, SC, CAM), pp. 133–143.
CADECADE-2002-FordS #verification
Formal Verification of a Combination Decision Procedure (JF, NS), pp. 347–362.
CADECADE-2002-Larchey-Wendling #logic
Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic (DLW), pp. 94–110.
CADECADE-2002-WhalenSF #automation #certification #named #synthesis
AutoBayes/CC — Combining Program Synthesis with Automatic Code Certification — System Description (MWW, JS, BF), pp. 290–294.
CADECADE-2002-Zarba #integer #multi
Combining Multisets with Integers (CGZ), pp. 363–376.
CAVCAV-2002-BarnerG #approximate #model checking #reduction #symmetry
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking (SB, OG), pp. 93–106.
CAVCAV-2002-Jacobi #model checking #pipes and filters #verification
Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving (CJ0), pp. 309–323.
RTARTA-2002-BaaderT
Combining Decision Procedures for Positive Theories Sharing Constructors (FB, CT), pp. 352–366.
RTARTA-2002-ShankarR
Combining Shostak Theories (NS, HR), pp. 1–18.
ICTSSTestCom-2002-BorodayPGQ #fault #generative #specification #testing
Test Generation for CEFSM Combining Specification and Fault Coverage (SB, AP, RG, YMQ), pp. 355–372.
ICTSSTestCom-2002-CastanetR #analysis #proving #reachability #testing #theorem proving
Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis (RC, DR), pp. 249–266.
VMCAIVMCAI-2002-BernardeschiF #abstract interpretation #bytecode #java #model checking #security
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode (CB, NDF), pp. 1–15.
VMCAIVMCAI-2002-GenaimCGL #termination
Combining Norms to Prove Termination (SG, MC, JPG, VL), pp. 126–138.
ASEASE-2001-BratV #model checking #static analysis
Combining Static Analysis and Model Checking for Software Analysis (GPB, WV), p. 262–?.
DACDAC-2001-ChandraC #power management #testing
Combining Low-Power Scan Testing and Test Data Compression for System-on-a-Chip (AC, KC), pp. 166–169.
DATEDATE-2001-GoldbergPB #equivalence #satisfiability #using
Using SAT for combinational equivalence checking (EIG, MRP, RKB), pp. 114–121.
DATEDATE-2001-RedaS #diagrams #equivalence #satisfiability #using
Combinational equivalence checking using Boolean satisfiability and binary decision diagrams (SR, AS), pp. 122–126.
ICDARICDAR-2001-GauthierAGD #online #recognition
Strategies for Combining On-line and Off-line Information in an On-line Handwriting Recognition System (NG, TA, PG, BD), pp. 412–416.
FASEFASE-2001-ReedS #independence #specification
Combining Independent Specifications (JNR, JS), pp. 45–59.
TACASTACAS-2001-Carvajal-SchiaffinoDC #bound #petri net #validation
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets (RCS, GD, GC), pp. 435–449.
TACASTACAS-2001-CimattiRB #automaton #model checking #set
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking (AC, MR, PB), pp. 313–327.
WCREWCRE-2001-HarmanHMZ #named #slicing
GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation (MH, LH, MM, XZ), pp. 271–280.
FMFME-2001-BellegardeDJK #named #refinement
Reformulation: A Way to Combine Dynamic Properties and B Refinement (FB, CD, JJ, OK), pp. 2–19.
FMFME-2001-SharyginaP #approach #reliability #testing #verification
A Combined Testing and Verification Approach for Software Reliability (NS, DP), pp. 611–628.
CHICHI-2001-TanRC #3d #navigation
Exploring 3D navigation: combining speed-coupled flying with orbiting (DST, GGR, MC), pp. 418–425.
ICEISICEIS-v2-2001-ShishkovD #analysis #case study #diagrams #modelling #process
Analysis of Suitability, Appropriateness and Adequacy of Use Cases Combined with Activity Diagram for Business Systems Modelling (BS, JLGD), pp. 854–858.
CIKMCIKM-2001-Al-KofahiTVTJ #categorisation #classification #multi
Combining Multiple Classifiers for Text Categorization (KAK, AT, AV, TT, PJ), pp. 97–104.
KDDKDD-2001-YamanishiT
Discovering outlier filtering rules from unlabeled data: combining a supervised learner with an unsupervised learner (KY, JiT), pp. 389–394.
SEKESEKE-2001-AlonsoCGM #data mining #mining
Combining Expert Knowledge and Data Mining in a Medical Diagnosis Domain (FA, JPCV, ÁLG, CM), pp. 412–419.
SEKESEKE-2001-BarberGH #architecture #correctness #model checking #simulation #using
Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model Checking (KSB, TJG, JH), pp. 19–28.
SIGIRSIGIR-2001-ChowdhuryFGM #analysis #multi #retrieval
Analyses of Multiple-Evidence Combinations for Retrieval Strategies (AC, OF, DAG, MCM), pp. 394–395.
SIGIRSIGIR-2001-DrewL #classification #using
Construction of a Hierarchical Classifier Schema Using a Combination of Text-Based and Image-Based Approaches (MSD, CL), pp. 438–439.
SIGIRSIGIR-2001-DumaisJ #probability
Probabilistic Combination of Content and Links (STD, RJ), pp. 402–403.
SIGIRSIGIR-2001-ManmathaRF #modelling
Modeling Score Distributions for Combining the Outputs of Search Engines (RM, TMR, FF), pp. 267–275.
SIGIRSIGIR-2001-StokesC #classification #detection #documentation #semantics
Combining Semantic and Syntactic Document Classifiers to Improve First Story Detection (NS, JC), pp. 424–425.
OOPSLAOOPSLA-2001-Visser #traversal #visitor
Visitor Combination and Traversal Control (JV), pp. 270–282.
GPCESAIG-2001-HerrmannL #approach #optimisation
A Transformational Approach which Combines Size Inference and Program Optimization (CAH, CL), pp. 199–218.
POPLPOPL-2001-Vouillon #calculus
Combining subsumption and binary methods: an object calculus with views (JV), pp. 290–303.
SACSAC-2001-Zhang #automation #satisfiability #symmetry
Automatic symmetry breaking method combined with SAT (JZ0), pp. 17–21.
FSEESEC-FSE-2001-LavazzaQV #modelling #realtime #uml
Combining UML and formal notations for modelling real-time systems (LL, GQ, MV), pp. 196–206.
ICSEICSE-2001-TruyenVJVJ #component
Dynamic and Selective Combination of Extensions in Component-Based Applications (ET, BV, WJ, PV, BNJ), pp. 233–242.
ICSEICSE-2001-TvedtTG #education #re-engineering
The Software Factory: Combining Undergraduate Computer Science and Software Engineering Education (JDT, RT, KAG), pp. 633–642.
LDTALDTA-2001-DohM #programming language #semantics
Composing Programming Languages by Combining Action-Semantics Modules (KGD, PDM), pp. 87–109.
LCTESLCTES-OM-2001-SutterBBD
Combining Global Code and Data Compaction (BDS, BDB, KDB, SKD), pp. 29–38.
CAVCAV-2001-MoondanosSHK #divide and conquer #equivalence #logic #named #verification
CLEVER: Divide and Conquer Combinational Logic Equivalence VERification with False Negative Elimination (JM, CJHS, ZH, DK), pp. 131–143.
IJCARIJCAR-2001-Bonacina #distributed #multi
Combination of Distributed Search and Multi-search in Peers-mcd.d (MPB), pp. 448–452.
RTARTA-2001-BoudetC #algorithm
Combining Pattern E-Unification Algorithms (AB, EC), pp. 63–76.
ICSTSAT-2001-Gelder #satisfiability
Combining Preorder and Postorder Resolution in a Satisfiability Solver (AVG), pp. 115–128.
ASEASE-2000-FeatherCL #risk management #tool support
Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support (MSF, SLC, TWL), pp. 309–312.
DACDAC-2000-HuangC #composition #constraints
Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques (CYH, KTC), pp. 118–123.
DATEDATE-2000-HoffmannK #fault #multi
Exploiting Hierarchy for Multiple Error Correction in Combinational Circuits (DWH, TK), p. 758.
DATEDATE-2000-JantschB
Composite Signal Flow: A Computational Model Combining Events, Sampled Streams, and Vectors (AJ, PB), pp. 154–160.
DATEDATE-2000-SugiharaYD #analysis #approach
Analysis and Minimization of Test Time in a Combined BIST and External Test Approach (MS, HY, HD), pp. 134–140.
HTHT-2000-Hascoet #navigation #user interface
A user interface combining navigation aids (MH), pp. 224–225.
SIGMODSIGMOD-2000-AgrawalW #framework
A Framework for Expressing and Combining Preferences (RA, ELW), pp. 297–306.
SIGMODSIGMOD-2000-GoldmanW #approach #database #named #query #web
WSQ/DSQ: A Practical Approach for Combined Querying of Databases and the Web (RG, JW), pp. 285–296.
FASEFASE-2000-DondossolaB #fault tolerance #formal method #specification
System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches (GD, OB), pp. 82–96.
TACASTACAS-2000-BharadwajS #automation #constraints #invariant #named #theorem proving
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking (RB, SS), pp. 378–394.
CSMRCSMR-2000-SystaYM #java #metric #visualisation
Analyzing Java Software by Combining Metrics and Program Visualization (TS, PY, HAM), pp. 199–208.
STOCSTOC-2000-GoelMP #multi #online #throughput
Combining fairness with throughput: online routing with multiple objectives (AG, AM, SAP), pp. 670–679.
CIAACIAA-2000-Watson #algorithm
Directly Constructing Minimal DFAs: Combining Two Algorithms by Brzozowski (BWW), pp. 311–317.
IFMIFM-2000-Bowen #animation #hardware #logic programming #semantics #specification
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language (JPB), pp. 277–296.
ICFPICFP-2000-Seger #functional #hardware #programming #verification
Combining functional programming and hardware verification (abstract of invited talk) (CJHS), p. 244.
CHICHI-2000-DennerleinMH #performance
Force-feedback improves performance for steering and combined steering-targeting tasks (JTD, DBM, CJH), pp. 423–429.
ICEISICEIS-2000-Laleau #database #formal method #on the #specification #uml
On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications (RL), pp. 56–63.
ICMLICML-2000-BanerjeeDS #multi
Combining Multiple Perspectives (BB, SD, SS), pp. 33–40.
ICMLICML-2000-RandlovBR #algorithm #learning
Combining Reinforcement Learning with a Local Control Algorithm (JR, AGB, MTR), pp. 775–782.
ICMLICML-2000-YangAP #effectiveness #learning #multi #validation
Combining Multiple Learning Strategies for Effective Cross Validation (YY, TA, TP), pp. 1167–1174.
ICPRICPR-v1-2000-BukerH #representation
Object Representation: On Combining Viewer-Centered and Object-Centered Elements (UB, GH), pp. 1956–1959.
ICPRICPR-v1-2000-ClarkM #image #metric #statistics
Combining Statistical Measures to Find Image Text Regions (PC, MM), pp. 1450–1453.
ICPRICPR-v1-2000-ClavierTLDL #classification #sorting
Classifiers Combination for Forms Sorting (EC, ÉT, ML, SD, JL), pp. 1932–1935.
ICPRICPR-v1-2000-FernandezA #image #segmentation
Image Segmentation Combining Region Depth and Object Features (JF, JA), pp. 1618–1621.
ICPRICPR-v1-2000-KnightR #self
Self-Calibration of a Stereo Rig in a Planar Scene by Data Combination (JK, IDR), pp. 1411–1414.
ICPRICPR-v2-2000-AlexandreCK #classification #independence #using
Combining Independent and Unbiased Classifiers Using Weighted Average (LAA, ACC, MSK), pp. 2495–2498.
ICPRICPR-v2-2000-KimKNS #classification #recognition #word
A Methodology of Combining HMM and MLP Classifiers for Cursive Word Recognition (JHK, KKK, CPN, CYS), pp. 2319–2322.
ICPRICPR-v2-2000-KunchevaWSD #classification #independence #question
Is Independence Good For Combining Classifiers? (LIK, CJW, CAS, RPWD), pp. 2168–2171.
ICPRICPR-v2-2000-LiG #detection #network #optimisation
Combining Feature Optimization into Neural Network Based Face Detection (SZL, QG), pp. 2814–2817.
ICPRICPR-v2-2000-MascarillaF #classification
Another Look at Combining Rejection-Based Pattern Classifiers (LM, CF), pp. 2156–2159.
ICPRICPR-v2-2000-QianS #clustering
Clustering Combination Method (YQ, CYS), pp. 2732–2735.
ICPRICPR-v2-2000-SaranliD
A Unified View of Rank-Based Decision Combination (AS, MD), pp. 2479–2482.
ICPRICPR-v2-2000-XiaoWD #adaptation #classification #recognition
Adaptive Combination of Classifiers and its Application to Handwritten Chinese Character Recognition (BX, CHW, RD), pp. 2327–2330.
ICPRICPR-v2-2000-YuJB #classification #recognition #visual notation
Combining Acoustic and Visual Classifiers for the Recognition of Spoken Sentences (KY, XJ, HB), pp. 2491–2494.
ICPRICPR-v3-2000-DufauxK #estimation #video
Combined Spline- and Block-Based Motion Estimation for Video Coding (FD, SBK), pp. 3071–3074.
ICPRICPR-v3-2000-JiangK #3d #adaptation #algorithm #image #search-based
3D MR Image Restoration by Combining Local Genetic Algorithm with Adaptive Pre-Conditioning (TJ, FK), pp. 3302–3305.
ICPRICPR-v3-2000-LuJ #approach #image
A New Bayesian Approach to Image Denoising with a Combination of MRFs and Pixon Method (QL, TJ), pp. 3734–3737.
ICPRICPR-v3-2000-PaschalakisL #geometry #image #invariant #recognition
Combined Geometric Transformation and Illumination Invariant Object Recognition in RGB Color Images (SP, PL), pp. 3588–3591.
ICPRICPR-v3-2000-ShimadaKSK #2d #3d #estimation #modelling
Hand Posture Estimation by Combining 2-D Appearance-Based and 3-D Model-Based Approaches (NS, KK, YS, YK), pp. 3709–3712.
ICPRICPR-v4-2000-CordellaTV #clustering
Combining Experts with Different Features for Classifying Clustered Microcalcifications in Mammograms (LPC, FT, MV), pp. 4324–4327.
ICPRICPR-v4-2000-NakajimaIPP #correlation #detection #invariant #recognition
Object Recognition and Detection by a Combination of Support Vector Machine and Rotation Invariant Phase Only Correlation (CN, NI, MP, TP), pp. 4787–4790.
ICPRICPR-v4-2000-YangY #documentation #image #robust #segmentation
A Robust Document Processing System Combining Image Segmentation with Content-Based Document Compression (YY, HY), pp. 4519–4522.
KRKR-2000-Konieczny #difference #knowledge base #on the
On the Difference between Merging Knowledge Bases and Combining them (SK), pp. 135–144.
KRKR-2000-Yelland #logic #network
An Alternative Combination of Bayesian Networks and Description Logics (PMY), pp. 225–234.
SIGIRSIGIR-2000-AslamM #probability
Bayes optimal metasearch: a probabilistic model for combining the results (JAA, MHM), pp. 379–381.
SIGIRSIGIR-2000-AslandoganY #image #multi #people #retrieval #web
Multiple evidence combination in image retrieval: diogenes searches for people on the Web (YAA, CTY), pp. 88–95.
SIGIRSIGIR-2000-Ounis #image #ranking #using
Ranking digital images using combination if evidences (IO), pp. 348–350.
TOOLSTOOLS-EUROPE-2000-Meyer00a #functional #programming
Programming with Agents: Combining O-O and Functional Techniques (BM), p. 460.
PADLPADL-2000-Schulte #combinator #concurrent #constraints #programming
Programming Deep Concurrent Constraint Combinators (CS), pp. 215–229.
POPLPOPL-2000-HeintzeJV #analysis #framework #verification
A Framework for Combining Analysis and Verification (NH, JJ, RV), pp. 26–39.
SACSAC-2000-LenartSG #analysis #constant
SSA-based Flow-sensitive Type Analysis: Combining Constant and Type Propagation (AL, CS, SKSG), pp. 813–817.
HPCAHPCA-2000-PatilE #alias #branch #predict
Combining Static and Dynamic Branch Prediction to Reduce Destructive Aliasing (HP, JSE), pp. 251–262.
CAVCAV-2000-WilliamsBCG #diagrams #model checking #performance #satisfiability
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking (PFW, AB, EMC, AG), pp. 124–138.
ICLPCL-2000-EchahedS #declarative #mobile #process #programming
Combining Mobile Processes and Declarative Programming (RE, WS), pp. 300–314.
RTARTA-2000-Statman #combinator #on the #problem #word
On the Word Problem for Combinators (RS), pp. 203–213.
ASEASE-1999-MiliCXA #fault tolerance
Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model (AM, BC, TX, RBA), p. 137–?.
DATEDATE-1999-KaulV #clustering #design #latency #runtime
Temporal Partitioning combined with Design Space Exploration for Latency Minimization of Run-Time Reconfigured Designs (MK, RV), pp. 202–209.
DATEDATE-1999-Marques-SilvaG #equivalence #learning #recursion #satisfiability #using
Combinational Equivalence Checking Using Satisfiability and Recursive Learning (JPMS, TG), pp. 145–149.
DATEDATE-1999-MukherjeeJTFAF #approach #performance #verification
An Efficient Filter-Based Approach for Combinational Verification (RM, JJ, KT, MF, JAA, DSF), pp. 132–137.
DATEDATE-1999-RanjanSSB #using #verification
Using Combinational Verification for Sequential Circuits (RKR, VS, FS, RKB), pp. 138–144.
DATEDATE-1999-RiusF #energy #testing
Exploring the Combination of IDDQ and iDDt Testing: Energy Testing (JR, JF), pp. 543–548.
DATEDATE-1999-SilvaSM #algorithm #satisfiability
Algorithms for Solving Boolean Satisfiability in Combinational Circuits (LGeS, LMS, JPMS), pp. 526–530.
DATEDATE-1999-VercauterenSV #constraints #generative #hardware #interface #realtime #synthesis
Combining Software Synthesis and Hardware/Software Interface Generation to Meet Hard Real-Time Constraints (SV, JvdS, DV), pp. 556–561.
ICDARICDAR-1999-AtukoraleS #classification
Combining Classifiers based on Confidence Values (ASA, PNS), pp. 37–40.
ICDARICDAR-1999-ImpedovoS #evaluation
Evaluation of Combination Methods (SI, AS), pp. 394–397.
ICDARICDAR-1999-KangL #classification #fault
Combining Classifiers based on Minimization of a Bayes Error Rate (HJK, SWL), pp. 398–401.
ICDARICDAR-1999-Kawatani #classification #recognition #using
Handwritten Kanji Recognition using Combined Complementary Classifiers in a Cascade Arrangement (TK), pp. 503–506.
VLDBVLDB-1999-KonigW #estimation #parametricity #query
Combining Histograms and Parametric Curve Fitting for Feedback-Driven Query Result-size Estimation (ACK, GW), pp. 423–434.
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.
PEPMPEPM-1999-ChirokoffC
Combining Program and Data Specialization (SC, CC), pp. 45–59.
SASSAS-1999-RuthingKS #detection #performance #precise
Detecting Equalities of Variables: Combining Efficiency with Precision (OR, JK, BS), pp. 232–247.
DLTDLT-1999-CarpiLV
Special factors in some combinational structures (AC, AdL, SV), pp. 3–13.
FMFM-v1-1999-Butler #approach #csp #named
csp2B: A Practical Approach to Combining CSP and B (MJB), pp. 490–508.
FMFM-v1-1999-KestenKPR #analysis #deduction #model checking #verification
A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software (YK, AK, AP, GR), pp. 173–194.
FMFM-v2-1999-Nadjm-TehraniA #design #modelling #proving #theorem proving
Combining Theorem Proving and Continuous Models in Synchronous Design (SNT, ), pp. 1384–1399.
IFMIFM-1999-Deiss #approach
An Approach to the Combination of Formal Description Techniques: Statecharts and TLA (TD), pp. 231–250.
ICFPICFP-1999-WallaceR #combinator #haskell #question #type system #xml
Haskell and XML: Generic Combinators or Type-Based Translation? (MW, CR), pp. 148–159.
AGTIVEAGTIVE-1999-Gruner #approach #consistency #distributed #graph grammar #modelling
A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Data Modeling (SG), pp. 247–254.
CHICHI-1999-HollandO
Direct Combination (SH, DO), pp. 262–269.
CHICHI-1999-KunoINS #behaviour #human-computer #interactive
Combining Observations of Intentional and Unintentional Behaviors for Human-Computer Interaction (YK, TI, SN, YS), pp. 238–245.
HCIHCI-CCAD-1999-HorneckerR
Vocational training with combined real/virtual environments (EH, BR), pp. 730–734.
HCIHCI-EI-1999-AtkinsonW #approach #database #industrial #information retrieval #legacy #scalability
Exploiting Knowledge in Large Industrial Companies: A Combined Approach to Information Retrieval from Legacy Databases (MA, OMW), pp. 1177–1181.
HCIHCI-EI-1999-JorgensenGLJ
Mental Workload in IT Work: Combining Cognitive and Physiological Perspectives (AHJ, AHG, BL, BRJ), pp. 97–101.
HCIHCI-EI-1999-MyrhaugMW #design #information management
Combining Knowledge Acquisition with User Centred Design (HIM, NBM, OMW), pp. 666–670.
HCIHCI-EI-1999-NikovP #adaptation #modelling
Combining User and Usage Modelling for User-Adaptivity Systems (AN, WP), pp. 336–340.
HCIHCI-EI-1999-SmithD #design #evaluation #metric #user interface
Combined Metric for User Interface Design and Evaluation (AS, LD), pp. 651–655.
HCIHCI-EI-1999-ZhangRD #comparison #multi
A Comparison of Multi-modal Combination Modes for The Map System (GZ, XR, GD), pp. 750–754.
ICEISICEIS-1999-CarvalhoCNKKBGB #heuristic #object-oriented #reasoning
Expert System Object-Oriented Combining Systematic and Heuristic Reasoning (LFdC, HJTdC, JCN, CAAK, CK, CTB, RZG, VSB), p. 763.
ICEISICEIS-1999-CorreiaL #java
Combining Graphic and Alphanumeric Information in Java Applications (RJCC, JPL), pp. 606–611.
ICMLICML-1999-CardieMP #classification #parsing
Combining Error-Driven Pruning and Classification for Partial Parsing (CC, SM, DRP), pp. 87–96.
ICMLICML-1999-KimuraK #linear #performance
Efficient Non-Linear Control by Combining Q-learning with Local Linear Controllers (HK, SK), pp. 210–219.
ICMLICML-1999-MorikBJ #approach #case study #knowledge-based #learning #monitoring #statistics
Combining Statistical Learning with a Knowledge-Based Approach — A Case Study in Intensive Care Monitoring (KM, PB, TJ), pp. 268–277.
KDDKDD-T-1999-ElderR #performance
Combining Estimators to Improve Performance (JFEI, GR), pp. 237–265.
SIGIRSIGIR-1999-MandalaTT #multi #query
Combining Multiple Evidence from Different Types of Thesaurus for Query Expansion (RM, TT, HT), pp. 191–197.
ECOOPECOOP-1999-Ernst
Propagating Class and Method Combination (EE), pp. 67–91.
ECOOPECOOP-1999-ThorupT
Unifying Genericity — Combining the Benefits of Virtual Types and Parameterized Classes (KKT, MT), pp. 186–204.
TOOLSTOOLS-EUROPE-1999-Telea #data flow #modelling #object-oriented #simulation
Combining Object Orientation and Dataflow Modelling in the Vission Simulation System (ACT), pp. 56–65.
TOOLSTOOLS-USA-1999-Farfarakis #named #realtime #uml
Octopus/UML: Combining Objects with Real-Time (RF), pp. 479–489.
LOPSTRLOPSTR-1999-PueblaBH #constraints #debugging #logic programming #source code
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs (GP, FB, MVH), pp. 273–292.
PADLPADL-1999-Kahl #combinator #concept #documentation #pretty-printing
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators (WK), pp. 76–90.
ESECESEC-FSE-1999-BrabermanF #automation #design #realtime #scheduling #verification
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification (VAB, MF), pp. 494–510.
HPCAHPCA-1999-TanakaMH #distributed #hardware #lightweight #memory management
Lightweight Hardware Distributed Shared Memory Supported by Generalized Combining (KT, TM, KH), pp. 90–99.
CAVCAV-1999-AbdullaABBHL #abstraction #analysis #infinity #reachability #verification
Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis (PAA, AA, SB, AB, PH, YL), pp. 146–159.
ICLPICLP-1999-CaseauJL #algorithm #named #set
CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms (YC, FXJ, FL), pp. 245–259.
RTARTA-1999-KepserR #algorithm #equation #named #unification
UNIMOK: A System for Combining Equational Unification Algorithm (SK, JR), pp. 248–251.
DACDAC-1998-AagaardJS #evaluation #industrial #proving #theorem proving
Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment (MA, RBJ, CJHS), pp. 538–541.
DATEDATE-1998-Cheng #multi #on the
On Removing Multiple Redundancies in Combinational Circuits (DIC), pp. 738–742.
DATEDATE-1998-GoldbergKB #functional #specification #verification
Combinational Verification based on High-Level Functional Specifications (EIG, YK, RKB), pp. 803–808.
DATEDATE-1998-KimuraI #analysis #design
A Unified Technique for PCB/MCM Design by Combining Electromagnetic Field Analysis with Circuit Simulator (HK, NI), pp. 951–952.
DATEDATE-1998-PullelaPDV
CMOS Combinational Circuit Sizing by Stage-wise Tapering (SP, RP, AD, GV), pp. 985–986.
HTHT-1998-KaindlKA #web
Combining Structure Search and Content Search for the World-Wide Web (HK, SK, LMA), pp. 217–224.
TACASTACAS-1998-Grahlmann #automaton #finite #parallel #petri net #source code #using
Combining Finite Automata, Parallel Programs and SDL Using Petri Nets (BG), pp. 102–117.
PASTEPASTE-1998-ZhangRL #alias #analysis #pointer
Experiments with Combined Analysis for Pointer Aliasing (SZ, BGR, WL), pp. 11–18.
AFPAFP-1998-SwierstraAS98 #combinator #design #implementation
Designing and Implementing Combinator Languages (SDS, PRAA, JS), pp. 150–206.
ICFPICFP-1998-Haiming #context-free grammar #recursion
Combining CFG and Recursive Functions to Get a New Language (HC), p. 351.
ICFPICFP-1998-Scholz #combinator #imperative #library #monad #programming
Imperative Streams — A Monadic Combinator Library for Synchronous Programming (ES), pp. 261–272.
IFLIFL-1998-KoopmanP #combinator #parsing #performance
Efficient Combinator Parsers (PWMK, MJP), pp. 120–136.
ECIRACIR-1998-Lazarinis #information management #information retrieval #performance
Combining Information Retrieval with Information Extraction for Efficient Retrieval of Calls for Papers (FL).
ICMLICML-1998-BaxterTW #named
KnightCap: A Chess Programm That Learns by Combining TD(λ) with Game-Tree Search (JB, AT, LW), pp. 28–36.
ICMLICML-1998-Bay #classification #multi #nearest neighbour #set
Combining Nearest Neighbor Classifiers Through Multiple Feature Subsets (SDB), pp. 37–45.
ICMLICML-1998-FreundISS #algorithm #performance
An Efficient Boosting Algorithm for Combining Preferences (YF, RDI, RES, YS), pp. 170–178.
ICMLICML-1998-Heskes #approach #learning #multi
Solving a Huge Number of Similar Tasks: A Combination of Multi-Task Learning and a Hierarchical Bayesian Approach (TH), pp. 233–241.
ICPRICPR-1998-BreukelenD #classification #network
Neural network initialization by combined classifiers (MvB, RPWD), pp. 215–218.
ICPRICPR-1998-HojjatoleslamiK #classification
Strategies for weighted combination of classifiers employing shared and distinct representations (AH, JK), pp. 338–340.
ICPRICPR-1998-HuberM #adaptation #named #parallel #set
ERC — evolutionary resample and combine for adaptive parallel training data set selection (RH, HAM), pp. 882–885.
ICPRICPR-1998-HwangYTY #3d #linear #using
A factorization method using 3D linear combination for shape and motion recovery (KCH, NY, HT, KY), pp. 959–963.
ICPRICPR-1998-LazarescuVWC #query #video
Combining NL processing and video data to query American Football (ML, SV, GAWW, TC), pp. 1238–1240.
ICPRICPR-1998-LiLCLW #linear #recognition
Hierarchical linear combinations for face recognition (SZL, JL, KLC, JL, LW), pp. 1191–1193.
ICPRICPR-1998-OhLS #analysis #using
Using class separation for feature analysis and combination of class-dependent features (ISO, JSL, CYS), pp. 453–455.
ICPRICPR-1998-PeixotoBA
A surveillance system combining peripheral and foveated motion tracking (PP, JB, HA), pp. 574–577.
ICPRICPR-1998-SinhaM #multi #optimisation #recognition #word
Combining multiple OCRs for optimizing word recognition (PS, JM), pp. 436–438.
ICPRICPR-1998-ToepferWBN #detection #navigation
Robot navigation by combining central and peripheral optical flow detection on a space-variant map (CT, MW, GB, HN), pp. 1804–1807.
KRKR-1998-McCarthyC
Combining Narratives (JM, TC), pp. 48–59.
SIGIRSIGIR-1998-Larson #probability #retrieval
Cheshire II: Combining Probabilistic and Boolean Retrieval (RRL), p. 385.
SIGIRSIGIR-1998-OunisP #named
RELIEF: Combining Expressiveness and Rapidity into a Single System (IO, MP), pp. 266–274.
SIGIRSIGIR-1998-Picard #documentation #modelling #probability #using
Modeling and Combining Evidence Provided by Document Relationships Using Probabilistic Argumentation Systems (JP), pp. 182–189.
SIGIRSIGIR-1998-VogtC #information retrieval #performance #predict
Predicting the Performance of Linearly Combined IR Systems (CCV, GWC), pp. 190–196.
REFSQREFSQ-1998-RegnellR #requirements #testing #verification
Combining Scenario-based Requirements with Static Verification and Dynamic Testing (BR, PR), pp. 195–206.
ICSEICSE-1998-HostW #case study
An Experimental Study of Individual Subjective Effort Estimations and Combinations of the Estimates (MH, CW), pp. 332–339.
ISMMISMM-1998-AzaguryKPY #how #set
Combining Card Marking with Remembered Sets: How to Save Scanning Time (AA, EKK, EP, ZY), pp. 10–19.
CADECADE-1998-FleuriotP #analysis #geometry #proving #standard #theorem proving
A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton’s Principia (JDF, LCP), pp. 3–16.
CADECADE-1998-Ohlbach #framework #reasoning #semantics
Combining Hilbert Style and Semantic Reasoning in a Resolution Framework (HJO), pp. 205–219.
RTARTA-1998-Akama #algebra #combinator
SN Combinators and Partial Combinatory Algebras (YA), pp. 302–316.
DACDAC-1997-HasteerMB #performance
An Efficient Assertion Checker for Combinational Properties (GH, AM, PB), pp. 734–739.
DATEEDTC-1997-BhattacharyaDS #testing
An RTL methodology to enable low overhead combinational testing (SB, SD, BS), pp. 146–152.
DATEEDTC-1997-ChoiH #estimation
Improving the accuracy of support-set finding method for power estimation of combinational circuits (HC, SHH), pp. 526–530.
DATEEDTC-1997-CortadellaKKLY #composition #independence
Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis (JC, MK, AK, LL, AY), pp. 98–105.
DATEEDTC-1997-ManichF #process
Maximizing the weighted switching activity in combinational CMOS circuits under the variable delay model (SM, JF), pp. 597–602.
DATEEDTC-1997-WahbaB #fault
Connection error location and correction in combinational circuits (AMW, DB), pp. 235–241.
ICDARICDAR-1997-AlimogluA #classification #multi
Combining Multiple Representations and Classifiers for Pen-based Handwritten Digit Recognitio (FA, EA), pp. 637–640.
ICDARICDAR-1997-AnisimovichRST #classification #recognition #using
Using Combination of Structural, Feature and Raster Classifiers for Recognition of Handprinted Characters (KA, VR, AS, VT), pp. 881–885.
ICDARICDAR-1997-IshideraNY #recognition #using #word
Unconstrained Japanese Address Recognition Using a Combination of Spatial Information and Word Knowledge (EI, DN, KY), p. 1016–?.
ICDARICDAR-1997-KangK #classification #framework #multi #probability
Probabilistic Framework for Combining Multiple Classifiers at Abstract Level (HJK, JHK), pp. 870–874.
ICDARICDAR-1997-KimSC #approach #classification #multi #recognition
A systematic approach to classifier selection on combining multiple classifiers for handwritten digit recognition (JK, KS, KC), pp. 459–462.
ICDARICDAR-1997-LinDW #multi #recognition #using
Handwritten Numeral Recognition Using MFNN Based Multiexpert Combination Strategy (XL, XD, YW), pp. 471–474.
ICDARICDAR-1997-RahmanF #case study #multi #recognition #using
Introducing New Multiple Expert Decision Combination Topologies: A Case Study using Recognition of Handwritten Characters (AFRR, MCF), p. 886–?.
TACASTACAS-1997-EmersonJP #partial order #reduction #symmetry
Combining Partial Order and Symmetry Reductions (EAE, SJ, DP), pp. 19–34.
SASSAS-1997-Jones #abstract interpretation #bibliography #partial evaluation
Combining Abstract Interpretation and Partial Evaluation (Brief Overview) (NDJ), pp. 396–405.
STOCSTOC-1997-FreundSSW #predict #using
Using and Combining Predictors That Specialize (YF, RES, YS, MKW), pp. 334–343.
HCIHCI-CC-1997-EbinaI #approach #user interface
A New Approach to Providing GUI Access for Blind People-Combined Tactile/Voice GUI Access (TE, SI), pp. 405–408.
HCIHCI-CC-1997-FunadaYIN #analysis #effectiveness #evaluation #how #human-computer #performance
How Efficient are Combined Tasks for Effective HCI?: An Objective Evaluation Through AR Analysis of EEG (MFF, YY, KI, SPN), pp. 579–582.
HCIHCI-CC-1997-HolmL #abstraction #communication #modelling #multi
Combining Multiple Abstraction Mechanisms in Communication Modeling (PH, JL), pp. 93–96.
AdaTRI-Ada-1997-Balfour #ada #distributed #java
Combining Ada 95, Java Byte Code, and the Distributed Systems Annex (BB), pp. 247–260.
CAiSECAiSE-1997-PastorIPRM #formal method #named #object-oriented
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods (OP, EI, VP, JRR, JM), pp. 145–158.
ECIRACIR-1997-Wilkinson #using
Using Combination of Evidence for Term Expansion (RW).
ICMLICML-1997-BalujaD #optimisation #using
Using Optimal Dependency-Trees for Combinational Optimization (SB, SD), pp. 30–38.
ICMLICML-1997-BottaGP #first-order #learning #logic #named
FONN: Combining First Order Logic with Connectionist Learning (MB, AG, RP), pp. 46–56.
SIGIRSIGIR-1997-Lee #analysis #multi
Analyses of Multiple Evidence Combination (JHL), pp. 267–276.
RERE-1997-Sutcliffe #approach #requirements
A Technique Combination Approach to Requirements Engineering (AGS), p. 65–?.
SACSAC-1997-TsaurHC #approach #authentication #data access #distributed #geometry #using
An authentication-combined access control scheme using a geometric approach in distributed systems (WJT, SJH, CHC), pp. 361–365.
ESECESEC-FSE-1997-WoodRBM #detection #empirical #fault
Comparing and Combining Software Defect Detection Techniques: A Replicated Empirical Study (MW, MR, AB, JM), pp. 262–277.
CADECADE-1997-BaaderT #approach #problem #word
A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method (FB, CT), pp. 19–33.
CADECADE-1997-Fuchs #combinator #evolution
Evolving Combinators (MF), pp. 416–430.
CAVCAV-1997-ChanABN #constraints #model checking #theorem proving
Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints (WC, RJA, PB, DN), pp. 316–327.
CAVCAV-1997-YuanSAA #on the #verification
On Combining Formal and Informal Verification (JY, JS, JAA, AA), pp. 376–387.
ICLPICLP-1997-AjiliK #composition #constraints #framework #unification
A Modular Framework for the Combination of Unification and Built-In Constraints (FA, CK), pp. 331–345.
LICSLICS-1997-Baader #order #reduction
Combination of Compatible Reduction Orderings that are Total on Ground Terms (FB), pp. 2–13.
RTARTA-1997-Dershowitz
Innocuous Constructor-Sharing Combinations (ND), pp. 202–216.
RTARTA-1997-Ringeissen #algorithm #programming language #prototype #rule-based #unification
Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language (CR), pp. 323–326.
RTARTA-1997-Schulz #algorithm
A Criterion for Intractability of E-unification with Free Function Symbols and Its Relevance for Combination Algorithms (KUS), pp. 284–298.
RTARTA-1997-Statman #combinator #effectiveness #reduction
Effective Reduction and Conversion Strategies for Combinators (RS), pp. 299–307.
DACDAC-1996-BerrebiKVTHFJB #control flow #data flow #synthesis
Combined Control Flow Dominated and Data Flow Dominated High-Level Synthesis (EB, PK, SV, SDT, JCH, JF, AAJ, IB), pp. 573–578.
DACDAC-1996-ChenG #fault #generative #satisfiability
A Satisfiability-Based Test Generator for Path Delay Faults in Combinational Circuts (CAC, SKG), pp. 209–214.
DACDAC-1996-LimSPS #approach #estimation #process #statistics
A Statistical Approach to the Estimation of Delay Dependent Switching Activities in CMOS Combinational Circuits (YJL, KIS, HJP, MS), pp. 445–450.
DACDAC-1996-LinMCL #logic
Test Point Insertion: Scan Paths through Combinational Logic (CCL, MMS, KTC, MTCL), pp. 268–273.
DACDAC-1996-Matsunaga #equivalence #performance
An Efficient Equivalence Checker for Combinational Circuits (YM), pp. 629–634.
PODSPODS-1996-Fagin #fuzzy #multi
Combining Fuzzy Information from Multiple Systems (RF), pp. 216–226.
WRLARWLW-1996-Eker #equation #performance
Fast matching in combinations of regular equational theories (SE), pp. 90–109.
WCREWCRE-1996-Davis #flexibility #reverse engineering
Combining a Flexible Data Model and Phase Schema Translation in Data Model Reverse Engineering (KHD), p. 141–?.
SASSAS-1996-Snelting #constraints #metric #slicing #theorem proving #validation
Combining Slicing and Constraint Solving for Validation of Measurement Software (GS), pp. 332–348.
FMFME-1996-FrohlichL #c++ #specification
Combining VDM-SL Specifications with C++ Code (BF, PGL), pp. 179–194.
FMFME-1996-Weber #design #safety
Combining Statecharts and Z for the Design of Safety-Critical Control Systems (MW), pp. 307–326.
AFPAFP-1996-SwierstraD96 #combinator #parsing
Deterministic, Error-Correcting Combinator Parsers (SDS, LD), pp. 184–207.
ICMLICML-1996-Ting #predict
The Characterisation of Predictive Accuracy and Decision Combination (KMT), pp. 498–506.
ICPRICPR-1996-AchermannB #classification #identification
Combination of face classifiers for person identification (BA, HB), pp. 416–420.
ICPRICPR-1996-ChenHW #feature model #geometry #image #modelling #recognition #using
Model-based object recognition using range images by combining morphological feature extraction and geometric hashing (CSC, YPH, JLW), pp. 565–569.
ICPRICPR-1996-EigenmannN #robust
Constructive and robust combination of perceptrons (RE, JAN), pp. 195–199.
ICPRICPR-1996-HeutteMPLO #recognition #statistics
Combining structural and statistical features for the recognition of handwritten characters (LH, JVM, TP, YL, CO), pp. 210–214.
ICPRICPR-1996-KittlerHD #classification
Combining classifiers (JK, MH, RPWD), pp. 897–901.
ICPRICPR-1996-PaikCLL #multi #using
Multiple recognizers system using two-stage combination (JP, SBC, KL, YL), pp. 581–585.
ICPRICPR-1996-RamelVE #comprehension #documentation
Combining global and local vision for technical document understanding (JYR, NV, HE), pp. 773–777.
ICPRICPR-1996-RebuffelS #estimation #framework #predict
Estimation of depth-from-motion combining iterative prediction scheme and regularization framework (VR, JLS), pp. 466–470.
ICPRICPR-1996-TumerG #classification #fault
Estimating the Bayes error rate through classifier combining (KT, JG), pp. 695–699.
ICPRICPR-1996-WangF96a #algorithm #detection #geometry #search-based
Detection of geometric shapes by the combination of genetic algorithm and subpixel accuracy (YW, NF), pp. 535–539.
KDDKDD-1996-FawcettP #data mining #effectiveness #machine learning #mining #profiling
Combining Data Mining and Machine Learning for Effective User Profiling (TF, FJP), pp. 8–13.
SIGIRSIGIR-1996-HullPS #documentation
Method Combination For Document Filtering (DAH, JOP, HS), pp. 279–287.
SIGIRSIGIR-1996-JonesFJY #documentation #multi
Retrieving Spoken Documents by Combining Multiple Index Sources (GJFJ, JTF, KSJ, SJY), pp. 30–38.
SIGIRSIGIR-1996-LarkeyC #categorisation #classification
Combining Classifiers in Text Categorization (LSL, WBC), pp. 289–297.
REICRE-1996-KostersSV #analysis #requirements #user interface
Combined Analysis of User Interface and Domain Requirements (GK, HWS, JV), pp. 199–207.
ICSEICSE-1996-MitchellZ #reliability #testing
A Reliability Model Combining Representative and Directed Testing (BM, SJZ), pp. 506–514.
CADECADE-1996-CyrlukLS #on the
On Shostak’s Decision Procedure for Combinations of Theories (DC, PL, NS), pp. 463–477.
CADECADE-1996-HermannK #algorithm #polynomial #unification
Unification Algorithms Cannot be Combined in Polynomial Time (MH, PGK), pp. 246–260.
CAVCAV-1996-OwreRRSS #model checking #named #proving #specification
PVS: Combining Specification, Proof Checking, and Model Checking (SO, SR, JMR, NS, MKS), pp. 411–414.
CAVCAV-1996-PnueliS #algorithm #deduction #framework #verification
A Platform for Combining Deductive with Algorithmic Verification (AP, ES), pp. 184–195.
DACDAC-1995-MehtaBOI #estimation #process
Accurate Estimation of Combinational Circuit Activity (HM, MB, RMO, MJI), pp. 618–622.
DACDAC-1995-PomeranzR #logic #on the
On Synthesis-for-Testability of Combinational Logic Circuits (IP, SMR), pp. 126–132.
DACDAC-1995-ReddyKP #framework #novel #synthesis #verification
Novel Verification Framework Combining Structural and OBDD Methods in a Synthesis Environment (SMR, WK, DKP), pp. 414–419.
DACDAC-1995-RudnickP #generative #search-based #testing
Combining Deterministic and Genetic Approaches for Sequential Circuit Test Generation (EMR, JHP), pp. 183–188.
ICDARICDAR-v1-1995-JoeL #recognition
A combined method on the handwritten character recognition (MJJ, HJL), pp. 112–115.
ICDARICDAR-v1-1995-LeeS #approach #classification #formal method #network
A theory of classifier combination: the neural network approach (DSL, SNS), pp. 42–45.
ICDARICDAR-v1-1995-PowalkaSW95a #recognition #word
Recognizer characterisation for combining handwriting recognition results at word level (RKP, NS, RJW), pp. 68–73.
ICDARICDAR-v1-1995-RoosliM #constraints #metric #quality
A high quality vectorization combining local quality measures and global constraints (MR, GM), pp. 243–248.
ICDARICDAR-v1-1995-SabourinG #approach #classification #evaluation #multi #verification
An extended-shadow-code based approach for off-line signature verification. II. Evaluation of several multi-classifier combination strategies (RS, GG), pp. 197–201.
ICDARICDAR-v2-1995-MadhvanathG #classification #recognition #word
Serial classifier combination for handwritten word recognition (SM, VG), pp. 911–914.
SIGMODSIGMOD-1995-Team95b #file system #named
SHORE: Combining the Best Features of OODBMS and File Systems, p. 486.
TACASTACAS-1995-MullerN #deduction #model checking
Combining Model Checking and Deduction for I/O-Automata (OM, TN), pp. 1–16.
AdaEuropeAdaEurope-1995-Matthewman #ada #empirical #named
ECLIPS — A Successful Experiment Combining CCSDS SFDUs, X/Motif, HOOD and Ada (AM), pp. 311–330.
KDDKDD-1995-ChanS #machine learning #scalability
Learning Arbiter and Combiner Trees from Partitioned Data for Scaling Machine Learning (PKC, SJS), pp. 39–44.
SEKESEKE-1995-OussalahP #constraints
Combining Constraints and Objects (MCO, VP), pp. 64–71.
SIGIRSIGIR-1995-Finch #documentation #partial order #representation
Partial Orders for Document Representation: A New Methodology for Combining Document Features (SF), pp. 264–272.
SIGIRSIGIR-1995-Lee #multi
Combining Multiple Evidence from Different Properties of Weighting Schemes (JHL), pp. 180–188.
SACSAC-1995-HartensteinS #compilation #programming
Combining structural and procedural programming by parallelizing compilation (RWH, KS), pp. 130–134.
ICLPICLP-1995-BelleghemDS #calculus
Combining Situation Calculus and Event Calculus (KVB, MD, DDS), pp. 83–97.
ICLPILPS-1995-LevyR #bibliography #logic
Combining Rules and Description Logics: An Overview of CARIN (AYL, MCR), p. 635.
ICLPILPS-1995-TseWL #concurrent #logic programming #object-oriented #programming language #prolog
P&P: A Combined Parlog and Prolog Concurrent Object-Oriented Logic Programming Language (MlT, WhW, HfL), p. 640.
RTARTA-1995-BaaderS #algebra #constraints #perspective #theorem proving
Combination of Constraint Solving Techniques: An Algebraic POint of View (FB, KUS), pp. 352–366.
TLCATLCA-1995-Dowek #combinator #comprehension #λ-calculus
λ-calculus, Combinators and the Comprehension Scheme (GD), pp. 154–170.
DATEEDAC-1994-AbderrahmanKS #estimation
Estimation of Simultaneous Switching Power and Ground Noise of Static CMOS Combinational Circuits (AA, BK, YS), p. 658.
DATEEDAC-1994-BaharCHMS #analysis #using
Timing Analysis of Combinational Circuits using ADD’s (RIB, HC, GDH, EM, FS), pp. 625–629.
DATEEDAC-1994-KarkkainenTW #bound #monitoring #power management #testing
Boundary Scan Testing Combined with Power Supply Current Monitoring (MK, KT, MW), pp. 232–235.
ICSMEICSM-1994-AngerRY #concurrent #dynamic analysis #source code
Combining Static and Dynamic Analysis of Concurrent Programs (FDA, RVR, MY), pp. 89–98.
ICSMEICSM-1994-KinlochM #c #comprehension #graph #representation #source code #using
Understanding C Programs Using the Combined C Graph Representation (DAK, MM), pp. 172–180.
ICALPICALP-1994-CosmoK #algebra #first-order #recursion #term rewriting #λ-calculus
Combining First Order Algebraic Rewriting Systems, Recursion and Extensional λ Calculi (RDC, DK), pp. 462–472.
FMFME-1994-CuellarWB #design #effectiveness #industrial #verification
Combining the Design of Industrial Systems with Effective Verification Techniques (JC, IW, DB), pp. 639–658.
CHICHI-1994-McDanielOO94a #human-computer #object-oriented
Methods in search of methodology — combining HCI and object orientation (SEM, GMO, JSO), pp. 145–151.
CSCWCSCW-1994-Shapiro #social
The Limits of Ethnography: Combining Social Sciences for CSCW (DS), pp. 417–428.
ICMLICML-1994-ZelleMK #bottom-up #induction #logic programming #top-down
Combining Top-down and Bottom-up Techniques in Inductive Logic Programming (JMZ, RJM, JBK), pp. 343–351.
KDDKDD-1994-HeckermanGC #learning #network #statistics
Learning Bayesian Networks: The Combination of Knowledge and Statistical Data (DH, DG, DMC), pp. 85–96.
SEKESEKE-1994-Alexander #generative #specification
Combining transformational and derivational analogy in Larch specification generation (PA), pp. 131–138.
SEKESEKE-1994-ShiHB #named
Belief: updating vs. combining (SS, MECH, DAB), pp. 344–351.
SIGIRSIGIR-1994-BartellCB #automation #multi #retrieval
Automatic Combination of Multiple Ranked Retrieval Systems (BTB, GWC, RKB), pp. 173–181.
ECOOPECOOP-1994-MoreiraC #analysis #object-oriented
Combining Object-Oriented Analysis and Formal Description Techniques (AMDM, RGC), pp. 344–364.
OOPSLAOOPSLA-1994-LortzS #contract #programming
Combining Contracts and Exemplar-Based Programming for Class Hiding and Customization (VBL, KGS), pp. 453–467.
TOOLSTOOLS-EUROPE-1994-Graham #analysis #case study #object-oriented #process #re-engineering #requirements
Beyond the Use Case: Combining Task Analysis and Scripts in Object-Oriented Requirements Capture and Business Process Re-engineering (IMG), pp. 203–215.
PPDPPLILP-1994-Arenas-SanchezGL #constraints #lazy evaluation
Combining Lazy Narrowing with Disequality Constraints (PAS, AGL, FJLF), pp. 385–399.
PPDPPLILP-1994-CodognetD #constraints #performance #theorem proving
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving (PC, DD), pp. 244–260.
PPDPPLILP-1994-Hanus #lazy evaluation
Combining Lazy Narrowing and Simplification (MH), pp. 370–384.
POPLPOPL-1994-CortesiCH #abstract domain #logic programming
Combinations of Abstract Domains for Logic Programming (AC, BLC, PVH), pp. 227–239.
CADECADE-1994-ClarkeZ #problem #proving #symbolic computation #theorem proving
Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan (EMC, XZ), pp. 758–763.
CADECADE-1994-DomenjoudKR #equation
Combination Techniques for Non-Disjoint Equational Theories (ED, FK, CR), pp. 267–281.
CADECADE-1994-McPheeCG #geometry #proving #theorem #using
Mechanically Proving Geometry Theorems Using a Combination of Wu’s Method and Collins’ Method (NFM, SCC, XSG), pp. 401–415.
CAVCAV-1994-Peled #model checking #on the fly #partial order #reduction
Combining Partial Order Reductions with On-the-fly Model-Checking (DP), pp. 377–390.
ICLPICLP-1994-KirchnerR #algebra #constraints #theorem proving
Constraint Solving by Narrowing in Combined Algebraic Domains (HK, CR), pp. 617–631.
ICLPILPS-1994-Lloyd #functional #logic programming #programming language
Combining Functional and Logic Programming Languages (JWL), pp. 43–57.
DACDAC-1993-ChakravartyG #algorithm #fault
An Algorithm for Diagnosing Two-Line Bridging Faults in Combinational Circuits (SC, YG), pp. 520–524.
DACDAC-1993-DamianiYM #logic #optimisation
Optimization of Combinational Logic Circuits Based on Compatible Gates (MD, JCYY, GDM), pp. 631–636.
DACDAC-1993-GanapathyA #pseudo
Selective Pseudo Scan: Combinational ATPG with Reduced Scan in a Full Custom RISC Microprocessor (GG, JAA), pp. 550–555.
DACDAC-1993-KajiharaPKR #effectiveness #fault #generative #logic #testing
Cost-Effective Generation of Minimal Test Sets for Stuck-at Faults in Combinational Logic Circuits (SK, IP, KK, SMR), pp. 102–106.
DACDAC-1993-KriplaniNYH #correlation
Resolving Signal Correlations for Estimating Maximum Currents in CMOS Combinational Circuits (HK, FNN, PY, INH), pp. 384–388.
DACDAC-1993-PomeranzRU #fault #generative #named #testing
NEST: A Non-Enumerative Test Generation Method for Path Delay Faults in Combinational Circuits (IP, SMR, PU), pp. 439–445.
ICDARICDAR-1993-ChhabraABCLSSW #geometry #higher-order #recognition #statistics
High-order statistically derived combinations of geometric features for handprinted character recognition (AKC, ZA, DB, GC, KL, PS, RS, BW), pp. 397–401.
ICDARICDAR-1993-FrankeO #classification #detection #statistics
Writing style detection by statistical combination of classifiers in form reader applications (JF, MFO), pp. 581–584.
ICDARICDAR-1993-Ho #independence #learning #recognition
Recognition of handwritten digits by combining independent learning vector quantizations (TKH), pp. 818–821.
ICDARICDAR-1993-HuangS #classification #metric #multi
Combination of multiple classifiers with measurement values (YSH, CYS), pp. 598–601.
ICDARICDAR-1993-KwonKPK #online #recognition
A cursive on-line Hangul recognition system based on the combination of line segments (OSK, MKK, MKP, YBK), pp. 200–203.
ICDARICDAR-1993-LeeS #design #modelling #using
Optimal design of reference models using simulated annealing combined with an improved LVQ3 (SWL, HHS), pp. 244–249.
ICDARICDAR-1993-PaikJL #automation #multi #recognition
Multiple combined recognition system for automatic processing of credit card slip applications (JP, SJ, YL), pp. 520–523.
ICDARICDAR-1993-PlessisSHMLDM #classification #multi #recognition #word
A multi-classifier combination strategy for the recognition of handwritten cursive words (BP, AS, LH, EM, EL, OD, JVM), pp. 642–645.
ICDARICDAR-1993-SabourinMTN #classification #recognition
Classifier combination for hand-printed digit recognition (MS, AM, DST, GN), pp. 163–166.
SIGMODSIGMOD-1993-AnanthanarayananGKLP #approach #object-oriented #relational #using
Using the Co-existence Approach to Achieve Combined Functionality of Object-Oriented and Relational Systems (RA, VG, WK, TJL, HP), pp. 109–118.
VLDBVLDB-1993-Grefen #approach #declarative #specification #theory and practice #transaction
Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem (PWPJG), pp. 581–591.
PEPMPEPM-1993-CodishMBBH #abstract interpretation
Improving Abstract Interpretations by Combining Domains (MC, AM, MB, MJGdlB, MVH), pp. 194–205.
SASWSA-1993-MaffeisG #architecture #dependence
Combining Dependability with Architectural Adatability by Means of the SIGNAL Language (OM, PLG), pp. 99–110.
ICALPICALP-1993-BarbaneraF #composition #confluence #term rewriting #termination
Modularity of Termination and Confluence in Combinations of Rewrite Systems with λω (FB, MF), pp. 657–668.
HCIHCI-ACS-1993-TeegeB #collaboration
Combining Asynchronous and Synchronous Collaborative Systems (GT, UMB), pp. 516–521.
HCIHCI-SHI-1993-MoriiKT #animation #detection #evaluation #eye tracking #realtime #using
Evaluation of a Gaze Using Real-Time CG Eye-Animation Combined with Eye Movement Detector (KM, FK, NT), pp. 1103–1108.
ICMLICML-1993-NortonH #learning #probability
Learning DNF Via Probabilistic Evidence Combination (SWN, HH), pp. 220–227.
ICMLICML-1993-Quinlan #learning #modelling
Combining Instance-Based and Model-Based Learning (JRQ), pp. 236–243.
TOOLSTOOLS-USA-1993-AckermannE #2d #3d #component #interactive #user interface
Combining 2D User Interface Components and Interactive 3D Graphics in ET++ (PA, DE), pp. 291–302.
LOPSTRLOPSTR-1993-Vargas-VeraRI #editing #prolog #source code
Combining Prolog Programs in a Techniques Editing System (Abstract) (MVV, DSR, RI), pp. 82–84.
SACSAC-1993-RankinW #combinator #fixpoint #prolog #using
Finding Fixed Point Combinators Using Prolog (RR, RWW), pp. 604–608.
CAVCAV-1993-Hungar #model checking #parallel #process #proving #theorem proving #verification
Combining Model Checking and Theorem Proving to Verify Parallel Processes (HH), pp. 154–165.
CSLCSL-1993-BergstraBP #algebra #combinator #process
Process Algebra with Combinators (JAB, IB, AP), pp. 36–65.
ICLPILPS-1993-Hanus #lazy evaluation #normalisation
Combining Lazy Narrowing and Normalization (MH), p. 673.
RTARTA-1993-BaaderS #problem
Combination Techniques and Decision Problems for Disunification (FB, KUS), pp. 301–315.
TLCATLCA-1993-BarbaneraF #higher-order #term rewriting
Combining First and Higher Order Rewrite Systems with Type Assignment Systems (FB, MF), pp. 60–74.
TLCATLCA-1993-Leiss #recursion
Combining Recursive and Dynamic Types (HL), pp. 258–273.
DACDAC-1992-GhoshDKW #estimation #process
Estimation of Average Switching Activity in Combinational and Sequential Circuits (AG, SD, KK, JW), pp. 253–259.
DACDAC-1992-LeeNB #generative #named #testing
SWiTEST: A Switch Level Test Generation System for CMOS Combinational Circuits (KJL, CN, MAB), pp. 26–29.
DACDAC-1992-MajumdarS #fault #on the #random testing #testing
On the Distribution of Fault Coverage and Test length in Random Testing of Combinational Circuits (AM, SS), pp. 341–346.
HTHT-ECHT-1992-Quint #documentation #hypermedia
Combining Hypertext and Structured Documents in GRIF (Demonstration) (VQ), p. 290.
HTHT-ECHT-1992-QuintV #documentation #hypermedia
Combining Hypertext and Structured Documents in Grif (VQ, IV), pp. 23–32.
CHICHI-1992-Rubine #gesture
Combining Gestures and Direct Manipulation (DR), pp. 659–660.
ICMLML-1992-Janikow #contest #induction #learning
Combining Competition and Cooperation in Supervised Inductive Learning (CZJ), pp. 241–248.
ICMLML-1992-Segre #multi #on the
On Combining Multiple Speedup Techniques (AMS), pp. 400–405.
ECOOPECOOP-1992-Uustalu #approach #logic programming #object-oriented #paradigm
Combining Object-Oriented and Logic Paradigms: A Modal Logic Programming Approach (TU), pp. 98–113.
OOPSLAOOPSLA-1992-OssherH #inheritance
Combination of Inheritance Hierarchies (HO, WHH), pp. 25–40.
CCCC-1992-Weber #compilation #component #product line #reuse #runtime
Creation of a Family of Compilers and Runtime Environments by Combining Reusable Components (CW), pp. 110–124.
CADECADE-1992-BaaderS #equation #unification
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures (FB, KUS), pp. 50–65.
CADECADE-1992-FegarasSS #combinator #traversal
Uniform Traversal Combinators: Definition, Use and Properties (LF, TS, DWS), pp. 148–162.
ICLPJICSLP-1992-KirchnerR #algebra #algorithm #constraints #finite #theorem proving #unification
A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms (HK, CR), pp. 225–239.
DACDAC-1991-SastryM #analysis #branch #process
A Branching Process Model for Observability Analysis of Combinational Circuits (SS, AM), pp. 452–457.
STOCSTOC-1991-KedemPRS #parallel #performance
Combining Tentative and Definite Executions for Very Fast Dependable Parallel Computing (Extended Abstract) (ZMK, KVP, AR, PGS), pp. 381–390.
FMVDME-1991-1-Clement #development
Combining Transformation and Posit-and Prove in a VDM Development (TC), pp. 63–80.
CAiSECAiSE-1991-KrogstieMOS #development #information management #process #rule-based #using
Information Systems Development Using a Combination of Process and Rule Based Approaches (JK, PM, RO, AHS), pp. 319–335.
ICMLML-1991-FisherY #similarity
Combining Evidence of Deep and Surface Similarity (DHF, JPY), pp. 46–50.
ICMLML-1991-MartinSC #information management
Knowledge Acquisition Combining Analytical and Empirrcal Techniques (MM, RS, UC), pp. 657–661.
ICMLML-1991-MaW #consistency #knowledge base #optimisation #performance
Improving the Performance of Inconsistent Knowledge Bases via Combined Optimization Method (YM, DCW), pp. 23–27.
ICMLML-1991-Thompson #approach #information retrieval #machine learning
Machine Learning in the Combination of Expert Opinion Approach to IR (PT), pp. 270–274.
SIGIRSIGIR-1991-FuhrP #probability
Combining Model-Oriented and Description-Oriented Approaches for Probabilistic Indexing (NF, UP), pp. 46–56.
ESECESEC-1991-Berzins #modelling #source code
Software Merge: Models and Methods for Combining Changes to Programs (VB), pp. 229–250.
CSLCSL-1991-Meinke #combinator #data type #equation #specification
Equational Specification of Abstract Types and Combinators (KM), pp. 257–271.
ICLPICLP-1991-MuthukumarH #abstract interpretation
Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation (KM, MVH), pp. 49–63.
LICSLICS-1991-Statman #combinator #monad
Freyd’s Hierarchy of Combinator Monoids (RS), pp. 186–190.
RTARTA-1991-MiddeldorpT
Completeness of Combinations of Constructor Systems (AM, YT), pp. 188–199.
DACDAC-1990-Chakravarty #identification #on the
On Synthesizing and Identifying Stuck-Open Testable CMOS Combinational Circuits (extended abstract) (SC), pp. 736–739.
DACDAC-1990-Chan #algorithm #logic
Algorithms for Library-Specific Sizing of Combinational Logic (PKC), pp. 353–356.
DACDAC-1990-ChenM #multi #network #optimisation
Timing Optimization for Multi-Level Combinational Networks (KCC, SM), pp. 339–344.
DACDAC-1990-CloutierT #algorithm #scheduling
The Combination of Scheduling, Allocation, and Mapping in a Single Algorithm (RJC, DET), pp. 71–76.
DACDAC-1990-DevadasK #logic #optimisation #robust #synthesis
Synthesis and Optimization Procedures for Robustly Delay-Fault Testable Combinational Logic Circuits (SD, KK), pp. 221–227.
DACDAC-1990-Fishburn #heuristic #how #logic
A Depth-Decreasing Heuristic for Combinational Logic: Or How To Convert a Ripple-Carry Adder Into A Carry-Lookahead Adder Or Anything in-between (JPF), pp. 361–364.
DACDAC-1990-LeeH #automation #fault #generative #named #performance
SOPRANO: An Efficient Automatic Test Pattern Generator for Stuck-Open Faults in CMOS Combinational Circuits (HKL, DSH), pp. 660–666.
DACDAC-1990-ParkM #generative #logic #performance #testing
An Efficient Delay Test Generation System for Combinational Logic Circuits (ESP, MRM), pp. 522–528.
CAiSECAiSE-1990-SmolanderTL #case study #how #tool support
How to Combine Tools and Methods in Practice — a Field Study (KS, VPT, KL), pp. 195–214.
POPLPOPL-1990-DemersWHBBS #framework #garbage collection #implementation
Combining Generational and Conservative Garbage Collection: Framework and Implementations (AJD, MW, BH, HJB, DGB, SS), pp. 261–269.
CADECADE-1990-Boudet #algorithm #equation #performance #unification
Unification in a Combination of Equational Theories: an Efficient Algorithm (AB), pp. 292–307.
DACDAC-1989-LeeHK #fault #generative #testing #using
Test Generation of Stuck-open Faults Using Stuck-at Test Sets in CMOS Combinational Circuits (HKL, DSH, KK), pp. 345–350.
DACDAC-1989-McGeerB89a #algorithm #network #performance
Efficient Algorithms for Computing the Longest Viable Path in a Combinational Network (PCM, RKB), pp. 561–567.
DACDAC-1989-WangKL #approach #fault #logic #robust #set
A New Approach to Derive Robust Sets for Stuck-open Faults in CMOS Combinational Logic Circuits (JFW, TYK, JYL), pp. 726–729.
SIGMODSIGMOD-1989-Swami #combinator #heuristic #optimisation #query #scalability
Optimization of Large Join Queries: Combining Heuristic and Combinatorial Techniques (ANS), pp. 367–376.
PLDIPLDI-1989-KoopmanL #combinator #fresh look #graph #reduction
A Fresh Look at Combinator Graph Reduction (PJKJ, PL), pp. 110–119.
KRKR-1989-Sandewall #difference #equation #logic
Combining Logic and Differential Equations for Describing Real-World Systems (ES), pp. 412–420.
ICMLML-1989-Hirsh #empirical #learning
Combining Empirical and Analytical Learning with Version Spaces (HH), pp. 29–33.
ICMLML-1989-Redmond #learning #reasoning
Combining Case-Based Reasoning, Explanation-Based Learning, and Learning form Instruction (MR), pp. 20–22.
ICMLML-1989-ShavlikT #learning #network
Combining Explanation-Based Learning and Artificial Neural Networks (JWS, GGT), pp. 90–93.
OOPSLAOOPSLA-1989-MullerRKS #interface #multi
The Use of Multimethods and Method Combination in a CLOS Based Window System Interface (HM, JRR, JK, TS), pp. 239–253.
ICLPNACLP-1989-GuptaJ #memory management #parallel
Combined And-Or Parallelism on Shared Memory Multiprocessors (GG, BJ), pp. 332–349.
RTARTA-1989-Nipkow #algorithm
Combining Matching Algorithms: The Rectangular Case (TN), pp. 343–358.
DACDAC-1988-LiRS #logic #on the
On Path Selection in Combinational Logic Circuits (WNL, SMR, SS), pp. 142–147.
LISPLFP-1988-Norman #combinator #hardware #performance #reduction #using
Faster Combinator Reduction Using stock Hardware (ACN), pp. 235–243.
SIGIRSIGIR-1988-FoxNL #concept
Coefficients for Combining Concept Classes in a Collection (EAF, GLN, WCL), pp. 291–307.
CADECADE-1988-Schmidt-Schauss #equation #unification
Unification in a Combination of Arbitrary Disjoint Equational Theories (MSS), pp. 378–396.
LICSLICS-1988-Breazu-Tannen88a #algebra #higher-order
Combining Algebra and Higher-Order Types (VT), pp. 82–90.
DACDAC-1987-HofmannK #logic #optimisation
Delay Optimization of Combinational Static CMOS Logic (MH, JKK), pp. 125–132.
PLDIPLDI-1987-Pittman #execution #hybrid #interpreter #performance
Two-level hybrid interpreter/native code execution for combined space-time program efficiency (TP), pp. 150–152.
FPCAFPCA-1987-Lins #category theory #combinator #multi
Categorical multi-combinators (RDL), pp. 60–79.
OOPSLAOOPSLA-1987-AndrewsH #database #development #object-oriented
Combining Language and Database Advances in an Object-Oriented Development Environment (TA, CH), pp. 430–440.
ICSEICSE-1987-Kramer #data type #distributed #named #petri net #specification
SEGRAS — A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems (BJK), pp. 116–125.
CSLCSL-1987-BohmP #combinator #finite #reduction #set
Surjectivity for Finite Sets of Combinators by Weak Reduction (CB, AP), pp. 27–43.
ICLPICLP-1987-Yamamoto87
A Theoretical Combination of SLD-Resolution and Narrowing (AY), pp. 470–487.
LICSLICS-1987-AlpernS #proving
Proving Boolean Combinations of Deterministic Properties (BA, FBS), pp. 131–137.
ICLPSLP-1987-WestphalRCS87 #backtracking
The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism (HW, PR, JCdK, JCS), pp. 436–448.
DACDAC-1986-GregoryBGH #automation #logic #named #optimisation
SOCRATES: a system for automatically synthesizing and optimizing combinational logic (DG, KAB, AJdG, GDH), pp. 79–85.
ESOPESOP-1986-Bellot #combinator #functional #named #programming #reduction
GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine (PB), pp. 82–98.
ESOPESOP-1986-GeserH #case study #experience #interpreter #specification #term rewriting
Experiences with the RAP System — A Specification Interpreter Combining Term Rewriting and Resolution (AG, HH), pp. 339–350.
ESOPESOP-1986-HankinBJ #approach #combinator #parallel #reduction
A Safe Approach to Parallel Combinator Reduction (Extended Abstract) (CH, GLB, SLPJ), pp. 99–110.
LISPLFP-1986-LemaitreCDDL #combinator #multi #performance #reduction
Mechanisms for Efficient Multiprocessor Combinator Reduction (ML, MC, MHD, GD, BL), pp. 113–121.
CADECADE-1986-Gibert #combinator #functional #programming
The J-Machine: Functional Programming with Combinators (JG), pp. 683–684.
CADECADE-1986-Herold #algorithm #unification
Combination of Unification Algorithms (AH), pp. 450–469.
CADECADE-1986-Lins #combinator #execution
A New Formula for the Execution of Categorial Combinators (RDL), pp. 89–98.
CADECADE-1986-PoratF #equation #term rewriting
Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems (SP, NF), pp. 21–41.
CADECADE-1986-Tiden #set #unification
Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols (ET), pp. 431–449.
LICSLICS-1986-Statman #combinator #on the #problem
On Translating λ Terms into Combinators; The Basis Problem (RS), pp. 378–382.
FPCAFPCA-1985-Brownbridge85 #combinator
Cyclic Reference Counting for Combinator Machines (DRB), pp. 273–288.
FPCAFPCA-1985-HankinOS85 #architecture #combinator #named #reduction
COBWEB — A Combinator Reduction Architecture (CH, PO, MJS), pp. 99–112.
FPCAFPCA-1985-HudakG85 #combinator #parallel
Serial Combinators: “Optimal” Grains of Parallelism (PH, BG), pp. 382–399.
RTARTA-1985-Yelick #algorithm #equation #unification
Combining Unification Algorithms for Confined Regular Equational Theories (KAY), pp. 365–380.
DACDAC-1984-KozawaMT #algorithm #layout #logic #top-down
Combine and top down block placement algorithm for hierarchical logic VLSI layout (TK, CM, HT), pp. 667–669.
DACDAC-1984-ReddyAJ #detection #fault #logic
A gate level model for CMOS combinational logic circuits with application to fault detection (SMR, VDA, SKJ), pp. 504–509.
DACDAC-1984-ShinshaKHAI #algorithm #logic #named #synthesis
Polaris: Polarity propagation algorithm for combinational logic synthesis (TS, TK, MH, KA, KI), pp. 322–328.
DACDAC-1984-WardleWWMN #approach #declarative #design
A declarative design approach for combining macrocells by directed placement and constructive routing (CLW, CRW, CAW, JCM, BJN), pp. 594–601.
SIGMODSIGMOD-1984-ChenK #network #relational #retrieval
Combining Relational and Network Retrieval Methods (HHC, SMK), pp. 131–142.
LISPLFP-1984-HudakG #combinator #reduction
Experiments in Diffused Combinator Reduction (PH, BG), pp. 167–176.
LISPLFP-1984-StoyeCN #agile #combinator #reduction
Some Practical Methods for Rapid Combinator Reduction (WRS, TJWC, ACN), pp. 159–166.
SIGIRSIGIR-1984-Schek #architecture #transaction
Nested Transactions in a Combined IRS-DBMS Architecture (HJS), pp. 55–70.
POPLPOPL-1984-HudakK #combinator #compilation #functional
A Combinator-Based Compiler for a Functional Language (PH, DAK), pp. 122–132.
DACDAC-1983-MayoO #layout
Pictures with parentheses: Combining graphics and procedures in a VLSI layout tool (RNM, JKO), pp. 270–276.
SIGIRSIGIR-1983-FraenkelM #clustering #scalability
Combinational Compression and Partitioning of Large Dictionaries: Theory and Experiments (ASF, MM), pp. 205–219.
POPLPOPL-1983-Wand #combinator #compilation
Loops in Combinator-Based Compilers (MW), pp. 190–196.
DACDAC-1982-WipflerWM #algorithm #layout
A combined force and cut algorithm for hierarchical VLSI layout (GJW, MW, DAM), pp. 671–677.
ICALPICALP-1982-RaoultS
Properties of a Notation for Combining Functions (JCR, RS), pp. 429–441.
LISPLFP-1982-Hughes #combinator #implementation
Super Combinators: A New Implementation Method for Applicative Languages (RJMH), pp. 1–10.
LISPLFP-1982-Jones #combinator
An Investigation of the Relative Efficiencies of Combinators and λ Expressions (SLPJ), pp. 150–158.
LISPLFP-1982-MuchnickJ #combinator #evaluation
A Fixed-Program Machine for Combinator Expression Evaluation (SSM, NDJ), pp. 11–20.
POPLPOPL-1982-Sandberg #flexibility #named #syntax
Lithe: A Language Combining a Flexible Syntax, Classes (DS), pp. 142–145.
CADECADE-1982-Shostak
Deciding Combinations of Theories (RES), pp. 209–222.
DACDAC-1981-Trimberger #interactive #layout
Combining graphics and a layout language in a single interactive system (ST), pp. 234–239.
DACDAC-1980-Shiva #logic #synthesis
Combinational logic synthesis from an HDL description (SGS), pp. 550–555.
DACDAC-1979-Cha #fault #multi #network
Multiple fault diagnosis in combinational networks (CWC), pp. 149–155.
DACDAC-1979-El-Ziq #fault #generative #network #performance #simulation #testing
Testing of MOS combinational networks a procedure for efficient fault simulation and test generation (YMEZ), pp. 162–170.
DACDAC-1978-El-Ziq #automation #constraints #design #logic #network
Logic design automation of MOS combinational networks with fan-in, fan-out constraints (YMEZ), pp. 240–249.
DACDAC-1977-El-ZiqS #automation #design #logic #network
Logic design automation of diagnosable MOS combinational logic networks (YMEZ, SYHS), pp. 205–215.
DACDAC-1975-Fike #design #detection #fault #predict #question
Predicting fault detectability in combinational circuits — a new design tool? (JLF), pp. 290–295.
DACDAC-1974-Kjelkerud #generative #performance #source code #testing
A system of computer programs for efficient test generation for combinational switching circuits (EK), pp. 166–168.
STOCSTOC-1974-Kedem #bound #multi
Combining Dimensionality and Rate of Growth Arguments for Establishing Lower Bounds on the Number of Multiplications (ZMK), pp. 334–341.
ICALPICALP-1974-BohmD #combinator #equation #normalisation #problem
Combinatorial Problems, Combinator Equations and Normal Forms (CB, MDC), pp. 185–199.
ICALPICALP-1974-Fischer #algorithm #matrix
Further Schemes for Combining Matrix Algorithms (PCF), pp. 428–436.
DACDAC-1972-Grant #architecture #design #problem #proximity #using
Combining proximity criteria with nature-of-the-spot criteria in architectural and urban design space planning problems using a computer-aided space allocation technique: A proposed technique and an example of its application (DPG), pp. 197–202.
DACDAC-1972-Oishi #problem #specification
Problem areas and the combination of wall-units to satisfy room relation specification between rooms (IO), pp. 239–249.
DACDAC-1972-Schmidt #composition #network
Gate for gate modular replacement of combinational switching networks (DCS), pp. 331–340.
SIGMODSIGFIDET-1972-Stonebraker #performance #retrieval #using
Retrieval Efficiency Using Combined Indexes (MS), pp. 243–256.
DACDAC-1971-VishnubhotlaC #analysis #approach
A path analysis approach to the diagnosis of combinational circuits (SRV, YHC), pp. 222–230.

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.