Stem auto$ (all stems)

118 papers:

VLDB-2015-JayaramGL #graph #interactive #interface #named #query #visual notation

VIIQ: Auto-Suggestion Enabled Visual Interface for Interactive Graph Query Formulation (NJ, SG, CL), pp. 1940–1951.

TACAS-2015-TschannenFNP #functional #named #object-oriented #source code #verification

AutoProof: Auto-Active Functional Verification of Object-Oriented Programs (JT, CAF, MN, NP), pp. 566–580.

SIGIR-2015-LiDDCZB #behaviour #markov #process #query

Analyzing User’s Sequential Behavior in Query Auto-Completion via Markov Processes (LL, HD, AD, YC, HZ, RABY), pp. 123–132.

SIGIR-2015-ZhangGKDDCGH #adaptation #feedback #named #query

adaQAC: Adaptive Query Auto-Completion via Implicit Negative Feedback (AZ, AG, WK, HD, AD, YC, CAG, JH), pp. 143–152.

OOPSLA-2015-OuD #automation #memory management #named #order #parametricity

AutoMO: automatic inference of memory order parameters for C/C++11 (PO, BD), pp. 221–240.

SAC-2015-AgrawalP #as a service #named #quality

AutoQA: quality attributes as a service in cloud (AA, TVP), pp. 1464–1467.

ESEC-FSE-2015-MoranVBP #android #debugging

Auto-completing bug reports for Android applications (KM, MLV, CBC, DP), pp. 673–686.

ESEC-FSE-2015-ParameshwaranBS #scalability

Auto-patching DOM-based XSS at scale (IP, EB, SS, HD, AS, PS), pp. 272–283.

ICSE-v1-2015-FazziniSO #automation #csp #named #web

AutoCSP: Automatically Retrofitting CSP to Web Applications (MF, PS, AO), pp. 336–346.

CGO-2015-TangZLLHLG #multi #optimisation

Optimizing and auto-tuning scale-free sparse matrix-vector multiplication on Intel Xeon Phi (WTT, RZ, ML, YL, HPH, XL, RSMG), pp. 136–145.

ASE-2014-KuschkeM #modelling #process #uml

Pattern-based auto-completion of UML modeling activities (TK, PM), pp. 551–556.

CASE-2014-ChenLHLTCC #development #framework #industrial

Development of Auto-scaling Cloud Manufacturing Framework for machine tool industry (CCC, YCL, MHH, CYL, YJT, MSC, FTC), pp. 893–898.

SIGMOD-2014-MatsubaraSF #automation #co-evolution #mining #named #sequence

AutoPlait: automatic mining of co-evolving time sequences (YM, YS, CF), pp. 193–204.

VLDB-2014-ShangY #approximate #graph

Auto-Approximation of Graph Computing (ZS, JXY), pp. 1833–1844.

VLDB-2014-WangOYZZ #effectiveness #multi #retrieval

Effective Multi-Modal Retrieval based on Stacked Auto-Encoders (WW, BCO, XY, DZ, YZ), pp. 649–660.

HCI-AS-2014-NiedoberHMKSCJL #automation #case study #trust

Influence of Cultural, Organizational and Automation Factors on Human-Automation Trust: A Case Study of Auto-GCAS Engineers and Developmental History (DJN, NTH, GM, KK, MS, AC, WJ, JBL), pp. 473–484.

CIKM-2014-CaiLR #personalisation #query

Time-sensitive Personalized Query Auto-Completion (FC, SL, MdR), pp. 1599–1608.

CIKM-2014-HofmannMRS #interactive #query

An Eye-tracking Study of User Interactions with Query Auto Completion (KH, BM, FR, MS), pp. 549–558.

ICML-c2-2014-ChenWSB

Marginalized Denoising Auto-encoders for Nonlinear Representations (MC, KQW, FS, YB), pp. 1476–1484.

ICML-c2-2014-GregorDMBW #network

Deep AutoRegressive Networks (KG, ID, AM, CB, DW), pp. 1242–1250.

ICPR-2014-WangT #classification

Label-Denoising Auto-encoder for Classification with Inaccurate Supervision Information (DW, XT), pp. 3648–3653.

SIGIR-2014-JiangKCC #behaviour #learning #query

