Stem semi$ (all stems)

527 papers:

CASE-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.

DAC-2015-SeshiaSS #formal method

Formal methods for semi-autonomous driving (SAS, DS, SSS), p. 5.

DocEng-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.

DocEng-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.

DRR-2015-ClawsonB #automation

Intelligent indexing: a semi-automated, trainable system for field labeling (RC, WAB).

SIGMOD-2015-ZhouT #named #predict

SMiLer: A Semi-Lazy Time Series Prediction System for Sensors (JZ, AKHT), pp. 1871–1886.

VLDB-2015-YingKSS #named

TreeScope: Finding Structural Anomalies In Semi-Structured Data (SY, FK, BS, DS), pp. 1904–1915.

ITiCSE-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.

FoSSaCS-2015-BacciBLM #distance #markov #on the

On the Total Variation Distance of Semi-Markov Chains (GB, GB, KGL, RM), pp. 185–199.

ICPC-2015-ThungLL #categorisation #fault

Active semi-supervised defect categorization (FT, XBDL, DL), pp. 60–70.

PLDI-2015-BarowyGHZ #named #relational #spreadsheet #using

FlashRelate: extracting relational data from semi-structured spreadsheets using examples (DWB, SG, TH, BGZ), pp. 218–228.

ICEIS-v2-2015-PereiraBD #formal method #uml

Mapping Formal Results Back to UML Semi-formal Model (VP, LB, MED), pp. 320–329.

ICML-2015-WenKA #combinator #learning #performance #scalability

Efficient Learning in Large-Scale Combinatorial Semi-Bandits (ZW, BK, AA), pp. 1113–1122.

KDD-2015-LanH #complexity #learning #multi

Reducing the Unlabeled Sample Complexity of Semi-Supervised Multi-View Learning (CL, JH), pp. 627–634.

KDD-2015-Yi0YLW #algorithm #clustering #constraints #performance

An Efficient Semi-Supervised Clustering Algorithm with Sequential Constraints (JY, LZ, TY, WL, JW), pp. 1405–1414.

MLDM-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.

MLDM-2015-TreechalongRW #clustering #using

Semi-Supervised Stream Clustering Using Labeled Data Points (KT, TR, KW), pp. 281–295.

SIGIR-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.

MoDELS-2015-FarwickSBH #architecture #automation #documentation #enterprise

A situational method for semi-automated enterprise architecture documentation (SoSyM abstract) (MF, CMS, RB, IH), p. 448.

SAC-2015-SilvaBAR #clustering #multi #prototype #using

Semi-supervised clustering using multi-assistant-prototypes to represent each cluster (WJS, MCNB, SdA, HLR), pp. 831–836.

ECSA-2014-AnvaariZ #architecture #automation #design #development #framework

Semi-automated Design Guidance Enhancer (SADGE): A Framework for Architectural Guidance Development (MA, OZ), pp. 41–49.

DATE-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.

DATE-2014-RadojicicGMP #analysis

Semi-symbolic analysis of mixed-signal systems including discontinuities (CR, CG, JM, XP), pp. 1–4.

DRR-2014-DiemKFS #automation #clustering #documentation #image #retrieval

Semi-automated document image clustering and retrieval (MD, FK, SF, RS), p. ?–10.

CSMR-WCRE-2014-Zaytsev #formal method #semiparsing

Formal foundations for semi-parsing (VZ), pp. 313–317.

ICSME-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.

ICALP-v1-2014-EmekR #set

Semi-Streaming Set Cover — (Extended Abstract) (YE, AR), pp. 453–464.

LATA-2014-ZhengGQ #automaton #complexity #finite #on the

On the State Complexity of Semi-quantum Finite Automata (SZ, JG, DQ), pp. 601–612.

DHM-2014-OhgiriYYKH #analysis #comparison

Comparison of Gait Analysis by the Way of Semi-structured Interviews (MO, KY, HY, NK, HH), pp. 43–54.

CAiSE-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.

ICEIS-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.

CIKM-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.

CIKM-2014-TraniCLOP #documentation

Manual Annotation of Semi-Structured Documents for Entity-Linking (ST, DC, CL, SO, RP), pp. 2075–2077.

CIKM-2014-Wen0R #precise

Enabling Precision/Recall Preferences for Semi-supervised SVM Training (ZW, RZ, KR), pp. 421–430.

ECIR-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.

ICML-c1-2014-LianREC #correlation #markov #modelling #process

Modeling Correlated Arrival Events with Latent Semi-Markov Processes (WL, VR, BE, LC), pp. 396–404.

ICML-c1-2014-SolomonRGB #learning

Wasserstein Propagation for Semi-Supervised Learning (JS, RMR, LJG, AB), pp. 306–314.

ICML-c2-2014-FangCL #graph #learning

Graph-based Semi-supervised Learning: Realizing Pointwise Smoothness Probabilistically (YF, KCCC, HWL), pp. 406–414.

ICML-c2-2014-LiZ #higher-order #learning #problem

High Order Regularization for Semi-Supervised Learning of Structured Output Problems (YL, RSZ), pp. 1368–1376.

ICML-c2-2014-TrigeorgisBZS #learning

A Deep Semi-NMF Model for Learning Hidden Representations (GT, KB, SZ, BWS), pp. 1692–1700.

ICPR-2014-BertonL #graph #learning

Graph Construction Based on Labeled Instances for Semi-supervised Learning (LB, AdAL), pp. 2477–2482.

ICPR-2014-ChengZHT #learning #recognition

Semi-supervised Learning for RGB-D Object Recognition (YC, XZ, KH, TT), pp. 2377–2382.

ICPR-2014-IosifidisTP #classification #network

Semi-supervised Classification of Human Actions Based on Neural Networks (AI, AT, IP), pp. 1336–1341.

ICPR-2014-KrytheL #analysis #linear

Implicitly Constrained Semi-supervised Linear Discriminant Analysis (JHK, ML), pp. 3762–3767.

ICPR-2014-KunwarPB #network #online #recognition

Semi-supervised Online Bayesian Network Learner for Handwritten Characters Recognition (RK, UP, MB), pp. 3104–3109.

ICPR-2014-LiuYHTH #learning #recognition #visual notation

Semi-supervised Learning for Cross-Device Visual Location Recognition (PL, PY, KH, TT, HWH), pp. 2873–2878.

ICPR-2014-Ozay #image #multi #segmentation

Semi-supervised Segmentation Fusion of Multi-spectral and Aerial Images (MO), pp. 3839–3844.

ICPR-2014-PhamKC #graph #image #learning

Semi-supervised Learning on Bi-relational Graph for Image Annotation (HDP, KHK, SC), pp. 2465–2470.

ICPR-2014-RozzaMP #graph #kernel #learning #novel

A Novel Graph-Based Fisher Kernel Method for Semi-supervised Learning (AR, MM, AP), pp. 3786–3791.

ICPR-2014-SaitoAFRSGC #learning #using

Active Semi-supervised Learning Using Optimum-Path Forest (PTMS, WPA, AXF, PJdR, CTNS, JFG, MHdC), pp. 3798–3803.

ICPR-2014-YangN #integration #learning #multi

Semi-supervised Learning of Geospatial Objects through Multi-modal Data Integration (YY, SN), pp. 4062–4067.

ICPR-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.

KDD-2014-GaddeAO #graph #learning #using

Active semi-supervised learning using sampling theory for graph signals (AG, AA, AO), pp. 492–501.

KDD-2014-GunnemannFRS #clustering #multi #named

SMVC: semi-supervised multi-view clustering in subspace projections (SG, IF, MR, TS), pp. 253–262.

KDD-2014-PolozovG #automation #named #web

LaSEWeb: automating search strategies over semi-structured web data (OP, SG), pp. 741–750.

KDD-2014-WangNH #adaptation #induction #learning #scalability

Large-scale adaptive semi-supervised learning via unified inductive and transductive model (DW, FN, HH), pp. 482–491.

KDIR-2014-HaraSOM #automation #information management #towards

Annotating Cohesive Statements of Anatomical Knowledge Toward Semi-automated Information Extraction (KH, IS, KO, IM), pp. 342–347.

KEOD-2014-NefziFFS #automation #ontology #process

A Semi-automatic Mapping Selection in the Ontology Alignment Process (HN, MF, IRF, BS), pp. 459–466.

MLDM-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.

SIGIR-2014-McParlaneJ14a #automation #image #novel

A novel system for the semi automatic annotation of event images (PJM, JMJ), pp. 1269–1270.

SIGIR-2014-ZhangTZX #algorithm #recommendation

Addressing cold start in recommender systems: a semi-supervised co-training algorithm (MZ, JT, XZ, XX), pp. 73–82.

REFSQ-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.

REFSQ-2014-KnaussO #automation #categorisation #natural language #requirements

(Semi-) automatic Categorization of Natural Language Requirements (EK, DO), pp. 39–54.

