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:
supervis (185)
learn (106)
automat (88)
structur (72)
model (63)

Stem semi$ (all stems)

527 papers:

CASECASE-2015-ParisACAR #behaviour #learning #markov #smarttech #using
Using Hidden Semi-Markov Model for learning behavior in smarthomes (AP, SA, NC, AEA, NR), pp. 752–757.
DACDAC-2015-SeshiaSS #formal method
Formal methods for semi-autonomous driving (SAS, DS, SSS), p. 5.
DocEngDocEng-2015-MarriottSW #automation #documentation #editing #named #visual notation
VEDD: A Visual Editor for Creation and Semi-Automatic Update of Derived Documents (KM, MS, MW), pp. 125–128.
DocEngDocEng-2015-Paoli #documentation #what
Documents as Data, Data as Documents: What we learned about Semi-Structured Information for our Open World of Cloud & Devices (JP), p. 1.
DRRDRR-2015-ClawsonB #automation
Intelligent indexing: a semi-automated, trainable system for field labeling (RC, WAB).
SIGMODSIGMOD-2015-ZhouT #named #predict
SMiLer: A Semi-Lazy Time Series Prediction System for Sensors (JZ, AKHT), pp. 1871–1886.
VLDBVLDB-2015-YingKSS #named
TreeScope: Finding Structural Anomalies In Semi-Structured Data (SY, FK, BS, DS), pp. 1904–1915.
ITiCSEITiCSE-2015-InsaS #assessment #automation #domain-specific language #java #library
Semi-Automatic Assessment of Unrestrained Java Code: A Library, a DSL, and a Workbench to Assess Exams and Exercises (DI, JS), pp. 39–44.
FoSSaCSFoSSaCS-2015-BacciBLM #distance #markov #on the
On the Total Variation Distance of Semi-Markov Chains (GB, GB, KGL, RM), pp. 185–199.
ICPCICPC-2015-ThungLL #categorisation #fault
Active semi-supervised defect categorization (FT, XBDL, DL), pp. 60–70.
PLDIPLDI-2015-BarowyGHZ #named #relational #spreadsheet #using
FlashRelate: extracting relational data from semi-structured spreadsheets using examples (DWB, SG, TH, BGZ), pp. 218–228.
ICEISICEIS-v2-2015-PereiraBD #formal method #uml
Mapping Formal Results Back to UML Semi-formal Model (VP, LB, MED), pp. 320–329.
ICMLICML-2015-WenKA #combinator #learning #performance #scalability
Efficient Learning in Large-Scale Combinatorial Semi-Bandits (ZW, BK, AA), pp. 1113–1122.
KDDKDD-2015-LanH #complexity #learning #multi
Reducing the Unlabeled Sample Complexity of Semi-Supervised Multi-View Learning (CL, JH), pp. 627–634.
KDDKDD-2015-Yi0YLW #algorithm #clustering #constraints #performance
An Efficient Semi-Supervised Clustering Algorithm with Sequential Constraints (JY, LZ, TY, WL, JW), pp. 1405–1414.
MLDMMLDM-2015-GovadaJMS #approach #hybrid #induction #learning #using
Hybrid Approach for Inductive Semi Supervised Learning Using Label Propagation and Support Vector Machine (AG, PJ, SM, SKS), pp. 199–213.
MLDMMLDM-2015-TreechalongRW #clustering #using
Semi-Supervised Stream Clustering Using Labeled Data Points (KT, TR, KW), pp. 281–295.
SIGIRSIGIR-2015-PanYLNM #scalability #semantics #visual notation
Semi-supervised Hashing with Semantic Confidence for Large Scale Visual Search (YP, TY, HL, CWN, TM), pp. 53–62.
MoDELSMoDELS-2015-FarwickSBH #architecture #automation #documentation #enterprise
A situational method for semi-automated enterprise architecture documentation (SoSyM abstract) (MF, CMS, RB, IH), p. 448.
SACSAC-2015-SilvaBAR #clustering #multi #prototype #using
Semi-supervised clustering using multi-assistant-prototypes to represent each cluster (WJS, MCNB, SdA, HLR), pp. 831–836.
ECSAECSA-2014-AnvaariZ #architecture #automation #design #development #framework
Semi-automated Design Guidance Enhancer (SADGE): A Framework for Architectural Guidance Development (MA, OZ), pp. 41–49.
DATEDATE-2014-CannellaBS #approach #realtime #scheduling #streaming #using
System-level scheduling of real-time streaming applications using a semi-partitioned approach (EC, MB, TS), pp. 1–6.
DATEDATE-2014-RadojicicGMP #analysis
Semi-symbolic analysis of mixed-signal systems including discontinuities (CR, CG, JM, XP), pp. 1–4.
DRRDRR-2014-DiemKFS #automation #clustering #documentation #image #retrieval
Semi-automated document image clustering and retrieval (MD, FK, SF, RS), p. ?–10.
SANERCSMR-WCRE-2014-Zaytsev #formal method #semiparsing
Formal foundations for semi-parsing (VZ), pp. 313–317.
ICSMEICSME-2014-AlalfiRSSDC #automation #identification #modelling #representation #variability
Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models (MHA, EJR, AS, MS, TRD, JRC), pp. 486–490.
ICALPICALP-v1-2014-EmekR #set
Semi-Streaming Set Cover — (Extended Abstract) (YE, AR), pp. 453–464.
LATALATA-2014-ZhengGQ #automaton #complexity #finite #on the
On the State Complexity of Semi-quantum Finite Automata (SZ, JG, DQ), pp. 601–612.
HCIDHM-2014-OhgiriYYKH #analysis #comparison
Comparison of Gait Analysis by the Way of Semi-structured Interviews (MO, KY, HY, NK, HH), pp. 43–54.
CAiSECAiSE-2014-NobauerSG #analysis #approach #automation #evaluation #product line #similarity
Similarity Analysis within Product Line Scoping: An Evaluation of a Semi-automatic Approach (MN, NS, IG), pp. 165–179.
ICEISICEIS-v1-2014-PfaffK #benchmark #distributed #integration #metric #ontology #semantics #towards
Semantic Integration of Semi-Structured Distributed Data in the Domain of IT Benchmarking — Towards a Domain Specific Ontology (MP, HK), pp. 320–324.
CIKMCIKM-2014-SondhiZ #community #knowledge base #mining #natural language #online
Mining Semi-Structured Online Knowledge Bases to Answer Natural Language Questions on Community QA Websites (PS, CZ), pp. 341–350.
CIKMCIKM-2014-TraniCLOP #documentation
Manual Annotation of Semi-Structured Documents for Entity-Linking (ST, DC, CL, SO, RP), pp. 2075–2077.
CIKMCIKM-2014-Wen0R #precise
Enabling Precision/Recall Preferences for Semi-supervised SVM Training (ZW, RZ, KR), pp. 421–430.
ECIRECIR-2014-AlbornozASG #automation #monitoring #named #online #twitter
ORMA: A Semi-automatic Tool for Online Reputation Monitoring in Twitter (JCdA, EA, DS, JG), pp. 742–745.
ICMLICML-c1-2014-LianREC #correlation #markov #modelling #process
Modeling Correlated Arrival Events with Latent Semi-Markov Processes (WL, VR, BE, LC), pp. 396–404.
ICMLICML-c1-2014-SolomonRGB #learning
Wasserstein Propagation for Semi-Supervised Learning (JS, RMR, LJG, AB), pp. 306–314.
ICMLICML-c2-2014-FangCL #graph #learning
Graph-based Semi-supervised Learning: Realizing Pointwise Smoothness Probabilistically (YF, KCCC, HWL), pp. 406–414.
ICMLICML-c2-2014-LiZ #higher-order #learning #problem
High Order Regularization for Semi-Supervised Learning of Structured Output Problems (YL, RSZ), pp. 1368–1376.
ICMLICML-c2-2014-TrigeorgisBZS #learning
A Deep Semi-NMF Model for Learning Hidden Representations (GT, KB, SZ, BWS), pp. 1692–1700.
ICPRICPR-2014-BertonL #graph #learning
Graph Construction Based on Labeled Instances for Semi-supervised Learning (LB, AdAL), pp. 2477–2482.
ICPRICPR-2014-ChengZHT #learning #recognition
Semi-supervised Learning for RGB-D Object Recognition (YC, XZ, KH, TT), pp. 2377–2382.
ICPRICPR-2014-IosifidisTP #classification #network
Semi-supervised Classification of Human Actions Based on Neural Networks (AI, AT, IP), pp. 1336–1341.
ICPRICPR-2014-KrytheL #analysis #linear
Implicitly Constrained Semi-supervised Linear Discriminant Analysis (JHK, ML), pp. 3762–3767.
ICPRICPR-2014-KunwarPB #network #online #recognition
Semi-supervised Online Bayesian Network Learner for Handwritten Characters Recognition (RK, UP, MB), pp. 3104–3109.
ICPRICPR-2014-LiuYHTH #learning #recognition #visual notation
Semi-supervised Learning for Cross-Device Visual Location Recognition (PL, PY, KH, TT, HWH), pp. 2873–2878.
ICPRICPR-2014-Ozay #image #multi #segmentation
Semi-supervised Segmentation Fusion of Multi-spectral and Aerial Images (MO), pp. 3839–3844.
ICPRICPR-2014-PhamKC #graph #image #learning
Semi-supervised Learning on Bi-relational Graph for Image Annotation (HDP, KHK, SC), pp. 2465–2470.
ICPRICPR-2014-RozzaMP #graph #kernel #learning #novel
A Novel Graph-Based Fisher Kernel Method for Semi-supervised Learning (AR, MM, AP), pp. 3786–3791.
ICPRICPR-2014-SaitoAFRSGC #learning #using
Active Semi-supervised Learning Using Optimum-Path Forest (PTMS, WPA, AXF, PJdR, CTNS, JFG, MHdC), pp. 3798–3803.
ICPRICPR-2014-YangN #integration #learning #multi
Semi-supervised Learning of Geospatial Objects through Multi-modal Data Integration (YY, SN), pp. 4062–4067.
ICPRICPR-2014-ZhangQWL #classification #learning #online
Object Classification in Traffic Scene Surveillance Based on Online Semi-supervised Active Learning (ZZ, JQ, YW, ML), pp. 3086–3091.
KDDKDD-2014-GaddeAO #graph #learning #using
Active semi-supervised learning using sampling theory for graph signals (AG, AA, AO), pp. 492–501.
KDDKDD-2014-GunnemannFRS #clustering #multi #named
SMVC: semi-supervised multi-view clustering in subspace projections (SG, IF, MR, TS), pp. 253–262.
KDDKDD-2014-PolozovG #automation #named #web
LaSEWeb: automating search strategies over semi-structured web data (OP, SG), pp. 741–750.
KDDKDD-2014-WangNH #adaptation #induction #learning #scalability
Large-scale adaptive semi-supervised learning via unified inductive and transductive model (DW, FN, HH), pp. 482–491.
KDIRKDIR-2014-HaraSOM #automation #information management #towards
Annotating Cohesive Statements of Anatomical Knowledge Toward Semi-automated Information Extraction (KH, IS, KO, IM), pp. 342–347.
KEODKEOD-2014-NefziFFS #automation #ontology #process
A Semi-automatic Mapping Selection in the Ontology Alignment Process (HN, MF, IRF, BS), pp. 459–466.
MLDMMLDM-2014-YuST #detection #modelling #realtime
Semi-supervised Time Series Modeling for Real-Time Flux Domain Detection on Passive DNS Traffic (BY, LS, MT), pp. 258–271.
SIGIRSIGIR-2014-McParlaneJ14a #automation #image #novel
A novel system for the semi automatic annotation of event images (PJM, JMJ), pp. 1269–1270.
SIGIRSIGIR-2014-ZhangTZX #algorithm #recommendation
Addressing cold start in recommender systems: a semi-supervised co-training algorithm (MZ, JT, XZ, XX), pp. 73–82.
REFSQREFSQ-2014-CooperNL #education #formal method #game studies #modelling #requirements #towards
Towards Model-Driven Requirements Engineering for Serious Educational Games: Informal, Semi-formal, and Formal Models (KMLC, ESN, CSL), pp. 17–22.
REFSQREFSQ-2014-KnaussO #automation #categorisation #natural language #requirements
(Semi-) automatic Categorization of Natural Language Requirements (EK, DO), pp. 39–54.
SACSAC-2014-VidalCNM #approach #automation #generative
A semi-automatic approach for generating customized R2RML mappings (VMPV, MAC, LETN, JMM), pp. 316–322.
SACSAC-2014-Zheng #matrix #using
Semi-supervised context-aware matrix factorization: using contexts in a way of “latent” factors (YZ), pp. 292–293.
SACSAC-2014-ZimmermannNS #adaptation #classification
Adaptive semi supervised opinion classifier with forgetting mechanism (MZ, EN, MS), pp. 805–812.
OSDIOSDI-2014-MullerAAC #automation #manycore #named #parallel
Pydron: Semi-Automatic Parallelization for Multi-Core and the Cloud (SCM, GA, AA, AC), pp. 645–659.
ICSTICST-2014-TokumotoSSUW #automation #industrial #locality
Semi-automatic Incompatibility Localization for Re-engineered Industrial Software (ST, KS, KS, TU, HW), pp. 91–94.
RTARTA-TLCA-2014-Statman #λ-calculus
Near Semi-rings and λ Calculus (RS), pp. 410–424.
ASEASE-2013-WuestSG #automation #generative #metamodelling #sketching
Semi-automatic generation of metamodels from model sketches (DW, NS, MG), pp. 664–669.
DACDAC-2013-LiP #framework #modelling
An accurate semi-analytical framework for full-chip TSV-induced stress modeling (YL, DZP), p. 8.
DATEDATE-2013-MishchenkoEBCCS
A semi-canonical form for sequential AIGs (AM, NE, RKB, MLC, PC, NS), pp. 797–802.
DocEngDocEng-2013-AzevedoSASN #authoring #automation #multi
Multimedia authoring based on templates and semi-automatic generated wizards (RGDAA, RCMS, ECA, LFGS, CdSSN), pp. 205–214.
DRRDRR-2013-AugereauJD #documentation #image #recognition
Semi-structured document image matching and recognition (OA, NJ, JPD).
ICDARICDAR-2013-BougueliaBB #approach #classification #documentation #learning
A Stream-Based Semi-supervised Active Learning Approach for Document Classification (MRB, YB, AB), pp. 611–615.
ICDARICDAR-2013-KieuJVMD #3d #documentation #generative #image #using
Semi-synthetic Document Image Generation Using Texture Mapping on Scanned 3D Document Shapes (VCK, NJ, MV, RM, JPD), pp. 489–493.
ICDARICDAR-2013-MaW #automation #component #database #online #optimisation #segmentation
Semi-automatic Tibetan Component Annotation from Online Handwritten Tibetan Character Database by Optimizing Segmentation Hypotheses (LLM, JW), pp. 1340–1344.
ICDARICDAR-2013-NguyenZN #online #recognition
A Semi-incremental Recognition Method for On-Line Handwritten Japanese Text (CTN, BZ, MN), pp. 84–88.
ICDARICDAR-2013-ZhangZL #documentation #keyword #online
Keyword Spotting in Online Chinese Handwritten Documents with Candidate Scoring Based on Semi-CRF Model (HZ, XDZ, CLL), pp. 567–571.
ICDARICDAR-2013-ZhouTLW #markov #random #recognition #using
Minimum Risk Training for Handwritten Chinese/Japanese Text Recognition Using Semi-Markov Conditional Random Fields (XDZ, FT, CLL, HW), pp. 940–944.
VLDBVLDB-2013-KornSSY #on the #problem
On Repairing Structural Problems In Semi-structured Data (FK, BS, DS, SY), pp. 601–612.
VLDBVLDB-2013-ZhouTWN #2d #learning #named #predict #probability
R2-D2: a System to Support Probabilistic Path Prediction in Dynamic Environments via “Semi-Lazy” Learning (JZ, AKHT, WW, WSN), pp. 1366–1369.
ICALPICALP-v1-2013-KonradR #approximate #communication #streaming
Approximating Semi-matchings in Streaming and in Two-Party Communication (CK, AR), pp. 637–649.
LATALATA-2013-AotoI #calculus #rule-based #termination
Termination of Rule-Based Calculi for Uniform Semi-Unification (TA, MI), pp. 56–67.
HCIHCI-AMTE-2013-EngelMHF #automation #generative #specification #user interface
Formal Pattern Specifications to Facilitate Semi-automated User Interface Generation (JE, CM, CH, PF), pp. 300–309.
HCIHCI-III-2013-BockLSWW #automation #classification
Audio-Based Pre-classification for Semi-automatic Facial Expression Coding (RB, KLE, IS, SW, AW), pp. 301–309.
HCIHCI-III-2013-HeLWG #image #segmentation #using
Semi-supervised Remote Sensing Image Segmentation Using Dynamic Region Merging (NH, KL, YW, YG), pp. 153–162.
CIKMCIKM-2013-NaeemWDL
A generic front-stage for semi-stream processing (MAN, GW, GD, CL), pp. 769–774.
CIKMCIKM-2013-NoroziA #retrieval
Selection fusion in semi-structured retrieval (MAN, PA), pp. 1291–1300.
CIKMCIKM-2013-XuXWW #automation #feedback #image #ranking
A heterogenous automatic feedback semi-supervised method for image reranking (XCX, XSX, YW, XW), pp. 999–1008.
ICMLICML-c1-2013-BalcanBEL #learning #performance
Efficient Semi-supervised and Active Learning of Disjunctions (NB, CB, SE, YL), pp. 633–641.
ICMLICML-c3-2013-NiuJDHS #approach #learning #novel
Squared-loss Mutual Information Regularization: A Novel Information-theoretic Approach to Semi-supervised Learning (GN, WJ, BD, HH, MS), pp. 10–18.
ICMLICML-c3-2013-OgawaITS
Infinitesimal Annealing for Training Semi-Supervised Support Vector Machines (KO, MI, IT, MS), pp. 897–905.
ICMLICML-c3-2013-YiZJQJ #clustering #matrix #similarity
Semi-supervised Clustering by Input Pattern Assisted Pairwise Similarity Matrix Completion (JY, LZ, RJ, QQ, AKJ), pp. 1400–1408.
KDDKDD-2013-ChenHKB #learning #named
DTW-D: time series semi-supervised learning from a single example (YC, BH, EJK, GEAPAB), pp. 383–391.
KDDKDD-2013-HuaCZLR #detection #named #twitter
STED: semi-supervised targeted-interest event detectionin in twitter (TH, FC, LZ, CTL, NR), pp. 1466–1469.
KDDKDD-2013-ZhouTWN #approach #predict #probability
A “semi-lazy” approach to probabilistic path prediction (JZ, AKHT, WW, WSN), pp. 748–756.
KDIRKDIR-KMIS-2013-Mechmache #documentation #towards
Toward a Neural Aggregated Search Model for Semi-structured Documents (FZBM), pp. 91–95.
KDIRKDIR-KMIS-2013-VensVB #clustering
Semi-supervised Clustering with Example Clusters (CV, BV, HB), pp. 45–51.
KEODKEOD-2013-HafnerHWO #automation #ontology
Semi-automated Ontology Population from Building Construction Drawings (PH, VH, HW, JO), pp. 379–386.
MLDMMLDM-2013-MinhAN #algorithm #feature model
DCA Based Algorithms for Feature Selection in Semi-supervised Support Vector Machines (LHM, LTHA, MCN), pp. 528–542.
SEKESEKE-2013-DiaoSYG #automation #semantics
A Semantic-based Semi-automated Role Mapping Mechanism (S) (LD, WS, ILY, JG), pp. 14–17.
SIGIRSIGIR-2013-Ekstrand-AbuegPA #automation
Live nuggets extractor: a semi-automated system for text extraction and test collection creation (MEA, VP, JAA), pp. 1087–1088.
SIGIRSIGIR-2013-Ekstrand-AbuegPKSYI #automation #evaluation
Exploring semi-automatic nugget extraction for Japanese one click access evaluation (MEA, VP, MPK, TS, TY, MI), pp. 749–752.
OOPSLAOOPSLA-2013-FeldthausM #automation #javascript #refactoring
Semi-automatic rename refactoring for JavaScript (AF, AM), pp. 323–338.
REFSQREFSQ-2013-BreauxG #analysis #requirements #specification #traceability #using
Regulatory Requirements Traceability and Analysis Using Semi-formal Specifications (TDB, DGG), pp. 141–157.
REFSQREFSQ-2013-Regnell #modelling #requirements #scalability #towards
reqT.org — Towards a Semi-Formal, Open and Scalable Requirements Modeling Tool (BR), pp. 112–118.
SACSAC-2013-HassanzadehN #algorithm #detection #graph
A semi-supervised graph-based algorithm for detecting outliers in online-social-networks (RH, RN), pp. 577–582.
SACSAC-2013-MendesW #navigation #realtime #using
Real time autonomous navigation and obstacle avoidance using a semi-global stereo method (CCTM, DFW), pp. 235–236.
SACSAC-2013-WombacherI #estimation #process
Start time and duration distribution estimation in semi-structured processes (AW, MEI), pp. 1403–1409.
PLOSPLOS-2013-AryaDVC #automation #debugging #process
Semi-automated debugging via binary search through a process lifetime (KA, TD, AMV, GC), p. 7.
ISSTAISSTA-2013-TsankovDB #testing
Semi-valid input coverage for fuzz testing (PT, MTD, DAB), pp. 56–66.
RTARTA-2013-SmolkaT #recursion #unification
Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification (GS, TT), pp. 271–286.
ICSTSAT-2013-Atserias #algebra #bound #problem #proving
The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs (AA), pp. 1–17.
QoSAQoSA-2012-HaitzerZ #abstraction #architecture #automation #component #lifecycle
DSL-based support for semi-automated architectural component model abstraction throughout the software lifecycle (TH, UZ), pp. 61–70.
ASEASE-2012-LuCC #fault #learning #predict #reduction #using
Software defect prediction using semi-supervised learning with dimension reduction (HL, BC, MC), pp. 314–317.
CASECASE-2012-LeeK #automation #development
Development of semi-automatic painting system for inner hull block structures (DHL, HKK), pp. 833–836.
DATEDATE-2012-FanQ #framework #manycore #realtime #scheduling
Harmonic semi-partitioned scheduling for fixed-priority real-time tasks on multi-core platform (MF, GQ), pp. 503–508.
DATEDATE-2012-SchoenmakerMSBTJ #scalability #simulation
Large signal simulation of integrated inductors on semi-conducting substrates (WS, MM, BDS, SB, CT, RJ), pp. 1221–1226.
SIGMODSIGMOD-2012-JimenezSTP #automation #named
Kaizen: a semi-automatic index advisor (IJ, HS, QTT, NP), pp. 685–688.
VLDBVLDB-2012-SchnaitterP #automation
Semi-Automatic Index Tuning: Keeping DBAs in the Loop (KS, NP), pp. 478–489.
STOCSTOC-2012-MakarychevMV #algorithm #approximate #clustering #problem
Approximation algorithms for semi-random partitioning problems (KM, YM, AV), pp. 367–384.
CIAACIAA-2012-KlimannMP #automaton #implementation
Implementing Computations in Automaton (Semi)groups (IK, JM, MP), pp. 240–252.
ICEISICEIS-J-2012-AmarGMHLN12a #automation #concept analysis
Finding Semi-Automatically a Greatest Common Model Thanks to Formal Concept Analysis (BA, AOG, AM, MH, TL, CN), pp. 72–91.
CIKMCIKM-2012-HasanMTK #query
Diversifying query results on semi-structured data (MH, AM, VJT, EJK), pp. 2099–2103.
CIKMCIKM-2012-JuLSZHL #classification #documentation #sentiment #word
Dual word and document seed selection for semi-supervised sentiment classification (SJ, SL, YS, GZ, YH, XL), pp. 2295–2298.
CIKMCIKM-2012-MaoHYL #integration #modelling #topic
Hierarchical topic integration through semi-supervised hierarchical topic modeling (XM, JH, HY, XL), pp. 1612–1616.
CIKMCIKM-2012-QuanzH #generative #learning #multi #named
CoNet: feature generation for multi-view semi-supervised learning with partially observed views (BQ, JH), pp. 1273–1282.
ECIRECIR-2012-Martinez-AlvarezYR #automation #classification #documentation
Semi-automatic Document Classification: Exploiting Document Difficulty (MMA, SY, TR), pp. 468–471.
ICMLICML-2012-JiYLJH #algorithm #bound #fault #learning
A Simple Algorithm for Semi-supervised Learning with Improved Generalization Error Bound (MJ, TY, BL, RJ, JH), p. 110.
ICMLICML-2012-McDowellA #classification #hybrid
Semi-Supervised Collective Classification via Hybrid Label Regularization (LM, DWA), p. 162.
ICMLICML-2012-NiuDYS #learning #metric
Information-theoretic Semi-supervised Metric Learning via Entropy Regularization (GN, BD, MY, MS), p. 136.
ICMLICML-2012-PlessisS #learning
Semi-Supervised Learning of Class Balance under Class-Prior Change by Distribution Matching (MCdP, MS), p. 159.
ICPRICPR-2012-BaiXP #classification #image
Classification oriented semi-supervised band selection for hyperspectral images (JB, SX, CP), pp. 1888–1891.
ICPRICPR-2012-CarliniF
A Semi-Lagrangian scheme for area preserving flows (EC, RF), pp. 2029–2033.
ICPRICPR-2012-CermanH #learning #problem
Tracking with context as a semi-supervised learning and labeling problem (LC, VH), pp. 2124–2127.
ICPRICPR-2012-DinhDL #case study #difference #representation
A study on semi-supervised dissimilarity representation (VCD, RPWD, ML), pp. 2861–2864.
ICPRICPR-2012-HidoK #graph #learning #similarity
Hash-based structural similarity for semi-supervised Learning on attribute graphs (SH, HK), pp. 3009–3012.
ICPRICPR-2012-LimbeckKH #automation
Semi-automatic tracking of markers in facial palsy (PL, WGK, YH), pp. 69–72.
ICPRICPR-2012-LiWBL #adaptation #algorithm #fault
Semi-supervised adaptive parzen Gentleboost algorithm for fault diagnosis (CL, ZW, SB, ZL), pp. 2290–2293.
ICPRICPR-2012-LoprestiN #automation
Optimal data partition for semi-automated labeling (DPL, GN), pp. 286–289.
ICPRICPR-2012-PourdamghaniRZ #estimation #graph #learning #metric
Metric learning for graph based semi-supervised human pose estimation (NP, HRR, MZ), pp. 3386–3389.
ICPRICPR-2012-Ul-HasanBRSB #automation #database #generative
Semi-automated OCR database generation for Nabataean scripts (AUH, SSB, SFR, FS, TMB), pp. 1667–1670.
ICPRICPR-2012-ZhangH #feature model #recognition #using
Face recognition using semi-supervised spectral feature selection (ZZ, ERH), pp. 1294–1297.
ICPRICPR-2012-ZhangHR #classification #gender #learning
Hypergraph based semi-supervised learning for gender classification (ZZ, ERH, PR), pp. 1747–1750.
KDDKDD-2012-ShangJW #learning
Semi-supervised learning with mixed knowledge information (FS, LCJ, FW), pp. 732–740.
KDDKDD-2012-WuWCT #detection #hybrid #named #recommendation
HySAD: a semi-supervised hybrid shilling attack detector for trustworthy product recommendation (ZW, JW, JC, DT), pp. 985–993.
KDIRKDIR-2012-AbdullinN #clustering #data type #framework #learning
A Semi-supervised Learning Framework to Cluster Mixed Data Types (AA, ON), pp. 45–54.
KDIRKDIR-2012-IkebeKT #learning #predict #smarttech #using
Friendship Prediction using Semi-supervised Learning of Latent Features in Smartphone Usage Data (YI, MK, HT), pp. 199–205.
KDIRKDIR-2012-LindnerH #constraints #learning #maintenance #parsing #random
Parsing and Maintaining Bibliographic References — Semi-supervised Learning of Conditional Random Fields with Constraints (SL, WH), pp. 233–238.
MLDMMLDM-2012-EbrahimiA #approach #clustering
Semi Supervised Clustering: A Pareto Approach (JE, MSA), pp. 237–251.
MLDMMLDM-2012-Garcia-ConstantinoCNRS #approach #automation #classification #summary
A Semi-Automated Approach to Building Text Summarisation Classifiers (MGC, FC, PJN, AR, CS), pp. 495–509.
MLDMMLDM-2012-SilvaA #case study #clustering
Semi-supervised Clustering: A Case Study (AS, CA), pp. 252–263.
SIGIRSIGIR-2012-BerardiES #automation #classification #ranking
A utility-theoretic ranking method for semi-automated text classification (GB, AE, FS), pp. 961–970.
SIGIRSIGIR-2012-Hassan #approach #modelling #web
A semi-supervised approach to modeling web search satisfaction (AH), pp. 275–284.
OOPSLAOOPSLA-2012-MeawadRMV #automation #exclamation #javascript #source code
Eval begone!: semi-automated removal of eval from javascript programs (FM, GR, FM, JV), pp. 607–620.
SACSAC-2012-AnconaMP #automation #documentation #java #migration #ontology
Ontology-based documentation extraction for semi-automatic migration of Java code (DA, VM, OP), pp. 1137–1143.
SACSAC-2012-BhattiBA #approach #manycore #realtime #scheduling
A semi-partitioned real-time scheduling approach for periodic task systems on multicore platforms (MKB, CB, MA), pp. 1594–1601.
SACSAC-2012-HuMB #clustering #documentation
Semi-supervised document clustering with dual supervision through seeding (YH, EEM, JB), pp. 144–151.
SACSAC-2012-HuMB12a #clustering #documentation
Enhancing semi-supervised document clustering with feature supervision (YH, EEM, JB), pp. 929–936.
ICSEICSE-2012-HenssMM #automation #development
Semi-automatically extracting FAQs to improve accessibility of software development knowledge (SH, MM, MM), pp. 793–803.
SLESLE-2012-GarciaDA #approach #automation #co-evolution #model transformation
Model Transformation Co-evolution: A Semi-automatic Approach (JG, OD, MA), pp. 144–163.
ICSTICST-2012-PavlovF #automation #generative #search-based #testing
Semi-automatic Search-Based Test Generation (YP, GF), pp. 777–784.
SMTSMT-2012-CodishFFGW #constraints
Exotic Semi-Ring Constraints (MC, YF, CF, JG, JW), pp. 88–97.
CASECASE-2011-TranHN #automation #composition
Semi-automatic control of modular systems with intermittent data losses (TT, QPH, HTN), pp. 625–630.
DRRDRR-2011-SuPD #recognition
SemiBoost-based Arabic character recognition method (BS, LP, XD), pp. 1–10.
ICDARICDAR-2011-AroraN #framework #recognition
A Semi-supervised SVM Framework for Character Recognition (AA, AMN), pp. 1105–1109.
ICDARICDAR-2011-Santos #automation #documentation
Automatic Content Extraction on Semi-structured Documents (JEBDS), pp. 1235–1239.
ICDARICDAR-2011-VajdaJF #approach #learning
A Semi-supervised Ensemble Learning Approach for Character Labeling with Minimal Human Effort (SV, AJ, GAF), pp. 259–263.
CIAACIAA-2011-PajicPP #approach #finite #information management #transducer
Information Extraction from Semi-structured Resources: A Two-Phase Finite State Transducers Approach (VP, GPL, MP), pp. 282–289.
ICALPICALP-v2-2011-AhnG #linear #problem #programming
Linear Programming in the Semi-streaming Model with Application to the Maximum Matching Problem (KJA, SG), pp. 526–538.
HCIHCI-ITE-2011-JokischBS #interactive #multi #testing #usability
Usability Testing of the Interaction of Novices with a Multi-touch Table in Semi Public Space (MJ, TB, AS), pp. 71–80.
CIKMCIKM-2011-BianC #classification #query #taxonomy
A taxonomy of local search: semi-supervised query classification driven by information needs (JB, YC), pp. 2425–2428.
CIKMCIKM-2011-DhillonSS #information management #learning #modelling #multi #predict #web
Semi-supervised multi-task learning of structured prediction models for web information extraction (PSD, SS, SKS), pp. 957–966.
CIKMCIKM-2011-GuYLHJLC
Extract knowledge from semi-structured websites for search task simplification (YG, JY, HL, JH, LJ, NL, ZC), pp. 1883–1888.
CIKMCIKM-2011-LauLBW #learning #scalability #sentiment #web
Leveraging web 2.0 data for scalable semi-supervised learning of domain-specific sentiment lexicons (RYKL, CLL, PB, KFW), pp. 2457–2460.
CIKMCIKM-2011-MalikMOSS #ecosystem #graph
Exploring the corporate ecosystem with a semi-supervised entity graph (HHM, IM, MOO, SS, SS), pp. 1857–1866.
CIKMCIKM-2011-OttavianoG
Semi-indexing semi-structured data in tiny space (GO, RG), pp. 1485–1494.
CIKMCIKM-2011-SeguelaS #hybrid #recommendation
A semi-supervised hybrid system to enhance the recommendation of channels in terms of campaign roi (JS, GS), pp. 2265–2268.
CIKMCIKM-2011-SelvarajBSS #classification #dataset
Semi-supervised SVMs for classification with unknown class proportions and a small labeled dataset (SKS, BB, SS, SKS), pp. 653–662.
CIKMCIKM-2011-SzummerY #learning #rank
Semi-supervised learning to rank with preference regularization (MS, EY), pp. 269–278.
CIKMCIKM-2011-YangZKL #how #learning #question #why
Can irrelevant data help semi-supervised learning, why and how? (HY, SZ, IK, MRL), pp. 937–946.
ICMLICML-2011-BrouarddS #kernel #predict
Semi-supervised Penalized Output Kernel Regression for Link Prediction (CB, FdB, MS), pp. 593–600.
KDDKDD-2011-GaoLWWL #graph #metadata #ranking #scalability
Semi-supervised ranking on very large graphs with rich metadata (BG, TYL, WW, TW, HL), pp. 96–104.
KEODKEOD-2011-FukumotoS #classification #clustering #graph #semantics #word
Semantic Classification of Unknown Words based on Graph-based Semi-supervised Clustering (FF, YS), pp. 37–46.
KEODKEOD-2011-SchmidtKL #automation #documentation #domain-specific language
Domain Specific Language in Technical Solution Documents — Discussion of Two Approaches to Improve the Semi-automated Annotation (HXS, AK, UL), pp. 159–166.
MLDMMLDM-2011-Benbrahim #fuzzy
Fuzzy Semi-supervised Support Vector Machines (HB), pp. 127–139.
RecSysRecSys-2011-WuCMW #detection #learning #named
Semi-SAD: applying semi-supervised learning to shilling attack detection (ZW, JC, BM, YW), pp. 289–292.
SEKESEKE-2011-CaiZWXS #approach #component #recommendation
Recommending Component by Citation: A Semi-supervised Approach for Determination (SC, YZ, LW, BX, WS), pp. 489–494.
SEKESEKE-2011-MokarizadehKM #automation #evaluation #semantics #web #web service
Evaluation of Semi-Automatic Acquisition of Semantic Descriptions of Web Services(S) (SM, PK, MM), pp. 353–356.
SIGIRSIGIR-2011-LeeHWHS #dataset #graph #image #learning #multi #pipes and filters #scalability #using
Multi-layer graph-based semi-supervised learning for large-scale image datasets using mapreduce (WYL, LCH, GLW, WHH, YFS), pp. 1121–1122.
SIGIRSIGIR-2011-ZhangZX #documentation #feedback
Filtering semi-structured documents based on faceted feedback (LZ, YZ, QX), pp. 645–654.
RERE-2011-BoutkovaH #automation #identification #specification
Semi-automatic identification of features in requirement specifications (EB, FH), pp. 313–318.
SACSAC-2011-ZhangZZZX #detection #learning #web
Harmonic functions based semi-supervised learning for web spam detection (WZ, DZ, YZ, GZ, BX), pp. 74–75.
ICSTICST-2011-ChenCZXF #clustering #testing #using
Using semi-supervised clustering to improve regression test selection techniques (SC, ZC, ZZ, BX, YF), pp. 1–10.
CASECASE-2010-DoroodgarN #architecture #learning
A hierarchical reinforcement learning based control architecture for semi-autonomous rescue robots in cluttered environments (BD, GN), pp. 948–953.
DRRDRR-2010-LiuZ #detection #documentation #image #learning
Semi-supervised learning for detecting text-lines in noisy document images (ZL, HZ), pp. 1–10.
ESOPESOP-2010-AdjeGG #invariant #policy #static analysis
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis (AA, SG, EG), pp. 23–42.
PLDIPLDI-2010-XiW
A context-free markup language for semi-structured text (QX, DW), pp. 221–232.
ICALPICALP-v1-2010-FakcharoenpholLN #algorithm #performance #problem
Faster Algorithms for Semi-matching Problems (Extended Abstract) (JF, BL, DN), pp. 176–187.
SEFMSEFM-2010-GothelG #automation #invariant #network #realtime #towards #using #verification
Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants (TG, SG), pp. 310–314.
CAiSECAiSE-2010-LeonardiSSZ #communication #requirements
Ahab’s Leg: Exploring the Issues of Communicating Semi-formal Requirements to the Final Users (CL, LS, AS, MZ), pp. 455–469.
CAiSECAiSE-2010-MrabetBPT #documentation #semantics
Supporting Semantic Search on Heterogeneous Semi-structured Documents (YM, NB, NP, MT), pp. 224–229.
ICEISICEIS-DISI-2010-KetataMMH #automation #maintenance #ontology #performance
Efficient Semi-automatic Maintenance of Mapping between Ontologies in a Biomedical Environment (IK, RM, FM, AH), pp. 257–262.
CIKMCIKM-2010-FujinoUN #classification #learning #robust
A robust semi-supervised classification method for transfer learning (AF, NU, MN), pp. 379–388.
ICMLICML-2010-DillonBL #analysis #generative #learning
Asymptotic Analysis of Generative Semi-Supervised Learning (JVD, KB, GL), pp. 295–302.
ICMLICML-2010-DruckM #generative #learning #modelling #using
High-Performance Semi-Supervised Learning using Discriminatively Constrained Generative Models (GD, AM), pp. 319–326.
ICMLICML-2010-GavishNC #graph #learning #multi #theory and practice
Multiscale Wavelets on Trees, Graphs and High Dimensional Data: Theory and Applications to Semi Supervised Learning (MG, BN, RRC), pp. 367–374.
ICMLICML-2010-LiuHC #graph #learning #scalability
Large Graph Construction for Scalable Semi-Supervised Learning (WL, JH, SFC), pp. 679–686.
ICPRICPR-2010-CalderaraPC #people #similarity #statistics #using
Alignment-Based Similarity of People Trajectories Using Semi-directional Statistics (SC, AP, RC), pp. 4275–4278.
ICPRICPR-2010-Cevikalp #distance #learning #metric #polynomial #programming
Semi-supervised Distance Metric Learning by Quadratic Programming (HC), pp. 3352–3355.
ICPRICPR-2010-ChenF #graph #learning
Semi-supervised Graph Learning: Near Strangers or Distant Relatives (WC, GF), pp. 3368–3371.
ICPRICPR-2010-ErdoganG #using
Semi-blind Speech-Music Separation Using Sparsity and Continuity Priors (HE, EMG), pp. 4573–4576.
ICPRICPR-2010-HanCR10a #concept #interactive #learning #recognition #semantics
Semi-supervised and Interactive Semantic Concept Learning for Scene Recognition (XHH, YWC, XR), pp. 3045–3048.
ICPRICPR-2010-KimuraKSNMSI #canonical #correlation #learning #named #performance
SemiCCA: Efficient Semi-supervised Learning of Canonical Correlations (AK, HK, MS, TN, EM, HS, KI), pp. 2933–2936.
ICPRICPR-2010-LiuLH #learning #multi #representation #using
Semi-supervised Trajectory Learning Using a Multi-Scale Key Point Based Trajectory Representation (YL, XL, WH), pp. 3525–3528.
ICPRICPR-2010-LiuLLLS #detection #markov #modelling #process
Noise-Robust Voice Activity Detector Based on Hidden Semi-Markov Models (XL, YL, YL, HL, BS), pp. 81–84.
ICPRICPR-2010-Martinez-UsoPS #image #segmentation
A Semi-supervised Gaussian Mixture Model for Image Segmentation (AMU, FP, JMS), pp. 2941–2944.
ICPRICPR-2010-WangHL #analysis #incremental
Boosting Incremental Semi-supervised Discriminant Analysis for Tracking (HW, XH, CLL), pp. 2748–2751.
ICPRICPR-2010-WuLW #image #learning #retrieval #using
Enhancing SVM Active Learning for Image Retrieval Using Semi-supervised Bias-Ensemble (JW, ML, CLW), pp. 3175–3178.
KDDKDD-2010-KongY #classification #feature model #graph
Semi-supervised feature selection for graph classification (XK, PSY), pp. 793–802.
KDDKDD-2010-LiuMTLL #learning #metric #optimisation #using
Semi-supervised sparse metric learning using alternating linearization optimization (WL, SM, DT, JL, PL), pp. 1139–1148.
SEKESEKE-2010-XuanJRYL #automation #classification #debugging #using
Automatic Bug Triage using Semi-Supervised Text Classification (JX, HJ, ZR, JY, ZL), pp. 209–214.
SIGIRSIGIR-2010-MojdehC #consistency #learning #using
Semi-supervised spam filtering using aggressive consistency learning (MM, GVC), pp. 751–752.
RERE-2010-Kof #automation #documentation #interactive #modelling #requirements
From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation (LK), pp. 391–392.
REFSQREFSQ-2010-LeuserO #automation #scalability #specification
Tackling Semi-automatic Trace Recovery for Large Specifications (JL, DO), pp. 203–217.
SACSAC-2010-HassanB #distributed #file system #using
Semi-join computation on distributed file systems using map-reduce-merge model (MAHH, MB), pp. 406–413.
SACSAC-2010-Nakajima #automation #diagrams #feature model
Semi-automated diagnosis of FODA feature diagram (SN), pp. 2191–2197.
SACSAC-2010-VoigtIR #automation #generative #metamodelling #named
MatchBox: combined meta-model matching for semi-automatic mapping generation (KV, PI, AR), pp. 2281–2288.
LCTESLCTES-2010-SchlicklingP #analysis #automation #modelling
Semi-automatic derivation of timing models for WCET analysis (MS, MP), pp. 67–76.
IJCARIJCAR-2010-AbourbihBBM #automation #calculus
A Single-Significant-Digit Calculus for Semi-Automated Guesstimation (JAA, LB, AB, FM), pp. 354–368.
LICSLICS-2010-SilesH #similarity #type system
Equality Is Typable in Semi-full Pure Type Systems (VS, HH), pp. 21–30.
ASEASE-2009-GuldaliFJSE #automation #clustering #requirements #testing #using
Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering (BG, HF, MJ, SS, GE), pp. 29–39.
CASECASE-2009-GaoKJD #automation #modelling #simulation
Semi-automated soft-tissue acquisition and modeling for surgical simulation (ZG, TK, DLJ, JPD), pp. 268–273.
DRRDRR-2009-LiD #difference #independence #using #verification
Improving semi-text-independent method of writer verification using difference vector (XL, XD), pp. 1–10.
DRRDRR-2009-ZhangZLT #learning
A semi-supervised learning method to classify grant-support zone in web-based medical articles (XZ, JZ, DXL, GRT), pp. 1–10.
ICDARICDAR-2009-BallS #learning #recognition
Semi-supervised Learning for Handwriting Recognition (GRB, SNS), pp. 26–30.
ICDARICDAR-2009-BharathM #clustering #framework
A Framework Based on Semi-Supervised Clustering for Discovering Unique Writing Styles (AB, SM), pp. 891–895.
ICDARICDAR-2009-FrinkenB #learning #network #recognition #word
Evaluating Retraining Rules for Semi-Supervised Learning in Neural Network Based Cursive Word Recognition (VF, HB), pp. 31–35.
ICDARICDAR-2009-LuYSS #automation #re-engineering
Semi-automatic Roof Reconstruction (TL, YY, FS, ZS), pp. 723–727.
ICDARICDAR-2009-PletschacherHA #clustering #documentation #framework #recognition
A New Framework for Recognition of Heavily Degraded Characters in Historical Typewritten Documents Based on Semi-Supervised Clustering (SP, JH, AA), pp. 506–510.
ICDARICDAR-2009-Smet #automation #documentation #forensics #re-engineering
Semi-automatic Forensic Reconstruction of Ripped-up Documents (PdS), pp. 703–707.
SIGMODSIGMOD-2009-ChenWLL #keyword
Keyword search on structured and semi-structured data (YC, WW, ZL, XL), pp. 1005–1010.
ICALPICALP-v2-2009-AhnG #graph
Graph Sparsification in the Semi-streaming Model (KJA, SG), pp. 328–338.
LATALATA-2009-BaillyD #convergence
Absolute Convergence of Rational Series Is Semi-decidable (RB, FD), pp. 117–128.
CHICHI-2009-MedhiGT #comparison #mobile
A comparison of mobile money-transfer UIs for non-literate and semi-literate users (IM, SNNG, KT), pp. 1741–1750.
CHICHI-2009-ReichlingW #automation #generative #recommendation
Expert recommender systems in practice: evaluating semi-automatic profile generation (TR, VW), pp. 59–68.
ICEISICEIS-J-2009-SousaLCA #algorithm #automation #metamodelling
A Step Forward in Semi-automatic Metamodel Matching: Algorithms and Tool (JdS, DL, DBC, ZA), pp. 137–148.
CIKMCIKM-2009-MaYKL #collaboration #consistency #matrix #statistics
Semi-nonnegative matrix factorization with global statistical consistency for collaborative filtering (HM, HY, IK, MRL), pp. 767–776.
CIKMCIKM-2009-QianNZ #multi #performance
Efficient multi-class unlabeled constrained semi-supervised SVM (MQ, FN, CZ), pp. 1665–1668.
CIKMCIKM-2009-WangHLS #comprehension #learning #query #semantics #web
Semi-supervised learning of semantic classes for query understanding: from the web and for the web (YYW, RH, XL, JS), pp. 37–46.
CIKMCIKM-2009-WangWLL #named #query #ranking #summary
HyperSum: hypergraph based semi-supervised sentence ranking for query-oriented summarization (WW, FW, WL, SL), pp. 1855–1858.
CIKMCIKM-2009-ZhongL #graph #named #semistructured data
3se: a semi-structured search engine for heterogeneous data in graph model (MZ, ML), pp. 1405–1408.
ICMLICML-2009-AdamsG #learning #named #parametricity
Archipelago: nonparametric Bayesian semi-supervised learning (RPA, ZG), pp. 1–8.
ICMLICML-2009-JebaraWC #graph #learning
Graph construction and b-matching for semi-supervised learning (TJ, JW, SFC), pp. 441–448.
ICMLICML-2009-LiKZ #learning #using
Semi-supervised learning using label mean (YFL, JTK, ZHZ), pp. 633–640.
ICMLICML-2009-XuWS #learning #predict
Optimal reverse prediction: a unified perspective on supervised, unsupervised and semi-supervised learning (LX, MW, DS), pp. 1137–1144.
ICMLICML-2009-ZhangKP #learning #prototype #scalability
Prototype vector machine for large scale semi-supervised learning (KZ, JTK, BP), pp. 1233–1240.
KDDKDD-2009-XueW #classification #quantifier
Quantification and semi-supervised classification methods for handling changes in class distribution (JCX, GMW), pp. 897–906.
KDDKDD-2009-ZhengWLL
Information theoretic regularization for semi-supervised boosting (LZ, SW, YL, CHL), pp. 1017–1026.
KEODKEOD-2009-Goldstein-StewartW #automation #design #knowledge base
Designing a System for Semi-automatic Population of Knowledge Bases from Unstructured Text (JGS, RKW), pp. 88–99.
SEKESEKE-2009-AlvesPCL #approach #development #lifecycle #lightweight #outsourcing
From Strategy to Solution: A Lightweight Semi-prescriptive Approach for Software Development Lifecycle with Outsourcing Support (NA, SP, AC, ELJ), pp. 672–675.
SIGIRSIGIR-2009-LiWA #query #random
Extracting structured information from user queries with semi-supervised conditional random fields (XL, YYW, AA), pp. 572–579.
POPLPOPL-2009-HardekopfL #analysis #pointer
Semi-sparse flow-sensitive pointer analysis (BH, CL), pp. 226–238.
SACSAC-2009-BuckerRRW #automation #parallel #problem #simulation
Semi-automatic parallelization of direct and inverse problems for geothermal simulation (HMB, AR, VR, AW), pp. 971–975.
SACSAC-2009-MaoLPCH #approach #detection #learning #multi
Semi-supervised co-training and active learning based approach for multi-view intrusion detection (CHM, HML, DP, TC, SYH), pp. 2042–2048.
ESEC-FSEESEC-FSE-2009-BeltRD #analysis #lightweight #optimisation #symbolic computation
Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses (JB, R, XD), pp. 355–364.
SLESLE-2009-LevendovszkyBNK #approach #automation #domain-specific language #evolution #model transformation #novel
A Novel Approach to Semi-automated Evolution of DSML Model Transformation (TL, DB, AN, GK), pp. 23–41.
ASPLOSASPLOS-2009-MenonSZ #automation #named #network #performance
TwinDrivers: semi-automatic derivation of fast and safe hypervisor network drivers from guest OS drivers (AM, SS, WZ), pp. 301–312.
ASEASE-2008-HolmesW #reuse
Semi-Automating Pragmatic Reuse Tasks (RH, RJW), pp. 481–482.
SIGMODSIGMOD-2008-LiOFWZ #effectiveness #keyword #named
EASE: an effective 3-in-1 keyword search method for unstructured, semi-structured and structured data (GL, BCO, JF, JW, LZ), pp. 903–914.
ESOPESOP-2008-ConchonF #data type
Semi-persistent Data Structures (SC, JCF), pp. 322–336.
PEPMPEPM-2008-Mogensen #functional #parametricity
Semi-inversion of functional parameters (TÆM), pp. 21–29.
FLOPSFLOPS-2008-Kobayashi08a #backtracking #continuation
A New Translation for Semi-classical Theories — Backtracking without CPS (SK), pp. 210–223.
GT-VMTGT-VMT-2006-Kunert08 #automation #generative #metamodelling #modelling #source code
Semi-automatic Generation of Metamodels and Models From Grammars and Programs (AK), pp. 111–119.
CSCWCSCW-2008-AvrahamiFH #communication #latency
IM waiting: timing and responsiveness in semi-synchronous communication (DA, SRF, SEH), pp. 285–294.
ICEISICEIS-AIDSS-2008-MatiasMMR #automation #clustering #visual notation
Semi-Automatic Partitioning by Visual Snapshopts (RM, JPM, PM, FR), pp. 78–86.
ICEISICEIS-DISI-2008-CeravoloDLCG #automation #framework #integration #named
ODDI — A Framework for Semi-automatic Data Integration (PC, ED, ML, ZC, AG), pp. 15–24.
ICEISICEIS-DISI-2008-SharifimehrS #modelling
Dynamic Semi-Markovian Workload Modeling (NS, SS), pp. 125–130.
ICEISICEIS-ISAS2-2008-HammoudiAL #architecture #automation #process #towards
Towards a Semi-Automatic Transformation Process in MDA — Architecture and Methodology (SH, WA, DL), pp. 416–425.
ICEISICEIS-J-2008-CeravoloCDGL #automation #framework #integration
A Framework for Semi-automatic Data Integration (PC, ZC, ED, AG, ML), pp. 46–60.
CIKMCIKM-2008-ArnoldC #adaptation
Intra-document structural frequency features for semi-supervised domain adaptation (AA, WWC), pp. 1291–1300.
CIKMCIKM-2008-ByrdNTPCGV #automation
Semi-automated logging of contact center telephone calls (RJB, MSN, WT, YP, KSFC, SCG, KV), pp. 133–142.
CIKMCIKM-2008-ChenWD #approach #clustering #documentation
A matrix-based approach for semi-supervised document co-clustering (YC, LW, MD), pp. 1523–1524.
CIKMCIKM-2008-ChenWSZ #ranking
Semi-supervised ranking aggregation (SC, FW, YS, CZ), pp. 1427–1428.
CIKMCIKM-2008-WangCZL #constraints #learning #metric
Semi-supervised metric learning by maximizing constraint margin (FW, SC, CZ, TL), pp. 1457–1458.
CIKMCIKM-2008-XuJHLK #categorisation
Semi-supervised text categorization by active search (ZX, RJ, KH, MRL, IK), pp. 1517–1518.
ECIRECIR-2008-KritharaARG #classification #documentation #fault
Semi-supervised Document Classification with a Mislabeling Error Model (AK, MRA, JMR, CG), pp. 370–381.
ICMLICML-2008-LiLT #classification #constraints #programming
Pairwise constraint propagation by semidefinite programming for semi-supervised classification (ZL, JL, XT), pp. 576–583.
ICMLICML-2008-LoeffFR #approximate #learning #named
ManifoldBoost: stagewise function approximation for fully-, semi- and un-supervised learning (NL, DAF, DR), pp. 600–607.
ICMLICML-2008-RanzatoS #documentation #learning #network
Semi-supervised learning of compact document representations with deep networks (MR, MS), pp. 792–799.
ICMLICML-2008-SokolovskaCY #learning #modelling #probability
The asymptotics of semi-supervised learning in discriminative probabilistic models (NS, OC, FY), pp. 984–991.
ICMLICML-2008-WangZ #learning #multi #on the
On multi-view active learning and the combination with semi-supervised learning (WW, ZHZ), pp. 1152–1159.
ICMLICML-2008-WestonRC #learning
Deep learning via semi-supervised embedding (JW, FR, RC), pp. 1168–1175.
ICPRICPR-2008-AdankonC #classification
Help-training for semi-supervised discriminative classifiers. Application to SVM (MMA, MC), pp. 1–4.
ICPRICPR-2008-HuSM #categorisation #clustering #using
Categorization using semi-supervised clustering (JH, MS, AM), pp. 1–4.
ICPRICPR-2008-LiuWBM #kernel #learning #linear
Semi-supervised learning by locally linear embedding in kernel space (RL, YW, TB, DM), pp. 1–4.
ICPRICPR-2008-WangH #case study #modelling #online #recognition
A study of semi-tied covariance modeling for online handwritten Chinese character recognition (YW, QH), pp. 1–5.
KDDKDD-2008-BecchettiBCG #algorithm #graph #performance
Efficient semi-streaming algorithms for local triangle counting in massive graphs (LB, PB, CC, AG), pp. 16–24.
KDDKDD-2008-ChengT #learning
Semi-supervised learning with data calibration for long-term time series forecasting (HC, PNT), pp. 133–141.
KDDKDD-2008-SimonKZ #agile #approach #reliability #scalability #set
Semi-supervised approach to rapid and reliable labeling of large data sets (GJS, VK, ZLZ), pp. 641–649.
KDDKDD-2008-ZhaoWZ #algorithm #named #performance #virtual machine
Cuts3vm: a fast semi-supervised svm algorithm (BZ, FW, CZ), pp. 830–838.
SEKESEKE-2008-FatolahiSL #approach #automation #generative #modelling #requirements
A Model-Driven Approach for the Semi-automated Generation of Web-based Applications from Requirements (AF, SSS, TCL), pp. 619–624.
SIGIRSIGIR-2008-MojdehC #question
Semi-supervised spam filtering: does it work? (MM, GVC), pp. 745–746.
SACSAC-2008-Blomqvist #automation #ontology #ranking
Pattern ranking for semi-automatic ontology construction (EB), pp. 2248–2255.
SACSAC-2008-ChengHVL #image #reduction
Semi-supervised dimensionality reduction in image feature space (HC, KAH, KV, DL), pp. 1207–1211.
SACSAC-2008-ChidlovskiiL08a #clustering #coordination #visual notation
Semi-supervised visual clustering for spherical coordinates systems (BC, LL), pp. 891–895.
SACSAC-2008-ZhangNLH #approach #enterprise #modelling #network #security
A model-based semi-quantitative approach for evaluating security of enterprise networks (ZZ, FNA, XL, PHH), pp. 1069–1074.
FSEFSE-2008-CottrellWD #reuse #source code
Semi-automating small-scale source code reuse via structural correspondence (RC, RJW, JD), pp. 214–225.
CAVCAV-2008-EdelkampSS #ltl #model checking
Semi-external LTL Model Checking (SE, PS, PS), pp. 530–542.
ASEASE-2007-McIntyreW #automation #heuristic
Assisting potentially-repetitive small-scale changes via semi-automated heuristic search (MMM, RJW), pp. 497–500.
CASECASE-2007-KavakliogluK #fuzzy
A Type-2 Fuzzy Planner with Semi Qualitative World Model for Robocup Domain (CK, OK), pp. 795–799.
CASECASE-2007-NarasimhaKS #approach #email #information management #markov #process
A Semi Markov Decision Process Approach To E-mail Management In A Knowledge Work Environment (CYN, MK, RS), pp. 1051–1056.
CASECASE-2007-WuMZ #standard
Compatibility of Queueing Theory, Manufacturing Systems and SEMI Standards (KW, LFM, BZ), pp. 501–506.
DACDAC-2007-BhatiaGTMM #equivalence #multi #performance #validation
Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation (LB, JG, PT, RSM, SHM), pp. 69–74.
VLDBVLDB-2007-ChiticariuHPK #automation #integration
Semi-Automatic Schema Integration in Clio (LC, MAH, PGK, LP), pp. 1326–1329.
PLDIPLDI-2007-VechevYBR #automation #concurrent #named
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors (MTV, EY, DFB, NR), pp. 456–467.
HCIHCI-MIE-2007-ZhouCCB #automation #image #information management
Knowledge Transfer in Semi-automatic Image Interpretation (JZ, LC, TC, WFB), pp. 1028–1034.
HCIHIMI-IIE-2007-FortunaGM #automation #editing #named #ontology
OntoGen: Semi-automatic Ontology Editor (BF, MG, DM), pp. 309–318.
HCIHIMI-MTT-2007-DingL #automation #interactive #modelling #research
Research of Model-Driven Interactive Automatic / Semi-automatic Form Building (XD, XL), pp. 613–622.
HCIHIMI-MTT-2007-LinL #analysis #automation
A Bayesian Methodology for Semi-automated Task Analysis (SCL, MRL), pp. 697–704.
ICEISICEIS-DISI-2007-RaminhosP #approach #declarative #using
Extraction and transformation of data from semi-structured text files using a declarative approach (RR, JMP), pp. 199–205.
CIKMCIKM-2007-SongZYZD #distance #estimation #learning #metric #ranking
Ranking with semi-supervised distance metric learning and its application to housing potential estimation (YS, BZ, WJY, CZ, JD), pp. 975–978.
ICMLICML-2007-AndoZ #generative #learning
Two-view feature generation model for semi-supervised learning (RKA, TZ), pp. 25–32.
ICMLICML-2007-Azran #algorithm #learning #markov #multi #random
The rendezvous algorithm: multiclass semi-supervised learning with Markov random walks (AA), pp. 49–56.
ICMLICML-2007-DaiY #kernel
Kernel selection forl semi-supervised kernel machines (GD, DYY), pp. 185–192.
ICMLICML-2007-MannM #learning #robust #scalability
Simple, robust, scalable semi-supervised learning via expectation regularization (GSM, AM), pp. 593–600.
ICMLICML-2007-ZhouX #learning #multi #on the
On the relation between multi-instance learning and semi-supervised learning (ZHZ, JMX), pp. 1167–1174.
KDDKDD-2007-DruckPMZ #classification #generative #hybrid
Semi-supervised classification with hybrid generative/discriminative methods (GD, CP, AM, XZ), pp. 280–289.
KDDKDD-2007-PanZZPSPY #mining #modelling #network
Domain-constrained semi-supervised mining of tracking models in sensor networks (RP, JZ, VWZ, JJP, DS, SJP, QY), pp. 1023–1027.
KDDKDD-2007-TangWXZ #clustering #perspective
Enhancing semi-supervised clustering: a feature projection perspective (WT, HX, SZ, JW), pp. 707–716.
SIGIRSIGIR-2007-Broschart #graph #integration #performance #proximity #retrieval
Efficient integration of proximity for text, semi-structured and graph retrieval (AB), p. 917.
SIGIRSIGIR-2007-PopoviciMM #documentation #effectiveness
An effective method for finding best entry points in semi-structured documents (EP, PFM, GM), pp. 851–852.
SACSAC-2007-Cardoso-CachopoO #categorisation #classification #using
Semi-supervised single-label text categorization using centroid-based classifiers (ACC, ALO), pp. 844–851.
SACSAC-2007-FabroV #automation #integration #modelling #using #weaving
Semi-automatic model integration using matching transformations and weaving models (MDDF, PV), pp. 963–970.
SACSAC-2007-YingboJJ #approach #machine learning #workflow
A machine learning approach to semi-automating workflow staff assignment (YL, JW, JS), pp. 340–345.
SACSAC-2007-ZengS #combinator #geometry #optimisation #problem
Semi-mechanization method for a unsolved optimization problem in combinatorial geometry (ZZ, MS), pp. 762–766.
DATEDATE-2006-Leteinturier #challenge
Automotive semi-conductor trend & challenges (PL), p. 559.
VLDBVLDB-2006-MohanW #approach #data access #interactive #named
IPAC — An Interactive Approach to Access Control for Semi-structured Data (SM, YW), pp. 1147–1150.
DLTDLT-2006-MenzelPS #graph
Some Examples of Semi-rational DAG Languages (JRM, LP, MS), pp. 351–362.
SEFMSEFM-2006-AlpuenteBFR #automation
A Semi-Automatic Methodology for Repairing FaultyWeb Sites (MA, DB, MF, DR), pp. 31–40.
CHICHI-2006-SantellaADSC #automation #interactive
Gaze-based interaction for semi-automatic photo cropping (AS, MA, DD, DS, MFC), pp. 771–780.
CSCWCSCW-2006-TerrellM #community
Enlightening a co-located community with a semi-public notification system (GBT, DSM), pp. 21–24.
EDOCEDOC-2006-BarrettP #automation #composition #modelling #semantics #using #web #web service
Semi-Automatic Distribution Pattern Modeling of Web Service Compositions using Semantics (RB, CP), pp. 417–422.
ICEISICEIS-AIDSS-2006-BoudjeloudP #data mining #interactive #mining
Semi Interactive Method for Data Mining (LB, FP), pp. 3–10.
ICEISICEIS-AIDSS-2006-ConstantinouGCCL #assurance #automation #quality
A Semi-Automated Quality Assurance Toolbox for Diagnostic Radiological Imaging (CC, AG, AC, CC, AL), pp. 216–221.
CIKMCIKM-2006-RamadossR #authoring #automation
Semi-automatic annotation and MPEG-7 authoring of dance videos (BR, KR), pp. 878–879.
ICMLICML-2006-BrefeldS #learning
Semi-supervised learning for structured output variables (UB, TS), pp. 145–152.
ICMLICML-2006-ChapelleCZ #continuation
A continuation method for semi-supervised SVMs (OC, MC, AZ), pp. 185–192.
ICMLICML-2006-RahmaniG #learning #multi #named
MISSL: multiple-instance semi-supervised learning (RR, SAG), pp. 705–712.
ICMLICML-2006-SindhwaniKC #kernel
Deterministic annealing for semi-supervised kernel machines (VS, SSK, OC), pp. 841–848.
ICMLICML-2006-YangFZB #reduction
Semi-supervised nonlinear dimensionality reduction (XY, HF, HZ, JLB), pp. 1065–1072.
ICPRICPR-v1-2006-CayouetteC #realtime
Generic Real-Time Tracking Method on Semi-Dynamic Scenes (FC, JRC), pp. 711–714.
ICPRICPR-v1-2006-QinL #algorithm
An Improved Semi-Supervised Support Vector Machine Based Translation Algorithm for BCI Systems (JQ, YL), pp. 1240–1243.
ICPRICPR-v2-2006-WuLZH #learning
A Semi-supervised SVM for Manifold Learning (ZW, ChL, JZ, JH), pp. 490–493.
ICPRICPR-v2-2006-ZhangR #incremental #learning
A New Data Selection Principle for Semi-Supervised Incremental Learning (RZ, AIR), pp. 780–783.
ICPRICPR-v3-2006-BeveridgeSR #classification #comparison #detection #naive bayes #using
A Comparison of Pixel, Edge andWavelet Features for Face Detection using a Semi-Naive Bayesian Classifier (JRB, JS, BR), pp. 1175–1178.
ICPRICPR-v3-2006-DuongPBV #behaviour #exponential #markov #modelling #product line #recognition
Human Behavior Recognition with Generic Exponential Family Duration Modeling in the Hidden Semi-Markov Model (TVD, DQP, HHB, SV), pp. 202–207.
ICPRICPR-v3-2006-HanD #array #clustering #modelling #parametricity
Semi-Parametric Model-Based Clustering for DNA Microarray Data (BH, LSD), pp. 324–327.
ICPRICPR-v3-2006-Morii #algorithm
A Generalized K-Means Algorithm with Semi-Supervised Weight Coefficients (FM), pp. 198–201.
ICPRICPR-v3-2006-QiuXT #clustering #feedback #kernel #performance #using
Efficient Relevance Feedback Using Semi-supervised Kernel-specified K-means Clustering (BQ, CX, QT), pp. 316–319.
KDDKDD-2006-WeiK #classification
Semi-supervised time series classification (LW, EJK), pp. 748–753.
SIGIRSIGIR-2006-HuangZL #learning #taxonomy
Refining hierarchical taxonomy structure via semi-supervised learning (RH, ZZ, WL), pp. 653–654.
SIGIRSIGIR-2006-SindhwaniK #linear #scalability
Large scale semi-supervised linear SVMs (VS, SSK), pp. 477–484.
SIGIRSIGIR-2006-YangL #documentation #similarity
Measuring similarity of semi-structured documents with context weights (CCY, NL), pp. 719–720.
SACSAC-2006-Ben-AsherBE #multi
Management of unspecified semi-structured data in multi-agent environment (YBA, SB, YE), pp. 101–105.
SACSAC-2006-GaoCT #detection
Semi-supervised outlier detection (JG, HC, PNT), pp. 635–636.
CSLCSL-2006-Abel #termination
Semi-continuous Sized Types and Termination (AA0), pp. 72–88.
RTARTA-2006-WangS #decidability #linear #termination
Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems (YW, MS), pp. 343–356.
WICSAWICSA-2005-Abi-AntounAGSN #architecture #automation #concept #implementation #incremental
Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures (MAA, JA, DG, BRS, NHN), pp. 265–268.
WICSAWICSA-2005-SmithS #analysis #architecture #automation
Extending SPQR to Architectural Analysis by Semi-Automated Training (JMS, PDS), pp. 239–242.
ICDARICDAR-2005-TuganbaevPD
Universal Data Capture Technology from Semi-structured Form (DT, AP, DD), pp. 458–462.
SASSAS-2005-BagnaraRZ #algebra #generative #invariant #using
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra (RB, ERC, EZ), pp. 19–34.
STOCSTOC-2005-Basu #algebra #algorithm #polynomial #set
Polynomial time algorithm for computing the top Betti numbers of semi-algebraic sets defined by quadratic inequalities (SB), pp. 313–322.
STOCSTOC-2005-BasuPR #algebra #component #set
Computing the first Betti number and the connected components of semi-algebraic sets (SB, RP, MFR), pp. 304–312.
CIAACIAA-2005-DaciukMS #automaton #incremental #pseudo
Incremental and Semi-incremental Construction of Pseudo-Minimal Automata (JD, DM, AS), pp. 341–342.
DLTDLT-2005-Priese #graph #set
Semi-rational Sets of DAGs (LP), pp. 385–396.
CAiSECAiSE-2005-KittivoravitkulM #data flow
Integrating Unnormalised Semi-structured Data Sources (SK, PM), pp. 460–474.
ICEISICEIS-v3-2005-CapelH #csp #modelling #specification #visual notation
Transforming SA/RT Graphical Specifications into CSP+T Formalism — Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models (MIC, JAHT), pp. 65–72.
ICEISICEIS-v5-2005-HansonNKF #user interface
Dynamic User Interfaces for Semi-Structured Conversations (JEH, PN, SK, PF), pp. 48–58.
CIKMCIKM-2005-XiongSK #database #learning #multi #privacy
Privacy leakage in multi-relational databases via pattern based semi-supervised learning (HX, MS, VK), pp. 355–356.
ICMLICML-2005-KulisBDM #approach #clustering #graph #kernel
Semi-supervised graph clustering: a kernel approach (BK, SB, ISD, RJM), pp. 457–464.
ICMLICML-2005-SindhwaniNB #learning
Beyond the point cloud: from transductive to semi-supervised learning (VS, PN, MB), pp. 824–831.
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.
SIGIRSIGIR-2005-ViolaN #context-free grammar #learning #using
Learning to extract information from semi-structured text using a discriminative context free grammar (PAV, MN), pp. 330–337.
GPCEGPCE-2005-Mogensen #equation
Semi-inversion of Guarded Equations (TÆM), pp. 189–204.
SACSAC-2005-RaposoPAV #automation #maintenance #query #using #web
Automatic wrapper maintenance for semi-structured web sources using results from previous queries (JR, AP, , ÁV), pp. 654–659.
RTARTA-2005-MoczydlowskiG #termination #thread
Termination of Single-Threaded One-Rule Semi-Thue Systems (WM, AG), pp. 338–352.
CIAACIAA-2004-BordihnHK #context-free grammar #linear #problem
Some Non-semi-decidability Problems for Linear and Deterministic Context-Free Languages (HB, MH, MK), pp. 68–79.
ICALPICALP-2004-FeigenbaumKMSZ #graph #on the #problem
On Graph Problems in a Semi-streaming Model (JF, SK, AM, SS, JZ), pp. 531–543.
ICALPICALP-2004-Toftdal #analysis #effectiveness #logic #theorem
A Calibration of Ineffective Theorems of Analysis in a Hierarchy of Semi-classical Logical Principles: (Extended Abstract) (MT), pp. 1188–1200.
ICEISICEIS-v2-2004-ColaceSVF #algorithm #automation #learning #ontology
A Semi-Automatic Bayesian Algorithm for Ontology Learning (FC, MDS, MV, PF), pp. 191–196.
ICEISICEIS-v3-2004-KazakovA #approach #automation #integration #logic
Semi-Automated Software Integration: An Approach Based on Logical Inference (MK, HA), pp. 527–530.
CIKMCIKM-2004-LiO #identification #learning #music
Semi-supervised learning for music artists style identification (TL, MO), pp. 152–153.
CIKMCIKM-2004-MasonCV #on the #traceability
On structuring formal, semi-formal and informal data to support traceability in systems engineering environments (PM, KC, PV), pp. 642–651.
ICMLICML-2004-BilenkoBM #clustering #constraints #learning #metric
Integrating constraints and metric learning in semi-supervised clustering (MB, SB, RJM).
ICMLICML-2004-BlumLRR #learning #random #using
Semi-supervised learning using randomized mincuts (AB, JDL, MRR, RR).
ICMLICML-2004-ChangY #adaptation #clustering #linear #metric
Locally linear metric adaptation for semi-supervised clustering (HC, DYY).
ICPRICPR-v3-2004-JiaQD #detection #markov #modelling #online
An Advanced Segmental Semi-Markov Model Based Online Series Pattern Detection (SJ, YQ, GD), pp. 634–637.
KDDKDD-2004-BasuBM #clustering #framework #probability
A probabilistic framework for semi-supervised clustering (SB, MB, RJM), pp. 59–68.
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.
PPDPPPDP-2004-ZhouSS #evaluation #linear
Semi-naive evaluation in linear tabling (NFZ, YDS, TS), pp. 90–97.
SACSAC-2004-CavarraRS #framework #modelling #simulation #uml
A framework to simulate UML models: moving from a semi-formal to a formal environment (AC, ER, PS), pp. 1519–1523.
SACSAC-2004-KlampanosJ #architecture #information retrieval #network #peer-to-peer
An architecture for information retrieval over semi-collaborating Peer-to-Peer networks (IAK, JMJ), pp. 1078–1083.
SACSAC-2004-MarkWC #automation #code generation #modelling #using
Using semi-lagrangian formulations with automatic code generation for environmental modeling (PvdM, LW, GC), pp. 229–234.
FATESFATES-2004-ArtsCS #development #erlang #fault tolerance #protocol
Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang (TA, KC, HS), pp. 140–154.
RTARTA-2004-MitsuhashiOOY #confluence #problem #unification
The Joinability and Unification Problems for Confluent Semi-constructor TRSs (IM, MO, YO, TY), pp. 285–300.
ASEASE-2003-BunusF #automation #behaviour #fault #locality #modelling #physics #simulation #verification
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models (PB, PF), pp. 253–258.
ICSMEICSM-2003-KnethenG #automation #impact analysis #named
QuaTrace: A Tool Environment for (Semi-) Automatic Impact Analysis Based on Traces (AvK, MG), pp. 246–255.
CIAACIAA-2003-TozawaH #xml
XML Schema Containment Checking Based on Semi-implicit Techniques (AT, MH), pp. 213–225.
ICALPICALP-2003-Doberkat #bisimulation #category theory #probability
Semi-pullbacks and Bisimulations in Categories of Stochastic Relations (EED), pp. 996–1007.
CHICHI-2003-HuangM
Semi-public displays for small, co-located groups (EMH, EDM), pp. 49–56.
ICMLICML-2003-CozmanCC #learning #modelling
Semi-Supervised Learning of Mixture Models (FGC, IC, MCC), pp. 99–106.
ICMLICML-2003-ZhuGL #learning #using
Semi-Supervised Learning Using Gaussian Fields and Harmonic Functions (XZ, ZG, JDL), pp. 912–919.
SEKESEKE-2003-MeshkatFC #traceability
Traceability and Decision Capture in Semi-structured Contexts (LM, MSF, SLC), pp. 647–654.
ICLPICLP-2003-Thielscher #automation
Controlling Semi-automatic Systems with FLUX (MT), pp. 515–516.
DACDAC-2002-Berthet #design #industrial #mobile #multi
Going mobile: the next horizon for multi-million gate designs in the semi-conductor industry (CB), pp. 375–378.
HTHT-2002-StottsS #automation #video
Semi-automated Hyperlink markup for archived video (PDS, JMS), pp. 105–106.
VLDBVLDB-2002-Chakrabarti #fine-grained #mining
Searching and Mining Fine-Grained Semi-Structured Data (SC).
ICALPICALP-2002-GrigorievHP #algebra #bound #exponential #proving
Exponential Lower Bound for Static Semi-algebraic Proofs (DG, EAH, DVP), pp. 257–268.
CAiSECAiSE-2002-SunL #algorithm #parallel #query
Parallel Query Processing Algorithms for Semi-structured Data (WS, KL), pp. 770–773.
ICEISICEIS-2002-ChristoffelSS #adaptation #automation #generative
Semi-Automatic Wrapper Generation and Adaption: Living with Heterogeneity in a Market Environment (MC, BS, JS), pp. 65–72.
ICEISICEIS-2002-PivkG #e-commerce
A Semi-Universal E-Commerce Agent (AP, MG), pp. 981–988.
ICMLICML-2002-BasuBM #clustering
Semi-supervised Clustering by Seeding (SB, AB, RJM), pp. 27–34.
ICMLICML-2002-KashimaK #kernel
Kernels for Semi-Structured Data (HK, TK), pp. 291–298.
ICMLICML-2002-LanckrietCBGJ #kernel #learning #matrix #programming
Learning the Kernel Matrix with Semi-Definite Programming (GRGL, NC, PLB, LEG, MIJ), pp. 323–330.
ICMLICML-2002-MusleaMK #learning #multi #robust
Active + Semi-supervised Learning = Robust Multi-View Learning (IM, SM, CAK), pp. 435–442.
ICPRICPR-v3-2002-ChenHF #database #performance #sequence
Fast Semi-Local Alignment for DN Sequence Database Search (YSC, YPH, CSF), pp. 1019–1022.
ICPRICPR-v3-2002-Saint-JeanF #algorithm #clustering #robust
A Robust Semi-Supervised EM-Based Clustering Algorithm with a Reject Option (CSJ, CF), pp. 399–402.
SIGIRSIGIR-2002-SchmittCS #automation #generative #named
ExWrap: semi-automatic wrapper generation by example (BS, MC, JS), p. 452.
SACSAC-2002-DascaluH #approach #specification
An approach to integrating semi-formal and formal notations in software specification (SD, PH), pp. 1014–1020.
SACSAC-2002-KarageorgosTM #automation #design
Semi-automatic design of agent organisations (AK, SGT, NM), pp. 306–313.
CAVCAV-2002-BinghamH #bound #model checking
Semi-formal Bounded Model Checking (JDB, AJH), pp. 280–294.
CSLCSL-2002-BaazM #on the
On Generalizations of Semi-terms of Particularly Simple Form (MB, GM), pp. 382–396.
ISSTAISSTA-2002-ChenTZ #evaluation #named #symbolic computation #testing
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing (TYC, THT, ZZ), pp. 191–195.
ASEASE-2001-FredlundGN #automation #erlang #verification
Semi-Automated Verification of Erlang Code (LÅF, DG, TN), pp. 319–323.
DACDAC-2001-DushinaBG #generative #testing
Semi-Formal Test Generation with Genevieve (JD, MB, DG), pp. 617–622.
DACDAC-2001-NorthropL #design
A Semi-Custom Design Flow in High-Performance Microprocessor Design (GAN, PFL), pp. 426–431.
VLDBVLDB-2001-AbrolLMMMRTWZ #navigation #scalability
Navigating large-scale semi-structured data in business portals (MA, NL, UM, JM, RM, PR, MT, JW, GZ), pp. 663–666.
ICEISICEIS-v1-2001-AmousJ #documentation #metadata
Metadata for the Semi-Structured Mono-Media Documents (IA, AJ), pp. 233–238.
CIKMCIKM-2001-BargW #proximity #scalability
Structural Proximity Searching for Large Collections of Semi-Structured Data (MB, RKW), pp. 175–182.
DACDAC-2000-PiS #analysis #approach #diagrams #multi
Multi-terminal determinant decision diagrams: a new approach to semi-symbolic analysis of analog integrated circuits (TP, CJRS), pp. 19–22.
ITiCSEITiCSE-2000-Jackson #approach #assessment #automation #online
A semi-automated approach to online assessment (DJ), pp. 164–167.
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.
CIKMCIKM-2000-KimL #clustering #documentation #information management
A Semi-Supervised Document Clustering Technique for Information Organization (HjK, SgL), pp. 30–37.
CIKMCIKM-2000-LamL #documentation #learning
Learning to Extract Hierarchical Information from Semi-structured Documents (WL, WYL), pp. 250–257.
ICPRICPR-v1-2000-MachiT #automation #detection #video
Video Shot Detection and Characterization in Semi-Automatic Digital Video Restoration (AM, MT), pp. 1855–1859.
ICPRICPR-v1-2000-VogelBK #automation #image #segmentation
(Semi-) Automatic Segmentation in Historic Collections of Heraldic Images (JV, WTB, WK), pp. 1478–1481.
ICPRICPR-v2-2000-GoodeG #classification #parametricity
Semi-Parametric Signal Classification (AJG, RHG), pp. 2622–2625.
ICPRICPR-v4-2000-HuynhCT #automation #evaluation #linear #metric #re-engineering #self
Semi-Automatic Metric Reconstruction of Buildings from Self-Calibration: Preliminary Results on the Evaluation of a Linear Camera Self-Calibration Method (DQH, YSC, HTT), pp. 4599–4602.
ICPRICPR-v4-2000-Shekhar #automation #monitoring
Semi-Automatic Video-to-Site Registration for Aerial Monitoring (CS0), pp. 4736–4739.
KDDKDD-2000-YiS #classification #documentation
A classifier for semi-structured documents (JY, NS), pp. 340–344.
RTARTA-2000-Lohrey #confluence #problem #strict #word
Word Problems and Confluence Problems for Restricted Semi-Thue Systems (ML), pp. 172–186.
DACDAC-1999-SalekLP #generative #independence #named #using
MERLIN: Semi-Order-Independent Hierarchical Buffered Routing Tree Generation Using Local Neighborhood Search (AHS, JL, MP), pp. 472–478.
ICSMEICSM-1999-ChuHLH #approach #design #formal method #reuse
A Semi-Formal Approach to Assist Software Design with Reuse (WCC, CPH, CWL, XH), pp. 256–264.
WCREWCRE-1999-Koschke #automation #component #incremental
An Incremental Semi-Automatic Method for Component Recovery (RK), p. 256–?.
CAiSECAiSE-1999-CalvaneseGL #constraints #query
Queries and Constraints on Semi-structured Data (DC, GDG, ML), pp. 434–438.
CIKMCIKM-1999-Ribeiro-NetoLS
Extracting Semi-Structured Data Through Examples (BARN, AHFL, ASdS), pp. 94–101.
ICMLICML-1999-WangM #markov #optimisation #process
Hierarchical Optimization of Policy-Coupled Semi-Markov Decision Processes (GW, SM), pp. 464–473.
ICMLICML-1999-ZhengWT #lazy evaluation #learning #naive bayes
Lazy Bayesian Rules: A Lazy Semi-Naive Bayesian Learning Technique Competitive to Boosting Decision Trees (ZZ, GIW, KMT), pp. 493–502.
ECOOPECOOP-1999-BertinoGMM #approach
An Approach to Classify Semi-structured Objects (EB, GG, IM, MM), pp. 416–440.
TOOLSTOOLS-EUROPE-1999-Li #approach #automation #case study #diagrams #sequence chart
A Semi-Automatic Approach to Translating Use Cases to Sequence Diagrams (LL), pp. 184–193.
DATEDATE-1998-AntolaPS #approach #detection #fault
A Low-Redundancy Approach to Semi-Concurrent Error Detection in Data Paths (AA, VP, MS), pp. 266–272.
SIGMODSIGMOD-1998-Adelberg #automation #documentation #named
NoDoSE — A Tool for Semi-Automatically Extracting Semi-Structured Data from Text Documents (BA), pp. 283–294.
STOCSTOC-1998-BlumKRV #problem
Semi-Definite Relaxations for Minimum Bandwidth and other Vertex-Ordering Problems (AB, GK, RR, SV), pp. 100–105.
CIAAWIA-1998-Watson #algorithm #performance
A Fast New Semi-incremental Algorithm for the Construction of Minimal Acyclic DFAs (BWW), pp. 121–132.
ECIRACIR-1998-Duffing #automation #image #interactive #retrieval
Text-Image Interaction for Image Retrieval and Semi-Automatic Indexing (GD).
ICPRICPR-1998-LeaL #automation
Semi-automated Maltese front position determination (SML, ML), pp. 1382–1386.
ICPRICPR-1998-MelzerKZ #approach #detection #modelling #parametricity #using
Stroke detection of brush strokes in portrait miniatures using a semi-parametric and a model based approach (TM, PK, EZ), pp. 474–476.
KDDKDD-1998-SinghCHSA #architecture #mining #robust
A Robust System Architecture for Mining Semi-Structured Data (LS, BC, RH, PS, KA), pp. 329–333.
CADECADE-1998-OliartS #algorithm #performance
A Fast Algorithm for Uniform Semi-Unification (AO, WS), pp. 239–253.
PODSPODS-1997-GuchtDGV #algebra #database #decidability #on the #set
On the Decidability of Semi-Linearity of Semi-Algebraic Sets and Its Implications for Spatial Databases (FD, MG, LV, DVG), pp. 68–77.
WPCWPC-1997-MarkovicHRB #automation #generative #source code
Semi-automatic Generation of Parallelizable Patterns from Source Code Examples (DM, JRH, CSR, SB), pp. 50–59.
STOCSTOC-1997-DuhF #approximate #optimisation
Approximation of k-Set Cover by Semi-Local Optimization (RcD, MF), pp. 256–264.
CAiSECAiSE-1997-WieringaDH #requirements
Integrating Semi-formal and Formal Requirements (RW, ED, SH), pp. 19–32.
CIKMCIKM-1997-SinghSC #concept #documentation #generative #using
Generating Association Rules from Semi-Structured Documents Using an Extended Concept Hierarchy (LS, PS, BC), pp. 193–200.
LOPSTRLOPSTR-1997-ChasseurD #constraints #logic programming
Logic Program Schemas, Constraints, and Semi-unification (EC, YD), pp. 69–89.
ASEKBSE-1996-Ledru #specification
Complementing semi-formal specifications with Z (YL), p. 10.
SIGMODSIGMOD-1996-CookKWZ #adaptation #automation #database #garbage collection #self
Semi-automatic, Self-adaptive Control of Garbage Collection Rates in Object Databases (JEC, AK, ALW, BGZ), pp. 377–388.
ICSMEICSM-1996-ChowN #automation #library
Semi-automatic update of applications in response to library changes (KC, DN), p. 359–?.
STOCSTOC-1996-Basu #algebra #bound #on the #set
On Bounding the Betti Numbers and Computing the Euler Characteristic of Semi-Algebraic Sets (SB), pp. 408–417.
STOCSTOC-1996-BasuPR #algebra #set
Computing Roadmaps of Semi-Algebraic Sets (Extended Abstract) (SB, RP, MFR), pp. 168–173.
ICALPICALP-1996-Senizergues #graph
Semi-Groups Acting on Context-Free Graphs (GS), pp. 206–218.
CIKMCIKM-1996-HuffmanB #retrieval
Notes Explorer: Entity-Based Retrieval in Shared, Semi-Structured Information Spaces (SBH, CB), pp. 99–106.
ICPRICPR-1996-AdigaCR #automation #image #segmentation
Semi-automatic segmentation of tissue cells from confocal microscope images (PSUA, BBC, KR), pp. 494–497.
CADECADE-1996-Salzer #axiom #multi #quantifier
Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices (GS), pp. 688–702.
LICSLICS-1996-MatiyasevichS #problem
Decision Problems for Semi-Thue Systems with a Few Rules (YM, GS), pp. 523–531.
RTARTA-1996-Senizergues #on the #problem #termination
On the Termination Problem for One-Rule Semi-Thue System (GS), pp. 302–316.
ICDARICDAR-v2-1995-RyallSMM #automation
Semi-automatic delineation of regions in floor plans (KR, SMS, JM, MM), pp. 964–969.
VLDBVLDB-1995-TreschPL #classification #documentation
Type Classification of Semi-Structured Documents (MT, NP, AL), pp. 263–274.
ICSMEICSM-1995-BarrosBEQV #automation #impact analysis
Supporting impact analysis: a semi-automated technique and associated tool (SB, TB, AE, JPQ, JFV), pp. 42–51.
CIKMCIKM-1995-TreschL #classification #documentation
An Extensible Classifier for Semi-Structured Documents (MT, AL), pp. 226–233.
RTARTA-1995-Senizergues #algorithm #confluence #polynomial #testing
A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems (GS), pp. 194–209.
PLDIPLDI-1994-Krall #branch #predict #replication
Improving Semi-static Branch Prediction by Code Replication (AK), pp. 97–106.
ICALPICALP-1994-GyssensBG #performance
Expressiveness of Efficient Semi-Deterministic Choice Constructs (MG, JVdB, DVG), pp. 106–117.
OOPSLAOOPSLA-1994-YellinS #adaptation #automation #interface #protocol
Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors (DMY, RES), pp. 176–190.
HTHT-1993-Perlman #hypermedia #information retrieval #tool support
Information Retrieval Techniques for Hypertext in the Semi-Structured Toolkit (GP), pp. 260–267.
VLDBVLDB-1993-SoensLSST #information management
The Rufus System: Information Organization for Semi-Structured Data (KAS, AL, PMS, JWS, JTI), pp. 97–107.
ICALPICALP-1993-OchmanskiW #on the
On Regular Compatibility of Semi-Commutations (EO, PAW), pp. 445–456.
SACSAC-1993-Goforth #editing #interactive #simulation
Histogram Editing for Semi-Quantitative Data Input in Interactive Simulations (RRRG), pp. 627–633.
RTARTA-1993-Senizergues #decidability #problem #termination
Some Undecidable Termination Problems for Semi-Thue Systems (Abstract) (GS), p. 434.
ASEKBSE-1992-AlmeidaRRA #specification
Transformation of a Semi-formal Specification to VDM (JD, AR, TR, VA), p. 7.
PODSPODS-1992-BusscheG
Semi-determinism (JVdB, DVG), pp. 191–201.
ICALPICALP-1992-ClerboutRZ
Semi-Commutations and Rational Expressions (MC, YR, WZ), pp. 113–125.
DACDAC-1991-CrastesSS
A Technology Mapping Method Based On Perfect And Semi-Perfect Matchings (MC, KS, GS), pp. 93–98.
ICALPICALP-1991-DiekertOR #complexity #confluence #decidability #on the
On Confluent Semi-Commutations — Decidability and Complexity Results (VD, EO, KR), pp. 229–241.
STOCSTOC-1990-KfouryTU #problem
The Undecidability of the Semi-Unification Problem (Preliminary Report) (AJK, JT, PU), pp. 468–476.
ICSEICSE-1990-Glynn #process
Semi Formal Process Model for Technology Transfer (GG), pp. 334–335.
ICALPICALP-1989-ChazelleEGS #algebra
A Singly-Expenential Stratification Scheme for Real Semi-Algebraic Varieties and Its Applications (BC, HE, LJG, MS), pp. 179–193.
CSLCSL-1989-Leiss #polymorphism #recursion
Polymorphic Recursion and Semi-Unification (HL), pp. 211–224.
ICALPICALP-1988-Diekert #commutative #for free #monad #transitive
Transitive Orientations, Möbius Functions, and Complete Semi-Thue Systems for Free Partially Commutative Monoids (VD), pp. 176–187.
LISPLFP-1988-Henglein #type inference
Type Inference and Semi-Unification (FH), pp. 184–197.
DACDAC-1987-MinaiWB #approach #evaluation #heuristic #predict
A Discrete Heuristics Approach to Predictive Evaluation of Semi-Custom IC Layouts (AAM, RDW, FWB), pp. 770–776.
STOCSTOC-1987-Vazirani #performance #using
Efficiency Considerations in Using Semi-random Sources (Extended Abstract) (UVV), pp. 160–168.
CSCWCSCW-1986-MaloneGLRR #coordination
Semi-structured messages are surprisingly useful for computer-supported coordination (TWM, KRG, KYL, RR, DR), pp. 102–114.
ICLPSLP-1986-BorgwardtR86 #backtracking #distributed #prolog
Distributed Semi-intelligent Backtracking for a Stack-based AND-parallel Prolog (PB, DR), pp. 211–222.
ICLPSLP-1985-ChangD85 #analysis #backtracking #dependence #prolog
Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis (JHC, AMD), pp. 10–21.
DACDAC-1984-SabetySM #automation #generative #parallel
The semi-automatic generation of processing element control paths for highly parallel machines (TS, DES, BM), pp. 441–446.
DACDAC-1984-Zingale #how
The semi-custom revolution: How to thrive or survive (AZ), pp. 649–650.
VLDBVLDB-1984-YoshikawaK #difference #query
Processing Inequality Queries Based on Generalized Semi-Joins (MY, YK), pp. 416–428.
SIGMODSIGMOD-1982-KambayashiYY #database #distributed #query #using
Query Processing for Distributed Databases Using Generalized Semi-Joins (YK, MY, SY), pp. 151–160.
SIGMODSIGMOD-1982-Valduriez #algorithm #multi
Semi-Join Algorithms for Multiprocessor Systems (PV), pp. 225–233.
SIGMODSIGMOD-1980-ChiuH #query
A Methodology for Interpreting Tree Queries Into Optimal Semi-Join Expressions (DMC, YCH), pp. 169–178.
ICALPICALP-1978-CoppoDR #finite #set #λ-calculus
(Semi)-separability of Finite Sets of Terms in Scott’s D∞-Models of the λ-Calculus (MC, MDC, SRDR), pp. 142–164.
SOSPSOSP-J-1975-ChuO76 #algorithm #analysis #markov
Analysis of the PFF Replacement Algorithm via a Semi-Markov Model (WWC, HO), pp. 298–304.
SIGMODSIGFIDET-1974-SuL #automation #database #network
A Semi-automatic Data Base Translation System for Achieving Data Sharing in a Network Environment (SYWS, HL), pp. 227–247.
DACDAC-1973-MuraT #automation #generative #interactive
An interactive system for semi-automatic artwork generation of printed circuit boards (AM, MT), p. 60.

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.