Learning user reformulation behavior for query auto-completion (JYJ, YYK, PYC, PJC), pp. 445–454.

SIGIR-2014-LiDWDCZ #2d #query

A two-dimensional click model for query auto-completion (YL, AD, HW, HD, YC, CZ), pp. 455–464.

SIGIR-2014-MitraSRH #interactive #on the #query

On user interactions with query auto-completion (BM, MS, FR, KH), pp. 1055–1058.

PPoPP-2014-SongH #3d #design #parallel

Designing and auto-tuning parallel 3-D FFT for computation-communication overlap (SS, JKH), pp. 181–192.

ASE-2013-WongYT #automation #generative #mining #named

AutoComment: Mining question and answer sites for automatic comment generation (EW, JY, LT), pp. 562–567.

SCAM-2013-Balachandran #bibliography #component #named

Fix-it: An extensible code auto-fix component in Review Bot (VB), pp. 167–172.

PLDI-2013-HungG #monitoring #named

AutoSynch: an automatic-signal monitor based on predicate tagging (WLH, VKG), pp. 253–262.

PLDI-2013-LiTCS #adaptation #multi #named

SMAT: an input adaptive auto-tuner for sparse matrix-vector multiplication (JL, GT, MC, NS), pp. 117–126.

CHI-2013-ZhuZ #agile #automation #low cost #named #prototype #tool support

AutoGami: a low-cost rapid prototyping toolkit for automated movable paper craft (KZ, SZ), pp. 661–670.

HIMI-LCCB-2013-NakajimaT #generative #learning #online

New Potential of E-learning by Re-utilizing Open Content Online — TED NOTE: English Learning System as an Auto-assignment Generator (AN, KT), pp. 108–117.

KDD-2013-ThorntonHHL #algorithm #classification #named #optimisation

Auto-WEKA: combined selection and hyperparameter optimization of classification algorithms (CT, FH, HHH, KLB), pp. 847–855.

KEOD-2013-DaramolaAAO #information management #ontology #using

Using Ontology-based Information Extraction for Subject-based Auto-grading (JOD, IA, IA, OOO), pp. 373–378.

RecSys-2013-KaminskasRS #hybrid #music #recommendation #using

Location-aware music recommendation using auto-tagging and hybrid matching (MK, FR, MS), pp. 17–24.

SIGIR-2013-Shokouhi #learning #personalisation #query

Learning to personalize query auto-completion (MS), pp. 103–112.

MoDELS-2013-KuschkeMR #modelling #process #recommendation

Recommending Auto-completions for Software Modeling Activities (TK, PM, PR), pp. 170–186.

MoDELS-2013-KuschkeMR #modelling #process #recommendation

Recommending Auto-completions for Software Modeling Activities (TK, PM, PR), pp. 170–186.

SAC-2013-KoukiL #named #scalability

SCAling: SLA-driven cloud auto-scaling (YK, TL), pp. 411–414.

HPDC-2013-BehzadHLABYKP #framework

A framework for auto-tuning HDF5 applications (BB, JH, HVTL, RAA, SB, YY, QK, P), pp. 127–128.

ASE-2012-ApelLL #performance #precise

Structured merge with auto-tuning: balancing precision and performance (SA, OL, CL), pp. 120–129.

SIGMOD-2012-AbiteboulAMS #learning #xml

Auto-completion learning for XML (SA, YA, TM, PS), pp. 669–672.

CIKM-2012-WangH0 #framework #image #learning #mining #web

A unified learning framework for auto face annotation by mining web facial images (DW, SCHH, YH), pp. 1392–1401.

ICML-2012-RifaiDVB #generative #process

A Generative Process for Contractive Auto-Encoders (SR, YD, PV, YB), p. 235.

ICPR-2012-GhoshC #analysis #automation #classification

Feature analysis for automatic classification of HEp-2 florescence patterns : Computer-Aided Diagnosis of Auto-immune diseases (SG, VC), pp. 174–177.

ICPR-2012-SnellCK #identification

Texture and shape in fluorescence pattern identification for auto-immune disease diagnosis (VS, WJC, JK), pp. 3750–3753.

SIGIR-2012-ShokouhiR #query

Time-sensitive query auto-completion (MS, KR), pp. 601–610.