SAC-2014-VidalCNM #approach #automation #generative

A semi-automatic approach for generating customized R2RML mappings (VMPV, MAC, LETN, JMM), pp. 316–322.

SAC-2014-Zheng #matrix #using

Semi-supervised context-aware matrix factorization: using contexts in a way of “latent” factors (YZ), pp. 292–293.

SAC-2014-ZimmermannNS #adaptation #classification

Adaptive semi supervised opinion classifier with forgetting mechanism (MZ, EN, MS), pp. 805–812.

OSDI-2014-MullerAAC #automation #manycore #named #parallel

Pydron: Semi-Automatic Parallelization for Multi-Core and the Cloud (SCM, GA, AA, AC), pp. 645–659.

ICST-2014-TokumotoSSUW #automation #industrial #locality

Semi-automatic Incompatibility Localization for Re-engineered Industrial Software (ST, KS, KS, TU, HW), pp. 91–94.

RTA-TLCA-2014-Statman #λ-calculus

Near Semi-rings and λ Calculus (RS), pp. 410–424.

ASE-2013-WuestSG #automation #generative #metamodelling #sketching

Semi-automatic generation of metamodels from model sketches (DW, NS, MG), pp. 664–669.

DAC-2013-LiP #framework #modelling

An accurate semi-analytical framework for full-chip TSV-induced stress modeling (YL, DZP), p. 8.

DATE-2013-MishchenkoEBCCS

A semi-canonical form for sequential AIGs (AM, NE, RKB, MLC, PC, NS), pp. 797–802.

DocEng-2013-AzevedoSASN #authoring #automation #multi

Multimedia authoring based on templates and semi-automatic generated wizards (RGDAA, RCMS, ECA, LFGS, CdSSN), pp. 205–214.

DRR-2013-AugereauJD #documentation #image #recognition

Semi-structured document image matching and recognition (OA, NJ, JPD).

ICDAR-2013-BougueliaBB #approach #classification #documentation #learning

A Stream-Based Semi-supervised Active Learning Approach for Document Classification (MRB, YB, AB), pp. 611–615.

ICDAR-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.

ICDAR-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.

ICDAR-2013-NguyenZN #online #recognition

A Semi-incremental Recognition Method for On-Line Handwritten Japanese Text (CTN, BZ, MN), pp. 84–88.

ICDAR-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.

ICDAR-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.

VLDB-2013-KornSSY #on the #problem

On Repairing Structural Problems In Semi-structured Data (FK, BS, DS, SY), pp. 601–612.

VLDB-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.

ICALP-v1-2013-KonradR #approximate #communication #streaming

Approximating Semi-matchings in Streaming and in Two-Party Communication (CK, AR), pp. 637–649.

LATA-2013-AotoI #calculus #rule-based #termination

Termination of Rule-Based Calculi for Uniform Semi-Unification (TA, MI), pp. 56–67.

HCI-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.

HCI-III-2013-BockLSWW #automation #classification

Audio-Based Pre-classification for Semi-automatic Facial Expression Coding (RB, KLE, IS, SW, AW), pp. 301–309.

HCI-III-2013-HeLWG #image #segmentation #using

Semi-supervised Remote Sensing Image Segmentation Using Dynamic Region Merging (NH, KL, YW, YG), pp. 153–162.

CIKM-2013-NaeemWDL

A generic front-stage for semi-stream processing (MAN, GW, GD, CL), pp. 769–774.

CIKM-2013-NoroziA #retrieval

Selection fusion in semi-structured retrieval (MAN, PA), pp. 1291–1300.

CIKM-2013-XuXWW #automation #feedback #image #ranking

A heterogenous automatic feedback semi-supervised method for image reranking (XCX, XSX, YW, XW), pp. 999–1008.

ICML-c1-2013-BalcanBEL #learning #performance

Efficient Semi-supervised and Active Learning of Disjunctions (NB, CB, SE, YL), pp. 633–641.

ICML-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.

ICML-c3-2013-OgawaITS

Infinitesimal Annealing for Training Semi-Supervised Support Vector Machines (KO, MI, IT, MS), pp. 897–905.

ICML-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.

KDD-2013-ChenHKB #learning #named

DTW-D: time series semi-supervised learning from a single example (YC, BH, EJK, GEAPAB), pp. 383–391.

KDD-2013-HuaCZLR #detection #named #twitter

STED: semi-supervised targeted-interest event detectionin in twitter (TH, FC, LZ, CTL, NR), pp. 1466–1469.

KDD-2013-ZhouTWN #approach #predict #probability

A “semi-lazy” approach to probabilistic path prediction (JZ, AKHT, WW, WSN), pp. 748–756.

KDIR-KMIS-2013-Mechmache #documentation #towards

Toward a Neural Aggregated Search Model for Semi-structured Documents (FZBM), pp. 91–95.

KDIR-KMIS-2013-VensVB #clustering

Semi-supervised Clustering with Example Clusters (CV, BV, HB), pp. 45–51.

KEOD-2013-HafnerHWO #automation #ontology

Semi-automated Ontology Population from Building Construction Drawings (PH, VH, HW, JO), pp. 379–386.

MLDM-2013-MinhAN #algorithm #feature model

DCA Based Algorithms for Feature Selection in Semi-supervised Support Vector Machines (LHM, LTHA, MCN), pp. 528–542.

SEKE-2013-DiaoSYG #automation #semantics

A Semantic-based Semi-automated Role Mapping Mechanism (S) (LD, WS, ILY, JG), pp. 14–17.

SIGIR-2013-Ekstrand-AbuegPA #automation

Live nuggets extractor: a semi-automated system for text extraction and test collection creation (MEA, VP, JAA), pp. 1087–1088.

SIGIR-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.

OOPSLA-2013-FeldthausM #automation #javascript #refactoring

Semi-automatic rename refactoring for JavaScript (AF, AM), pp. 323–338.

REFSQ-2013-BreauxG #analysis #requirements #specification #traceability #using

Regulatory Requirements Traceability and Analysis Using Semi-formal Specifications (TDB, DGG), pp. 141–157.

REFSQ-2013-Regnell #modelling #requirements #scalability #towards

reqT.org — Towards a Semi-Formal, Open and Scalable Requirements Modeling Tool (BR), pp. 112–118.

SAC-2013-HassanzadehN #algorithm #detection #graph

A semi-supervised graph-based algorithm for detecting outliers in online-social-networks (RH, RN), pp. 577–582.

SAC-2013-MendesW #navigation #realtime #using

Real time autonomous navigation and obstacle avoidance using a semi-global stereo method (CCTM, DFW), pp. 235–236.

SAC-2013-WombacherI #estimation #process

Start time and duration distribution estimation in semi-structured processes (AW, MEI), pp. 1403–1409.

PLOS-2013-AryaDVC #automation #debugging #process

Semi-automated debugging via binary search through a process lifetime (KA, TD, AMV, GC), p. 7.

ISSTA-2013-TsankovDB #testing

Semi-valid input coverage for fuzz testing (PT, MTD, DAB), pp. 56–66.

RTA-2013-SmolkaT #recursion #unification

Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification (GS, TT), pp. 271–286.

SAT-2013-Atserias #algebra #bound #problem #proving

The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs (AA), pp. 1–17.

QoSA-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.

ASE-2012-LuCC #fault #learning #predict #reduction #using

Software defect prediction using semi-supervised learning with dimension reduction (HL, BC, MC), pp. 314–317.

CASE-2012-LeeK #automation #development

Development of semi-automatic painting system for inner hull block structures (DHL, HKK), pp. 833–836.

DATE-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.

DATE-2012-SchoenmakerMSBTJ #scalability #simulation

Large signal simulation of integrated inductors on semi-conducting substrates (WS, MM, BDS, SB, CT, RJ), pp. 1221–1226.

SIGMOD-2012-JimenezSTP #automation #named

Kaizen: a semi-automatic index advisor (IJ, HS, QTT, NP), pp. 685–688.

VLDB-2012-SchnaitterP #automation

Semi-Automatic Index Tuning: Keeping DBAs in the Loop (KS, NP), pp. 478–489.

STOC-2012-MakarychevMV #algorithm #approximate #clustering #problem

Approximation algorithms for semi-random partitioning problems (KM, YM, AV), pp. 367–384.

CIAA-2012-KlimannMP #automaton #implementation

Implementing Computations in Automaton (Semi)groups (IK, JM, MP), pp. 240–252.

ICEIS-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.

CIKM-2012-HasanMTK #query

Diversifying query results on semi-structured data (MH, AM, VJT, EJK), pp. 2099–2103.

CIKM-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.

CIKM-2012-MaoHYL #integration #modelling #topic

Hierarchical topic integration through semi-supervised hierarchical topic modeling (XM, JH, HY, XL), pp. 1612–1616.

CIKM-2012-QuanzH #generative #learning #multi #named

CoNet: feature generation for multi-view semi-supervised learning with partially observed views (BQ, JH), pp. 1273–1282.