OOPSLA-2012-BarowyCBM #framework #named

AutoMan: a platform for integrating human-based and digital computation (DWB, CC, EDB, AM), pp. 639–654.

ICSE-2012-FosterGL #ide #named #realtime #refactoring

WitchDoctor: IDE support for real-time auto-completion of refactorings (SRF, WGG, SL), pp. 222–232.

CGO-2012-ZhangM #3d #clustering #gpu

Auto-generation and auto-tuning of 3D stencil codes on GPU clusters (YZ, FM), pp. 155–164.

CAV-2012-Moskal #bound #c #infinity #verification

From C to Infinity and Back: Unbounded Auto-active Verification with VCC (MM), p. 6.

ICST-2012-MarianiPRS #automation #black box #interactive #named #testing

AutoBlackTest: Automatic Black-Box Testing of Interactive Applications (LM, MP, OR, MS), pp. 81–90.

ASE-2011-HuangNPGBT #automation #classification #fault #generative #named #orthogonal

AutoODC: Automated generation of Orthogonal Defect Classifications (LH, VN, IP, RG, XB, JT), pp. 412–415.

ASE-2011-NguyenNNN #fault #html #php #validation

Auto-locating and fix-propagating for HTML validation errors to PHP server-side code (HVN, HAN, TTN, TNN), pp. 13–22.

VLDB-2011-JoshiCNDH #email #performance

Auto-Grouping Emails For Faster E-Discovery (SJ, DC, KN, PMD, TH), pp. 1284–1294.

HCI-UA-2011-NagaiKI #learning #process

A Drawing Learning Support System with Auto-evaluating Function Based on the Drawing Process Model (TN, MK, KI), pp. 97–106.

ECIR-2011-AlbakourKNKSFR #evaluation #named #query #using

AutoEval: An Evaluation Methodology for Evaluating Query Suggestions Using Query Logs (MDA, UK, NN, YK, DS, MF, ANDR), pp. 605–610.

ICML-2011-RifaiVMGB #feature model

Contractive Auto-Encoders: Explicit Invariance During Feature Extraction (SR, PV, XM, XG, YB), pp. 833–840.

ICSE-2011-MarianiPRS #automation #black box #named #testing

AutoBlackTest: a tool for automatic black-box testing (LM, MP, OR, MS), pp. 1013–1015.

CGO-2011-AnselWCOEA #algorithm #compilation

Language and compiler support for auto-tuning variable-accuracy algorithms (JA, YLW, CPC, MO, AE, SPA), pp. 85–96.

CGO-2011-NuzmanDRRWYCZ

Vapor SIMD: Auto-vectorize once, run everywhere (DN, SD, ER, IR, KW, DY, AC, AZ), pp. 151–160.

ISMM-2011-SingerKBL #garbage collection #java #multi #pipes and filters

Garbage collection auto-tuning for Java mapreduce on multi-cores (JS, GK, GB, ML), pp. 109–118.

PPoPP-2011-DotsenkoBLG #fourier #performance

Auto-tuning of fast fourier transform on graphics processors (YD, SSB, BL, NKG), pp. 257–266.

DocEng-2010-MullerRB #file system

A file-type sensitive, auto-versioning file system (AM, SR, UMB), pp. 271–274.

ITiCSE-2010-BorstlerBBTHW #modelling #named

embed4Auto: a PLE for software modelling (JB, ÖFB, MHB, ST, MH, SW), p. 322.

CIKM-2010-NishidaF

Hierarchical auto-tagging: organizing Q&A knowledge for everyone (KN, KF), pp. 1657–1660.

ICPR-2010-PernekH #polynomial #problem #re-engineering

Perspective Reconstruction and Camera Auto-Calibration as Rectangular Polynomial Eigenvalue Problem (ÁP, LH), pp. 49–52.

KDIR-2010-BadrWF #automation #named #reduction #summary

AutoLSA: Automatic Dimension Reduction of LSA for Single-document Summarization (HB, NMW, MF), pp. 444–448.

RecSys-2010-Diaz-AvilesGSN #on the fly

LDA for on-the-fly auto tagging (EDA, MG, AS, WN), pp. 309–312.

LOPSTR-2010-SchumannCL #analysis #synthesis