ECIR-2012-Martinez-AlvarezYR #automation #classification #documentation

Semi-automatic Document Classification: Exploiting Document Difficulty (MMA, SY, TR), pp. 468–471.

ICML-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.

ICML-2012-McDowellA #classification #hybrid

Semi-Supervised Collective Classification via Hybrid Label Regularization (LM, DWA), p. 162.

ICML-2012-NiuDYS #learning #metric

Information-theoretic Semi-supervised Metric Learning via Entropy Regularization (GN, BD, MY, MS), p. 136.

ICML-2012-PlessisS #learning

Semi-Supervised Learning of Class Balance under Class-Prior Change by Distribution Matching (MCdP, MS), p. 159.

ICPR-2012-BaiXP #classification #image

Classification oriented semi-supervised band selection for hyperspectral images (JB, SX, CP), pp. 1888–1891.

ICPR-2012-CarliniF

A Semi-Lagrangian scheme for area preserving flows (EC, RF), pp. 2029–2033.

ICPR-2012-CermanH #learning #problem

Tracking with context as a semi-supervised learning and labeling problem (LC, VH), pp. 2124–2127.

ICPR-2012-DinhDL #case study #difference #representation

A study on semi-supervised dissimilarity representation (VCD, RPWD, ML), pp. 2861–2864.

ICPR-2012-HidoK #graph #learning #similarity

Hash-based structural similarity for semi-supervised Learning on attribute graphs (SH, HK), pp. 3009–3012.

ICPR-2012-LimbeckKH #automation

Semi-automatic tracking of markers in facial palsy (PL, WGK, YH), pp. 69–72.

ICPR-2012-LiWBL #adaptation #algorithm #fault

Semi-supervised adaptive parzen Gentleboost algorithm for fault diagnosis (CL, ZW, SB, ZL), pp. 2290–2293.

ICPR-2012-LoprestiN #automation

Optimal data partition for semi-automated labeling (DPL, GN), pp. 286–289.

ICPR-2012-PourdamghaniRZ #estimation #graph #learning #metric

Metric learning for graph based semi-supervised human pose estimation (NP, HRR, MZ), pp. 3386–3389.

ICPR-2012-Ul-HasanBRSB #automation #database #generative

Semi-automated OCR database generation for Nabataean scripts (AUH, SSB, SFR, FS, TMB), pp. 1667–1670.

ICPR-2012-ZhangH #feature model #recognition #using

Face recognition using semi-supervised spectral feature selection (ZZ, ERH), pp. 1294–1297.

ICPR-2012-ZhangHR #classification #gender #learning

Hypergraph based semi-supervised learning for gender classification (ZZ, ERH, PR), pp. 1747–1750.

KDD-2012-ShangJW #learning

Semi-supervised learning with mixed knowledge information (FS, LCJ, FW), pp. 732–740.

KDD-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.

KDIR-2012-AbdullinN #clustering #data type #framework #learning

A Semi-supervised Learning Framework to Cluster Mixed Data Types (AA, ON), pp. 45–54.

KDIR-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.

KDIR-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.

MLDM-2012-EbrahimiA #approach #clustering

Semi Supervised Clustering: A Pareto Approach (JE, MSA), pp. 237–251.

MLDM-2012-Garcia-ConstantinoCNRS #approach #automation #classification #summary

A Semi-Automated Approach to Building Text Summarisation Classifiers (MGC, FC, PJN, AR, CS), pp. 495–509.

MLDM-2012-SilvaA #case study #clustering

Semi-supervised Clustering: A Case Study (AS, CA), pp. 252–263.

SIGIR-2012-BerardiES #automation #classification #ranking

A utility-theoretic ranking method for semi-automated text classification (GB, AE, FS), pp. 961–970.

SIGIR-2012-Hassan #approach #modelling #web

A semi-supervised approach to modeling web search satisfaction (AH), pp. 275–284.

OOPSLA-2012-MeawadRMV #automation #exclamation #javascript #source code

Eval begone!: semi-automated removal of eval from javascript programs (FM, GR, FM, JV), pp. 607–620.

SAC-2012-AnconaMP #automation #documentation #java #migration #ontology

Ontology-based documentation extraction for semi-automatic migration of Java code (DA, VM, OP), pp. 1137–1143.

SAC-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.

SAC-2012-HuMB #clustering #documentation

Semi-supervised document clustering with dual supervision through seeding (YH, EEM, JB), pp. 144–151.

SAC-2012-HuMB12a #clustering #documentation

Enhancing semi-supervised document clustering with feature supervision (YH, EEM, JB), pp. 929–936.

ICSE-2012-HenssMM #automation #development

Semi-automatically extracting FAQs to improve accessibility of software development knowledge (SH, MM, MM), pp. 793–803.

SLE-2012-GarciaDA #approach #automation #co-evolution #model transformation

Model Transformation Co-evolution: A Semi-automatic Approach (JG, OD, MA), pp. 144–163.

ICST-2012-PavlovF #automation #generative #search-based #testing

Semi-automatic Search-Based Test Generation (YP, GF), pp. 777–784.

SMT-2012-CodishFFGW #constraints

Exotic Semi-Ring Constraints (MC, YF, CF, JG, JW), pp. 88–97.

CASE-2011-TranHN #automation #composition

Semi-automatic control of modular systems with intermittent data losses (TT, QPH, HTN), pp. 625–630.

DRR-2011-SuPD #recognition

SemiBoost-based Arabic character recognition method (BS, LP, XD), pp. 1–10.

ICDAR-2011-AroraN #framework #recognition

A Semi-supervised SVM Framework for Character Recognition (AA, AMN), pp. 1105–1109.

ICDAR-2011-Santos #automation #documentation

Automatic Content Extraction on Semi-structured Documents (JEBDS), pp. 1235–1239.

ICDAR-2011-VajdaJF #approach #learning

A Semi-supervised Ensemble Learning Approach for Character Labeling with Minimal Human Effort (SV, AJ, GAF), pp. 259–263.

CIAA-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.

ICALP-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.

HCI-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.

CIKM-2011-BianC #classification #query #taxonomy

A taxonomy of local search: semi-supervised query classification driven by information needs (JB, YC), pp. 2425–2428.

CIKM-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.

CIKM-2011-GuYLHJLC

Extract knowledge from semi-structured websites for search task simplification (YG, JY, HL, JH, LJ, NL, ZC), pp. 1883–1888.

CIKM-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.

CIKM-2011-MalikMOSS #ecosystem #graph

Exploring the corporate ecosystem with a semi-supervised entity graph (HHM, IM, MOO, SS, SS), pp. 1857–1866.

CIKM-2011-OttavianoG

Semi-indexing semi-structured data in tiny space (GO, RG), pp. 1485–1494.

CIKM-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.

CIKM-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.

CIKM-2011-SzummerY #learning #rank

Semi-supervised learning to rank with preference regularization (MS, EY), pp. 269–278.

CIKM-2011-YangZKL #how #learning #question #why

Can irrelevant data help semi-supervised learning, why and how? (HY, SZ, IK, MRL), pp. 937–946.

ICML-2011-BrouarddS #kernel #predict

Semi-supervised Penalized Output Kernel Regression for Link Prediction (CB, FdB, MS), pp. 593–600.

KDD-2011-GaoLWWL #graph #metadata #ranking #scalability

Semi-supervised ranking on very large graphs with rich metadata (BG, TYL, WW, TW, HL), pp. 96–104.

KEOD-2011-FukumotoS #classification #clustering #graph #semantics #word

Semantic Classification of Unknown Words based on Graph-based Semi-supervised Clustering (FF, YS), pp. 37–46.

KEOD-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.

MLDM-2011-Benbrahim #fuzzy

Fuzzy Semi-supervised Support Vector Machines (HB), pp. 127–139.

RecSys-2011-WuCMW #detection #learning #named

Semi-SAD: applying semi-supervised learning to shilling attack detection (ZW, JC, BM, YW), pp. 289–292.

SEKE-2011-CaiZWXS #approach #component #recommendation

Recommending Component by Citation: A Semi-supervised Approach for Determination (SC, YZ, LW, BX, WS), pp. 489–494.

SEKE-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.

SIGIR-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.

SIGIR-2011-ZhangZX #documentation #feedback

Filtering semi-structured documents based on faceted feedback (LZ, YZ, QX), pp. 645–654.

RE-2011-BoutkovaH #automation #identification #specification

Semi-automatic identification of features in requirement specifications (EB, FH), pp. 313–318.

SAC-2011-ZhangZZZX #detection #learning #web

Harmonic functions based semi-supervised learning for web spam detection (WZ, DZ, YZ, GZ, BX), pp. 74–75.

ICST-2011-ChenCZXF #clustering #testing #using

Using semi-supervised clustering to improve regression test selection techniques (SC, ZC, ZZ, BX, YF), pp. 1–10.

CASE-2010-DoroodgarN #architecture #learning

A hierarchical reinforcement learning based control architecture for semi-autonomous rescue robots in cluttered environments (BD, GN), pp. 948–953.

DRR-2010-LiuZ #detection #documentation #image #learning

Semi-supervised learning for detecting text-lines in noisy document images (ZL, HZ), pp. 1–10.

ESOP-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.

PLDI-2010-XiW

A context-free markup language for semi-structured text (QX, DW), pp. 221–232.

ICALP-v1-2010-FakcharoenpholLN #algorithm #performance #problem

Faster Algorithms for Semi-matching Problems (Extended Abstract) (JF, BL, DN), pp. 176–187.

SEFM-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.

CAiSE-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.

CAiSE-2010-MrabetBPT #documentation #semantics

Supporting Semantic Search on Heterogeneous Semi-structured Documents (YM, NB, NP, MT), pp. 224–229.

ICEIS-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.

CIKM-2010-FujinoUN #classification #learning #robust

A robust semi-supervised classification method for transfer learning (AF, NU, MN), pp. 379–388.

ICML-2010-DillonBL #analysis #generative #learning

Asymptotic Analysis of Generative Semi-Supervised Learning (JVD, KB, GL), pp. 295–302.

ICML-2010-DruckM #generative #learning #modelling #using

High-Performance Semi-Supervised Learning using Discriminatively Constrained Generative Models (GD, AM), pp. 319–326.

ICML-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.

ICML-2010-LiuHC #graph #learning #scalability

Large Graph Construction for Scalable Semi-Supervised Learning (WL, JH, SFC), pp. 679–686.

ICPR-2010-CalderaraPC #people #similarity #statistics #using

Alignment-Based Similarity of People Trajectories Using Semi-directional Statistics (SC, AP, RC), pp. 4275–4278.

ICPR-2010-Cevikalp #distance #learning #metric #polynomial #programming

Semi-supervised Distance Metric Learning by Quadratic Programming (HC), pp. 3352–3355.

ICPR-2010-ChenF #graph #learning

Semi-supervised Graph Learning: Near Strangers or Distant Relatives (WC, GF), pp. 3368–3371.

ICPR-2010-ErdoganG #using

Semi-blind Speech-Music Separation Using Sparsity and Continuity Priors (HE, EMG), pp. 4573–4576.

ICPR-2010-HanCR10a #concept #interactive #learning #recognition #semantics

Semi-supervised and Interactive Semantic Concept Learning for Scene Recognition (XHH, YWC, XR), pp. 3045–3048.

ICPR-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.

ICPR-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.

ICPR-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.

ICPR-2010-Martinez-UsoPS #image #segmentation

A Semi-supervised Gaussian Mixture Model for Image Segmentation (AMU, FP, JMS), pp. 2941–2944.

ICPR-2010-WangHL #analysis #incremental

Boosting Incremental Semi-supervised Discriminant Analysis for Tracking (HW, XH, CLL), pp. 2748–2751.

ICPR-2010-WuLW #image #learning #retrieval #using

Enhancing SVM Active Learning for Image Retrieval Using Semi-supervised Bias-Ensemble (JW, ML, CLW), pp. 3175–3178.

KDD-2010-KongY #classification #feature model #graph

Semi-supervised feature selection for graph classification (XK, PSY), pp. 793–802.

KDD-2010-LiuMTLL #learning #metric #optimisation #using

Semi-supervised sparse metric learning using alternating linearization optimization (WL, SM, DT, JL, PL), pp. 1139–1148.

SEKE-2010-XuanJRYL #automation #classification #debugging #using

Automatic Bug Triage using Semi-Supervised Text Classification (JX, HJ, ZR, JY, ZL), pp. 209–214.

SIGIR-2010-MojdehC #consistency #learning #using

Semi-supervised spam filtering using aggressive consistency learning (MM, GVC), pp. 751–752.

RE-2010-Kof #automation #documentation #interactive #modelling #requirements

From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation (LK), pp. 391–392.

REFSQ-2010-LeuserO #automation #scalability #specification

Tackling Semi-automatic Trace Recovery for Large Specifications (JL, DO), pp. 203–217.

SAC-2010-HassanB #distributed #file system #using

Semi-join computation on distributed file systems using map-reduce-merge model (MAHH, MB), pp. 406–413.

SAC-2010-Nakajima #automation #diagrams #feature model

Semi-automated diagnosis of FODA feature diagram (SN), pp. 2191–2197.

SAC-2010-VoigtIR #automation #generative #metamodelling #named

MatchBox: combined meta-model matching for semi-automatic mapping generation (KV, PI, AR), pp. 2281–2288.

LCTES-2010-SchlicklingP #analysis #automation #modelling

Semi-automatic derivation of timing models for WCET analysis (MS, MP), pp. 67–76.

IJCAR-2010-AbourbihBBM #automation #calculus

A Single-Significant-Digit Calculus for Semi-Automated Guesstimation (JAA, LB, AB, FM), pp. 354–368.

LICS-2010-SilesH #similarity #type system

Equality Is Typable in Semi-full Pure Type Systems (VS, HH), pp. 21–30.

ASE-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.

CASE-2009-GaoKJD #automation #modelling #simulation

Semi-automated soft-tissue acquisition and modeling for surgical simulation (ZG, TK, DLJ, JPD), pp. 268–273.

DRR-2009-LiD #difference #independence #using #verification

Improving semi-text-independent method of writer verification using difference vector (XL, XD), pp. 1–10.

DRR-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.

ICDAR-2009-BallS #learning #recognition

Semi-supervised Learning for Handwriting Recognition (GRB, SNS), pp. 26–30.

ICDAR-2009-BharathM #clustering #framework

A Framework Based on Semi-Supervised Clustering for Discovering Unique Writing Styles (AB, SM), pp. 891–895.

ICDAR-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.

ICDAR-2009-LuYSS #automation #re-engineering

Semi-automatic Roof Reconstruction (TL, YY, FS, ZS), pp. 723–727.

ICDAR-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.

ICDAR-2009-Smet #automation #documentation #forensics #re-engineering

Semi-automatic Forensic Reconstruction of Ripped-up Documents (PdS), pp. 703–707.

SIGMOD-2009-ChenWLL #keyword

Keyword search on structured and semi-structured data (YC, WW, ZL, XL), pp. 1005–1010.

ICALP-v2-2009-AhnG #graph

Graph Sparsification in the Semi-streaming Model (KJA, SG), pp. 328–338.

LATA-2009-BaillyD #convergence

Absolute Convergence of Rational Series Is Semi-decidable (RB, FD), pp. 117–128.

CHI-2009-MedhiGT #comparison #mobile

A comparison of mobile money-transfer UIs for non-literate and semi-literate users (IM, SNNG, KT), pp. 1741–1750.

CHI-2009-ReichlingW #automation #generative #recommendation

Expert recommender systems in practice: evaluating semi-automatic profile generation (TR, VW), pp. 59–68.

ICEIS-J-2009-SousaLCA #algorithm #automation #metamodelling

A Step Forward in Semi-automatic Metamodel Matching: Algorithms and Tool (JdS, DL, DBC, ZA), pp. 137–148.

CIKM-2009-MaYKL #collaboration #consistency #matrix #statistics

Semi-nonnegative matrix factorization with global statistical consistency for collaborative filtering (HM, HY, IK, MRL), pp. 767–776.

CIKM-2009-QianNZ #multi #performance

Efficient multi-class unlabeled constrained semi-supervised SVM (MQ, FN, CZ), pp. 1665–1668.

CIKM-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.

CIKM-2009-WangWLL #named #query #ranking #summary

HyperSum: hypergraph based semi-supervised sentence ranking for query-oriented summarization (WW, FW, WL, SL), pp. 1855–1858.

CIKM-2009-ZhongL #graph #named #semistructured data

3se: a semi-structured search engine for heterogeneous data in graph model (MZ, ML), pp. 1405–1408.

ICML-2009-AdamsG #learning #named #parametricity

Archipelago: nonparametric Bayesian semi-supervised learning (RPA, ZG), pp. 1–8.

ICML-2009-JebaraWC #graph #learning

Graph construction and b-matching for semi-supervised learning (TJ, JW, SFC), pp. 441–448.

ICML-2009-LiKZ #learning #using

Semi-supervised learning using label mean (YFL, JTK, ZHZ), pp. 633–640.

ICML-2009-XuWS #learning #predict

Optimal reverse prediction: a unified perspective on supervised, unsupervised and semi-supervised learning (LX, MW, DS), pp. 1137–1144.

ICML-2009-ZhangKP #learning #prototype #scalability

Prototype vector machine for large scale semi-supervised learning (KZ, JTK, BP), pp. 1233–1240.

KDD-2009-XueW #classification #quantifier

Quantification and semi-supervised classification methods for handling changes in class distribution (JCX, GMW), pp. 897–906.