Analysis of Air Traffic Track Data with the AutoBayes Synthesis System (JS, KC, AL), pp. 21–36.

ASE-2009-DenneyF #approach #documentation #traceability

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software (ED, BF), pp. 560–564.

PLDI-2009-TournavitisWFO #approach #detection #parallel #towards

Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping (GT, ZW, BF, MFPO), pp. 177–187.

DHM-2009-LiGZTY #3d

Auto-calibration of a Laser 3D Color Digitization System (XL, BzG, DZ, QgT, KDY), pp. 691–699.

HIMI-II-2009-JungLSY #framework #reliability #semantics #web #web service

Auto-complete for Improving Reliability on Semantic Web Service Framework (HJ, ML, WKS, BJY), pp. 36–44.

DocEng-2008-ObradorMMO #image #interactive #taxonomy

Image collection taxonomies for photo-book auto-population with intuitive interaction (PO, NM, IM, EOS), pp. 102–103.

DRR-2008-GaoTQ #approach #detection

A mixed approach to auto-detection of page body (LG, ZT, RQ), p. 68150.

ICSM-2008-ZhangGLZ08a #aspectj #automation #debugging #named

AutoFlow: An automatic debugging tool for AspectJ software (SZ, ZG, YL, JZ), pp. 470–471.

SEFM-2008-SampathRRS #behaviour #code generation #testing

Behaviour Directed Testing of Auto-code Generators (PS, ACR, SR, KCS), pp. 191–200.

CHI-2008-KatsanosTA #analysis #architecture #design #named #semantics #using #web

AutoCardSorter: designing the information architecture of a web site using latent semantic analysis (CK, NKT, NMA), pp. 875–878.

CHI-2008-PetrelliWB #named #physics #question #what

AutoTypography: what can physical mementos tell us about digital memories? (DP, SW, JB), pp. 53–62.

ICPR-2008-AshrafF #robust

Robust auto-calibration of a PTZ camera with non-overlapping FOV (NA, HF), pp. 1–4.

SIGMOD-2007-VardeRS #data mining #mining #named #optimisation #process #visual notation

AutoDomainMine: a graphical data mining system for process optimization (ASV, EAR, RDSJ), pp. 1103–1105.

HCI-IPT-2007-JinZWP #usability

Evaluating the Usability of an Auto-stereoscopic Display (ZXJ, YJZ, XW, TP), pp. 605–614.

SOSP-2007-SuAF #analysis #configuration management #named #operating system

AutoBash: improving configuration management with operating system causality analysis (YYS, MA, JF), pp. 237–250.

DAC-2006-YangCTRC #design

An up-stream design auto-fix flow for manufacturability enhancement (JY, EC, CT, NR, MC), pp. 73–76.

DATE-2006-HerkersdorfS #architecture #flexibility #named

AutoVision: flexible processor architecture for video-assisted driving (AH, WS), p. 556.

PLDI-2006-NuzmanRZ

Auto-vectorization of interleaved data for SIMD (DN, IR, AZ), pp. 132–143.

ICPR-v2-2006-DornaikaD #modelling #recognition #using

Facial Expression Recognition using Auto-regressive Models (FD, FD), pp. 520–523.

CGO-2006-NuzmanH #multi

Multi-platform Auto-vectorization (DN, RH), pp. 281–294.

DATE-2005-ZiegenbeinBFBRS #development #modelling #named

AutoMoDe — Model-Based Development of Automotive Software (DZ, PB, UF, AB, JR, BS), pp. 171–177.

CIAA-2005-KempeCEGN

A Class of Rational n-WFSM Auto-intersections (AK, JMC, JE, FG, FN), pp. 188–198.

VLDB-2004-BornhovdLHS #automation #case study #experience #framework #process

Integrating Automatic Data Acquisition with Business Processes — Experiences with SAP’s Auto-ID Infrastructure (CB, TL, SH, JS), pp. 1182–1188.

CAiSE-2004-BoydKLMR #data flow #integration #named #semistructured data

AutoMed: A BAV Data Integration System for Heterogeneous Data Sources (MB, SK, CL, PM, NR), pp. 82–97.

ICEIS-v2-2004-AnavattiYP #experience #network

An Experience with the Neural Network for Auto-Landing System of an Aircraft (SGA, CJY, FP), pp. 393–400.