KDD-2009-ZhengWLL

Information theoretic regularization for semi-supervised boosting (LZ, SW, YL, CHL), pp. 1017–1026.

KEOD-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.

SEKE-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.

SIGIR-2009-LiWA #query #random

Extracting structured information from user queries with semi-supervised conditional random fields (XL, YYW, AA), pp. 572–579.

POPL-2009-HardekopfL #analysis #pointer

Semi-sparse flow-sensitive pointer analysis (BH, CL), pp. 226–238.

SAC-2009-BuckerRRW #automation #parallel #problem #simulation

Semi-automatic parallelization of direct and inverse problems for geothermal simulation (HMB, AR, VR, AW), pp. 971–975.

SAC-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-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.

SLE-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.

ASPLOS-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.

ASE-2008-HolmesW #reuse

Semi-Automating Pragmatic Reuse Tasks (RH, RJW), pp. 481–482.

SIGMOD-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.

ESOP-2008-ConchonF #data type

Semi-persistent Data Structures (SC, JCF), pp. 322–336.

PEPM-2008-Mogensen #functional #parametricity

Semi-inversion of functional parameters (TÆM), pp. 21–29.

FLOPS-2008-Kobayashi08a #backtracking #continuation

A New Translation for Semi-classical Theories — Backtracking without CPS (SK), pp. 210–223.

GT-VMT-2006-Kunert08 #automation #generative #metamodelling #modelling #source code

Semi-automatic Generation of Metamodels and Models From Grammars and Programs (AK), pp. 111–119.

CSCW-2008-AvrahamiFH #communication #latency

IM waiting: timing and responsiveness in semi-synchronous communication (DA, SRF, SEH), pp. 285–294.

ICEIS-AIDSS-2008-MatiasMMR #automation #clustering #visual notation

Semi-Automatic Partitioning by Visual Snapshopts (RM, JPM, PM, FR), pp. 78–86.

ICEIS-DISI-2008-CeravoloDLCG #automation #framework #integration #named

ODDI — A Framework for Semi-automatic Data Integration (PC, ED, ML, ZC, AG), pp. 15–24.

ICEIS-DISI-2008-SharifimehrS #modelling

Dynamic Semi-Markovian Workload Modeling (NS, SS), pp. 125–130.

ICEIS-ISAS2-2008-HammoudiAL #architecture #automation #process #towards

Towards a Semi-Automatic Transformation Process in MDA — Architecture and Methodology (SH, WA, DL), pp. 416–425.

ICEIS-J-2008-CeravoloCDGL #automation #framework #integration

A Framework for Semi-automatic Data Integration (PC, ZC, ED, AG, ML), pp. 46–60.

CIKM-2008-ArnoldC #adaptation

Intra-document structural frequency features for semi-supervised domain adaptation (AA, WWC), pp. 1291–1300.

CIKM-2008-ByrdNTPCGV #automation

Semi-automated logging of contact center telephone calls (RJB, MSN, WT, YP, KSFC, SCG, KV), pp. 133–142.

CIKM-2008-ChenWD #approach #clustering #documentation

A matrix-based approach for semi-supervised document co-clustering (YC, LW, MD), pp. 1523–1524.

CIKM-2008-ChenWSZ #ranking

Semi-supervised ranking aggregation (SC, FW, YS, CZ), pp. 1427–1428.

CIKM-2008-WangCZL #constraints #learning #metric

Semi-supervised metric learning by maximizing constraint margin (FW, SC, CZ, TL), pp. 1457–1458.

CIKM-2008-XuJHLK #categorisation

Semi-supervised text categorization by active search (ZX, RJ, KH, MRL, IK), pp. 1517–1518.

ECIR-2008-KritharaARG #classification #documentation #fault

Semi-supervised Document Classification with a Mislabeling Error Model (AK, MRA, JMR, CG), pp. 370–381.

ICML-2008-LiLT #classification #constraints #programming

Pairwise constraint propagation by semidefinite programming for semi-supervised classification (ZL, JL, XT), pp. 576–583.

ICML-2008-LoeffFR #approximate #learning #named

ManifoldBoost: stagewise function approximation for fully-, semi- and un-supervised learning (NL, DAF, DR), pp. 600–607.

ICML-2008-RanzatoS #documentation #learning #network

Semi-supervised learning of compact document representations with deep networks (MR, MS), pp. 792–799.

ICML-2008-SokolovskaCY #learning #modelling #probability

The asymptotics of semi-supervised learning in discriminative probabilistic models (NS, OC, FY), pp. 984–991.

ICML-2008-WangZ #learning #multi #on the

On multi-view active learning and the combination with semi-supervised learning (WW, ZHZ), pp. 1152–1159.

ICML-2008-WestonRC #learning

Deep learning via semi-supervised embedding (JW, FR, RC), pp. 1168–1175.

ICPR-2008-AdankonC #classification

Help-training for semi-supervised discriminative classifiers. Application to SVM (MMA, MC), pp. 1–4.

ICPR-2008-HuSM #categorisation #clustering #using

Categorization using semi-supervised clustering (JH, MS, AM), pp. 1–4.

ICPR-2008-LiuWBM #kernel #learning #linear

Semi-supervised learning by locally linear embedding in kernel space (RL, YW, TB, DM), pp. 1–4.

ICPR-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.

KDD-2008-BecchettiBCG #algorithm #graph #performance

Efficient semi-streaming algorithms for local triangle counting in massive graphs (LB, PB, CC, AG), pp. 16–24.

KDD-2008-ChengT #learning

Semi-supervised learning with data calibration for long-term time series forecasting (HC, PNT), pp. 133–141.

KDD-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.

KDD-2008-ZhaoWZ #algorithm #named #performance #virtual machine

Cuts3vm: a fast semi-supervised svm algorithm (BZ, FW, CZ), pp. 830–838.

SEKE-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.

SIGIR-2008-MojdehC #question

Semi-supervised spam filtering: does it work? (MM, GVC), pp. 745–746.

SAC-2008-Blomqvist #automation #ontology #ranking

Pattern ranking for semi-automatic ontology construction (EB), pp. 2248–2255.

SAC-2008-ChengHVL #image #reduction

Semi-supervised dimensionality reduction in image feature space (HC, KAH, KV, DL), pp. 1207–1211.

SAC-2008-ChidlovskiiL08a #clustering #coordination #visual notation

Semi-supervised visual clustering for spherical coordinates systems (BC, LL), pp. 891–895.

SAC-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.

FSE-2008-CottrellWD #reuse #source code

Semi-automating small-scale source code reuse via structural correspondence (RC, RJW, JD), pp. 214–225.

CAV-2008-EdelkampSS #ltl #model checking

Semi-external LTL Model Checking (SE, PS, PS), pp. 530–542.

ASE-2007-McIntyreW #automation #heuristic

Assisting potentially-repetitive small-scale changes via semi-automated heuristic search (MMM, RJW), pp. 497–500.

CASE-2007-KavakliogluK #fuzzy

A Type-2 Fuzzy Planner with Semi Qualitative World Model for Robocup Domain (CK, OK), pp. 795–799.

CASE-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.

CASE-2007-WuMZ #standard

Compatibility of Queueing Theory, Manufacturing Systems and SEMI Standards (KW, LFM, BZ), pp. 501–506.

DAC-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.

VLDB-2007-ChiticariuHPK #automation #integration

Semi-Automatic Schema Integration in Clio (LC, MAH, PGK, LP), pp. 1326–1329.

PLDI-2007-VechevYBR #automation #concurrent #named

CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors (MTV, EY, DFB, NR), pp. 456–467.

HCI-MIE-2007-ZhouCCB #automation #image #information management

Knowledge Transfer in Semi-automatic Image Interpretation (JZ, LC, TC, WFB), pp. 1028–1034.

HIMI-IIE-2007-FortunaGM #automation #editing #named #ontology

OntoGen: Semi-automatic Ontology Editor (BF, MG, DM), pp. 309–318.

HIMI-MTT-2007-DingL #automation #interactive #modelling #research

Research of Model-Driven Interactive Automatic / Semi-automatic Form Building (XD, XL), pp. 613–622.

HIMI-MTT-2007-LinL #analysis #automation

A Bayesian Methodology for Semi-automated Task Analysis (SCL, MRL), pp. 697–704.

ICEIS-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.

CIKM-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.

ICML-2007-AndoZ #generative #learning

Two-view feature generation model for semi-supervised learning (RKA, TZ), pp. 25–32.

ICML-2007-Azran #algorithm #learning #markov #multi #random

The rendezvous algorithm: multiclass semi-supervised learning with Markov random walks (AA), pp. 49–56.

ICML-2007-DaiY #kernel

Kernel selection forl semi-supervised kernel machines (GD, DYY), pp. 185–192.

ICML-2007-MannM #learning #robust #scalability

Simple, robust, scalable semi-supervised learning via expectation regularization (GSM, AM), pp. 593–600.

ICML-2007-ZhouX #learning #multi #on the

On the relation between multi-instance learning and semi-supervised learning (ZHZ, JMX), pp. 1167–1174.

KDD-2007-DruckPMZ #classification #generative #hybrid

Semi-supervised classification with hybrid generative/discriminative methods (GD, CP, AM, XZ), pp. 280–289.

KDD-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.

KDD-2007-TangWXZ #clustering #perspective

Enhancing semi-supervised clustering: a feature projection perspective (WT, HX, SZ, JW), pp. 707–716.

SIGIR-2007-Broschart #graph #integration #performance #proximity #retrieval

Efficient integration of proximity for text, semi-structured and graph retrieval (AB), p. 917.

SIGIR-2007-PopoviciMM #documentation #effectiveness

An effective method for finding best entry points in semi-structured documents (EP, PFM, GM), pp. 851–852.

SAC-2007-Cardoso-CachopoO #categorisation #classification #using

Semi-supervised single-label text categorization using centroid-based classifiers (ACC, ALO), pp. 844–851.

SAC-2007-FabroV #automation #integration #modelling #using #weaving

Semi-automatic model integration using matching transformations and weaving models (MDDF, PV), pp. 963–970.

SAC-2007-YingboJJ #approach #machine learning #workflow

A machine learning approach to semi-automating workflow staff assignment (YL, JW, JS), pp. 340–345.

SAC-2007-ZengS #combinator #geometry #optimisation #problem

Semi-mechanization method for a unsolved optimization problem in combinatorial geometry (ZZ, MS), pp. 762–766.

DATE-2006-Leteinturier #challenge

Automotive semi-conductor trend & challenges (PL), p. 559.

VLDB-2006-MohanW #approach #data access #interactive #named

IPAC — An Interactive Approach to Access Control for Semi-structured Data (SM, YW), pp. 1147–1150.

DLT-2006-MenzelPS #graph

Some Examples of Semi-rational DAG Languages (JRM, LP, MS), pp. 351–362.

SEFM-2006-AlpuenteBFR #automation

A Semi-Automatic Methodology for Repairing FaultyWeb Sites (MA, DB, MF, DR), pp. 31–40.

CHI-2006-SantellaADSC #automation #interactive

Gaze-based interaction for semi-automatic photo cropping (AS, MA, DD, DS, MFC), pp. 771–780.

CSCW-2006-TerrellM #community

Enlightening a co-located community with a semi-public notification system (GBT, DSM), pp. 21–24.

EDOC-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.

ICEIS-AIDSS-2006-BoudjeloudP #data mining #interactive #mining

Semi Interactive Method for Data Mining (LB, FP), pp. 3–10.

ICEIS-AIDSS-2006-ConstantinouGCCL #assurance #automation #quality

A Semi-Automated Quality Assurance Toolbox for Diagnostic Radiological Imaging (CC, AG, AC, CC, AL), pp. 216–221.

CIKM-2006-RamadossR #authoring #automation

Semi-automatic annotation and MPEG-7 authoring of dance videos (BR, KR), pp. 878–879.

ICML-2006-BrefeldS #learning

Semi-supervised learning for structured output variables (UB, TS), pp. 145–152.

ICML-2006-ChapelleCZ #continuation

A continuation method for semi-supervised SVMs (OC, MC, AZ), pp. 185–192.

ICML-2006-RahmaniG #learning #multi #named

MISSL: multiple-instance semi-supervised learning (RR, SAG), pp. 705–712.

ICML-2006-SindhwaniKC #kernel

Deterministic annealing for semi-supervised kernel machines (VS, SSK, OC), pp. 841–848.

ICML-2006-YangFZB #reduction

Semi-supervised nonlinear dimensionality reduction (XY, HF, HZ, JLB), pp. 1065–1072.

ICPR-v1-2006-CayouetteC #realtime

Generic Real-Time Tracking Method on Semi-Dynamic Scenes (FC, JRC), pp. 711–714.

ICPR-v1-2006-QinL #algorithm

An Improved Semi-Supervised Support Vector Machine Based Translation Algorithm for BCI Systems (JQ, YL), pp. 1240–1243.

ICPR-v2-2006-WuLZH #learning

A Semi-supervised SVM for Manifold Learning (ZW, ChL, JZ, JH), pp. 490–493.

ICPR-v2-2006-ZhangR #incremental #learning

A New Data Selection Principle for Semi-Supervised Incremental Learning (RZ, AIR), pp. 780–783.

ICPR-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.

ICPR-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.

ICPR-v3-2006-HanD #array #clustering #modelling #parametricity

Semi-Parametric Model-Based Clustering for DNA Microarray Data (BH, LSD), pp. 324–327.

ICPR-v3-2006-Morii #algorithm

A Generalized K-Means Algorithm with Semi-Supervised Weight Coefficients (FM), pp. 198–201.

ICPR-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.

KDD-2006-WeiK #classification

Semi-supervised time series classification (LW, EJK), pp. 748–753.

SIGIR-2006-HuangZL #learning #taxonomy

Refining hierarchical taxonomy structure via semi-supervised learning (RH, ZZ, WL), pp. 653–654.

SIGIR-2006-SindhwaniK #linear #scalability

Large scale semi-supervised linear SVMs (VS, SSK), pp. 477–484.

SIGIR-2006-YangL #documentation #similarity

Measuring similarity of semi-structured documents with context weights (CCY, NL), pp. 719–720.

SAC-2006-Ben-AsherBE #multi

Management of unspecified semi-structured data in multi-agent environment (YBA, SB, YE), pp. 101–105.

SAC-2006-GaoCT #detection

Semi-supervised outlier detection (JG, HC, PNT), pp. 635–636.

CSL-2006-Abel #termination

Semi-continuous Sized Types and Termination (AA0), pp. 72–88.

RTA-2006-WangS #decidability #linear #termination

Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems (YW, MS), pp. 343–356.

WICSA-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.

WICSA-2005-SmithS #analysis #architecture #automation

Extending SPQR to Architectural Analysis by Semi-Automated Training (JMS, PDS), pp. 239–242.

ICDAR-2005-TuganbaevPD

Universal Data Capture Technology from Semi-structured Form (DT, AP, DD), pp. 458–462.

SAS-2005-BagnaraRZ #algebra #generative #invariant #using

Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra (RB, ERC, EZ), pp. 19–34.

STOC-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.

STOC-2005-BasuPR #algebra #component #set

Computing the first Betti number and the connected components of semi-algebraic sets (SB, RP, MFR), pp. 304–312.

CIAA-2005-DaciukMS #automaton #incremental #pseudo

Incremental and Semi-incremental Construction of Pseudo-Minimal Automata (JD, DM, AS), pp. 341–342.

DLT-2005-Priese #graph #set

Semi-rational Sets of DAGs (LP), pp. 385–396.

CAiSE-2005-KittivoravitkulM #data flow

Integrating Unnormalised Semi-structured Data Sources (SK, PM), pp. 460–474.

ICEIS-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.

ICEIS-v5-2005-HansonNKF #user interface

Dynamic User Interfaces for Semi-Structured Conversations (JEH, PN, SK, PF), pp. 48–58.

CIKM-2005-XiongSK #database #learning #multi #privacy

Privacy leakage in multi-relational databases via pattern based semi-supervised learning (HX, MS, VK), pp. 355–356.

ICML-2005-KulisBDM #approach #clustering #graph #kernel

Semi-supervised graph clustering: a kernel approach (BK, SB, ISD, RJM), pp. 457–464.

ICML-2005-SindhwaniNB #learning

Beyond the point cloud: from transductive to semi-supervised learning (VS, PN, MB), pp. 824–831.

ICML-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.

SIGIR-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.

GPCE-2005-Mogensen #equation

Semi-inversion of Guarded Equations (TÆM), pp. 189–204.

SAC-2005-RaposoPAV #automation #maintenance #query #using #web

Automatic wrapper maintenance for semi-structured web sources using results from previous queries (JR, AP, MÁ, ÁV), pp. 654–659.

RTA-2005-MoczydlowskiG #termination #thread

Termination of Single-Threaded One-Rule Semi-Thue Systems (WM, AG), pp. 338–352.

CIAA-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.

ICALP-2004-FeigenbaumKMSZ #graph #on the #problem

On Graph Problems in a Semi-streaming Model (JF, SK, AM, SS, JZ), pp. 531–543.

ICALP-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.

ICEIS-v2-2004-ColaceSVF #algorithm #automation #learning #ontology

A Semi-Automatic Bayesian Algorithm for Ontology Learning (FC, MDS, MV, PF), pp. 191–196.

ICEIS-v3-2004-KazakovA #approach #automation #integration #logic

Semi-Automated Software Integration: An Approach Based on Logical Inference (MK, HA), pp. 527–530.

CIKM-2004-LiO #identification #learning #music

Semi-supervised learning for music artists style identification (TL, MO), pp. 152–153.