ICPR-v1-2004-RaijP #multi

Auto-Calibration of Multi-Projector Display Walls (AR, MP), pp. 14–17.

ICPR-v4-2004-KobayashiO #higher-order #identification #multi #polynomial #using

Action and Simultaneous Multiple-Person Identification Using Cubic Higher-Order Local Auto-Correlation (TK, NO), pp. 741–744.

IJCAR-2004-DenneyFS #automation #proving #theorem proving #using

Using Automated Theorem Provers to Certify Auto-generated Aerospace Software (ED, BF, JS), pp. 198–212.

ASE-2003-FischerS #analysis #image

Applying AutoBayes to the Analysis of Planetary Nebulae Images (BF, JS), pp. 337–342.

VISSOFT-2003-WheeldonCK #comprehension #named #using

AutoCode: Using Memex-like Trails to Improve Program Comprehension (RW, SC, KK), pp. 48–52.

VISSOFT-2003-WheeldonCK1 #comprehension #named #using

AutoCode: Using Memex-like Trails to Improve Program Comprehension (RW, SC, KK), pp. 56–57.

CIKM-2003-ChengC #image #topic #web

Auto-generation of topic hierarchies for web images from users’ perspectives (PJC, LFC), pp. 544–547.

FATES-2003-HeimdahlRVDG #case study #model checking #sequence #testing #using

Auto-generating Test Sequences Using Model Checkers: A Case Study (MPEH, SR, WV, GD, JG), pp. 42–59.

FATES-2003-XuY #automation #framework #ml #named #novel #testing

JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit (G(X, ZY), pp. 70–85.

ICPR-v2-2002-HeydenH #constraints

Auto-Calibration via the Absolute Quadric and Scene Constraints (AH, DQH), pp. 631–634.

CADE-2002-WhalenSF #automation #certification #named #synthesis

AutoBayes/CC — Combining Program Synthesis with Automatic Code Certification — System Description (MWW, JS, BF), pp. 290–294.

SAT-2001-PattersonK #implementation #named #self

Auto-Walksat: A Self-Tuning Implementation of Walksat (DJP, HAK), pp. 360–368.

SIGMOD-2000-GillmannWSWW #distributed #workflow

A Goal-driven Auto-Configuration Tool for the Distributed Workflow Management System Mentor-lite (MG, JW, GS, WW, GW), p. 595.

ICPR-v1-2000-SeoH #constraints #orthogonal

Auto-Calibration from the Orthogonality Constraints (YS, AH), pp. 1067–1071.

SIGIR-2000-ChuangPLC #interactive #web

Auto-construction of a live thesaurus from search term logs for interactive Web search (SLC, HTP, WHL, LFC), pp. 334–336.

SIGMOD-1998-ChaudhuriN #analysis

AutoAdmin “What-if” Index Analysis Utility (SC, VRN), pp. 367–378.

TOOLS-USA-1998-FosterMN #architecture #case study #data-driven #distributed #experience #implementation #named

AutoPilot: Experiences Implementing a Distributed Data-Driven Agent Architecture (SSF, DM, BAN), pp. 259–268.

PPoPP-1997-FrensW #multi #performance #source code

Auto-blocking Matrix-Multiplication or Tracking BLAS3 Performance with Source Code (JDF, DSW), pp. 206–216.

AKDDM-1996-CheesemanS #classification

Bayesian Classification (AutoClass): Theory and Results (PC, JS), pp. 153–180.

SOSP-1995-WilkesGSS

The HP AutoRAID Hierarchical Storage System (JW, RAG, CS, TS), pp. 96–108.

CAV-1990-RoyS

Auto/Autograph (VR, RdS), pp. 65–75.

ML-1988-CheesemanKSSTF #classification #named

AutoClass: A Bayesian Classification System (PC, JK, MS, JS, WT, DF), pp. 54–64.

DAC-1985-Rosenberg #layout

Auto-interactive schematics to layout translation (JBR), pp. 82–87.

DAC-1982-Putatunda #automation #named

Auto-delay: A program for automatic calculation of delay in LSI/VLSI chips (RP), pp. 616–621.

SHARE-1964-Lavering #automation #design

AUTO CARD automated printed circuit board design (FBL).