CIKM-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.

ICML-2004-BilenkoBM #clustering #constraints #learning #metric

Integrating constraints and metric learning in semi-supervised clustering (MB, SB, RJM).

ICML-2004-BlumLRR #learning #random #using

Semi-supervised learning using randomized mincuts (AB, JDL, MRR, RR).

ICML-2004-ChangY #adaptation #clustering #linear #metric

Locally linear metric adaptation for semi-supervised clustering (HC, DYY).

ICPR-v3-2004-JiaQD #detection #markov #modelling #online

An Advanced Segmental Semi-Markov Model Based Online Series Pattern Detection (SJ, YQ, GD), pp. 634–637.

KDD-2004-BasuBM #clustering #framework #probability

A probabilistic framework for semi-supervised clustering (SB, MB, RJM), pp. 59–68.

KDD-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.

PPDP-2004-ZhouSS #evaluation #linear

Semi-naive evaluation in linear tabling (NFZ, YDS, TS), pp. 90–97.

SAC-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.

SAC-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.

SAC-2004-MarkWC #automation #code generation #modelling #using

Using semi-lagrangian formulations with automatic code generation for environmental modeling (PvdM, LW, GC), pp. 229–234.

FATES-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.

RTA-2004-MitsuhashiOOY #confluence #problem #unification

The Joinability and Unification Problems for Confluent Semi-constructor TRSs (IM, MO, YO, TY), pp. 285–300.

ASE-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.

ICSM-2003-KnethenG #automation #impact analysis #named

QuaTrace: A Tool Environment for (Semi-) Automatic Impact Analysis Based on Traces (AvK, MG), pp. 246–255.

CIAA-2003-TozawaH #xml

XML Schema Containment Checking Based on Semi-implicit Techniques (AT, MH), pp. 213–225.

ICALP-2003-Doberkat #bisimulation #category theory #probability

Semi-pullbacks and Bisimulations in Categories of Stochastic Relations (EED), pp. 996–1007.

CHI-2003-HuangM

Semi-public displays for small, co-located groups (EMH, EDM), pp. 49–56.

ICML-2003-CozmanCC #learning #modelling

Semi-Supervised Learning of Mixture Models (FGC, IC, MCC), pp. 99–106.

ICML-2003-ZhuGL #learning #using

Semi-Supervised Learning Using Gaussian Fields and Harmonic Functions (XZ, ZG, JDL), pp. 912–919.

SEKE-2003-MeshkatFC #traceability

Traceability and Decision Capture in Semi-structured Contexts (LM, MSF, SLC), pp. 647–654.

ICLP-2003-Thielscher #automation

Controlling Semi-automatic Systems with FLUX (MT), pp. 515–516.

DAC-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.

HT-2002-StottsS #automation #video

Semi-automated Hyperlink markup for archived video (PDS, JMS), pp. 105–106.

VLDB-2002-Chakrabarti #fine-grained #mining

Searching and Mining Fine-Grained Semi-Structured Data (SC).

ICALP-2002-GrigorievHP #algebra #bound #exponential #proving

Exponential Lower Bound for Static Semi-algebraic Proofs (DG, EAH, DVP), pp. 257–268.

CAiSE-2002-SunL #algorithm #parallel #query

Parallel Query Processing Algorithms for Semi-structured Data (WS, KL), pp. 770–773.

ICEIS-2002-ChristoffelSS #adaptation #automation #generative

Semi-Automatic Wrapper Generation and Adaption: Living with Heterogeneity in a Market Environment (MC, BS, JS), pp. 65–72.

ICEIS-2002-PivkG #e-commerce

A Semi-Universal E-Commerce Agent (AP, MG), pp. 981–988.

ICML-2002-BasuBM #clustering

Semi-supervised Clustering by Seeding (SB, AB, RJM), pp. 27–34.

ICML-2002-KashimaK #kernel

Kernels for Semi-Structured Data (HK, TK), pp. 291–298.

ICML-2002-LanckrietCBGJ #kernel #learning #matrix #programming

Learning the Kernel Matrix with Semi-Definite Programming (GRGL, NC, PLB, LEG, MIJ), pp. 323–330.

ICML-2002-MusleaMK #learning #multi #robust

Active + Semi-supervised Learning = Robust Multi-View Learning (IM, SM, CAK), pp. 435–442.

ICPR-v3-2002-ChenHF #database #performance #sequence

Fast Semi-Local Alignment for DN Sequence Database Search (YSC, YPH, CSF), pp. 1019–1022.

ICPR-v3-2002-Saint-JeanF #algorithm #clustering #robust

A Robust Semi-Supervised EM-Based Clustering Algorithm with a Reject Option (CSJ, CF), pp. 399–402.

SIGIR-2002-SchmittCS #automation #generative #named

ExWrap: semi-automatic wrapper generation by example (BS, MC, JS), p. 452.

SAC-2002-DascaluH #approach #specification

An approach to integrating semi-formal and formal notations in software specification (SD, PH), pp. 1014–1020.

SAC-2002-KarageorgosTM #automation #design

Semi-automatic design of agent organisations (AK, SGT, NM), pp. 306–313.

CAV-2002-BinghamH #bound #model checking

Semi-formal Bounded Model Checking (JDB, AJH), pp. 280–294.

CSL-2002-BaazM #on the

On Generalizations of Semi-terms of Particularly Simple Form (MB, GM), pp. 382–396.

ISSTA-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.

ASE-2001-FredlundGN #automation #erlang #verification

Semi-Automated Verification of Erlang Code (LÅF, DG, TN), pp. 319–323.

DAC-2001-DushinaBG #generative #testing

Semi-Formal Test Generation with Genevieve (JD, MB, DG), pp. 617–622.

DAC-2001-NorthropL #design

A Semi-Custom Design Flow in High-Performance Microprocessor Design (GAN, PFL), pp. 426–431.

VLDB-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.

ICEIS-v1-2001-AmousJ #documentation #metadata

Metadata for the Semi-Structured Mono-Media Documents (IA, AJ), pp. 233–238.

CIKM-2001-BargW #proximity #scalability

Structural Proximity Searching for Large Collections of Semi-Structured Data (MB, RKW), pp. 175–182.

DAC-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.

ITiCSE-2000-Jackson #approach #assessment #automation #online

A semi-automated approach to online assessment (DJ), pp. 164–167.

FASE-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.

CIKM-2000-KimL #clustering #documentation #information management

A Semi-Supervised Document Clustering Technique for Information Organization (HjK, SgL), pp. 30–37.

CIKM-2000-LamL #documentation #learning

Learning to Extract Hierarchical Information from Semi-structured Documents (WL, WYL), pp. 250–257.

ICPR-v1-2000-MachiT #automation #detection #video

Video Shot Detection and Characterization in Semi-Automatic Digital Video Restoration (AM, MT), pp. 1855–1859.

ICPR-v1-2000-VogelBK #automation #image #segmentation

(Semi-) Automatic Segmentation in Historic Collections of Heraldic Images (JV, WTB, WK), pp. 1478–1481.

ICPR-v2-2000-GoodeG #classification #parametricity

Semi-Parametric Signal Classification (AJG, RHG), pp. 2622–2625.

ICPR-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.

ICPR-v4-2000-Shekhar #automation #monitoring

Semi-Automatic Video-to-Site Registration for Aerial Monitoring (CS0), pp. 4736–4739.

KDD-2000-YiS #classification #documentation

A classifier for semi-structured documents (JY, NS), pp. 340–344.

RTA-2000-Lohrey #confluence #problem #strict #word

Word Problems and Confluence Problems for Restricted Semi-Thue Systems (ML), pp. 172–186.

DAC-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.

ICSM-1999-ChuHLH #approach #design #formal method #reuse

A Semi-Formal Approach to Assist Software Design with Reuse (WCC, CPH, CWL, XH), pp. 256–264.

WCRE-1999-Koschke #automation #component #incremental

An Incremental Semi-Automatic Method for Component Recovery (RK), p. 256–?.

CAiSE-1999-CalvaneseGL #constraints #query

Queries and Constraints on Semi-structured Data (DC, GDG, ML), pp. 434–438.

CIKM-1999-Ribeiro-NetoLS

Extracting Semi-Structured Data Through Examples (BARN, AHFL, ASdS), pp. 94–101.

ICML-1999-WangM #markov #optimisation #process

Hierarchical Optimization of Policy-Coupled Semi-Markov Decision Processes (GW, SM), pp. 464–473.

ICML-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.

ECOOP-1999-BertinoGMM #approach

An Approach to Classify Semi-structured Objects (EB, GG, IM, MM), pp. 416–440.

TOOLS-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.

DATE-1998-AntolaPS #approach #detection #fault

A Low-Redundancy Approach to Semi-Concurrent Error Detection in Data Paths (AA, VP, MS), pp. 266–272.

SIGMOD-1998-Adelberg #automation #documentation #named

NoDoSE — A Tool for Semi-Automatically Extracting Semi-Structured Data from Text Documents (BA), pp. 283–294.

STOC-1998-BlumKRV #problem

Semi-Definite Relaxations for Minimum Bandwidth and other Vertex-Ordering Problems (AB, GK, RR, SV), pp. 100–105.

WIA-1998-Watson #algorithm #performance

A Fast New Semi-incremental Algorithm for the Construction of Minimal Acyclic DFAs (BWW), pp. 121–132.

ACIR-1998-Duffing #automation #image #interactive #retrieval

Text-Image Interaction for Image Retrieval and Semi-Automatic Indexing (GD).

ICPR-1998-LeaL #automation

Semi-automated Maltese front position determination (SML, ML), pp. 1382–1386.

ICPR-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.

KDD-1998-SinghCHSA #architecture #mining #robust

A Robust System Architecture for Mining Semi-Structured Data (LS, BC, RH, PS, KA), pp. 329–333.

CADE-1998-OliartS #algorithm #performance

A Fast Algorithm for Uniform Semi-Unification (AO, WS), pp. 239–253.

PODS-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.

WPC-1997-MarkovicHRB #automation #generative #source code

Semi-automatic Generation of Parallelizable Patterns from Source Code Examples (DM, JRH, CSR, SB), pp. 50–59.

STOC-1997-DuhF #approximate #optimisation

Approximation of k-Set Cover by Semi-Local Optimization (RcD, MF), pp. 256–264.

CAiSE-1997-WieringaDH #requirements

Integrating Semi-formal and Formal Requirements (RW, ED, SH), pp. 19–32.

CIKM-1997-SinghSC #concept #documentation #generative #using

Generating Association Rules from Semi-Structured Documents Using an Extended Concept Hierarchy (LS, PS, BC), pp. 193–200.

LOPSTR-1997-ChasseurD #constraints #logic programming

Logic Program Schemas, Constraints, and Semi-unification (EC, YD), pp. 69–89.

KBSE-1996-Ledru #specification

Complementing semi-formal specifications with Z (YL), p. 10.

SIGMOD-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.

ICSM-1996-ChowN #automation #library

Semi-automatic update of applications in response to library changes (KC, DN), p. 359–?.

STOC-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.

STOC-1996-BasuPR #algebra #set

Computing Roadmaps of Semi-Algebraic Sets (Extended Abstract) (SB, RP, MFR), pp. 168–173.

ICALP-1996-Senizergues #graph

Semi-Groups Acting on Context-Free Graphs (GS), pp. 206–218.

CIKM-1996-HuffmanB #retrieval

Notes Explorer: Entity-Based Retrieval in Shared, Semi-Structured Information Spaces (SBH, CB), pp. 99–106.

ICPR-1996-AdigaCR #automation #image #segmentation

Semi-automatic segmentation of tissue cells from confocal microscope images (PSUA, BBC, KR), pp. 494–497.

CADE-1996-Salzer #axiom #multi #quantifier

Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices (GS), pp. 688–702.

LICS-1996-MatiyasevichS #problem

Decision Problems for Semi-Thue Systems with a Few Rules (YM, GS), pp. 523–531.

RTA-1996-Senizergues #on the #problem #termination

On the Termination Problem for One-Rule Semi-Thue System (GS), pp. 302–316.

ICDAR-v2-1995-RyallSMM #automation

Semi-automatic delineation of regions in floor plans (KR, SMS, JM, MM), pp. 964–969.

VLDB-1995-TreschPL #classification #documentation

Type Classification of Semi-Structured Documents (MT, NP, AL), pp. 263–274.

ICSM-1995-BarrosBEQV #automation #impact analysis

Supporting impact analysis: a semi-automated technique and associated tool (SB, TB, AE, JPQ, JFV), pp. 42–51.

CIKM-1995-TreschL #classification #documentation

An Extensible Classifier for Semi-Structured Documents (MT, AL), pp. 226–233.

RTA-1995-Senizergues #algorithm #confluence #polynomial #testing

A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems (GS), pp. 194–209.

PLDI-1994-Krall #branch #predict #replication

Improving Semi-static Branch Prediction by Code Replication (AK), pp. 97–106.

ICALP-1994-GyssensBG #performance

Expressiveness of Efficient Semi-Deterministic Choice Constructs (MG, JVdB, DVG), pp. 106–117.

OOPSLA-1994-YellinS #adaptation #automation #interface #protocol

Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors (DMY, RES), pp. 176–190.

HT-1993-Perlman #hypermedia #information retrieval #tool support

Information Retrieval Techniques for Hypertext in the Semi-Structured Toolkit (GP), pp. 260–267.

VLDB-1993-SoensLSST #information management

The Rufus System: Information Organization for Semi-Structured Data (KAS, AL, PMS, JWS, JTI), pp. 97–107.

ICALP-1993-OchmanskiW #on the

On Regular Compatibility of Semi-Commutations (EO, PAW), pp. 445–456.

SAC-1993-Goforth #editing #interactive #simulation

Histogram Editing for Semi-Quantitative Data Input in Interactive Simulations (RRRG), pp. 627–633.

RTA-1993-Senizergues #decidability #problem #termination

Some Undecidable Termination Problems for Semi-Thue Systems (Abstract) (GS), p. 434.

KBSE-1992-AlmeidaRRA #specification

Transformation of a Semi-formal Specification to VDM (JD, AR, TR, VA), p. 7.

PODS-1992-BusscheG

Semi-determinism (JVdB, DVG), pp. 191–201.

ICALP-1992-ClerboutRZ

Semi-Commutations and Rational Expressions (MC, YR, WZ), pp. 113–125.

DAC-1991-CrastesSS

A Technology Mapping Method Based On Perfect And Semi-Perfect Matchings (MC, KS, GS), pp. 93–98.

ICALP-1991-DiekertOR #complexity #confluence #decidability #on the

On Confluent Semi-Commutations — Decidability and Complexity Results (VD, EO, KR), pp. 229–241.

STOC-1990-KfouryTU #problem

The Undecidability of the Semi-Unification Problem (Preliminary Report) (AJK, JT, PU), pp. 468–476.

ICSE-1990-Glynn #process

Semi Formal Process Model for Technology Transfer (GG), pp. 334–335.

ICALP-1989-ChazelleEGS #algebra

A Singly-Expenential Stratification Scheme for Real Semi-Algebraic Varieties and Its Applications (BC, HE, LJG, MS), pp. 179–193.

CSL-1989-Leiss #polymorphism #recursion

Polymorphic Recursion and Semi-Unification (HL), pp. 211–224.

ICALP-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.

LFP-1988-Henglein #type inference

Type Inference and Semi-Unification (FH), pp. 184–197.

DAC-1987-MinaiWB #approach #evaluation #heuristic #predict

A Discrete Heuristics Approach to Predictive Evaluation of Semi-Custom IC Layouts (AAM, RDW, FWB), pp. 770–776.

STOC-1987-Vazirani #performance #using

Efficiency Considerations in Using Semi-random Sources (Extended Abstract) (UVV), pp. 160–168.

CSCW-1986-MaloneGLRR #coordination

Semi-structured messages are surprisingly useful for computer-supported coordination (TWM, KRG, KYL, RR, DR), pp. 102–114.

SLP-1986-BorgwardtR86 #backtracking #distributed #prolog

Distributed Semi-intelligent Backtracking for a Stack-based AND-parallel Prolog (PB, DR), pp. 211–222.

SLP-1985-ChangD85 #analysis #backtracking #dependence #prolog

Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis (JHC, AMD), pp. 10–21.

DAC-1984-SabetySM #automation #generative #parallel

The semi-automatic generation of processing element control paths for highly parallel machines (TS, DES, BM), pp. 441–446.

DAC-1984-Zingale #how

The semi-custom revolution: How to thrive or survive (AZ), pp. 649–650.

VLDB-1984-YoshikawaK #difference #query

Processing Inequality Queries Based on Generalized Semi-Joins (MY, YK), pp. 416–428.

SIGMOD-1982-KambayashiYY #database #distributed #query #using

Query Processing for Distributed Databases Using Generalized Semi-Joins (YK, MY, SY), pp. 151–160.

SIGMOD-1982-Valduriez #algorithm #multi

Semi-Join Algorithms for Multiprocessor Systems (PV), pp. 225–233.

SIGMOD-1980-ChiuH #query

A Methodology for Interpreting Tree Queries Into Optimal Semi-Join Expressions (DMC, YCH), pp. 169–178.

ICALP-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.

SOSP-J-1975-ChuO76 #algorithm #analysis #markov

Analysis of the PFF Replacement Algorithm via a Semi-Markov Model (WWC, HO), pp. 298–304.

SIGFIDET-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.

DAC-1973-MuraT #automation #generative #interactive

An interactive system for semi-automatic artwork generation of printed circuit boards (AM, MT), p. 60.