BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
generat (430)
use (276)
system (250)
base (229)
model (217)

Stem automat$ (all stems)

2458 papers:

ECSAECSA-2015-KallelTTDK #architecture #automation #component #constraints #specification
Automatic Translation of Architecture Constraint Specifications into Components (SK, BT, CT, CD, AHK), pp. 322–338.
WICSAWICSA-2015-MoCKX #architecture #automation #detection #smell
Hotspot Patterns: The Formal Definition and Automatic Detection of Architecture Smells (RM, YC, RK, LX), pp. 51–60.
CASECASE-2015-CheungWCP #automation #parametricity
Optimization-based automatic parameter tuning for stereo vision (ECHC, JW, JC, JP), pp. 855–861.
CASECASE-2015-GleesonBBCL #automation #code generation #optimisation
Optimizing robot trajectories for automatic robot code generation (DG, SB, RB, JSC, BL), pp. 495–500.
CASECASE-2015-JiYA #automation #mobile #network #re-engineering
Automatic calibration and trajectory reconstruction of mobile robot in camera sensor network (YJ, AY, HA), pp. 206–211.
CASECASE-2015-KreutzerRREL #automation #detection #metric #using
Automatically detecting fluid intake using conductivity measurements of beverages in a cup (JFK, SR, SMFR, KE, TCL), pp. 1546–1551.
CASECASE-2015-LiLFZT #automation
Vision-based intelligent forklift Automatic Guided Vehicle (AGV) (LL, YL, MF, ZZ, HT), pp. 264–265.
CASECASE-2015-MicioFMBL #automation #mining #process #towards
RTLS-based Process Mining: Towards an automatic process diagnosis in healthcare (RM, FF, GM, PB, ML), pp. 1397–1402.
CASECASE-2015-NelaturiB0K #automation
Automatic spatial planning for machining operations (SN, GB, CF, TK), pp. 677–682.
CASECASE-2015-RacchettiTF #automation #documentation #generative #lifecycle #usability
Generating automatically the documentation from PLC code by D4T3 to improve the usability and life cycle management of software in automation (LR, LT, CF), pp. 168–173.
CASECASE-2015-SaksenaNKK #2d #assembly #automation #parametricity #using
Automatic tuning of impedance parameter using configuration space for two dimensional assembly system (AS, TN, JK, KK), pp. 1110–1117.
DACDAC-2015-LiZHLHX #automation #compilation #performance #stack
Compiler directed automatic stack trimming for efficient non-volatile processors (QL, MZ, JH, YL, YH, CJX), p. 6.
DACDAC-2015-WangLPC #automation #hybrid
Joint automatic control of the powertrain and auxiliary systems to enhance the electromobility in hybrid electric vehicles (YW, XL, MP, NC), p. 6.
DATEDATE-2015-DaneseGP #automation #behaviour #execution #modelling
Automatic extraction of assertions from execution traces of behavioural models (AD, TG, GP), pp. 67–72.
DATEDATE-2015-JoostenS #architecture #automation #communication #design #modelling
Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs (SJCJ, JS), pp. 1413–1418.
DATEDATE-2015-RiefertCSRB #automation #generative #on the #source code
On the automatic generation of SBST test programs for in-field test (AR, RC, MS, MSR, BB), pp. 1186–1191.
DocEngDocEng-2015-BatistaFTFLSSR #assessment #automation #summary
A Quantitative and Qualitative Assessment of Automatic Text Summarization Systems (JB, RF, HT, RF, RDL, SJS, GPeS, MR), pp. 65–68.
DocEngDocEng-2015-ChoudhuryMG #automation #documentation
Automatic Extraction of Figures from Scholarly Documents (SRC, PM, CLG), pp. 47–50.
DocEngDocEng-2015-FerreiraLCFSR #automation #classification #documentation #summary #using
Automatic Document Classification using Summarization Strategies (RF, RDL, LdSC, FF, SJS, MR), pp. 69–72.
DocEngDocEng-2015-HassanH #automation #documentation #flexibility #layout
Knuth-Plass Revisited: Flexible Line-Breaking for Automatic Document Layout (TH, AH), pp. 17–20.
DocEngDocEng-2015-LiangWWWPBSWBG #automation #framework #named
BBookX: An Automatic Book Creation Framework (CL, SW, ZW, KW, BP, BB, SS, HW, KB, CLG), pp. 121–124.
DocEngDocEng-2015-MarriottSW #automation #documentation #editing #named #visual notation
VEDD: A Visual Editor for Creation and Semi-Automatic Update of Derived Documents (KM, MS, MW), pp. 125–128.
DocEngDocEng-2015-SilvaFLCOSR #automation #documentation #machine learning #summary
Automatic Text Document Summarization Based on Machine Learning (GPeS, RF, RDL, LdSC, HO, SJS, MR), pp. 191–194.
DRRDRR-2015-ChandnaTJSKVBP #automation #image #workflow
Software workflow for the automatic tagging of medieval manuscript images (SWATI) (SC, DT, TJ, RS, CK, PV, HB, AP), p. 940206.
SIGMODSIGMOD-2015-El-RobyA #automation #linked data #named #open data
ALEX: Automatic Link Exploration in Linked Data (AER, AA), pp. 1839–1853.
SIGMODSIGMOD-2015-HuLWTGY #automation #documentation #named #social #social media #using
DocRicher: An Automatic Annotation System for Text Documents Using Social Media (QH, QL, XW, AKHT, SG, JY), pp. 901–906.
SIGMODSIGMOD-2015-UpadhyayaBS #automation #policy
Automatic Enforcement of Data Use Policies with DataLawyer (PU, MB, DS), pp. 213–225.
VLDBVLDB-2015-DiaoDLLPPP #automation #data analysis #interactive #named #navigation
AIDE: An Automatic User Navigation System for Interactive Data Exploration (YD, KD, ZL, WL, OP, KP, LP), pp. 1964–1975.
ITiCSEITiCSE-2015-InsaS #assessment #automation #domain-specific language #java #library
Semi-Automatic Assessment of Unrestrained Java Code: A Library, a DSL, and a Workbench to Assess Exams and Exercises (DI, JS), pp. 39–44.
ITiCSEITiCSE-2015-Rubio #analysis #automation #categorisation #clustering #programming #student #using
Automatic Categorization of Introductory Programming Students using Cluster Analysis (MAR), p. 340.
ESOPESOP-2015-0002S #automation #cost analysis #parallel #source code
Automatic Static Cost Analysis for Parallel Programs (JH, ZS), pp. 132–157.
ESOPESOP-2015-FetscherCPHF #automation #generative #random #type system
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System (BF, KC, MHP, JH, RBF), pp. 383–405.
ICSMEICSME-2015-AbidDCM #automation #c++ #generative #natural language #summary #using
Using stereotypes in the automatic generation of natural language summaries for C++ methods (NJA, ND, MLC, JIM), pp. 561–565.
ICSMEICSME-2015-SzokeNHFG #automation #case study #industrial #maintenance #refactoring
Do automatic refactorings improve maintainability? An industrial case study (GS, CN, PH, RF, TG), pp. 429–438.
MSRMSR-2015-ErcanSB #automation #predict #stack overflow
Automatic Assessments of Code Explanations: Predicting Answering Times on Stack Overflow (SE, QS, AB), pp. 442–445.
MSRMSR-2015-VeenGZ #automation
Automatically Prioritizing Pull Requests (EvdV, GG, AZ), pp. 357–361.
SANERSANER-2015-Morales #anti #automation #framework #towards
Towards a framework for automatic correction of anti-patterns (RM), pp. 603–604.
SANERSANER-2015-SharmaTL #automation #identification #named #twitter
NIRMAL: Automatic identification of software relevant tweets leveraging language model (AS, YT, DL), pp. 449–458.
SANERSANER-2015-WongLT #automation #generative #mining #named #source code
CloCom: Mining existing source code for automatic comment generation (EW, TL, LT), pp. 380–389.
SCAMSCAM-2015-GhafariGR #automation #identification #testing
Automatically identifying focal methods under test in unit test cases (MG, CG, KR), pp. 61–70.
SCAMSCAM-2015-SzokeNFFG #automation #named #refactoring #smell #tool support
FaultBuster: An automatic code smell refactoring toolset (GS, CN, LJF, RF, TG), pp. 253–258.
PEPMPEPM-2015-BinsbergenBD #attribute grammar #automation #dependence #order
Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection (LTvB, JB, AD), pp. 49–60.
PLDIPLDI-2015-ChuJT #automation #imperative #induction #proving #source code
Automatic induction proofs of data-structures in imperative programs (DHC, JJ, MTT), pp. 457–466.
PLDIPLDI-2015-PanchekhaSWT #automation #float
Automatically improving accuracy for floating point expressions (PP, ASS, JRW, ZT), pp. 1–11.
PLDIPLDI-2015-Sidiroglou-Douskos #automation #fault #multi
Automatic error elimination by horizontal code transfer across multiple applications (SSD, EL, FL, MR), pp. 43–54.
FMFM-2015-Damm #analysis #automation #lessons learnt #named #verification
AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned (WD), pp. 18–19.
FMFM-2015-MirandaMR #automation #design #generative #testing #using #verification
Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests (BM, HM, RR), pp. 601–604.
ICFPICFP-2015-RendelTO #automation #pattern matching #problem
Automatic refunctionalization to a language with copattern matching: with applications to the expression problem (TR, JT, KO), pp. 269–279.
CHICHI-2015-ButlerASGP #analysis #automation #design #game studies
Automatic Game Progression Design through Analysis of Solution Features (EB, EA, AMS, SG, ZP), pp. 2407–2416.
CHICHI-2015-KosmallaDK #automation #metric #named #recognition #using
ClimbSense: Automatic Climbing Route Recognition using Wrist-worn Inertia Measurement Units (FK, FD, AK), pp. 2033–2042.
CHICHI-2015-ORourkeAGP #automation #framework #generative #interactive
A Framework for Automatically Generating Interactive Instructional Scaffolding (EO, EA, SG, ZP), pp. 1545–1554.
CHICHI-2015-TungCYWC #automation #interactive #named
FlickBoard: Enabling Trackpad Interaction with Automatic Mode Switching on a Capacitive-sensing Keyboard (YCT, TYC, NHY, CW, MYC), pp. 1847–1850.
HCIDHM-EH-2015-ColomboFRV15a #automation #identification
Automatic Identification of Below-Knee Residuum Anatomical Zones (GC, GF, CR, AV), pp. 327–335.
HCIHCI-DE-2015-Semnani-AzadN #automation #behaviour
Automatic Interpretation of Negotiators’ Affect and Involvement Based on Their Non-verbal Behavior (ZSA, EN), pp. 520–529.
HCIHCI-IT-2015-SatoAOO #analysis #automation #classification #image
Automatic Classification Between Involuntary and Two Types of Voluntary Blinks Based on an Image Analysis (HS, KA, SO, MO), pp. 140–149.
HCIHCI-UC-2015-SanchezA #automation #detection #interface #internet
Automatic Deformations Detection in Internet Interfaces: ADDII (LS, PTAJ), pp. 43–53.
HCIHIMI-IKC-2015-MatsudaOHT #analysis #automation #generative #multi #problem #testing #using
Analysis of Multiple-Choice Tests Through Erroneous Choices Using a Technique of Automatic Problem Generation (NM, HO, TH, HT), pp. 362–369.
HCIHIMI-IKC-2015-MayerBPGV #automation #generative #process #using #visualisation
Automatic Generation of Integrated Process Data Visualizations Using Human Knowledge (FM, UB, DP, DG, BVH), pp. 488–498.
HCILCT-2015-Ai #automation #detection #fault #feedback #generative
Automatic Pronunciation Error Detection and Feedback Generation for CALL Applications (RA), pp. 175–186.
CAiSECAiSE-2015-MrasekMB #automation #declarative #generative #modelling #process #specification
Automatic Generation of Optimized Process Models from Declarative Specifications (RM, JAM, KB), pp. 382–397.
ICEISICEIS-v2-2015-CostaMAO #automation #consistency #detection #named #nondeterminism
Fixture — A Tool for Automatic Inconsistencies Detection in Context-aware SPL (PAdSC, FGM, RMdCA, TO), pp. 114–125.
ICEISICEIS-v3-2015-IatskiuGC #automation #generative
Automatic Generation of LIBRAS Signs by Graphic Symbols of SignWriting (CEAI, LSG, RdPC), pp. 71–78.
ECIRECIR-2015-DehghaniAMK #automation
Sources of Evidence for Automatic Indexing of Political Texts (MD, HA, MM, JK), pp. 568–573.
ECIRECIR-2015-LiTWLR #automation #network #quality #wiki
Automatically Assessing Wikipedia Article Quality by Exploiting Article-Editor Networks (XL, JT, TW, ZL, MdR), pp. 574–580.
KDDKDD-2015-RenEWH #approach #automation #corpus #mining #network #recognition #type system
Automatic Entity Recognition and Typing from Massive Text Corpora: A Phrase and Network Mining Approach (XR, AEK, CW, JH), pp. 2319–2320.
MLDMMLDM-2015-Perner #automation #feature model #image #mining
Automatic Cell Tracking and Kinetic Feature Description of Cell Paths for Image Mining (PP), pp. 441–451.
RecSysRecSys-2015-ElsweilerH #automation #recommendation #towards
Towards Automatic Meal Plan Recommendations for Balanced Nutrition (DE, MH), pp. 313–316.
RecSysRecSys-2015-KaragiannakisGS #automation #category theory #recommendation
OSMRec Tool for Automatic Recommendation of Categories on Spatial Entities in OpenStreetMap (NK, GG, DS, SA), pp. 337–338.
SEKESEKE-2015-KinneerKMW #automation #database #generative #performance #relational #search-based #testing
Automatically Evaluating the Efficiency of Search-Based Test Data Generation for Relational Database Schemas (CK, GMK, PM, CJW), pp. 352–357.
SEKESEKE-2015-LinYX #automation #detection #generative #parametricity #testing
Automatic Detection of Parameter Shielding for Test Case Generation (JL, JY, JX), pp. 571–574.
SEKESEKE-2015-TakahashiNT #automation #elicitation #feedback #requirements #topic #towards #using
Towards Automatic Requirements Elicitation from Feedback Comments: Extracting Requirements Topics Using LDA (HT, HN, TT), pp. 489–494.
SIGIRSIGIR-2015-GuoL #automation #generative #graph #music #recommendation
Automatic Feature Generation on Heterogeneous Graph for Music Recommendation (CG, XL), pp. 807–810.
MODELSMoDELS-J-2011-JacksonLB15 #automation #metamodelling #reasoning
Automatically reasoning about metamodeling (EKJ, TL, DB), pp. 271–285.
MODELSMoDELS-J-2011-JacksonLB15 #automation #metamodelling #reasoning
Automatically reasoning about metamodeling (EKJ, TL, DB), pp. 271–285.
AMTAMT-2015-DyckGLSG #automation #behaviour #model transformation #towards #verification
Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (JD, HG, LL, SS, SG), pp. 36–45.
ECOOPECOOP-2015-SchwerhoffS #automation #lightweight #verification
Lightweight Support for Magic Wands in an Automatic Verifier (MS, AJS), pp. 614–638.
OOPSLAOOPSLA-2015-CohenP #automation #data type #memory management
Automatic memory reclamation for lock-free data structures (NC, EP), pp. 260–279.
OOPSLAOOPSLA-2015-OuD #automation #memory management #named #order #parametricity
AutoMO: automatic inference of memory order parameters for C/C++11 (PO, BD), pp. 221–240.
PPDPPPDP-2015-Hofmann #analysis #automation
Automatic amortized analysis (MH), p. 5.
SACSAC-2015-BolockA #automation #constraints #generative #towards #using
Towards automatic poetry generation using constraint handling rules (AEB, SA), pp. 1868–1873.
SACSAC-2015-ManhaesCZ #automation #performance #predict #source code #student #towards
Towards automatic prediction of student performance in STEM undergraduate degree programs (LMBM, SMSdC, GZ), pp. 247–253.
SACSAC-2015-MateCEL #automation #multi #video
Automatic multi-camera remix from single video (SM, IDDC, AJE, AL), pp. 1270–1277.
ESEC-FSEESEC-FSE-2015-BangAB #automation #complexity #source code
Automatically computing path complexity of programs (LB, AA, TB), pp. 61–72.
ESEC-FSEESEC-FSE-2015-FuLB #analysis #automation #memory dump #memory management #pointer
Automatically deriving pointer reference expressions from binary code for memory dump analysis (YF, ZL, DB), pp. 614–624.
ESEC-FSEESEC-FSE-2015-PhamSS #automation #developer #recommendation
Automatically recommending test code examples to inexperienced developers (RP, YS, KS), pp. 890–893.
ESEC-FSEESEC-FSE-2015-RuscioKKMV #automation #framework #metric #named #open source
OSSMETER: a software measurement platform for automatically analysing open source software projects (DDR, DSK, IK, NDM, JJV), pp. 970–973.
ESEC-FSEESEC-FSE-2015-WangPGBI #automation #case study #named #specification #testing #tool support
UMTG: a toolset to automatically generate system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 942–945.
ICSEICSE-v1-2015-BarnettBBL #automation #bibliography #code review #composition #developer
Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets (MB, CB, JB, SKL), pp. 134–144.
ICSEICSE-v1-2015-FazziniSO #automation #csp #named #web
AutoCSP: Automatically Retrofitting CSP to Web Applications (MF, PS, AO), pp. 336–346.
ICSEICSE-v2-2015-Caracciolo #approach #architecture #automation #constraints #testing
A Unified Approach to Automatic Testing of Architectural Constraints (AC), pp. 871–874.
ICSEICSE-v2-2015-Escobar-Avila #automation #bytecode #categorisation #library #using
Automatic Categorization of Software Libraries Using Bytecode (JEA), pp. 784–786.
ICSEICSE-v2-2015-GoldsteinS #architecture #automation #validation
Automatic and Continuous Software Architecture Validation (MG, IS), pp. 59–68.
ICSEICSE-v2-2015-McBurney #automation #documentation #generative #source code #summary
Automatic Documentation Generation via Source Code Summarization (PWM), pp. 903–906.
ICSEICSE-v2-2015-VasquezCAP #automation #commit #generative #named
ChangeScribe: A Tool for Automatically Generating Commit Messages (MLV, LFCC, JA, DP), pp. 709–712.
ASPLOSASPLOS-2015-MullapudiVB #automation #image #named #optimisation #pipes and filters
PolyMage: Automatic Optimization for Image Processing Pipelines (RTM, VV, UB), pp. 429–443.
ASPLOSASPLOS-2015-Sidiroglou-Douskos #automation #branch #integer #using
Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement (SSD, EL, NR, PP, FL, DK, MCR), pp. 473–486.
CGOCGO-2015-LiYLZ #automation #gpu #memory management
Automatic data placement into GPU on-chip memory resources (CL, YY, ZL, HZ), pp. 23–33.
CGOCGO-2015-PorpodasMJ #automation #named
PSLP: padded SLP automatic vectorization (VP, AM, TMJ), pp. 190–201.
PPoPPPPoPP-2015-Golan-GuetaRSY #automation #scalability #semantics
Automatic scalable atomicity via semantic locking (GGG, GR, MS, EY), pp. 31–41.
CAVCAV-2015-LahiriSH #automation #equivalence
Automatic Rootcausing for Program Equivalence Failures in Binaries (SKL, RS, CH), pp. 362–379.
CAVCAV-2015-AlurRSTU #automation #distributed #protocol #symmetry
Automatic Completion of Distributed Protocols with Symmetry (RA, MR, CS, ST, AU), pp. 395–412.
CAVCAV-2015-ErezN #automation #bound #graph #smt #using
Finding Bounded Path in Graph Using SMT for Automatic Clock Routing (AE, AN), pp. 20–36.
CAVCAV-2015-ZouFZM #automation #difference #equation #safety #verification
Automatic Verification of Stability and Safety for Delay Differential Equations (LZ, MF, NZ, PNM), pp. 338–355.
ISSTAISSTA-2015-CongLYX #automation #fault #injection #robust #testing
Automatic fault injection for driver robustness testing (KC, LL, ZY, FX), pp. 361–372.
ISSTAISSTA-2015-DhokMR #automation #named #parallel #thread
Pegasus: automatic barrier inference for stable multithreaded systems (MD, RM, MKR), pp. 153–164.
ISSTAISSTA-2015-WangPGBI #automation #case study #generative #specification #testing
Automatic generation of system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 385–396.
ISSTAISSTA-2015-XieLLLC #automation #multi #named #string #summary
S-looper: automatic summarization for multipath string loops (XX, YL, WL, XL, HC), pp. 188–198.
RTARTA-2015-NageleFM #analysis #automation #confluence #term rewriting
Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules (JN, BF, AM), pp. 257–268.
TAPTAP-2015-BloemHRS #automation #case study #generative #implementation #testing
Case Study: Automatic Test Case Generation for a Secure Cache Implementation (RB, DMH, FR, RS), pp. 58–75.
VMCAIVMCAI-2015-AdjeG #automation #invariant #linear #polynomial #source code #synthesis
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs (AA, PLG), pp. 99–116.
VMCAIVMCAI-2015-Ferrara0N #automation
Automatic Inference of Heap Properties Exploiting Value Domains (PF, PM, MN), pp. 393–411.
QoSAQoSA-2014-WertOHF #anti #automation #component #detection #performance
Automatic detection of performance anti-patterns in inter-component communications (AW, MO, CH, RF), pp. 3–12.
WICSAWICSA-2014-WeinreichB #architecture #automation #consistency
Automatic Reference Architecture Conformance Checking for SOA-Based Software Systems (RW, GB), pp. 95–104.
ASEASE-2014-BasuB #automation #bound #interactive #verification
Automatic verification of interactions in asynchronous systems with unbounded buffers (SB, TB), pp. 743–754.
ASEASE-2014-KuchtaCCC #automation #documentation #named #towards
Docovery: toward generic automatic document recovery (TK, CC, MC, MC), pp. 563–574.
ASEASE-2014-LiuSLZWDW #automation #case study #detection #documentation #fault
Automatic early defects detection in use case documents (SL, JS, YL, YZ, BW, JSD, XW), pp. 785–790.
CASECASE-2014-CanaliCCSEC #assembly #automation #detection #industrial
An automatic assembly parts detection and grasping system for industrial manufacturing (CC, FC, FC, GS, AE, DGC), pp. 215–220.
CASECASE-2014-LeeSP #automation
Automatic optimal control of Field Assisted Sintering Technology (JL, JS, VP), pp. 764–769.
DACDAC-2014-KrautzPAKPB #automation #float #verification
Automatic Verification of Floating Point Units (UK, VP, AA, SK, SP, TB), p. 6.
DATEDATE-2014-KimH #automation #generative #parallel
Automatic generation of custom SIMD instructions for Superword Level Parallelism (TK, YH), pp. 1–6.
DATEDATE-2014-MurilloWCLA #automation #concurrent #constraints #debugging #detection
Automatic detection of concurrency bugs through event ordering constraints (LGM, SW, JC, RL, GA), pp. 1–6.
DATEDATE-2014-RiefertCSBRB #approach #automation #effectiveness #fault #functional #generative #testing
An effective approach to automatic functional processor test generation for small-delay faults (AR, LMC, MS, PB, MSR, BB), pp. 1–6.
DATEDATE-2014-ZhangS #automation #design #specification
Automatic specification granularity tuning for design space exploration (JZ, GS), pp. 1–6.
DocEngDocEng-2014-DadachevBB #automation #on the #segmentation
On automatic text segmentation (BD, AB, HB), pp. 73–80.
DRRDRR-2014-LiuWTLG #analysis #automation #comprehension #image
Automatic comic page image understanding based on edge segment analysis (DL, YW, ZT, LL, LG), p. ?–12.
HTHT-2014-ThomeeM #automation #equivalence
Automatic discovery of global and local equivalence relationships in labeled geo-spatial data (BT, GDFM), pp. 158–168.
SIGMODSIGMOD-2014-DimitriadouPD #automation #data analysis #framework #interactive #named #query
Explore-by-example: an automatic query steering framework for interactive data exploration (KD, OP, YD), pp. 517–528.
SIGMODSIGMOD-2014-MatsubaraSF #automation #co-evolution #mining #named #sequence
AutoPlait: automatic mining of co-evolving time sequences (YM, YS, CF), pp. 193–204.
SIGMODSIGMOD-2014-TaoBHJWNELRS #automation #named #network
NewsNetExplorer: automatic construction and exploration of news information networks (FT, GB, JH, HJ, CW, BN, AEK, JL, XR, YS), pp. 1091–1094.
VLDBVLDB-2014-ConwayAAH #automation #distributed #named #programming
Edelweiss: Automatic Storage Reclamation for Distributed Programming (NC, PA, EA, JMH), pp. 481–492.
VLDBVLDB-2014-VartakMPP #automation #generative #named #query #visualisation
SEEDB: Automatically Generating Query Visualizations (MV, SM, AGP, NP), pp. 1581–1584.
ITiCSEITiCSE-2014-DadicGR #automation #evaluation #source code #student
Automatic evaluation of students’ programs (TD, VG, MR), p. 328.
ITiCSEITiCSE-2014-MornarGM #algorithm #automation #generative #pseudo #visualisation
System for automatic generation of algorithm visualizations based on pseudocode interpretation (JM, AG, SM), pp. 27–32.
ESOPESOP-2014-KuwaharaTU0 #automation #functional #higher-order #source code #termination #verification
Automatic Termination Verification for Higher-Order Functional Programs (TK, TT, HU, NK), pp. 392–411.
FASEFASE-2014-PeiFNM #automation #contract #program repair
Automatic Program Repair by Fixing Contracts (YP, CAF, MN, BM), pp. 246–260.
SANERCSMR-WCRE-2014-LiH #automation #fortran #matlab #named
Mc2FOR: A tool for automatically translating MATLAB to FORTRAN 95 (XL, LJH), pp. 234–243.
SANERCSMR-WCRE-2014-LiH14a #automation #fortran #matlab
Mc2FOR demo: A tool for automatically translating MATLAB to FORTRAN 95 (XL, LJH), pp. 458–463.
SANERCSMR-WCRE-2014-MondalRS #automation #mining #ranking #refactoring
Automatic ranking of clones for refactoring through mining association rules (MM, CKR, KAS), pp. 114–123.
SANERCSMR-WCRE-2014-TomassettiRT #automation
Spotting automatically cross-language relations (FT, GR, MT), pp. 338–342.
ICPCICPC-2014-McBurneyM #automation #documentation #generative #source code #summary
Automatic documentation generation via source code summarization of method context (PWM, CM), pp. 279–290.
ICSMEICSME-2014-AlalfiRSSDC #automation #identification #modelling #representation #variability
Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models (MHA, EJR, AS, MS, TRD, JRC), pp. 486–490.
ICSMEICSME-2014-AlvesSD #automation #process #quality #standard
Applying ISO/IEC 25010 Standard to Prioritize and Solve Quality Issues of Automatic ETL Processes (TLA, PS, MSD), pp. 573–576.
ICSMEICSME-2014-ZhangHD #automation #parallel #scalability #simulation #tool support #validation
Tools for Enabling Automatic Validation of Large-Scale Parallel Application Simulations (DZ, GH, DD), pp. 601–604.
MSRMSR-2014-LemosPZL #automation #code search #interface #query
Thesaurus-based automatic query expansion for interface-driven code search (OALL, ACdP, FCZ, CVL), pp. 212–221.
MSRMSR-2014-NguyenNHNF #automation #case study #identification #industrial #performance
An industrial case study of automatically identifying performance regression-causes (THDN, MN, AEH, MNN, PF), pp. 232–241.
SCAMSCAM-2014-Cortes-CoyVAP #automation #commit #generative #on the #source code #summary
On Automatically Generating Commit Messages via Summarization of Source Code Changes (LFCC, MLV, JA, DP), pp. 275–284.
SCAMSCAM-2014-MondalRS #automation #identification #refactoring
Automatic Identification of Important Clones for Refactoring and Tracking (MM, CKR, KAS), pp. 11–20.
PLDIPLDI-2014-LongSR #automation #fault #runtime
Automatic runtime error repair and containment via recovery shepherding (FL, SSD, MCR), p. 26.
SASSAS-2014-CoxCR #analysis #automation #source code
Automatic Analysis of Open Objects in Dynamic Language Programs (AC, BYEC, XR), pp. 134–150.
SASSAS-2014-SamantaOE #automation #cost analysis #program repair
Cost-Aware Automatic Program Repair (RS, OO, EAE), pp. 268–284.
DLTDLT-J-2013-GocRRS14 #automation #on the #word
On the number of Abelian Bordered Words (with an Example of Automatic Theorem-Proving) (DG, NR, MR, PS), pp. 1097–1110.
DLTDLT-2014-BerdinskyK #automation #graph #on the #transitive
On Automatic Transitive Graphs (DB, BK), pp. 1–12.
FMFM-2014-DammF #automation #composition #distributed #synthesis
Automatic Compositional Synthesis of Distributed Systems (WD, BF), pp. 179–193.
FMFM-2014-LeinoM #automation #induction #proving #verification
Co-induction Simply — Automatic Co-inductive Proofs in a Program Verifier (KRML, MM), pp. 382–398.
CHICHI-2014-GouZY #automation #comprehension #social #social media
KnowMe and ShareMe: understanding automatically discovered personality traits from social media and user sharing preferences (LG, MXZ, HY), pp. 955–964.
CHICHI-2014-LiuMBP #automation #education #towards
Towards automatic experimentation of educational knowledge (YEL, TM, EB, ZP), pp. 3349–3358.
CHICHI-2014-SetlurM #automation #encoding #generative #semantics #visualisation
Automatic generation of semantic icon encodings for visualizations (VS, JDM), pp. 541–550.
CHICHI-2014-Vosoughi #automation #recognition #speech #visual notation
Improving automatic speech recognition through head pose driven visual grounding (SV), pp. 3235–3238.
CHICHI-2014-WangCCHC #automation #interactive #named #smarttech
EverTutor: automatically creating interactive guided tutorials on smartphones by user demonstration (CYW, WCC, HRC, CYH, MYC), pp. 4027–4036.
HCIHCI-TMT-2014-MatsumotoKKA #adaptation #automation #learning #student #word
Evaluating an Automatic Adaptive Delivery Method of English Words Learning Contents for University Students in Science and Technology (SM, TK, TK, MA), pp. 510–520.
HCIHCI-TMT-2014-SiliMMGP #automation #generative #question #user interface #what
A Practical Solution for the Automatic Generation of User Interfaces — What Are the Benefits of a Practical Solution for the Automatic Generation of User Interfaces? (MS, CCM, MM, MG, MP), pp. 445–456.
CAiSECAiSE-2014-NobauerSG #analysis #approach #automation #evaluation #product line #similarity
Similarity Analysis within Product Line Scoping: An Evaluation of a Semi-automatic Approach (MN, NS, IG), pp. 165–179.
CAiSECAiSE-2014-SubeljBKB #mining #process
Automatization of the Stream Mining Process (LS, ZB, MK, MB), pp. 409–423.
EDOCEDOC-2014-FlorezSV #analysis #approach #automation #enterprise #modelling
Extensible Model-Based Approach for Supporting Automatic Enterprise Analysis (HF, MES, JV), pp. 32–41.
ICEISICEIS-v2-2014-DingTZ #automation #c #c++ #source code
Automatic Removal of Buffer Overflow Vulnerabilities in C/C++ Programs (SD, HBKT, HZ), pp. 49–59.
ICEISICEIS-v2-2014-Silva #automation #framework #quality #requirements #specification #validation
Quality of Requirements Specifications — A Framework for Automatic Validation of Requirements (ARdS), pp. 96–107.
ICEISICEIS-v3-2014-BernardoSB #automation #recognition #spreadsheet
Automatic Interpretation Biodiversity Spreadsheets Based on Recognition of Construction Patterns (IRB, AS, MCCB), pp. 57–68.
CIKMCIKM-2014-YangLLLH #automation #clustering #detection #multi #social #using
Automatic Social Circle Detection Using Multi-View Clustering (YY, CL, XL, BL, JH), pp. 1019–1028.
ECIRECIR-2014-AlbornozASG #automation #monitoring #named #online #twitter
ORMA: A Semi-automatic Tool for Online Reputation Monitoring in Twitter (JCdA, EA, DS, JG), pp. 742–745.
ECIRECIR-2014-CeroniF #automation #towards #validation
Towards an Entity-Based Automatic Event Validation (AC, MF), pp. 605–611.
ECIRECIR-2014-KimJHLY #automation #classification
Quality-Based Automatic Classification for Presentation Slides (SK, WJ, KH, JGL, MYY), pp. 638–643.
ECIRECIR-2014-KumarBP #automation
Automatically Retrieving Explanatory Analogies from Webpages (VK, SB, NP), pp. 481–486.
ICPRICPR-2014-AndreuLMG #analysis #automation #classification #gender #image
Analysis of the Effect of Image Resolution on Automatic Face Gender Classification (YA, JLC, RAM, PGS), pp. 273–278.
ICPRICPR-2014-AytekinKG #automation #quantum #segmentation
Automatic Object Segmentation by Quantum Cuts (ÇA, SK, MG), pp. 112–117.
ICPRICPR-2014-BanerjeeCM #automation #classification #game studies #generative #wiki
Playscript Classification and Automatic Wikipedia Play Articles Generation (SB, CC, PM), pp. 3630–3635.
ICPRICPR-2014-BruneauPO #algorithm #automation #clustering #heuristic
A Heuristic for the Automatic Parametrization of the Spectral Clustering Algorithm (PB, OP, BO), pp. 1313–1318.
ICPRICPR-2014-DengXWWCW #automation
Automatic Gait Motion Capture with Missing-Marker Fillings (XD, SX, WW, ZW, LC, HW), pp. 2507–2512.
ICPRICPR-2014-EikvilH #automation #evaluation #identification #performance
Evaluation of Binary Descriptors for Fast and Fully Automatic Identification (LE, MH), pp. 154–159.
ICPRICPR-2014-EnsafiLKT #automation #classification #image
Automatic CAD System for HEp-2 Cell Image Classification (SE, SL, AAK, CLT), pp. 3321–3326.
ICPRICPR-2014-GuoCLHS #ambiguity #automation #identification #multi
Multi-shot Person Re-identification with Automatic Ambiguity Inference and Removal (CCG, SZC, JHL, XJH, SCS), pp. 3540–3545.
ICPRICPR-2014-JangLSK #automation #classification #multi #using #video
Automatic Video Genre Classification Using Multiple SVM Votes (WDJ, CL, JYS, CSK), pp. 2655–2660.
ICPRICPR-2014-JoshiGG #automation #predict #using #visual notation
Automatic Prediction of Perceived Traits Using Visual Cues under Varied Situational Context (JJ, HG, RG), pp. 2855–2860.
ICPRICPR-2014-LiuWCL #automation #category theory #image #learning
Automatic Image Attribute Selection for Zero-Shot Learning of Object Categories (LL, AW, SC, BCL), pp. 2619–2624.
ICPRICPR-2014-MolderCCH #automation #detection #reduction #using
Automatic Detection of Embryo Location in Medical Imaging Using Trigonometric Rotation for Noise Reduction (ALM, SC, NC, GH), pp. 3239–3244.
ICPRICPR-2014-OnoKKF #2d #automation #recognition #robust
A Two-Dimensional Barcode with Robust Decoding against Distortion and Occlusion for Automatic Recognition of Garbage Bags (SO, YK, HK, SF), pp. 2879–2884.
ICPRICPR-2014-OrriteRHRV #automation #recognition #segmentation #sequence
Automatic Segmentation and Recognition of Human Actions in Monocular Sequences (CO, MR, EH, GR, SAV), pp. 4218–4223.
ICPRICPR-2014-PanagiotakisK #automation #detection #fault
Automatic Enhancement and Detection of Active Sea Faults from Bathymetry (CP, EK), pp. 855–860.
ICPRICPR-2014-RaghavendraRYB #assessment #automation #empirical #matrix #quality #using #video
Automatic Face Quality Assessment from Video Using Gray Level Co-occurrence Matrix: An Empirical Study on Automatic Border Control System (RR, KBR, BY, CB), pp. 438–443.
ICPRICPR-2014-WangS #automation #dataset #multi #segmentation #using
Automatic Multi-organ Segmentation in Non-enhanced CT Datasets Using Hierarchical Shape Priors (CW, ÖS), pp. 3327–3332.
ICPRICPR-2014-WernerANWGT #automation #recognition #video
Automatic Pain Recognition from Video and Biomedical Signals (PW, AAH, RN, SW, SG, HCT), pp. 4582–4587.
ICPRICPR-2014-WilliamsCD #automation #human-computer #on the #recognition
On Human Perception and Automatic Target Recognition: Strategies for Human-Computer Cooperation (DPW, MC, SD), pp. 4690–4695.
ICPRICPR-2014-XianCZ #approach #automation #image #segmentation
A Fully Automatic Breast Ultrasound Image Segmentation Approach Based on Neutro-Connectedness (MX, HDC, YZ), pp. 2495–2500.
ICPRICPR-2014-YanTZZBYMM #assessment #automation #segmentation
Automatic Liver Segmentation and Hepatic Fat Fraction Assessment in MRI (ZY, CT, SZ, YZ, BB, HJY, CM, DNM), pp. 3280–3285.
ICPRICPR-2014-YuncuHB #automation #modelling #recognition #speech #using
Automatic Speech Emotion Recognition Using Auditory Models with Binary Decision Tree and SVM (EY, HH, CB), pp. 773–778.
KDDKDD-2014-MatsubaraSPF #automation #mining #named
FUNNEL: automatic mining of spatially coevolving epidemics (YM, YS, WGvP, CF), pp. 105–114.
KDDKDD-2014-Melli #automation #parsing #semantics
Shallow semantic parsing of product offering titles (for better automatic hyperlink insertion) (GM), pp. 1670–1678.
KDIRKDIR-2014-FouratiJG #automation #documentation
Automatic Audiovisual Documents Genre Description (MF, AJ, FG), pp. 538–543.
KDIRKDIR-2014-OliveiraBSC #automation #classification #clustering #twitter
Combining Clustering and Classification Approaches for Reducing the Effort of Automatic Tweets Classification (EO, HGB, MRS, PMC), pp. 465–472.
KEODKEOD-2014-HarzallahBGK #automation #experience #ontology #problem #quality
Ontology Quality Problems — An Experience with Automatically Generated Ontologies (MH, GB, TG, PK), pp. 120–129.
KEODKEOD-2014-NefziFFS #automation #ontology #process
A Semi-automatic Mapping Selection in the Ontology Alignment Process (HN, MF, IRF, BS), pp. 459–466.
KEODKEOD-2014-TakahashiTTL #automation #industrial #standard #web
An Automatic Coding System with a Three-Grade Confidence Level Corresponding to the National/International Occupation and Industry Standard — Open to the Public on the Web (KT, HT, ST, WL), pp. 369–375.
KMISKMIS-2014-WitschelTL #automation #navigation #topic
Where Did I(T) Put It? — A Holistic Solution to the Automatic Construction of Topic Trees for Navigation (HFW, BT, JL), pp. 194–202.
MLDMMLDM-2014-MalenichevSKMM #automation
An Automatic Matching Procedure of Ultrasonic Railway Defectograms (AM, VS, OK, VM, AM), pp. 315–327.
RecSysRecSys-2014-BadenesBCGHMNPSSXYZ #automation #people #recommendation #social #social media
System U: automatically deriving personality traits from social media for people recommendation (HB, MNB, JC, LG, EMH, JM, JWN, AP, JS, BAS, YX, HY, MXZ), pp. 373–374.
SEKESEKE-2014-ChenX #automation #consistency #mobile #towards #web
Towards Automatic Consistency Checking between Web Application and its Mobile Application (XC, ZX), pp. 53–58.
SEKESEKE-2014-LiLWC #automation #data access #generative #policy #testing
Automatic XACML requests generation for testing access control policies (YL, YL, LW, GC), pp. 217–222.
SIGIRSIGIR-2014-GuptaBV #automation #named
CharBoxes: a system for automatic discovery of character infoboxes from books (MG, PB, VV), pp. 1255–1256.
SIGIRSIGIR-2014-McParlaneJ14a #automation #image #novel
A novel system for the semi automatic annotation of event images (PJM, JMJ), pp. 1269–1270.
AMTAMT-2014-RentschlerWNHR #automation #clustering #legacy #model transformation
Remodularizing Legacy Model Transformations with Automatic Clustering Techniques (AR, DW, QN, LH, RR), pp. 4–13.
OOPSLAOOPSLA-2014-HoltBCO #automation #locality #migration #named
Alembic: automatic locality extraction via migration (BH, PB, LC, MO), pp. 879–894.
OOPSLAOOPSLA-2014-ToschB #automation #debugging #named #programming
SurveyMan: programming and automatically debugging surveys (ET, EDB), pp. 197–211.
GPCEGPCE-2014-HessGP #automation #interface
Automatic locality-friendly interface extension of numerical functions (BH, TRG, MP), pp. 83–92.
GPCEGPCE-2014-RuprechtHL #automation #feature model #product line #scalability
Automatic feature selection in large-scale system-software product lines (AR, BH, DL), pp. 39–48.
RERE-2014-RiazKSW #automation #identification #natural language #requirements #security
Hidden in plain sight: Automatically identifying security requirements from natural language artifacts (MR, JTK, JS, LAW), pp. 183–192.
REFSQREFSQ-2014-KnaussO #automation #categorisation #natural language #requirements
(Semi-) automatic Categorization of Natural Language Requirements (EK, DO), pp. 39–54.
SACSAC-2014-CamposM #automation #categorisation
Automatic categorization of questions from Q&A sites (ECC, MdAM), pp. 641–643.
SACSAC-2014-HundtSSGD #automation #invariant #named #similarity
GEM: an elastic and translation-invariant similarity measure with automatic trend adjustment (CH, BS, ES, HG, HVD), pp. 105–112.
SACSAC-2014-LopezTCC #algorithm #automation #design
Design of an automatic demand-side management system based on evolutionary algorithms (EGL, AT, SC, VC), pp. 525–530.
SACSAC-2014-MitranCB #automation #image #ranking
GeoTime-based tag ranking model for automatic image annotation (MM, GC, MB), pp. 896–901.
SACSAC-2014-NguyenJ0B #automation #diagrams #embedded #modelling #realtime #uml
Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software (MCN, EJ, JC, DHB), pp. 1140–1145.
SACSAC-2014-SantannaSB #automation #image #retrieval #towards
Content-based image retrieval towards the automatic characterization of soybean seed vigor (MGFS, PTMS, PHB), pp. 964–969.
SACSAC-2014-Silva #approach #automation #bibliography #quality #requirements #specification #validation
Quality of requirements specifications: a preliminary overview of an automatic validation approach (ARdS), pp. 1021–1022.
SACSAC-2014-VidalCNM #approach #automation #generative
A semi-automatic approach for generating customized R2RML mappings (VMPV, MAC, LETN, JMM), pp. 316–322.
FSEFSE-2014-KrkaBM #automation #invariant #mining #specification
Automatic mining of specifications from invocation traces and method invariants (IK, YB, NM), pp. 178–189.
FSEFSE-2014-LiAG #automation #javascript #named #testing #web
SymJS: automatic symbolic testing of JavaScript web applications (GL, EA, IG), pp. 449–459.
FSEFSE-2014-MorenoBPOMC #automation #generative
Automatic generation of release notes (LM, GB, MDP, RO, AM, GC), pp. 484–495.
FSEFSE-2014-TaoKKX #automation #debugging
Automatically generated patches as debugging aids: a human study (YT, JK, SK, CX), pp. 64–74.
ICSEICSE-2014-Monperrus #automation #bibliography #evaluation #generative #problem
A critical review of “automatic patch generation learned from human-written patches”: essay on the problem statement and the evaluation of automatic software repair (MM), pp. 234–242.
ASPLOSASPLOS-2014-WaterlandAAAS #automation #named #scalability
ASC: automatically scalable computation (AW, EA, RPA, JA, MIS), pp. 575–590.
CGOCGO-2014-JuegaGTC #adaptation #automation #code generation #parametricity
Adaptive Mapping and Parameter Selection Scheme to Improve Automatic Code Generation for GPUs (JCJ, JIG, CT, FC), p. 251.
LCTESLCTES-2014-RoyRWW #analysis #approximate #automation #named
ASAC: automatic sensitivity analysis for approximate computing (PR, RR, CW, WFW), pp. 95–104.
OSDIOSDI-2014-MullerAAC #automation #manycore #named #parallel
Pydron: Semi-Automatic Parallelization for Multi-Core and the Cloud (SCM, GA, AA, AC), pp. 645–659.
PPoPPPPoPP-2014-Golan-GuetaRSY #automation #semantics
Automatic semantic locking (GGG, GR, MS, EY), pp. 385–386.
CAVCAV-2014-AlglaveKNP #approach #automation #static analysis
Don’t Sit on the Fence — A Static Analysis Approach to Automatic Fence Insertion (JA, DK, VN, DP), pp. 508–524.
CAVCAV-2014-ChengHRS #automation #generative #named #source code
G4LTL-ST: Automatic Generation of PLC Programs (CHC, CHH, HR, SS), pp. 541–549.
CAVCAV-2014-LesaniMP #automation #concurrent #data type #verification
Automatic Atomicity Verification for Clients of Concurrent Data Structures (ML, TDM, JP), pp. 550–567.
CAVCAV-2014-Nadel #automation #generative
Bit-Vector Rewriting with Automatic Rule Generation (AN), pp. 663–679.
ICSTICST-2014-DemuthLE #automation #incremental #optimisation #product line
Automatic and Incremental Product Optimization for Software Product Lines (AD, RELH, AE), pp. 31–40.
ICSTICST-2014-HuntBF #automation #testing #user interface
Automatic Testing of Natural User Interfaces (CJH, GB, GF), pp. 123–132.
ICSTICST-2014-Marin #approach #automation #database #multi #testing
A Data-Agnostic Approach to Automatic Testing of Multi-dimensional Databases (MM), pp. 133–142.
ICSTICST-2014-TokumotoSSUW #automation #industrial #locality
Semi-automatic Incompatibility Localization for Re-engineered Industrial Software (ST, KS, KS, TU, HW), pp. 91–94.
ICTSSICTSS-2014-AbdelmoulaGA #automation #embedded #generative #named #testing
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems (MA, DG, MA), pp. 97–112.
IJCARIJCAR-2014-GieslBEFFOPSSST #automation #proving #source code #termination
Proving Termination of Programs Automatically with AProVE (JG, MB, FE, FF, CF, CO, MP, PSK, TS, SS, RT), pp. 184–191.
ISSTAISSTA-2014-LinK #automation #concurrent #multi #satisfiability #source code #thread #using
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability (YL, SSK), pp. 237–247.
RTARTA-TLCA-2014-CreusG #automation #context-free grammar #evaluation
Automatic Evaluation of Context-Free Grammars (System Description) (CC, GG), pp. 139–148.
ICSTSAT-2014-CreusFG #automation #evaluation #problem #reduction
Automatic Evaluation of Reductions between NP-Complete Problems (CC, PF, GG), pp. 415–421.
ECSAECSA-2013-ChristensenH #architecture #automation #prototype #slicing #towards
Architectural Slicing: Towards Automatic Harvesting of Architectural Prototypes (HBC, KMH), pp. 316–319.
ASEASE-2013-AvazpourGG #automation #model transformation #specification #tool support #using #visualisation
Tool support for automatic model transformation specification using concrete visualisations (IA, JG, LG), pp. 718–721.
ASEASE-2013-SagdeoEPV #automation #debugging #invariant #locality #testing #using
Using automatically generated invariants for regression testing and bug localization (PS, NE, DP, SV), pp. 634–639.
ASEASE-2013-TasharofiPLJ #automation #named #source code #testing
Bita: Coverage-guided, automatic testing of actor programs (ST, MP, YL, REJ), pp. 114–124.
ASEASE-2013-ThungWLL #api #automation #feature model #recommendation
Automatic recommendation of API methods from feature requests (FT, SW, DL, JLL), pp. 290–300.
ASEASE-2013-WongYT #automation #generative #mining #named
AutoComment: Mining question and answer sites for automatic comment generation (EW, JY, LT), pp. 562–567.
ASEASE-2013-Wu0LD #analysis #automation #component #dependence #using
Automatically partition software into least privilege components using dynamic data dependency analysis (YW, JS, YL, JSD), pp. 323–333.
ASEASE-2013-WuestSG #automation #generative #metamodelling #sketching
Semi-automatic generation of metamodels from model sketches (DW, NS, MG), pp. 664–669.
ASEASE-2013-Zhang0SLMD #automation #constraints #detection #symmetry
Constraint-based automatic symmetry detection (SJZ, JS, CS, YL, JM, JSD), pp. 15–25.
ASEASE-2013-ZhangS #automation #query #sql
Automatically synthesizing SQL queries from input-output examples (SZ, YS), pp. 224–234.
CASECASE-2013-ChenHCHW #automation #maintenance #predict
Automatic baseline-sample-selection scheme for baseline predictive maintenance (CFC, YSH, FTC, HCH, SCW), pp. 183–188.
CASECASE-2013-LiSZL #assessment #automation #difference #quality #simulation
Sensor data quality assessment for building simulation model calibration based on automatic differentiation (SL, ZS, MZ, YL), pp. 752–757.
CASECASE-2013-LuSLL #automation #bibliography #recognition
Automatic recognition of spurious surface in building exterior survey (YL, DS, HL, JL), pp. 1047–1052.
CASECASE-2013-LuSXPO #automation #graph #multi #using
Automatic building exterior mapping using multilayer feature graphs (YL, DS, YX, AGAP, SO), pp. 162–167.
CASECASE-2013-SilvaCTS #automation #linear #optimisation #programming
A mixed-integer linear programming model for automatic routing decisions in oil production optimization (TLS, EC, AFT, SS), pp. 280–285.
DACDAC-2013-SalodkarRBB #automation #design #multi
Automatic design rule correction in presence of multiple grids and track patterns (NS, SR, SB, SHB), p. 6.
DACDAC-2013-SchurmansZALACW #architecture #automation #communication #modelling #using
Creation of ESL power models for communication architectures using automatic calibration (SS, DZ, DA, RL, GA, XC, LW), p. 58.
DACDAC-2013-ZhangLSSR #automation #clustering
Automatic clustering of wafer spatial signatures (WZ, XL, SS, AJS, RAR), p. 6.
DATEDATE-2013-AlieeGRT #analysis #automation #fault #reliability
Automatic success tree-based reliability analysis for the consideration of transient and permanent faults (HA, MG, FR, JT), pp. 1621–1626.
DATEDATE-2013-BaiS #architecture #automation #data transformation #manycore #memory management #performance
Automatic and efficient heap data management for limited local memory multicore architectures (KB, AS), pp. 593–598.
DATEDATE-2013-ChenWLL #automation #flexibility #process
Automatic circuit sizing technique for the analog circuits with flexible TFTs considering process variation and bending effects (YLC, WRW, GRL, CNJL), pp. 1458–1461.
DATEDATE-2013-FarisiBCS #automation #implementation #multi
An automatic tool flow for the combined implementation of multi-mode circuits (BAF, KB, JMPC, DS), pp. 821–826.
DocEngDocEng-2013-AzevedoSASN #authoring #automation #multi
Multimedia authoring based on templates and semi-automatic generated wizards (RGDAA, RCMS, ECA, LFGS, CdSSN), pp. 205–214.
DocEngDocEng-2013-TruranSGC #automation #generative #guidelines
Automatic generation of limited-depth hyper-documents from clinical guidelines (MT, JS, GG, MC), pp. 245–248.
DRRDRR-2013-AriesON #algorithm #automation #classification #clustering #summary #using
Using clustering and a modified classification algorithm for automatic text summarization (AA, HO, ON).
DRRDRR-2013-SalahRP #adaptation #assessment #automation #detection #quality
Adaptive detection of missed text areas in OCR outputs: application to the automatic assessment of OCR quality in mass digitization projects (ABS, NR, TP).
ICDARICDAR-2013-AhmedKILD #automation #documentation #generative #image #retrieval #using
Automatic Ground Truth Generation of Camera Captured Documents Using Document Image Retrieval (SA, KK, MI, ML, AD), pp. 528–532.
ICDARICDAR-2013-ChattopadhyayRG #automation #robust
Automatic Selection of Binarization Method for Robust OCR (TC, VRR, UG), pp. 1170–1174.
ICDARICDAR-2013-IwamuraTK #automation #database
Automatic Labeling for Scene Text Database (MI, MT, KK), pp. 1365–1369.
ICDARICDAR-2013-LuoOWK #approach #automation #classification #using
Automatic Chinese Text Classification Using Character-Based and Word-Based Approach (XL, WO, TW, FK), pp. 329–333.
ICDARICDAR-2013-MalikLD #automation #comparison #forensics #verification
Part-Based Automatic System in Comparison to Human Experts for Forensic Signature Verification (MIM, ML, AD), pp. 872–876.
ICDARICDAR-2013-MaW #automation #component #database #online #optimisation #segmentation
Semi-automatic Tibetan Component Annotation from Online Handwritten Tibetan Character Database by Optimizing Segmentation Hypotheses (LLM, JW), pp. 1340–1344.
ICDARICDAR-2013-MoghaddamMC #automation #documentation #framework #image
Unsupervised Ensemble of Experts (EoE) Framework for Automatic Binarization of Document Images (RFM, FFM, MC), pp. 703–707.
ICDARICDAR-2013-ParkerFF #automation #documentation #image
Automatic Enhancement and Binarization of Degraded Document Images (JP, OF, GF), pp. 210–214.
ICDARICDAR-2013-TuarobBMG #automation #detection #documentation #machine learning #pseudo #using
Automatic Detection of Pseudocodes in Scholarly Documents Using Machine Learning (ST, SB, PM, CLG), pp. 738–742.
SIGMODSIGMOD-2013-KlonatosNSKK #algorithm #automation #synthesis
Automatic synthesis of out-of-core algorithms (YK, AN, AS, CK, VK), pp. 133–144.
SIGMODSIGMOD-2013-YakoutBE #automation #bound #scalability
Don’t be SCAREd: use SCalable Automatic REpairing with maximal likelihood and bounded changes (MY, LBE, AKE), pp. 553–564.
VLDBVLDB-2013-Hoppe #automation #big data #learning #ontology #web
Automatic ontology-based User Profile Learning from heterogeneous Web Resources in a Big Data Context (AH), pp. 1428–1433.
VLDBVLDB-2013-LiWC #automation #framework #monitoring #social #topic #towards #twitter
Towards Social Data Platform: Automatic Topic-focused Monitor for Twitter Stream (RL, SW, KCCC), pp. 1966–1977.
ITiCSEITiCSE-2013-KyrilovN #assessment #automation #first-order #information management #logic #representation
Automatic formative assessment of exercises on knowledge representation in first-order logic (AK, DCN), p. 343.
ESOPESOP-2013-HofmannR #analysis #automation #type inference
Automatic Type Inference for Amortised Heap-Space Analysis (MH, DR), pp. 593–613.
TACASTACAS-2013-AbdullaACLR #automation #precise
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO (PAA, MFA, YFC, CL, AR), pp. 530–536.
TACASTACAS-2013-NagyST #automation #realtime #testing
Automatic Testing of Real-Time Graphics Systems (RN, GS, AT), pp. 463–477.
ICPCICPC-2013-MorenoASMPV #automation #generative #java #natural language #summary
Automatic generation of natural language summaries for Java classes (LM, JA, GS, AM, LLP, KVS), pp. 23–32.
ICPCICPC-2013-MorenoMPV #automation #generative #java #named #natural language #summary
JSummarizer: An automatic generator of natural language summaries for Java classes (LM, AM, LLP, KVS), pp. 230–232.
ICSMEICSM-2013-DasguptaGMDP #automation #corpus #documentation #traceability
Enhancing Software Traceability by Automatically Expanding Corpora with Relevant Documentation (TD, MG, EM, BD, DP), pp. 320–329.
ICSMEICSM-2013-Karus #automation #development #identification
Automatic Means of Identifying Evolutionary Events in Software Development (SK), pp. 412–415.
ICSMEICSM-2013-MartinezDM #abstract syntax tree #analysis #automation
Automatically Extracting Instances of Code Change Patterns with AST Analysis (MM, LD, MM), pp. 388–391.
MSRMSR-2013-HowardGPV #automation #mining #semantics #word
Automatically mining software-based, semantically-similar words from comment-code mappings (MJH, SG, LLP, KVS), pp. 377–386.
MSRMSR-2013-SahaSS #approach #automation #stack overflow
A discriminative model approach for suggesting tags automatically for stack overflow questions (AKS, RKS, KAS), pp. 73–76.
MSRMSR-2013-SismanK #automation #code search #debugging #locality #query
Assisting code search with automatic query reformulation for bug localization (BS, ACK), pp. 309–318.
PASTEPASTE-2013-Lu #automation #mining
Automatically mining program build information via signature matching (CDL), pp. 25–32.
WCREWCRE-2013-AbdeenSSAD #automation #design #towards
Towards automatically improving package structure while respecting original design decisions (HA, HAS, OS, NA, SD), pp. 212–221.
WCREWCRE-2013-TeytonFB #automation #library
Automatic discovery of function mappings between similar libraries (CT, JRF, XB), pp. 192–201.
WCREWCRE-2013-ThungLJ #automation
Automatic recovery of root causes from bug-fixing changes (FT, DL, LJ), pp. 92–101.
PEPMPEPM-2013-AlpuenteFV #automation #logic #specification #using
Automatic inference of specifications using matching logic (MA, MAF, AV), pp. 127–136.
PEPMPEPM-2013-CominiT #automation #equivalence #linear #named #term rewriting
TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems (MC, LT), pp. 67–70.
PLDIPLDI-2013-HungG #monitoring #named
AutoSynch: an automatic-signal monitor based on predicate tagging (WLH, VKG), pp. 253–262.
SASSAS-2013-DOsualdoKO #automation #concurrent #verification
Automatic Verification of Erlang-Style Concurrency (ED, JK, CHLO), pp. 454–476.
SASSAS-2013-RaychevVY #automation #concurrent #synthesis
Automatic Synthesis of Deterministic Concurrency (VR, MTV, EY), pp. 283–303.
CIAACIAA-J-2012-GocHS13 #automation #combinator #word
Automatic Theorem-Proving in Combinatorics on Words (DG, DH, JS), pp. 781–798.
LATALATA-2013-EndrullisGH #sequence
Mix-Automatic Sequences (JE, CG, DH), pp. 262–274.
LATALATA-2013-GocSS #automation #sequence #word
Primitive Words and Lyndon Words in Automatic and Linearly Recurrent Sequences (DG, KS, JS), pp. 311–322.
IFMIFM-2013-Ciobaca #automation #semantics
From Small-Step Semantics to Big-Step Semantics, Automatically (SC), pp. 347–361.
IFMIFM-2013-TaylorBD #automation #behaviour #erlang
Automatic Inference of Erlang Module Behaviour (RT, KB, JD), pp. 253–267.
ICFPICFP-2013-PetersenOG #automation #haskell
Automatic SIMD vectorization for Haskell (LP, DAO, NG), pp. 25–36.
CHICHI-2013-ChengLWHLLCLC13a #automation #mobile #named
IrotateGrasp: automatic screen rotation based on grasp of mobile devices (LPC, MHL, CYW, FIH, YTL, HSL, YCC, MSL, MYC), pp. 3051–3054.
CHICHI-2013-FlatlaRGG13a #automation #named
SPRWeb: preserving subjective responses to website colour schemes through automatic recolouring (DRF, KR, CG, KZG), pp. 2069–2078.
CHICHI-2013-HullmanDA #automation #generative #named #visualisation
Contextifier: automatic generation of annotated stock visualizations (JH, ND, EA), pp. 2707–2716.
CHICHI-2013-Ortega #3d #automation #using
3D object position using automatic viewpoint transitions (MO), pp. 193–196.
HCIDHM-HB-2013-ColomboFRVZ #3d #automation #image #re-engineering
Automatic 3D Reconstruction of Transfemoral Residual Limb from MRI Images (GC, GF, CR, AV, AZ), pp. 324–332.
HCIHCI-AMTE-2013-ColetiMN #automation #evaluation #recognition #speech #usability
Analyzing Face and Speech Recognition to Create Automatic Information for Usability Evaluation (TAC, MM, FdLdSN), pp. 184–192.
HCIHCI-III-2013-BockLSWW #automation #classification
Audio-Based Pre-classification for Semi-automatic Facial Expression Coding (RB, KLE, IS, SW, AW), pp. 301–309.
HCIHCI-UC-2013-BergmannMSO #automation #case study #generative #layout
Automatic Layout Generation for Digital Photo Albums: A User Study (FBB, IHM, MSS, JBSdO), pp. 117–126.
HCIHIMI-D-2013-ChenTWCXY #automation #generative #named #social #social media
EventLens: An Automatic Magazine Generating System for Social Media (HC, HT, ZW, PC, YX, SY), pp. 177–186.
HCIHIMI-LCCB-2013-TachizawaOM #automation #bibliography #classification
An Automatic Classification of Product Review into Given Viewpoints (YT, MO, HM), pp. 598–606.
VISSOFTVISSOFT-2013-ReissT #automation #behaviour #categorisation #visualisation
Automatic categorization and visualization of lock behavior (SPR, AT), pp. 1–10.
HILTHILT-2013-Alagic #automation #interactive #verification
Automatic versus interactive program verification (SA), pp. 87–88.
ICEISICEIS-v1-2013-PuyanaQ #automation #generative #named #summary
GReAT — A Model for the Automatic Generation of Text Summaries (CGP, APQ), pp. 280–288.
CIKMCIKM-2013-BrossE #automation #bibliography #mining #sentiment
Automatic construction of domain and aspect specific sentiment lexicons for customer review mining (JB, HE), pp. 1077–1086.
CIKMCIKM-2013-ReisDPSR #adaptation #automation #ontology
Mapping adaptation actions for the automatic reconciliation of dynamic ontologies (JCdR, DD, CP, MDS, CRD), pp. 599–608.
CIKMCIKM-2013-XuXWW #automation #feedback #image #ranking
A heterogenous automatic feedback semi-supervised method for image reranking (XCX, XSX, YW, XW), pp. 999–1008.
ECIRECIR-2013-McParlaneJ #automation #image
Exploiting Time in Automatic Image Tagging (PJM, JMJ), pp. 520–531.
ICMLICML-c2-2013-DasBBG #automation #modelling #topic
Subtle Topic Models and Discovering Subtly Manifested Software Concerns Automatically (MKD, SB, CB, KG), pp. 253–261.
KDDKDD-2013-BaiJS #automation #generative #set
Exploiting user clicks for automatic seed set generation for entity matching (XB, FPJ, SHS), pp. 980–988.
KDDKDD-2013-StajnerTPPJ #automation #social #social media
Automatic selection of social media responses to news (TS, BT, AMP, MP, AJ), pp. 50–58.
KDDKDD-2013-TangLSPG #automation #framework #monitoring #optimisation #scalability
An integrated framework for optimizing automatic monitoring systems in large IT infrastructures (LT, TL, LS, FP, GG), pp. 1249–1257.
KDIRKDIR-KMIS-2013-MelnichenkoB #automation #image #low level #random
Automatic Image Annotation with Low-level Features and Conditional Random Fields (AM, AB), pp. 197–201.
KDIRKDIR-KMIS-2013-NartTF #automation #personalisation #recommendation #using
Personalized Recommendation and Explanation by using Keyphrases Automatically extracted from Scientific Literature (DDN, CT, FF), pp. 96–103.
KEODKEOD-2013-AlirezaieL #abduction #automation #data type #reasoning #using
Automatic Annotation of Sensor Data Streams using Abductive Reasoning (MA, AL), pp. 345–354.
KEODKEOD-2013-ChulyadyoHB #approach #automation #ontology
Core Ontology based Approach for Treating the Flatness of Automatically Built Ontology (RC, MH, GB), pp. 316–323.
KEODKEOD-2013-ZouhaierDA #automation #generative #reasoning #using
Automatic Generation of UIs for Disabled Users using Context-aware Techniques and Reasoning (LZ, YBH, LJBA), pp. 413–418.
MLDMMLDM-2013-CastroSAE #automation #classification #database #using #web
Automatic Classification of Web Databases Using Domain-Dictionaries (HMMC, VJSS, ILA, HJEB), pp. 340–351.
MLDMMLDM-2013-PohlZ #automation #n-gram #recognition #speech #using
Using Part of Speech N-Grams for Improving Automatic Speech Recognition of Polish (AP, BZ), pp. 492–504.
SEKESEKE-2013-SilvaBLDP #automation #generative #semantics #web #web service
Automatic Generation of Semantic Web Services (TPdS, TB, FL, FCD, PFP), pp. 662–667.
SIGIRSIGIR-2013-CuiMLWR #automation #image #nearest neighbour
Ranking-oriented nearest-neighbor based method for automatic image annotation (CC, JM, TL, XW, ZR), pp. 957–960.
SIGIRSIGIR-2013-Ekstrand-AbuegPKSYI #automation #evaluation
Exploring semi-automatic nugget extraction for Japanese one click access evaluation (MEA, VP, MPK, TS, TY, MI), pp. 749–752.
SIGIRSIGIR-2013-LiLSLC #automation #novel #topic
A novel topic model for automatic term extraction (SL, JL, TS, WL, BC), pp. 885–888.
SIGIRSIGIR-2013-MehrotraSBX #automation #microblog #modelling #topic #twitter
Improving LDA topic models for microblogs via tweet pooling and automatic labeling (RM, SS, WLB, LX), pp. 889–892.
SIGIRSIGIR-2013-Ruiz-RicoRTG #automation #categorisation #multi #wiki
A portable multilingual medical directory by automatic categorization of Wikipedia articles (FRR, MCRS, DT, JLVG), pp. 1099–1100.
SKYSKY-2013-SuarezMFM #automation #generative #natural language #semantics #using
Automatic Generation of Semantic Patterns using Techniques of Natural Language Processing (PS, VM, AF, JLM), pp. 34–44.
AMTAMT-2013-AgirreES #architecture #automation #development #impact analysis #migration #modelling
Automatic Impact Analysis of Software Architecture Migration on Model Driven Software Development (JAA, LE, GS), pp. 52–61.
ICMTICMT-2013-HildebrandtLG #automation #consistency #graph grammar #implementation #specification #testing
Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (SH, LL, HG), pp. 174–188.
MODELSMoDELS-2013-FaunesCBSC #automation #metamodelling
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (MF, JJC, BB, HAS, BC), pp. 187–202.
MODELSMoDELS-2013-FaunesCBSC #automation #metamodelling
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (MF, JJC, BB, HAS, BC), pp. 187–202.
ECOOPECOOP-2013-TrudelFNM #automation #object-oriented #re-engineering #scalability
Really Automatic Scalable Object-Oriented Reengineering (MT, CAF, MN, BM), pp. 477–501.
OOPSLAOOPSLA-2013-FeldthausM #automation #javascript #refactoring
Semi-automatic rename refactoring for JavaScript (AF, AM), pp. 323–338.
PADLPADL-2013-LiangK #automation #logic programming #named #scalability #source code
Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs (SL, MK), pp. 173–189.
POPLPOPL-2013-BarrVLS #automation #detection #exception #float
Automatic detection of floating-point exceptions (ETB, TV, VL, ZS), pp. 549–560.
POPLPOPL-2013-LivshitsC #automation #classification #security #towards
Towards fully automatic placement of security sanitizers and declassifiers (BL, SC), pp. 385–398.
REER-BR-2013-SoaresPSCV #automation #modelling #process
Automatic Models Transformation for the STREAM process (MS, JP, CTLLS, JC, JV).
RERE-2013-DwarakanathRS #automation #natural language #requirements #taxonomy
Automatic extraction of glossary terms from natural language requirements (AD, RRR, SS), pp. 314–319.
REFSQREFSQ-2013-Ott #automation #bibliography #categorisation #natural language #scalability #specification
Automatic Requirement Categorization of Large Natural Language Specifications at Mercedes-Benz for Review Improvements (DO), pp. 50–64.
SACSAC-2013-AlnusairZY #automation #design #recognition #semantics #using
Automatic recognition of design motifs using semantic conditions (AA, TZ, GY), pp. 1062–1067.
SACSAC-2013-BerralGT #automation #machine learning
Empowering automatic data-center management with machine learning (JLB, RG, JT), pp. 170–172.
SACSAC-2013-FuriaMOTW #automation #random testing #testing
The search for the laws of automatic random testing (CAF, BM, MO, AT, YW), pp. 1211–1216.
SACSAC-2013-MeloC #automation #case study #difference #evolution #generative
Automatic generation of evolutionary operators: a study with mutation strategies for the differential evolution (VVdM, GLCC), pp. 188–193.
ESEC-FSEESEC-FSE-2013-DiGiuseppe #automation #fault
Automatically describing software faults (ND), pp. 711–714.
ICSEICSE-2013-Balachandran #automation #code review #quality #recommendation #static analysis #using
Reducing human effort and improving quality in peer code reviews using automatic static analysis and reviewer recommendation (VB), pp. 931–940.
ICSEICSE-2013-CarzanigaGMPP #automation #runtime
Automatic recovery from runtime failures (AC, AG, AM, NP, MP), pp. 782–791.
ICSEICSE-2013-GhoshSLC #automation #generative #industrial #java #named #string #testing
JST: an automatic test generation tool for industrial Java applications with strings (IG, NS, GL, WFC), pp. 992–1001.
ICSEICSE-2013-HaiducBMOLM #automation #query #re-engineering #retrieval
Automatic query reformulations for text retrieval in software engineering (SH, GB, AM, RO, ADL, TM), pp. 842–851.
ICSEICSE-2013-InverardiT #automation #composition #protocol #synthesis
Automatic synthesis of modular connectors via composition of protocol mediation patterns (PI, MT), pp. 3–12.
ICSEICSE-2013-KimNSK #automation #generative
Automatic patch generation learned from human-written patches (DK, JN, JS, SK), pp. 802–811.
ICSEICSE-2013-MalikHH #automation #detection #performance #scalability #testing
Automatic detection of performance deviations in the load testing of large scale systems (HM, HH, AEH), pp. 1012–1021.
ICSEICSE-2013-PradelG #automation #concurrent #testing
Automatic testing of sequential and concurrent substitutability (MP, TRG), pp. 282–291.
ICSEICSE-2013-WertHH #automation #performance #problem
Supporting swift reaction: automatically uncovering performance problems by systematic experiments (AW, JH, LH), pp. 552–561.
ASPLOSASPLOS-2013-GiuffridaKT #automation #operating system
Safe and automatic live update for operating systems (CG, AK, AST), pp. 279–292.
ASPLOSASPLOS-2013-OhKJLA #automation
Practical automatic loop specialization (TO, HK, NPJ, JWL, DIA), pp. 419–430.
CCCC-2013-MooreC #automation #generative #machine learning #policy #using
Automatic Generation of Program Affinity Policies Using Machine Learning (RWM, BRC), pp. 184–203.
CGOCGO-2013-DuchateauPB #algebra #algorithm #automation #equation #linear #named
Hydra: Automatic algorithm exploration from linear algebra equations (AD, DAP, DB), p. 10.
CGOCGO-2013-HuangJBJA #automation #parallel #runtime #using
Automatically exploiting cross-invocation parallelism using runtime information (JH, TBJ, SRB, NPJ, DIA), p. 11.
CGOCGO-2013-KulkarniCWS #automation #heuristic #machine learning #using
Automatic construction of inlining heuristics using machine learning (SK, JC, CW, DS), p. 12.
HPDCHPDC-2013-LiuJZZSMC #automation #named #parallel
ACIC: automatic cloud I/O configurator for parallel applications (ML, YJ, JZ, YZ, QS, XM, WC), pp. 111–112.
HPDCHPDC-2013-ZhouTKB #automation #debugging #detection #named #scalability
WuKong: automatically detecting and localizing bugs that manifest at large system scales (BZ, JT, MK, SB), pp. 131–142.
LCTESLCTES-2013-GeunsHB #automation #data flow #realtime
Automatic dataflow model extraction from modal real-time stream processing applications (SJG, JPHMH, MJGB), pp. 143–152.
PPoPPPPoPP-2013-GrassoKCF #automation #clustering #parallel #problem
Automatic problem size sensitive task partitioning on heterogeneous parallel systems (IG, KK, BC, TF), pp. 281–282.
CAVCAV-2013-AlmagorAK #automation #generative #quality #specification
Automatic Generation of Quality Specifications (SA, GA, OK), pp. 479–494.
CAVCAV-2013-DragoiGH #automation #concurrent #proving
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates (CD, AG, TAH), pp. 174–190.
CAVCAV-2013-KomuravelliGCC #abstraction #automation #bound #model checking #smt
Automatic Abstraction in SMT-Based Unbounded Software Model Checking (AK, AG, SC, EMC), pp. 846–862.
CAVCAV-2013-UhlerD #automation #named #query #smt #symbolic computation
Smten: Automatic Translation of High-Level Symbolic Computations into SMT Queries (RU, ND), pp. 678–683.
ICSTICST-2013-LiuYTH #automation #debugging #generative #named
R2Fix: Automatically Generating Bug Fixes from Bug Reports (CL, JY, LT, MH), pp. 282–291.
ICTSSICTSS-2013-GuoQ #automation #generative #grammarware #testing
Automatic Grammar-Based Test Generation (HFG, ZQ), pp. 17–32.
ISSTAISSTA-2013-ZhangLE #automation #evolution #user interface #workflow
Automatically repairing broken workflows for evolving GUI applications (SZ, HL, MDE), pp. 45–55.
RTARTA-2013-TushkanovaRGK #automation #calculus #decidability
Automatic Decidability: A Schematic Calculus for Theories with Counting Operators (ET, CR, AG, OK), pp. 303–318.
RTARTA-2013-WinklerZM #automation #proving #sequence #termination
Beyond Peano Arithmetic — Automatically Proving Termination of the Goodstein Sequence (SW, HZ, AM), pp. 335–351.
VMCAIVMCAI-2013-CousotCFL #automation
Automatic Inference of Necessary Preconditions (PC, RC, MF, FL), pp. 128–148.
ASEASE-2012-AbadiF #automation
Automatic recovery of statecharts from procedural code (MA, YAF), pp. 238–241.
ASEASE-2012-BartelKTM #android #automation
Automatically securing permission-based software by reducing the attack surface: an application to Android (AB, JK, YLT, MM), pp. 274–277.
ASEASE-2012-BissyandeRLM #automation #debugging #generative #interface #kernel #linux #named
Diagnosys: automatic generation of a debugging interface to the Linux kernel (TFB, LR, JLL, GM), pp. 60–69.
ASEASE-2012-ChenK #automation #testing
Puzzle-based automatic testing: bringing humans into the loop by solving puzzles (NC, SK), pp. 140–149.
ASEASE-2012-DemuthLE #adaptation #automation #co-evolution #constraints #design #generative #modelling
Automatically generating and adapting model constraints to support co-evolution of design models (AD, RELH, AE), pp. 302–305.
ASEASE-2012-GhabiE #automation #validation
Code patterns for automatically validating requirements-to-code traces (AG, AE), pp. 200–209.
ASEASE-2012-HaiducBOLM #assessment #automation #performance #query #retrieval
Automatic query performance assessment during the retrieval of software artifacts (SH, GB, RO, ADL, AM), pp. 90–99.
ASEASE-2012-MorenoM #automation #identification #java #named
JStereoCode: automatically identifying method and class stereotypes in Java code (LM, AM), pp. 358–361.
CASECASE-2012-IchikawaA #automation
Magnetically driven micro-robot with suction mechanism for on-chip automatic (AI, FA), pp. 273–278.
CASECASE-2012-KimSCKY #automation #detection #image
Image and sensor los-based automatic horizontal line detection and tracking for infrared search and track (SK, MSS, BC, JK, YY), pp. 718–723.
CASECASE-2012-LeeK #automation #development
Development of semi-automatic painting system for inner hull block structures (DHL, HKK), pp. 833–836.
CASECASE-2012-LiK #automation #automaton #finite #generative #modelling #testing #using
Model-based automatic test generation for Simulink/Stateflow using extended finite automaton (ML, RK), pp. 857–862.
DACDAC-2012-AadithyaR #abstraction #automation #automaton #generative #logic #named
DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics (KVA, JSR), pp. 311–316.
DACDAC-2012-EberlGTA #automation #design #network
Considering diagnosis functionality during automatic system-level design of automotive networks (ME, MG, JT, UA), pp. 205–213.
DACDAC-2012-WardDP #automation #evaluation #learning #named
PADE: a high-performance placer with automatic datapath extraction and evaluation through high dimensional data learning (SIW, DD, DZP), pp. 756–761.
DATEDATE-2012-EllenEO #automation #development #embedded #process #safety
Automatic transition between structural system views in a safety relevant embedded systems development process (CE, CE, MO), pp. 820–823.
DATEDATE-2012-HamoudaAK #automation #image #modelling #novel
AIR (Aerial Image Retargeting): A novel technique for in-fab automatic model-based retargeting-for-yield (AYH, MA, KSK), pp. 1603–1608.
DATEDATE-2012-Sun #automation #embedded #functional #generative #modelling
Automatic generation of functional models for embedded processor extensions (FS), pp. 304–307.
DATEDATE-2012-WilleDOO #automation #design #power management #synthesis #using
Automatic design of low-power encoders using reversible circuit synthesis (RW, RD, CO, AGO), pp. 1036–1041.
DocEngDocEng-2012-Damera-VenkataB #automation #documentation
Ad insertion in automatically composed documents (NDV, JB), pp. 3–12.
DocEngDocEng-2012-IorioPPV #approach #automation #documentation #recognition #xml
A first approach to the automatic recognition of structural patterns in XML documents (ADI, SP, FP, FV), pp. 85–94.
DRRDRR-2012-EsserSMBS #approach #automation #documentation
Automatic indexing of scanned documents: a layout-based approach (DE, DS, KM, MB, AS).
SIGMODSIGMOD-2012-BohannonDFJKK #automation #information management
Automatic web-scale information extraction (PB, NND, YF, NJ, SK, AK), pp. 609–612.
SIGMODSIGMOD-2012-JimenezSTP #automation #named
Kaizen: a semi-automatic index advisor (IJ, HS, QTT, NP), pp. 685–688.
SIGMODSIGMOD-2012-PavloCZ #automation #clustering #database #parallel
Skew-aware automatic database partitioning in shared-nothing, parallel OLTP systems (AP, CC, SBZ), pp. 61–72.
VLDBVLDB-2012-CheungAMM #automation #clustering #database
Automatic Partitioning of Database Applications (AC, OA, SM, ACM), pp. 1471–1482.
VLDBVLDB-2012-SchnaitterP #automation
Semi-Automatic Index Tuning: Keeping DBAs in the Loop (KS, NP), pp. 478–489.
FoSSaCSFoSSaCS-2012-BoveDS #automation #first-order #functional #interactive #reasoning #source code
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs (AB, PD, ASR), pp. 104–118.
TACASTACAS-2012-ChenFKPS #automation #probability #verification
Automatic Verification of Competitive Stochastic Systems (TC, VF, MZK, DP, AS), pp. 315–330.
ICPCICPC-2012-Sajnani #approach #architecture #automation #machine learning
Automatic software architecture recovery: A machine learning approach (HS), pp. 265–268.
ICSMEICSM-2012-PrasetyoLATL #automation #classification #microblog
Automatic classification of software related microblogs (PKP, DL, PA, YT, EPL), pp. 596–599.
ICSMEICSM-2012-QiML #automation #performance #scalability #source code #using
Making automatic repair for large-scale programs more efficient using weak recompilation (YQ, XM, YL), pp. 254–263.
WCREWCRE-2012-AngiusW #automation #named #open source #traceability
OpenTrace: An Open Source Workbench for Automatic Software Traceability Link Recovery (EA, RW), pp. 507–508.
WCREWCRE-2012-ChaparroAOM #automation #database #legacy #towards
Towards the Automatic Extraction of Structural Business Rules from Legacy Databases (OC, JA, FO, AM), pp. 479–488.
WCREWCRE-2012-ThungLJ #automation #categorisation #fault
Automatic Defect Categorization (FT, DL, LJ), pp. 205–214.
WCREWCRE-2012-TrudelFN #automation #c #eiffel
Automatic C to O-O Translation with C2Eiffel (MT, CAF, MN), pp. 501–502.
PLDIPLDI-2012-ChenDA #automation
Type-directed automatic incrementalization (YC, JD, UAA), pp. 299–310.
PLDIPLDI-2012-PradelG #automation #concurrent #detection #precise #safety #thread
Fully automatic and precise detection of thread safety violations (MP, TRG), pp. 521–530.
SASSAS-2012-AbdullaACLR #abstraction #automation #integer #source code
Automatic Fence Insertion in Integer Programs via Predicate Abstraction (PAA, MFA, YFC, CL, AR), pp. 164–180.
DLTDLT-J-2011-CharlierRS12 #automation #decidability #sequence
Enumeration and Decidable Properties of Automatic Sequences (EC, NR, JS), pp. 1035–1066.
CIAACIAA-2012-GocHS #automation #combinator #word
Automatic Theorem-Proving in Combinatorics on Words (DG, DH, JS), pp. 180–191.
LATALATA-2012-MiasnikovS #automation #graph
Cayley Graph Automatic Groups Are Not Necessarily Cayley Graph Biautomatic (AM, ZS), pp. 401–407.
LATALATA-2012-RowlandS #set
k-Automatic Sets of Rational Numbers (ER, JS), pp. 490–501.
FMFM-2012-LinLSDA #automation #composition #verification
Automatic Compositional Verification of Timed Systems (SWL, YL, JS, JSD, ÉA), pp. 272–276.
FMFM-2012-OwreSS #analysis #automation #cyber-physical
Automatic Dimensional Analysis of Cyber-Physical Systems (SO, IS, NS), pp. 356–371.
IFMIFM-2012-BlackmoreHBER #automation #generative #simulation #verification
Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports (TB, DH, PB, KE, NR), pp. 84–98.
SEFMSEFM-2012-MatichukM #automation #proving #specification
Extensible Specifications for Automatic Re-use of Specifications and Proofs (DM, TCM), pp. 333–341.
ICFPICFP-2012-SimoesVFJH #analysis #automation #functional #lazy evaluation #memory management #source code
Automatic amortised analysis of dynamic memory allocation for lazy functional programs (HRS, PBV, MF, SJ, KH), pp. 165–176.
GT-VMTGT-VMT-2012-MaierM #ad hoc #automation #diagrams #editing #layout
Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout (SM, MM).
ICGTICGT-2012-GieseL #automation #behaviour #invariant #model transformation #towards #verification
Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (HG, LL), pp. 249–263.
CHICHI-2012-ChengHLC #automation #named
iRotate: automatic screen rotation based on face orientation (LPC, FIH, YTL, MYC), pp. 2203–2210.
CHICHI-2012-FindlaterW #adaptation #automation #personalisation #type system
Personalized input: improving ten-finger touchscreen typing through automatic adaptation (LF, JOW), pp. 815–824.
CHICHI-2012-LeivaA #automation #exclamation
Monsieur, azonnal kövessen engem bitte!: an automatically generated interlanguage tailored to speakers of minority but culturally influenced languages (LAL, VA), pp. 31–34.
CHICHI-2012-VihavainenMLC #automation #collaboration #mobile #video
Video as memorabilia: user needs for collaborative automatic mobile video production (SV, SM, LAL, IDDC), pp. 651–654.
HILTHILT-2012-OLearyS #automation #communication #development
FAA’s controller pilot automatic data communication (data comm) system software development (JO, AS), pp. 71–72.
CAiSECAiSE-2012-NederstigtAVF #approach #automation #e-commerce #taxonomy
An Automatic Approach for Mapping Product Taxonomies in E-Commerce Systems (LJN, SSA, DV, FF), pp. 334–349.
ICEISICEIS-J-2012-AmarGMHLN12a #automation #concept analysis
Finding Semi-Automatically a Greatest Common Model Thanks to Formal Concept Analysis (BA, AOG, AM, MH, TL, CN), pp. 72–91.
ICEISICEIS-J-2012-BabaianL12a #automation #interface
Composing Interface Demonstrations Automatically from Usage Logs (TB, WTL), pp. 376–392.
ICEISICEIS-J-2012-NikovskiEYST12a #automation #composition
Matcher Composition Methods for Automatic Schema Matching (DN, AE, XY, MS, ST), pp. 108–123.
ICEISICEIS-v1-2012-NikovskiEYST #automation #composition #network
Bayesian Networks for Matcher Composition in Automatic Schema Matching (DN, AE, XY, MS, ST), pp. 48–55.
ICEISICEIS-v2-2012-CapelM #approach #automation #composition #correctness #model checking #safety #verification
A Formal Compositional Verification Approach for Safety-Critical Systems Correctness — Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software (MIC, LEMM), pp. 105–112.
ICEISICEIS-v2-2012-YiasemisA #automation #fault #locality #mutation testing #testing #using
Dynamic Localisation and Automatic Correction of Software Faults using Evolutionary Mutation Testing (PSY, ASA), pp. 15–26.
ICEISICEIS-v3-2012-TsudaASO #automation #classification
A Classification Method of Inquiry e-Mails for Describing FAQ with Automatic Setting Mechanism of Judgment Threshold Values (YT, MA, MS, HO), pp. 199–205.
CIKMCIKM-2012-CeylanADL #automation
Automatically embedding newsworthy links to articles (HC, IA, PD, ML), pp. 1502–1506.
CIKMCIKM-2012-CumminsO #automation #constraints #normalisation
A constraint to automatically regulate document-length normalisation (RC, CO), pp. 2443–2446.
CIKMCIKM-2012-LinDH0S #automation #image #random #using #visual notation
Automatic image annotation using tag-related random search over visual neighbors (ZL, GD, MH, JW, JS), pp. 1784–1788.
CIKMCIKM-2012-MaoMZCYL #automation #topic
Automatic labeling hierarchical topics (XM, ZM, ZJZ, TSC, HY, XL), pp. 2383–2386.
CIKMCIKM-2012-OliveiraGBBAZG #automation #query #recommendation
Automatic query expansion based on tag recommendation (VCdO, GdCMG, FB, WCB, JMA, NZ, MAG), pp. 1985–1989.
CIKMCIKM-2012-SarmaJMB #automation #scalability
An automatic blocking mechanism for large-scale de-duplication tasks (ADS, AJ, AM, PB), pp. 1055–1064.
CIKMCIKM-2012-ZhouCLZ #automation #topic
Exploring the existing category hierarchy to automatically label the newly-arising topics in cQA (GZ, LC, KL, JZ), pp. 1647–1651.
ECIRECIR-2012-Martinez-AlvarezYR #automation #classification #documentation
Semi-automatic Document Classification: Exploiting Document Difficulty (MMA, SY, TR), pp. 468–471.
ECIRECIR-2012-TamFL #approach #automation #email
Automatic Foldering of Email Messages: A Combination Approach (TT, AF, AL), pp. 232–243.
ICMLICML-2012-XieHS #approach #automation #generative #learning
Artist Agent: A Reinforcement Learning Approach to Automatic Stroke Generation in Oriental Ink Painting (NX, HH, MS), p. 139.
ICPRICPR-2012-AnhNKKL #automation #geometry #performance #segmentation
Fast automatic saliency map driven geometric active contour model for color object segmentation (NTLA, VQN, EK, SHK, GL), pp. 2557–2560.
ICPRICPR-2012-AryafarJS #automation #classification #using
Automatic musical genre classification using sparsity-eager support vector machines (KA, SJ, AS), pp. 1526–1529.
ICPRICPR-2012-BenJY #analysis #automation #clustering #fuzzy
Automatic fuzzy clustering based on mistake analysis (SB, ZJ, JY), pp. 2914–2917.
ICPRICPR-2012-CaiZ #automation #summary #video
Automatic heterogeneous video summarization in temporal profile (HC, JYZ), pp. 2796–2800.
ICPRICPR-2012-Dai #automation #segmentation
Automatic segmentation fusing color and depth (XD), pp. 763–766.
ICPRICPR-2012-DuanZRTB #automation #automaton #probability #recognition
Timed and probabilistic automata for automatic animal Call Recognition (SD, JZ, PR, MWT, LB), pp. 2910–2913.
ICPRICPR-2012-FengKCWP #automation #multi
Automatic face annotation by multilinear AAM with Missing Values (ZHF, JK, WJC, XW, SP), pp. 2586–2589.
ICPRICPR-2012-GaoY #automation #segmentation
Saliency-seeded localizing region-based active contour for automatic natural object segmentation (SG, JY), pp. 3644–3647.
ICPRICPR-2012-GhanemKFZ #automation #learning #recognition
Context-aware learning for automatic sports highlight recognition (BG, MK, MF, TZ), pp. 1977–1980.
ICPRICPR-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.
ICPRICPR-2012-HayatBE #3d #automation #recognition
Fully automatic face recognition from 3D videos (MH, MB, AAES), pp. 1415–1418.
ICPRICPR-2012-LimbeckKH #automation
Semi-automatic tracking of markers in facial palsy (PL, WGK, YH), pp. 69–72.
ICPRICPR-2012-MatovskiNMM #automation #on the #quality #recognition
On including quality in applied automatic gait recognition (DSM, MSN, SM, TM), pp. 3272–3275.
ICPRICPR-2012-MinagawaKTH #automation #detection
A color chart detection method for automatic color correction (AM, YK, HT, YH), pp. 1912–1915.
ICPRICPR-2012-ShaoWCHW #array #automation #image
An improved automatic gridding method for cDNA microarray images (GS, TW, ZC, YH, YW), pp. 1615–1618.
ICPRICPR-2012-SilvaL #automation #education #framework #recognition
Automatic content recognition of teaching boards in the Tableau platform (GdFPeS, RDL), pp. 645–648.
ICPRICPR-2012-WongLTYCCBW #approach #automation #graph #locality
Automatic localization of the macula in a supervised graph-based approach with contextual superpixel features (DWKW, JL, NMT, FY, XC, CMGC, MB, TYW), pp. 2063–2066.
ICPRICPR-2012-WongLTYLTCW #automation #detection #image
Detecting the optic cup excavation in retinal fundus images by automatic detection of vessel kinking (DWKW, JL, NMT, FY, BHL, YCT, CYlC, TYW), pp. 73–76.
ICPRICPR-2012-YanKMW #automation #game studies #learning
Automatic annotation of court games with structured output learning (FY, JK, KM, DW), pp. 3577–3580.
ICPRICPR-2012-ZhangLM12a #adaptation #automation #clustering #detection #fault
An adaptive unsupervised clustering of pronunciation errors for automatic pronunciation error detection (LZ, HL, LM), pp. 1521–1525.
ICPRICPR-2012-ZhaoRCF #automation #categorisation #clustering #keyword
Keyword clustering for automatic categorization (QZ, MR, HC, PF), pp. 2845–2848.
KDDKDD-2012-LiuSLW #automation #keyword #taxonomy
Automatic taxonomy construction from keywords (XL, YS, SL, HW), pp. 1433–1441.
KDIRKDIR-2012-FontanLAP #automation #data type #web
Automatically Extracting Complex Data Structures from the Web (LF, RLG, , AP), pp. 246–251.
KDIRKDIR-2012-NguyenC #automation #ontology #similarity
A New Structure-based Similarity Measure for Automatic Ontology Matching (TTAN, SC), pp. 443–449.
MLDMMLDM-2012-BorawskiF #algorithm #automation #estimation #image
An Algorithm for the Automatic Estimation of Image Orientation (MB, DF), pp. 336–344.
SEKESEKE-2012-AlrayesL #automation #web
Automatic Acquisition of isA Relationships from Web Tables (NA, WSL), pp. 706–711.
SEKESEKE-2012-DamianiV #automation #diagrams #generative #interactive #interface #web
Automatic Generation of Web Interfaces from User Interaction Diagrams (FBD, PV), pp. 605–610.
SEKESEKE-2012-SoaresPCSTGD #architecture #automation #generative #modelling
Automatic Generation of Architectural Models From Goals Models (MS, JP, JC, CTLLS, CTNS, GG, DD), pp. 444–447.
SIGIRSIGIR-2012-BaoKL #automation #enterprise
Automatic suggestion of query-rewrite rules for enterprise search (ZB, BK, YL), pp. 591–600.
SIGIRSIGIR-2012-HongLYZZ #automation #novel #what
What reviews are satisfactory: novel features for automatic helpfulness voting (YH, JL, JMY, QZ, GZ), pp. 495–504.
SIGIRSIGIR-2012-MahdabiAKC #automation #concept #predict #query #refinement #using
Automatic refinement of patent queries using concept importance predictors (PM, LA, MK, FC), pp. 505–514.
SIGIRSIGIR-2012-McCreadieMO #automation #crowdsourcing #named
CrowdTerrier: automatic crowdsourced relevance assessments with terrier (RM, CM, IO), p. 1005.
SIGIRSIGIR-2012-WoodwardXN #automation #documentation #on the #web
On automatically tagging web documents from examples (NJW, WX, KN), pp. 1111–1112.
SIGIRSIGIR-2012-ZhaoC #automation #query
Automatic term mismatch diagnosis for selective query expansion (LZ, JC), pp. 515–524.
MODELSMoDELS-2012-HumaGEJ #automation #towards #uml
Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions (ZH, CG, GE, OJ), pp. 709–725.
MODELSMoDELS-2012-HumaGEJ #automation #towards #uml
Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions (ZH, CG, GE, OJ), pp. 709–725.
OOPSLAOOPSLA-2012-JoK #automation #locality #traversal
Automatically enhancing locality for tree traversals with traversal splicing (YJ, MK), pp. 355–374.
OOPSLAOOPSLA-2012-LogozzoB #automation #composition #program repair
Modular and verified automatic program repair (FL, TB), pp. 133–146.
PPDPPPDP-2012-BacciCFV #automation #first-order #source code #specification #synthesis
Automatic synthesis of specifications for first order curry programs (GB, MC, MAF, AV), pp. 25–34.
PPDPPPDP-2012-OlartePRC #approach #automation #concurrent #constraints #linear #verification
A linear concurrent constraint approach for the automatic verification of access permissions (CO, EP, CR, NC), pp. 207–216.
POPLPOPL-2012-YangYS #automation #policy #privacy
A language for automatically enforcing privacy policies (JY, KY, ASL), pp. 85–96.
RERE-2012-YangRGWN #automation #detection #natural language #nondeterminism #requirements
Speculative requirements: Automatic detection of uncertainty in natural language requirements (HY, ANDR, VG, AW, BN), pp. 11–20.
REFSQREFSQ-2012-BruniFST #analysis #automation #multimodal #perspective #requirements #research
Automatic Analysis of Multimodal Requirements: A Research Preview (EB, AF, NS, GT), pp. 218–224.
SACSAC-2012-AnconaMP #automation #documentation #java #migration #ontology
Ontology-based documentation extraction for semi-automatic migration of Java code (DA, VM, OP), pp. 1137–1143.
SACSAC-2012-FanS #automation #collaboration #dependence #programming #realtime #semantics
Dependency-based automatic locking for semantic conflict prevention in real-time collaborative programming (HF, CS), pp. 737–742.
SACSAC-2012-Gonzalez-FerezPC #automation #named #scheduling
DADS: dynamic and automatic disk scheduling (PGF, JP, TC), pp. 1759–1764.
SACSAC-2012-GreyRS #automation
Automatic creation of VPN backup paths for improved resilience against BGP-attackers (MG, MR, GS), pp. 613–620.
SACSAC-2012-IencoPPT #automation #taxonomy #towards
Towards an automatic construction of Contextual Attribute-Value Taxonomies (DI, YP, PP, MT), pp. 113–118.
SACSAC-2012-VasconcelosB #automation #evaluation #towards #web
Towards an automatic evaluation of web applications (LGdV, LABJ), pp. 709–716.
FSEFSE-2012-DiGiuseppeJ #automation #fault #semantics
Semantic fault diagnosis: automatic natural-language fault descriptions (ND, JAJ), p. 23.
ICSEICSE-2012-GeDM #automation #refactoring
Reconciling manual and automatic refactoring (XG, QLD, ERMH), pp. 211–221.
ICSEICSE-2012-GrechanikFX #automation #learning #performance #problem #testing
Automatically finding performance problems with feedback-directed learning software testing (MG, CF, QX), pp. 156–166.
ICSEICSE-2012-HenssMM #automation #development
Semi-automatically extracting FAQs to improve accessibility of software development knowledge (SH, MM, MM), pp. 793–803.
ICSEICSE-2012-LiuZ #automation #constraints #named
Axis: Automatically fixing atomicity violations through solving control constraints (PL, CZ), pp. 299–309.
ICSEICSE-2012-LongGCSR #automation
Automatic input rectification (FL, VG, MC, SS, MCR), pp. 80–90.
ICSEICSE-2012-NistorLPGM #automation #clustering #generative #named #parallel #performance #random #testing #thread
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code (AN, QL, MP, TRG, DM), pp. 727–737.
ICSEICSE-2012-RoehmM #automation #detection #developer #development #problem #process
Automatically detecting developer activities and problems in software development work (TR, WM), pp. 1261–1264.
ICSEICSE-2012-RubinovW #automation #testing
Augmenting test suites automatically (KR, JW), pp. 1433–1434.
ICSEICSE-2012-ServantJ #automation #developer #fault #locality #named
WhoseFault: Automatic developer-to-fault assignment through fault localization (FS, JAJ), pp. 36–46.
ICSEICSE-2012-Vetro #automation #identification #static analysis #technical debt #using
Using automatic static analysis to identify technical debt (AV), pp. 1613–1615.
ICSEICSE-2012-ZhangYZFZZO #api #automation #parametricity #recommendation
Automatic parameter recommendation for practical API usage (CZ, JY, YZ, JF, XZ, JZ, PO), pp. 826–836.
SLESLE-2012-GarciaDA #approach #automation #co-evolution #model transformation
Model Transformation Co-evolution: A Semi-automatic Approach (JG, OD, MA), pp. 144–163.
ASPLOSASPLOS-2012-KingDA #automation #generative #hardware #interface
Automatic generation of hardware/software interfaces (MK, ND, A), pp. 325–336.
CCCC-2012-UnkuleSQ #automation #gpu #kernel #locality #thread
Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality (SU, CS, AQ), pp. 21–40.
CGOCGO-2012-CampanoniJHRWB #automation #named #parallel #source code
HELIX: automatic parallelization of irregular programs for chip multiprocessing (SC, TMJ, GHH, VJR, GYW, DMB), pp. 84–93.
CGOCGO-2012-JangLSL #automation #memory management #multi
An automatic code overlaying technique for multicores with explicitly-managed memory hierarchies (CJ, JL, SS, JL), pp. 219–229.
CGOCGO-2012-KimJLMA #automation #clustering
Automatic speculative DOALL for clusters (HK, NPJ, JWL, SAM, DIA), pp. 94–103.
CGOCGO-2012-MurrayF #automation #compilation #set
Compiling for automatically generated instruction set extensions (ACM, BF), pp. 13–22.
PPoPPPPoPP-2012-BaskaranVML #automation #communication #memory management #optimisation #reuse
Automatic communication optimizations through memory reuse strategies (MMB, NV, BM, RL), pp. 277–278.
PPoPPPPoPP-2012-KjolstadHS #automation #data type #generative #optimisation
Automatic datatype generation and optimization (FK, TH, MS), pp. 327–328.
PPoPPPPoPP-2012-WernsingS #automation #heuristic #manycore #named
RACECAR: a heuristic for automatic function specialization on multi-core heterogeneous systems (JRW, GS), pp. 321–322.
CAVCAV-2012-ChengGRBK #automation #industrial #named #synthesis
MGSyn: Automatic Synthesis for Industrial Automation (CHC, MG, HR, CB, AK), pp. 658–664.
CAVCAV-2012-KopfMO #automation #quantifier
Automatic Quantification of Cache Side-Channels (BK, LM, MO), pp. 564–580.
CSLCSL-2012-Kuske #automation #linear #morphism #order
Isomorphisms of scattered automatic linear orders (DK), pp. 455–469.
ICLPICLP-2012-BacciCFV #automation #functional #logic #specification #synthesis
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (GB, MC, MAF, AV), pp. 144–153.
ICSTICST-2012-BertolinoDLM #automation #generative #policy #testing
Automatic XACML Requests Generation for Policy Testing (AB, SD, FL, EM), pp. 842–849.
ICSTICST-2012-GeronimoFMS #algorithm #automation #generative #parallel #pipes and filters #search-based #testing
A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites (LDG, FF, AM, FS), pp. 785–793.
ICSTICST-2012-MarianiPRS #automation #black box #interactive #named #testing
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications (LM, MP, OR, MS), pp. 81–90.
ICSTICST-2012-OcarizaPM #automation #fault #javascript #named
AutoFLox: An Automatic Fault Localizer for Client-Side JavaScript (FSOJ, KP, AM), pp. 31–40.
ICSTICST-2012-PavlovF #automation #generative #search-based #testing
Semi-automatic Search-Based Test Generation (YP, GF), pp. 777–784.
ICSTICST-2012-VorobyovK #automation #constraints #generative #static analysis #testing #theorem proving
Combining Static Analysis and Constraint Solving for Automatic Test Case Generation (KV, PK), pp. 915–920.
ICTSSICTSS-2012-JohansenHFCEW #agile #automation #interactive #product line #testing
A Technique for Agile and Automatic Interaction Testing for Product Lines (MFJ, ØH, FF, EC, JE, TW), pp. 39–54.
ICTSSICTSS-2012-SantosA #automation #detection #fault #lightweight #monitoring
Lightweight Automatic Error Detection by Monitoring Collar Variables (JS, RA), pp. 215–230.
IJCARIJCAR-2012-Brown #automation #higher-order #named #proving
Satallax: An Automatic Higher-Order Prover (CEB), pp. 111–117.
IJCARIJCAR-2012-EmmesEG #automation #proving
Proving Non-looping Non-termination Automatically (FE, TE, JG), pp. 225–240.
LICSLICS-2012-GrabmayerEHKM #automation #sequence
Automatic Sequences and Zip-Specifications (CG, JE, DH, JWK, LSM), pp. 335–344.
VMCAIVMCAI-2012-FerraraM #automation
Automatic Inference of Access Permissions (PF, PM), pp. 202–218.
CBSECBSE-2011-SaudraisC #automation #component
Automatic relocation of AUTOSAR components among several ECUs (SS, KC), pp. 199–204.
ECSAECSA-2011-CuboP #architecture #automation #component #composition #framework #named
DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures (JC, EP), pp. 388–404.
WICSAWICSA-2011-BuchgeherW #architecture #automation #implementation
Automatic Tracing of Decisions to Architecture and Implementation (GB, RW), pp. 46–55.
ASEASE-2011-ArcainiGR #automation #generative #optimisation #satisfiability #smt #testing
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions (PA, AG, ER), pp. 388–391.
ASEASE-2011-Dautovic #assessment #automation #documentation #quality
Automatic assessment of software documentation quality (AD), pp. 665–669.
ASEASE-2011-Haiduc #automation #concept #detection #quality #query
Automatically detecting the quality of the query and its implications in IR-based concept location (SH), pp. 637–640.
ASEASE-2011-RamirezJCK #adaptation #automation #behaviour #how #nondeterminism
Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems (AJR, ACJ, BHCC, DBK), pp. 568–571.
ASEASE-2011-RobinsonEPAL #automation #generative #scalability #source code #testing
Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs (BR, MDE, JHP, VA, NL), pp. 23–32.
ASEASE-2011-ZhangED #automation #generative #testing
Automatic generation of load tests (PZ, SGE, MBD), pp. 43–52.
CASECASE-2011-MaramisDLK #automation #type system
A system for automatic HPV typing via PCR-RFLP gel electrophoresis (CM, AD, AFL, SPK), pp. 549–556.
CASECASE-2011-MartinezOGG #adaptation #automation #fault #lens
An adaptable vision system for the automatic inspection of surface defects in automotive headlamp lenses (SSM, JGO, ASG, JGG), pp. 157–162.
CASECASE-2011-TranHN #automation #composition
Semi-automatic control of modular systems with intermittent data losses (TT, QPH, HTN), pp. 625–630.
DACDAC-2011-BayrakRBSI #analysis #automation #towards
A first step towards automatic application of power analysis countermeasures (AGB, FR, PB, FXS, PI), pp. 230–235.
DACDAC-2011-MukherjeeFBL #automation #linear #scalability
Automatic stability checking for large linear analog integrated circuits (PM, GPF, RB, PL), pp. 304–309.
DocEngDocEng-2011-BalinskyBS #automation #network #summary
Automatic text summarization and small-world networks (HB, AB, SJS), pp. 175–184.
DocEngDocEng-2011-GangeMMS #automation #layout
Optimal automatic table layout (GG, KM, PM, PJS), pp. 23–32.
DRRDRR-2011-ChengAST #automation #documentation #image #multimodal #retrieval #segmentation
Automatic segmentation of subfigure image panels for multimodal biomedical document retrieval (BC, SA, RJS, GRT), pp. 1–10.
DRRDRR-2011-HajiBS #automation #documentation #image #string
Automatic extraction of numeric strings in unconstrained handwritten document images (MMH, TDB, CYS), pp. 1–10.
DRRDRR-2011-YouADRGT #automation #documentation #hybrid #identification #image #retrieval #towards
Automatic identification of ROI in figure images toward improving hybrid (text and image) biomedical document retrieval (DY, SA, DDF, MMR, VG, GRT), pp. 1–10.
HTHT-2011-SahW #automation #fuzzy #metadata #mining #using
Automatic mining of cognitive metadata using fuzzy inference (MS, VW), pp. 37–46.
HTHT-2011-ZsomboriFGUCKCB #automation #generative #video
Automatic generation of video narratives from shared UGC (VZ, MF, RLG, MFU, PC, IK, RC, DCAB), pp. 325–334.
ICDARICDAR-2011-AhmedLWD #analysis #architecture #automation
Improved Automatic Analysis of Architectural Floor Plans (SA, ML, MW, AD), pp. 864–869.
ICDARICDAR-2011-BarbozaLP #automation #documentation #summary #using
Using Readers’ Highlighting on Monochromatic Documents for Automatic Text Transcription and Summarization (RdSB, RDL, VMdSP), pp. 212–216.
ICDARICDAR-2011-BeusekomS #automation #documentation #metric #verification
Distortion Measurement for Automatic Document Verification (JvB, FS), pp. 289–293.
ICDARICDAR-2011-KacemSB #automation #student
A System for an Automatic Reading of Student Information Sheets (AK, AS, AB), pp. 1265–1269.
ICDARICDAR-2011-LinsSS #automation
Automatically Discriminating between Digital and Scanned Photographs (RDL, GdFPeS, SJS), pp. 1280–1284.
ICDARICDAR-2011-LuoOWK #automation #case study #classification
A Study on Automatic Chinese Text Classification (XL, WO, TW, FK), pp. 920–924.
ICDARICDAR-2011-RenLC #automation #recognition #retrieval #segmentation
A New Method on the Segmentation and Recognition of Chinese Characters for Automatic Chinese Seal Imprint Retrieval (CR, DL, YC), pp. 972–976.
ICDARICDAR-2011-Santos #automation #documentation
Automatic Content Extraction on Semi-structured Documents (JEBDS), pp. 1235–1239.
ICDARICDAR-2011-SilvaL #automation #documentation #recognition
An Automatic Method for Enhancing Character Recognition in Degraded Historical Documents (GPeS, RDL), pp. 553–557.
ICDARICDAR-2011-StommelF #automation #documentation #estimation #parametricity
Automatic Estimation of the Legibility of Binarised Historic Documents for Unsupervised Parameter Tuning (MS, GF), pp. 104–108.
ICDARICDAR-2011-YalnizM #automation #evaluation #performance
A Fast Alignment Scheme for Automatic OCR Evaluation of Books (IZY, RM), pp. 754–758.
SIGMODSIGMOD-2011-HoweCKB #ad hoc #automation #database #query
Automatic example queries for ad hoc databases (BH, GC, NK, LB), pp. 1319–1322.
SIGMODSIGMOD-2011-ZhangHOPS #automation #database #relational
Automatic discovery of attributes in relational databases (MZ, MH, BCO, CMP, DS), pp. 109–120.
VLDBVLDB-2011-DalviKS #automation #scalability #web
Automatic Wrappers for Large Scale Web Extraction (NND, RK, MAS), pp. 219–230.
VLDBVLDB-2011-JahaniCR #automation #optimisation #pipes and filters #source code
Automatic Optimization for MapReduce Programs (EJ, MJC, CR), pp. 385–396.
VLDBVLDB-2011-NarasayyaPS #automation
Automatic Workload Driven Index Defragmentation (VRN, HP, MS), pp. 1407–1409.
ITiCSEITiCSE-2011-LorenzoVP #automation #compilation #evaluation
A proposal for automatic evaluation in a compiler construction course (EJL, JV, AP), pp. 308–312.
ITiCSEITiCSE-2011-Sanchez-TorrubiaTT #algorithm #assessment #automation #learning
GLMP for automatic assessment of DFS algorithm learning (MGST, CTB, GT), p. 351.
FASEFASE-2011-BendispostoL #analysis #automation
Automatic Flow Analysis for Event-B (JB, ML), pp. 50–64.
ICPCICPC-J-2009-HammadCM11 #automation #evolution #identification #traceability
Automatically identifying changes that impact code-to-design traceability during evolution (MH, MLC, JIM), pp. 35–64.
ICPCICPC-2011-Medini #automation #concept #execution #mining #scalability
Scalable Automatic Concept Mining from Execution Traces (SM), pp. 238–241.
ICPCICPC-2011-OhlemacherM #automation #benchmark #concept #metric #towards
Towards a Benchmark and Automatic Calibration for IR-Based Concept Location (SDO, AM), pp. 246–249.
ICSMEICSM-2011-SahaRS #automation #framework
An automatic framework for extracting and classifying near-miss clone genealogies (RKS, CKR, KAS), pp. 293–302.
SCAMSCAM-2011-NicolayRMJ #automation #higher-order #parallel #source code
Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs (JN, CDR, WDM, VJ), pp. 185–194.
WCREWCRE-2011-AlbertCFGG #automation #generative #java #named #testing
jPET: An Automatic Test-Case Generator for Java (EA, IC, AFM, MGZ, SG), pp. 441–442.
WCREWCRE-2011-WangPV #automation #readability #segmentation
Automatic Segmentation of Method Code into Meaningful Blocks to Improve Readability (XW, LLP, KVS), pp. 35–44.
WCREWCRE-2011-ZhaoAH #automation
Automatic Extraction of Secrets from Malware (ZZ, GJA, HH), pp. 159–168.
PLDIPLDI-2011-JablinPJJBA #automation #communication #cpu #gpu #optimisation
Automatic CPU-GPU communication management and optimization (TBJ, PP, JAJ, NPJ, SRB, DIA), pp. 142–151.
PLDIPLDI-2011-MurrayIY #automation #declarative #named #optimisation #query
Steno: automatic optimization of declarative queries (DGM, MI, YY), pp. 121–131.
PLDIPLDI-2011-PrasadAG #automation #compilation #execution #matlab #source code
Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors (AP, JA, RG), pp. 152–163.
PLDIPLDI-2011-SatoI #automation #matrix #parallel
Automatic parallelization via matrix multiplication (SS, HI), pp. 470–479.
DLTDLT-2011-CharlierRS #automation #decidability #sequence
Enumeration and Decidable Properties of Automatic Sequences (EC, NR, JS), pp. 165–179.
LATALATA-2011-CaseJLOSS #automation #learning #pattern matching #subclass
Automatic Learning of Subclasses of Pattern Languages (JC, SJ, TDL, YSO, PS, FS), pp. 192–203.
LATALATA-2011-CorranHKT #automation #finite #monad
Singular Artin Monoids of Finite Coxeter Type Are Automatic (RC, MH, DK, RMT), pp. 250–261.
LATALATA-2011-Khoussainov #automation
Automatic Structures and Groups (BK), pp. 22–40.
FMFM-2011-AmalioGK #automation #generative #modelling #specification
Building VCL Models and Automatically Generating Z Specifications from Them (NA, CG, PK), pp. 149–153.
FMFM-2011-QinLCH #automation #specification #verification
Automatically Refining Partial Specifications for Program Verification (SQ, CL, WNC, GH), pp. 369–385.
SFMSFM-2011-Moschitti #automation #kernel #learning #modelling
Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning (AM), pp. 458–503.
AGTIVEAGTIVE-2011-HildebrandtLGPR #automation #consistency #graph grammar #implementation #testing
Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (SH, LL, HG, DP, IR), pp. 238–253.
CHICHI-2011-Monroy-HernandezHGb #automation #community #how #online
Computers can’t give credit: how automatic attribution falls short in an online remixing community (AMH, BMH, JGR, DB), pp. 3421–3430.
CSCWCSCW-2011-NawahdahI #automation #education #learning
Automatic adjustment of a virtual teacher’s model in a learning support system (MN, TI), pp. 693–696.
HCIDHM-2011-FangF #automation
An Automatic Method for Computerized Head and Facial Anthropometry (JJF, SYF), pp. 12–21.
HCIDHM-2011-KaklanisMMT #assessment #automation #framework
A Framework for Automatic Simulated Accessibility Assessment in Virtual Environments (NK, PM, KM, DT), pp. 302–311.
HCIDHM-2011-RupprechtHB #automation
Automatic Face Feature Points Extraction (DR, SH, RB), pp. 186–194.
HCIHCI-DDA-2011-BreinerBRSMD #adaptation #automation #generative #modelling #runtime #user interface #workflow
Automatic Adaptation of User Workflows within Model-Based User Interface Generation during Runtime on the Example of the SmartMote (KB, KB, TR, MS, GM, PD), pp. 165–174.
HCIHCI-DDA-2011-CharfiEKM #analysis #automation #evaluation #human-computer #interactive #network #towards
Towards an Automatic Analysis of Interaction Data for HCI Evaluation Application to a Transport Network Supervision System (SC, HE, CK, FM), pp. 175–184.
HCIHCI-DDA-2011-GuoWM #automation #image #modelling #visual notation
Experimental Studies of Visual Models in Automatic Image Annotation (PG, TW, JM), pp. 562–570.
HCIHCI-UA-2011-NisimuraMKKI #automation #development #identification #interface #recognition #speech
Development of Web-Based Voice Interface to Identify Child Users Based on Automatic Speech Recognition System (RN, SM, LK, HK, TI), pp. 607–616.
CAiSECAiSE-2011-CabanillasRCA #automation #generative #process
Automatic Generation of a Data-Centered View of Business Processes (CC, MR, ARC, AA), pp. 352–366.
CAiSECAiSE-2011-LeopoldMR #automation #modelling #on the #process
On the Automatic Labeling of Process Models (HL, JM, HAR), pp. 512–520.
ICEISICEIS-v1-2011-MarinAV #automation #java #named #ontology #semantics
Jar2Ontology — A Tool for Automatic Extraction of Semantic Information from Java Object Code (NM, CSÁ, MAV), pp. 267–276.
ICEISICEIS-v3-2011-ZhuL11a #automation #modelling #simulation
Modeling and Simulation of the Automatic Train Protection in WLAN based CBTC Systems (XZ, JL), pp. 449–458.
CIKMCIKM-2011-CleuziouBLD #automation #framework #semantics
A pretopological framework for the automatic construction of lexical-semantic structures from texts (GC, DB, VL, GD), pp. 2453–2456.
CIKMCIKM-2011-DuanLZ #automation #query
Automatic query reformulation with syntactic operators to alleviate search difficulty (HD, RL, CZ), pp. 2037–2040.
ECIRECIR-2011-SerdyukovTVRW #automation #enterprise #people #profiling
Automatic People Tagging for Expertise Profiling in the Enterprise (PS, MT, VV, MR, RWW), pp. 399–410.
ICMLICML-2011-ChenWC #automation #composition
Automatic Feature Decomposition for Single View Co-training (MC, KQW, YC), pp. 953–960.
ICMLICML-2011-NakajimaSB #automation #on the
On Bayesian PCA: Automatic Dimensionality Selection and Analytic Solution (SN, MS, SDB), pp. 497–504.
ICMLICML-2011-ZhongK #automation #modelling #performance
Efficient Sparse Modeling with Automatic Feature Grouping (WZ, JTK), pp. 9–16.
KDDKDD-2011-KorenLMS #automation #email
Automatically tagging email by leveraging other users’ folders (YK, EL, YM, RS), pp. 913–921.
KDIRKDIR-2011-FernandesAF #automation #estimation
Automatic Estimation of the LSA Dimension (JF, AA, MJF), pp. 309–313.
KDIRKDIR-2011-LencK #automation #recognition
Confidence Measure for Automatic Face Recognition (LL, PK), pp. 365–368.
KMISKMIS-2011-AouichaFTH #automation #query
Structure-based Interrogation and Automatic Query Reformulation (MBA, IKF, MT, ABH), pp. 123–128.
SEKESEKE-2011-FreireAKAC #approach #automation #deployment #modelling #monitoring #process
Automatic Deployment and Monitoring of Software Processes: A Model-Driven Approach (MAF, FAA, UK, EA, RC), pp. 42–47.
SEKESEKE-2011-MokarizadehKM #automation #evaluation #semantics #web #web service
Evaluation of Semi-Automatic Acquisition of Semantic Descriptions of Web Services(S) (SM, PK, MM), pp. 353–356.
SEKESEKE-2011-ParkK #approach #automation #formal method #lightweight
Applying Lightweight Formal Approach to Automatic Configuration Inspection (SP, GK), pp. 107–110.
SEKESEKE-2011-WangLWL #automation #bibliography #generative #integration #order
A Brief Survey on Automatic Integration Test Order Generation (ZW, BL, LW, QL), pp. 254–257.
SIGIRSIGIR-2011-AminiU #automation #detection #learning #multi #summary
Transductive learning over automatically detected themes for multi-document summarization (MRA, NU), pp. 1193–1194.
SIGIRSIGIR-2011-KimSC #automation #query
Automatic boolean query suggestion for professional search (YK, JS, WBC), pp. 825–834.
ECMFAECMFA-2011-DolquesDFHNP #automation #learning #model transformation
Easing Model Transformation Learning with Automatically Aligned Examples (XD, AD, JRF, MH, CN, FP), pp. 189–204.
MODELSMoDELS-2011-JacksonLB #automation #metamodelling #proving #reasoning #specification
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs (EKJ, TL, DB), pp. 653–667.
MODELSMoDELS-2011-RamirezC #automation #monitoring #requirements
Automatic Derivation of Utility Functions for Monitoring Software Requirements (AJR, BHCC), pp. 501–516.
MODELSMoDELS-2011-JacksonLB #automation #metamodelling #proving #reasoning #specification
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs (EKJ, TL, DB), pp. 653–667.
MODELSMoDELS-2011-RamirezC #automation #monitoring #requirements
Automatic Derivation of Utility Functions for Monitoring Software Requirements (AJR, BHCC), pp. 501–516.
OnwardOnward-2011-Puschel #automation #performance #programming
Automatic performance programming (MP), pp. 1–2.
OOPSLAOOPSLA-2011-Golan-GuetaBARSY #automation #using
Automatic fine-grain locking using shape properties (GGG, NGB, AA, GR, MS, EY), pp. 225–242.
OOPSLAOOPSLA-2011-LiuB #automation #detection #named #precise
SHERIFF: precise detection and automatic mitigation of false sharing (TL, EDB), pp. 3–18.
GPCEGPCE-2011-EsmaeilsabzaliFA #aspect-oriented #automation #modelling #monitoring
Monitoring aspects for the customization of automatically generated code for big-step models (SE, BF, JMA), pp. 117–126.
GPCEGPCE-2011-SlattenKH #automation #case study #distributed #generative #industrial #reliability #specification #towards #validation #verification
Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study (VS, FAK, PH), pp. 147–156.
PPDPPPDP-2011-Rybalchenko #automation #synthesis #tool support #towards #verification
Towards automatic synthesis of software verification tools (AR), pp. 3–4.
POPLPOPL-2011-CousotCL #analysis #array #automation #parametricity #scalability #segmentation
A parametric segmentation functor for fully automatic and scalable array content analysis (PC, RC, FL), pp. 105–118.
POPLPOPL-2011-JoishaSBBC #automation #compilation #effectiveness #optimisation #parallel #reuse #thread
A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code (PGJ, RSS, PB, HJB, DRC), pp. 623–636.
RERE-2011-BoutkovaH #automation #identification #specification
Semi-automatic identification of features in requirement specifications (EB, FH), pp. 313–318.
SACSAC-2011-HuangWCL #algorithm #automation #image
An automatic selective color transfer algorithm for images (YHH, PCW, CCC, KPL), pp. 66–71.
SACSAC-2011-KangR #automation #named #testing
FortressCheck: automatic testing for generic properties (SK, SR), pp. 1290–1296.
SACSAC-2011-MeerBHFK #automation #framework #using #web
A framework for automatic annotation of web pages using the Google rich snippets vocabulary (JvdM, FB, FH, FF, UK), pp. 765–772.
SACSAC-2011-TranCTV #automation #modelling #process #reuse
Automatic reuse of process patterns in process modeling (HNT, BC, TDT, MHV), pp. 1431–1438.
ESEC-FSEESEC-FSE-2011-Baluda #abstraction #automation #refinement #testing
Automatic structural testing with abstraction refinement and coarsening (MB), pp. 400–403.
ESEC-FSEESEC-FSE-2011-BeschastnikhBSSE #automation #invariant #modelling
Leveraging existing instrumentation to automatically infer invariant-constrained models (IB, YB, SS, MS, MDE), pp. 267–277.
ESEC-FSEESEC-FSE-2011-FraserA #automation #generative #named #object-oriented #testing
EvoSuite: automatic test suite generation for object-oriented software (GF, AA), pp. 416–419.
ESEC-FSEESEC-FSE-2011-MirzaAghaei #automation #evolution #testing
Automatic test suite evolution (MM), pp. 396–399.
ICSEICSE-2011-MarianiPRS #automation #black box #named #testing
AutoBlackTest: a tool for automatic black-box testing (LM, MP, OR, MS), pp. 1013–1015.
ICSEICSE-2011-SridharaPV #automation #detection
Automatically detecting and describing high level actions within methods (GS, LLP, KVS), pp. 101–110.
ICSEICSE-2011-TamrawiNAN #automation #debugging #fuzzy
Fuzzy set-based automatic bug triaging (AT, TTN, JMAK, TNN), pp. 884–887.
ICSEICSE-2011-Xue #analysis #automation #legacy #product line #re-engineering #variability
Reengineering legacy software products into software product line based on automatic variability analysis (YX), pp. 1114–1117.
ICSEICSE-2011-Zhang11a #automation #scalability
Scalable automatic linearizability checking (SJZ), pp. 1185–1187.
SPLCSPLC-2011-TawhidP #automation #performance #product line
Automatic Derivation of a Product Performance Model from a Software Product Line Model (RT, DCP), pp. 80–89.
CGOCGO-2011-HertzbergO #automation #parallel #runtime
Runtime automatic speculative parallelization (BH, KO), pp. 64–73.
CGOCGO-2011-LeeT #automation #fine-grained #parallel
Automatic parallelization of fine-grained meta-functions on a chip multiprocessor (SL, JT), pp. 130–140.
PPoPPPPoPP-2011-BotincanDDP #automation #memory management #proving #safety
Automatic safety proofs for asynchronous memory operations (MB, MD, AFD, MJP), pp. 313–314.
PPoPPPPoPP-2011-DonaldsonKR #analysis #automation #named
SCRATCH: a tool for automatic analysis of dma races (AFD, DK, PR), pp. 311–312.
PPoPPPPoPP-2011-SiegelZ #automation #parallel #source code #verification
Automatic formal verification of MPI-based parallel programs (SFS, TKZ), pp. 309–310.
CAVCAV-2011-LiGR #automation #c++ #execution #generative #named #source code #symbolic computation #testing
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs (GL, IG, SPR), pp. 609–615.
ICLPICLP-2011-Bone #automation #parallel
Automatic Parallelism in Mercury (PB), pp. 251–254.
ICLPICLP-J-2011-BoneSS #automation #parallel
Estimating the overlap between dependent computations for automatic parallelization (PB, ZS, PS), pp. 575–591.
ICLPICLP-J-2011-DurzinskyMOSW #automation #network #re-engineering #using
Automatic network reconstruction using ASP (MD, WM, MO, TS, AW), pp. 749–766.
ICSTICST-2011-LazaarGL #automation #constraints #framework #source code
A Framework for the Automatic Correction of Constraint Programs (NL, AG, YL), pp. 319–326.
ISSTAISSTA-2011-GodefroidL #automation #generative #summary #testing
Automatic partial loop summarization in dynamic test generation (PG, DL), pp. 23–33.
ISSTAISSTA-2011-GuoE #automation #data analysis #persistent #using
Using automatic persistent memoization to facilitate data analysis scripting (PJG, DRE), pp. 287–297.
RTARTA-2011-ZantemaE #automation #proving #similarity
Proving Equality of Streams Automatically (HZ, JE), pp. 393–408.
ASEASE-2010-Balint #automation #behaviour #data type
Automatic inference of abstract type behavior (MB), pp. 499–504.
ASEASE-2010-BuseW #automation
Automatically documenting program changes (RPLB, WW), pp. 33–42.
ASEASE-2010-GermanMI #automation #identification #source code
A sentence-matching method for automatic license identification of source code files (DMG, YM, KI), pp. 437–446.
ASEASE-2010-KhatchadourianM #automation #java #refactoring
Enumeration refactoring: a tool for automatically converting Java constants to enumerated types (RK, BM), pp. 181–182.
ASEASE-2010-LiangWWWXM #automation #effectiveness #set #static analysis
Automatic construction of an effective training set for prioritizing static analysis warnings (GL, LW, QW, QW, TX, HM), pp. 93–102.
ASEASE-2010-SridharaHMPV #automation #generative #java #summary #towards
Towards automatically generating summary comments for Java methods (GS, EH, DM, LLP, KVS), pp. 43–52.
ASEASE-2010-YangWRN #automation #coordination #detection #natural language #requirements
Automatic detection of nocuous coordination ambiguities in natural language requirements (HY, AW, ANDR, BN), pp. 53–62.
CASECASE-2010-HungHYC #automation #development #framework #industrial
Development of an automatic virtual metrology framework for TFT-LCD industry (MHH, HCH, HCY, FTC), pp. 879–884.
CASECASE-2010-ShoaeiLM #automation #flexibility #generative
Automatic generation of controllers for collision-free flexible manufacturing systems (MRS, BL, SM), pp. 368–373.
DACDAC-2010-IosifidisMMGBSC #automation #framework #memory management #optimisation #parallel
A framework for automatic parallelization, static and dynamic memory optimization in MPSoC platforms (YI, AM, SM, EdG, AB, DS, FC), pp. 549–554.
DACDAC-2010-NurvitadhiHLK #automation #parallel #pipes and filters #specification #synthesis #thread #transaction
Automatic multithreaded pipeline synthesis from transactional datapath specifications (EN, JCH, SLL, TK), pp. 314–319.
DATEDATE-2010-AbbasCFKA #adaptation #automation #framework #generative #performance #testing
An automatic test generation framework for digitally-assisted adaptive equalizers in high-speed serial links (MA, KTC, YF, SK, KA), pp. 1755–1760.
DATEDATE-2010-KrekuTV #automation #compilation #generative
Automatic workload generation for system-level exploration based on modified GCC compiler (JK, KT, GV), pp. 369–374.
DATEDATE-2010-NurvitadhiHKL #automation #pipes and filters #specification #transaction
Automatic pipelining from transactional datapath specifications (EN, JCH, TK, SLL), pp. 1001–1004.
DATEDATE-2010-OmsCBK #architecture #automation #pipes and filters
Automatic microarchitectural pipelining (MGO, JC, DB, MK), pp. 961–964.
DATEDATE-2010-VasudevanSPTTJ #automation #data mining #generative #mining #named #static analysis #using
GoldMine: Automatic assertion generation using data mining and static analysis (SV, DS, SJP, DT, WT, DRJ), pp. 626–629.
DATEDATE-2010-WuLCT #abstraction #automation #generative #multi #performance
Automatic generation of software TLM in multiple abstraction layers for efficient HW/SW co-simulation (MHW, WCL, CYC, RST), pp. 1177–1182.
DocEngDocEng-2010-LimZJHFL #automation #experience #web
Automatic selection of print-worthy content for enhanced web page printing experience (SHL, LZ, JJ, HH, JF, JL), pp. 165–168.
DocEngDocEng-2010-Vega-OliverosMP #automation #documentation #generative #interactive #quote
“This conversation will be recorded”: automatically generating interactive documents from captured media (DAVO, DSM, MdGCP), pp. 37–40.
DRRDRR-2010-ChenMT #automation #performance #using #validation #word
Efficient automatic OCR word validation using word partial format derivation and language model (SC, DM, GRT), pp. 1–10.
HTHT-2010-ChoudhuryFAGLY #automation #social #using
Automatic construction of travel itineraries using social breadcrumbs (MDC, MF, SAY, NG, RL, CY), pp. 35–44.
HTHT-2010-PaparrizosKAV #automation #statistics #web
Automatic extraction of structure, content and usage data statistics of web sites (IKP, VAK, LA, AV), pp. 301–302.
SIGMODSIGMOD-2010-CieslewiczRSY #automation #data-driven #detection
Automatic contention detection and amelioration for data-intensive operations (JC, KAR, KS, YY), pp. 483–494.
SIGMODSIGMOD-2010-TalukdarIP #automation #integration #keyword #search-based
Automatically incorporating new sources in keyword search-based data integration (PPT, ZGI, FCNP), pp. 387–398.
VLDBVLDB-2010-LiuCCJR #automation #information management #refinement
Automatic Rule Refinement for Information Extraction (BL, LC, VC, HVJ, FR), pp. 588–597.
VLDBVLDB-2011-TodaCSM10 #approach #automation #interface #probability #web
A Probabilistic Approach for Automatically Filling Form-Based Web Interfaces (GAT, EC, ASdS, ESdM), pp. 151–160.
ITiCSEITiCSE-2010-DicksonAAG #automation #education #evaluation
Evaluation of automatic classroom capture for computer science education (PED, DTA, WRA, AG), pp. 88–92.
ITiCSEITiCSE-2010-KaravirtaI #assessment #automation #javascript
Serverless automatic assessment of Javascript exercises (VK, PI), p. 303.
FASEFASE-2010-GhezziMS #automation #case study #multi #specification #validation
Automatic Cross Validation of Multiple Specifications: A Case Study (CG, AM, GS), pp. 233–247.
TACASTACAS-2010-AvnitSP #automation #named #protocol #synthesis
ACS: Automatic Converter Synthesis for SoC Bus Protocols (KA, AS, JP), pp. 343–348.
TACASTACAS-2010-DonaldsonKR #analysis #automation #manycore #memory management
Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors (AFD, DK, PR), pp. 280–295.
TACASTACAS-2010-KatzP #automation #verification
Code Mutation in Verification and Automatic Code Correction (GK, DP), pp. 435–450.
CSMRCSMR-2010-MalikJAHFH #analysis #automation #comparison #enterprise #performance #scalability #testing
Automatic Comparison of Load Tests to Support the Performance Analysis of Large Enterprise Systems (HM, ZMJ, BA, AEH, PF, GH), pp. 222–231.
ICPCICPC-2010-FalleriHLNPD #automation #identifier #network
Automatic Extraction of a WordNet-Like Identifier Network from Software (JRF, MH, ML, CN, VP, MD), pp. 4–13.
ICSMEICSM-2010-Al-KofahiTNNN #approach #automation #evolution #fuzzy #set
Fuzzy set approach for automatic tagging in evolving software (JMAK, AT, TTN, HAN, TNN), pp. 1–10.
ICSMEICSM-2010-DraganCM #automation #identification
Automatic identification of class stereotypes (ND, MLC, JIM), pp. 1–10.
ICSMEICSM-2010-LiQJW #automation #generative #graph #testing
Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph (BL, DQ, SJ, DW), pp. 1–10.
ICSMEICSM-2010-MirzaAghaeiPP #automation #evolution #testing
Automatically repairing test cases for evolving method declarations (MM, FP, MP), pp. 1–5.
ICSMEICSM-2010-PonsiniCFMR #automation #invariant #verification
Automatic verification of loop invariants (OP, HC, CF, CM, MR), pp. 1–5.
ICSMEICSM-2010-ZhangSZ #automation
Automatic checking of license compliance (HZ, BS, LZ), pp. 1–3.
WCREWCRE-2010-Guerrouj #analysis #automation #concept #identifier #source code
Automatic Derivation of Concepts Based on the Analysis of Source Code Identifiers (LG), pp. 301–304.
PLDIPLDI-2010-BurckhardtDMT #automation #named
Line-up: a complete and automatic linearizability checker (SB, CD, MM, RT), pp. 330–340.
SASSAS-2010-BrauerK #abstraction #automation #using
Automatic Abstraction for Intervals Using Boolean Formulae (JB, AK), pp. 167–183.
SASSAS-2010-VechevYRS #automation #parallel #source code #verification
Automatic Verification of Determinism for Structured Parallel Programs (MTV, EY, RR, VS), pp. 455–471.
FLOPSFLOPS-2010-MorihataM #automation #parallel #quantifier #recursion #using
Automatic Parallelization of Recursive Functions Using Quantifier Elimination (AM, KM), pp. 321–336.
FLOPSFLOPS-2010-SeidelV #automation #generative #theorem
Automatically Generating Counterexamples to Naive Free Theorems (DS, JV), pp. 175–190.
CIAACIAA-2010-Neider #automation #game studies #graph #reachability
Reachability Games on Automatic Graphs (DN), pp. 222–230.
LATALATA-2010-JainLS #automation
Learnability of Automatic Classes (SJ, QL, FS), pp. 321–332.
IFMIFM-2010-FaberIJS #automation #parametricity #specification #verification
Automatic Verification of Parametric Specifications with Complex Topologies (JF, CI, SJ, VSS), pp. 152–167.
SEFMSEFM-2010-GothelG #automation #invariant #network #realtime #towards #using #verification
Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants (TG, SG), pp. 310–314.
CHICHI-2010-LiCEDL #automation #interactive #logic #named #prototype #testing
FrameWire: a tool for automatically extracting interaction logic from paper prototyping tests (YL, XC, KE, MD, JAL), pp. 503–512.
SOFTVISSOFTVIS-2010-AlbrechtEHK #algorithm #automation #layout #process
An automatic layout algorithm for BPEL processes (BA, PE, MH, MK), pp. 173–182.
SOFTVISSOFTVIS-2010-ChengTWH #animation #automation #debugging #named
xDIVA: automatic animation between debugging break points (YPC, HYT, CSW, CHH), pp. 221–222.
ICEISICEIS-AIDSS-2010-FariaGSMM #automation #natural language #ontology #using
Using Natural Language Processing for Automatic Extraction of Ontology Instances (CGdF, RG, IS, MM, DM), pp. 278–283.
ICEISICEIS-AIDSS-2010-PortelaAROG #automation #detection #framework #game studies #performance
An Intelligent Framework for Automatic Event Detection in Robotic Soccer Games — An Auxiliar Tool to Help Coaches Improve their Teams’ Performance (JP, PA, LPR, ECO, JG), pp. 244–249.
ICEISICEIS-AIDSS-2010-SofokleousKA #automation #search-based #testing
Automatic Search-based Testing with the Required k-tuples Criterion (AAS, AK, ASA), pp. 250–255.
ICEISICEIS-DISI-2010-KetataMMH #automation #maintenance #ontology #performance
Efficient Semi-automatic Maintenance of Mapping between Ontologies in a Biomedical Environment (IK, RM, FM, AH), pp. 257–262.
ICEISICEIS-HCI-2010-ArmeniseBT #adaptation #automation #web
A Tool for Automatic Adaptation of Web Pages to Different Screen Size (RA, CB, LT), pp. 91–98.
ICEISICEIS-HCI-2010-KralC #automation #corpus #web
Automatic Dialog Act Corpus Creation from Web Pages (PK, CC), pp. 198–203.
ICEISICEIS-HCI-2010-VinhasOR #assessment #automation #interface #multi #named #realtime
BioStories — Dynamic Multimedia Interfaces based on Automatic Real-time User Emotion Assessment (VV, ECO, LPR), pp. 21–29.
ICEISICEIS-ISAS-2010-CouturierHT #automation #case study #contract #information management
Engineering Agent-based Information Systems — A Case Study of Automatic Contract Net Systems (VC, MPH, DT), pp. 242–248.
ICEISICEIS-J-2010-ArtignanH10a #automation #generative #visual notation
From Coding to Automatic Generation of Legends in Visual Analytics (GA, MH), pp. 404–417.
ICEISICEIS-J-2010-ClariziaGN10a #adaptation #automation #lightweight #ontology #optimisation
An Adaptive Optimisation Method for Automatic Lightweight Ontology Extraction (FC, LG, PN), pp. 357–371.
CIKMCIKM-2010-ChenHZLRHP #automation #image #probability #topic
A probabilistic topic-connection model for automatic image annotation (XC, XH, ZZ, CL, GR, TH, EKP), pp. 899–908.
CIKMCIKM-2010-DingSBVWLC #automation #detection #embedded #feature model #framework #image #using
Automatic detection of craters in planetary images: an embedded framework using feature selection and boosting (WD, TFS, LPCB, RV, YW, ZL, TC), pp. 749–758.
CIKMCIKM-2010-LiQKG #automation #constraints #model merging #using
Automatic schema merging using mapping constraints among incomplete sources (XL, CQ, DK, SG), pp. 299–308.
CIKMCIKM-2010-LiuWCL #automation #xml
Automatically weighting tags in XML collection (DL, CW, LC, XL), pp. 1289–1292.
CIKMCIKM-2010-QiYXD #automation #generative #taxonomy
Choosing your own adventure: automatic taxonomy generation to permit many paths (XQ, DY, ZX, BDD), pp. 1853–1856.
CIKMCIKM-2010-SahW #automation #enterprise #metadata #multi
Automatic metadata extraction from multilingual enterprise content (MS, VW), pp. 1665–1668.
CIKMCIKM-2010-SongLCLH #automation #web
Automatic extraction of web data records containing user-generated content (XS, JL, YC, CYL, HWH), pp. 39–48.
CIKMCIKM-2010-SzumlanskiG #automation #concept #network #semantics
Automatically acquiring a semantic network of related concepts (SRS, FG), pp. 19–28.
CIKMCIKM-2010-WestPP #automation #documentation #topic
Automatically suggesting topics for augmenting text documents (RW, DP, JP), pp. 929–938.
ECIRECIR-2010-AthanasakosSJ #algorithm #automation #framework #image
A Framework for Evaluating Automatic Image Annotation Algorithms (KA, VS, JMJ), pp. 217–228.
ECIRECIR-2010-HauffHAJ #automation #evaluation
A Case for Automatic System Evaluation (CH, DH, LA, FdJ), pp. 153–165.
ICPRICPR-2010-Carneiro #automation #case study #comparative #design #image
A Comparative Study on the Use of an Ensemble of Feature Extractors for the Automatic Design of Local Image Descriptors (GC), pp. 3356–3359.
ICPRICPR-2010-EkenelS #automation #recognition #robust
Automatic Frequency Band Selection for Illumination Robust Face Recognition (HKE, RS), pp. 2684–2687.
ICPRICPR-2010-GongLTPLLTZ #automation #framework #image #statistics
Automatic Pathology Annotation on Medical Images: A Statistical Machine Translation Framework (TG, SL, CLT, BCP, CCTL, CKL, QT, ZZ), pp. 2504–2507.
ICPRICPR-2010-HabeMK #automation #composition #image #video
Automatic Composition of an Informative Wide-View Image from Video (HH, SM, MK), pp. 4117–4120.
ICPRICPR-2010-HeLS #automation #recognition #verification
Automatic Discrimination between Confusing Classes with Writing Styles Verification in Arabic Handwritten Numeral Recognition (CLH, LL, CYS), pp. 2045–2048.
ICPRICPR-2010-HuangAWC #2d #3d #automation #recognition #symmetry
Automatic Asymmetric 3D-2D Face Recognition (DH, MA, YW, LC), pp. 1225–1228.
ICPRICPR-2010-HuangM #automation #detection #locality #video
Automatic Detection and Localization of Natural Scene Text in Video (XH, HM), pp. 3216–3219.
ICPRICPR-2010-IzadiS #automation #detection #image #segmentation #using
Automatic Building Detection in Aerial Images Using a Hierarchical Feature Based Image Segmentation (MI, PS), pp. 472–475.
ICPRICPR-2010-JulianDLCBC #automation #detection
Automatic Hair Detection in the Wild (PJ, CD, FL, VC, AB, AC), pp. 4617–4620.
ICPRICPR-2010-KalalMM #automation #detection #fault
Forward-Backward Error: Automatic Detection of Tracking Failures (ZK, KM, JM), pp. 2756–2759.
ICPRICPR-2010-KimKK #automation
Automatic Restoration of Scratch in Old Archive (KtK, BK, EYK), pp. 468–471.
ICPRICPR-2010-KiwanukaW #automation
Automatic Attribute Threshold Selection for Blood Vessel Enhancement (FNK, MHFW), pp. 2314–2317.
ICPRICPR-2010-KobayashiT #adaptation #automation #image
Content-Adaptive Automatic Image Sharpening (TK, JT), pp. 2214–2217.
ICPRICPR-2010-KocamazR #automation #refinement
Automatic Refinement of Foreground Regions for Robot Trail Following (MKK, CR), pp. 4077–4080.
ICPRICPR-2010-LeeHH #automation #gender #recognition #using
Automatic Gender Recognition Using Fusion of Facial Strips (PHL, JYH, YPH), pp. 1140–1143.
ICPRICPR-2010-LiuCLL #automation #locality #parametricity #using
A Lip Contour Extraction Method Using Localized Active Contour Model with Automatic Parameter Selection (XL, YmC, ML, HL), pp. 4332–4335.
ICPRICPR-2010-LiuQW #automation #detection
Automatic Detection of Phishing Target from Phishing Webpage (GL, BQ, LW), pp. 4153–4156.
ICPRICPR-2010-MilitzerHJTH #automation #detection #image #segmentation
Automatic Detection and Segmentation of Focal Liver Lesions in Contrast Enhanced CT Images (AM, TH, FJ, CT, JH), pp. 2524–2527.
ICPRICPR-2010-MinSW #2d #automation #video
Automatic Face Replacement in Video Based on 2D Morphable Model (FM, NS, ZW), pp. 2250–2253.
ICPRICPR-2010-Nolazco-FloresLG #automation #recognition #speech
Speech Magnitude-Spectrum Information-Entropy (MSIE) for Automatic Speech Recognition in Noisy Environments (JANF, RAAL, LPGP), pp. 4364–4367.
ICPRICPR-2010-OliverTLM #automation #segmentation #set #using
Automatic Diagnosis of Masses by Using Level set Segmentation and Shape Description (AO, AT, XL, JM), pp. 2528–2531.
ICPRICPR-2010-RajgopalanRRM #automation #editing #video
Keyframe-Guided Automatic Non-linear Video Editing (VR, AR, RR, SPM), pp. 3236–3239.
ICPRICPR-2010-SadekAMS #automation #realtime #recognition #using
Real-Time Automatic Traffic Accident Recognition Using HFG (SS, AAH, BM, US), pp. 3348–3351.
ICPRICPR-2010-SenechalBP #automation #detection #using
Automatic Facial Action Detection Using Histogram Variation Between Emotional States (TS, KB, LP), pp. 3752–3755.
ICPRICPR-2010-Simsekli #automation #classification #music #using
Automatic Music Genre Classification Using Bass Lines (US), pp. 4137–4140.
ICPRICPR-2010-StephaniJRH #automation #detection
Automatically Detecting Peaks in Terahertz Time-Domain Spectroscopy (HS, JJ, CR, BH), pp. 4468–4471.
ICPRICPR-2010-Syeda-MahmoodBWMLSH #automation
Automatic Selection of Keyframes from Angiogram Videos (TFSM, DB, FW, AM, RJL, NS, TH), pp. 4008–4011.
ICPRICPR-2010-TangS #automation #image
De-ghosting for Image Stitching with Automatic Content-Awareness (YT, JS), pp. 2210–2213.
ICPRICPR-2010-Teijeiro-MosqueraAG #automation #estimation #parametricity #recognition
Face Recognition Across Pose with Automatic Estimation of Pose Parameters through AAM-Based Landmarking (LTM, JLAC, DGJ), pp. 1339–1342.
ICPRICPR-2010-WangB #automation #clustering #evaluation #fault #performance
Performance Evaluation of Automatic Feature Discovery Focused within Error Clusters (SYW, HSB), pp. 718–721.
ICPRICPR-2010-YouLJ #automation #image
Automatic Weak Calibration of Master-Slave Surveillance System Based on Mosaic Image (LY, SL, WJ), pp. 1824–1827.
ICPRICPR-2010-ZhangSQ10a #automation #keyword
Automatic Pronunciation Transliteration for Chinese-English Mixed Language Keyword Spotting (SZ, ZS, YQ), pp. 1610–1613.
ICPRICPR-2010-ZhaoHDC #3d #automation #feature model #recognition #statistics
Automatic 3D Facial Expression Recognition Based on a Bayesian Belief Net and a Statistical Facial Feature Model (XZ, DH, ED, LC), pp. 3724–3727.
ICPRICPR-2010-ZhouPD #3d #automation
3D Active Shape Model for Automatic Facial Landmark Location Trained with Automatically Generated Landmark Points (DZ, DPD, BD), pp. 3801–3805.
KDDKDD-2010-YeLCJ #automation #categorisation #clustering #using
Automatic malware categorization using cluster ensemble (YY, TL, YC, QJ), pp. 95–104.
KDIRKDIR-2010-BadrWF #automation #named #reduction #summary
AutoLSA: Automatic Dimension Reduction of LSA for Single-document Summarization (HB, NMW, MF), pp. 444–448.
KDIRKDIR-2010-HaCohen-KernerSS #automation #documentation #identification
Automatic Identification of Biblical Quotations in Hebrew-Aramaic Documents (YHK, NS, YS), pp. 320–325.
KDIRKDIR-2010-MollerEDS #automation #ontology #recognition #using
Automatic Spatial Plausibility Checks for Medical Object Recognition Results using a Spatio-anatomical Ontology (MM, PE, AD, DS), pp. 5–13.
KEODKEOD-2010-ChatterjeeKRD #automation #classification #email #ontology #using
Automatic Email Classification using user Preference Ontology (NC, SK, SR, VD), pp. 165–170.
KEODKEOD-2010-CruanesGR #automation #development #ontology
Proposal of a Methodological and Technological Development for Automatic Ontology Extension (JC, RMG, MTRF), pp. 471–475.
KEODKEOD-2010-HouLON #automation #information management #ontology
Automatic Ontology Construction for Manufacturing Knowledge and Information Management (XH, WJL, SKO, AYCN), pp. 331–334.
KEODKEOD-2010-KohnLP #automation #challenge #documentation
The Challenge of Automatically Annotating Solution Documents — Comparing Manual and Automatic Annotation of Solution Documents in the Field of Mechanical Engineering (AK, UL, GP), pp. 153–158.
RecSysRecSys-2010-EkstrandKSBKR #automation #research
Automatically building research reading lists (MDE, PK, JAS, JTB, JAK, JR), pp. 159–166.
SEKESEKE-2010-WangPACC #analysis #automation #process
An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language (DW, JP, GSA, LAC, BC), pp. 765–770.
SEKESEKE-2010-XuanJRYL #automation #classification #debugging #using
Automatic Bug Triage using Semi-Supervised Text Classification (JX, HJ, ZR, JY, ZL), pp. 209–214.
SIGIRSIGIR-2010-HauffJ #automation #evaluation #retrieval
Retrieval system evaluation: automatic evaluation versus incomplete judgments (CH, FdJ), pp. 863–864.
SIGIRSIGIR-2010-HeR #approach #automation #detection #generative #ranking
A ranking approach to target detection for automatic link generation (JH, MdR), pp. 831–832.
SIGIRSIGIR-2010-KardanGB #automation
A method to automatically construct a user knowledge model in a forum environment (AK, MG, BB), pp. 717–718.
SIGIRSIGIR-2010-Popescu-BelisKPNBW #automation #multi #retrieval #speech
Automatic content linking: speech-based just-in-time retrieval for multimedia archives (APB, JK, PP, AN, EB, JdW), p. 703.
MODELSMoDELS-v1-2010-CruzF #approach #automation #generative #metamodelling #user interface
A Metamodel-Based Approach for Automatic User Interface Generation (AMRdC, JPF), pp. 256–270.
MODELSMoDELS-v1-2010-GoldsbyC #automation #behaviour #modelling #uml
Automatically Discovering Properties That Specify the Latent Behavior of UML Models (HG, BHCC), pp. 316–330.
MODELSMoDELS-v1-2010-LucioBA #automation #model transformation #validation
A Technique for Automatic Validation of Model Transformations (LL, BB, VA), pp. 136–150.
ECOOPECOOP-2010-HermansPD #automation #diagrams #spreadsheet
Automatically Extracting Class Diagrams from Spreadsheets (FH, MP, AvD), pp. 52–75.
OOPSLAOOPSLA-2010-UpadhyayaMP #automation #identification #memory management #source code
Automatic atomic region identification in shared memory SPMD programs (GU, SPM, VSP), pp. 652–670.
GPCEGPCE-2010-KriegerKW #automation #contract #performance #simulation
Automatic and efficient simulation of operation contracts (MPK, AK, BW), pp. 53–62.
GPCEGPCE-2010-RysselPK #automation #identification #modelling
Automatic variation-point identification in function-block-based models (UR, JP, KK), pp. 23–32.
QAPLQAPL-2010-BarsottiW #abstraction #automation #probability #random #verification
Automatic Probabilistic Program Verification through Random Variable Abstraction (DB, NW), pp. 34–47.
POPLPOPL-2010-DiasR #automation #declarative #generative #using
Automatically generating instruction selectors using declarative machine descriptions (JD, NR), pp. 403–416.
POPLPOPL-2010-MagillTLT #abstraction #automation #source code
Automatic numeric abstractions for heap-manipulating programs (SM, MHT, PL, YKT), pp. 211–222.
RERE-2010-Kof #automation #documentation #interactive #modelling #requirements
From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation (LK), pp. 391–392.
REFSQREFSQ-2010-LeuserO #automation #scalability #specification
Tackling Semi-automatic Trace Recovery for Large Specifications (JL, DO), pp. 203–217.
SACSAC-2010-GrozaHB #automation #towards
Towards automatic extraction of epistemic items from scientific publications (TG, SH, GB), pp. 1341–1348.
SACSAC-2010-LinsBT #automation #detection #documentation #image
Automatically detecting and classifying noises in document images (RDL, SB, MT), pp. 33–39.
SACSAC-2010-MigotinaRF #automation #detection #fuzzy #parametricity #using
Automatic K-complex detection using Hjorth parameters and fuzzy decision (DM, ACR, ALNF), pp. 979–980.
SACSAC-2010-NetoGBPM #automation #documentation #fault #image #semantics
An automatic linking service of document images reducing the effects of OCR errors with latent semantics (RBN, JACG, AB, JP, AAM), pp. 13–17.
SACSAC-2010-PizzolatoAP #architecture #automation #recognition
Automatic recognition of finger spelling for LIBRAS based on a two-layer architecture (EBP, MdSA, GCP), pp. 969–973.
SACSAC-2010-SillaKK #automation #classification #hybrid #music
Improving automatic music genre classification with hybrid content-based feature vectors (CNSJ, ALK, CAAK), pp. 1702–1707.
SACSAC-2010-VoigtIR #automation #generative #metamodelling #named
MatchBox: combined meta-model matching for semi-automatic mapping generation (KV, PI, AR), pp. 2281–2288.
FSEFSE-2010-CarzanigaGPP #automation #web
Automatic workarounds for web applications (AC, AG, NP, MP), pp. 237–246.
FSEFSE-2010-Rubinov #automation #generative #integration #testing
Generating integration test cases automatically (KR), pp. 357–360.
ICSEICSE-2010-BaresiM #automation #generative #java #named #testing
TestFul: automatic unit-test generation for Java classes (LB, MM), pp. 281–284.
ICSEICSE-2010-CarzanigaGPP #automation #named #runtime
RAW: runtime automatic workarounds (AC, AG, NP, MP), pp. 321–322.
ICSEICSE-2010-Mattsson #architecture #automation #design
Automatic enforcement of architectural design rules (AM), pp. 369–372.
CCCC-2010-BaskaranRS #automation #code generation #source code
Automatic C-to-CUDA Code Generation for Affine Programs (MMB, JR, PS), pp. 244–263.
CGOCGO-2010-CanedoYK #automation #parallel
Automatic parallelization of simulink applications (AC, TY, HK), pp. 151–159.
CGOCGO-2010-YukiRRAEO #automation #modelling
Automatic creation of tile size selection models (TY, LR, SVR, CA, AEE, KO), pp. 190–199.
LCTESLCTES-2010-SchlicklingP #analysis #automation #modelling
Semi-automatic derivation of timing models for WCET analysis (MS, MP), pp. 67–76.
LCTESLCTES-2010-ViskicLG #automation #design #framework #generative #network #process
Design exploration and automatic generation of MPSoC platform TLMs from Kahn Process Network applications (IV, LY, DG), pp. 77–84.
OSDIOSDI-2010-GundaRTYZ #automation #named
Nectar: Automatic Management of Data and Computation in Datacenters (PKG, LR, CAT, YY, LZ), pp. 75–88.
OSDIOSDI-2010-PortsCZML #automation #consistency #transaction
Transactional Consistency and Automatic Management in an Application Data Cache (DRKP, ATC, IZ, SM, BL), pp. 279–292.
CAVCAV-2010-ChatterjeeK #architecture #automation #communication #generative #induction #invariant #modelling
Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics (SC, MK), pp. 321–338.
CAVCAV-2010-Vafeiadis #automation #proving
Automatically Proving Linearizability (VV), pp. 450–464.
CSLCSL-2010-KuskeLL #morphism #problem
The Isomorphism Problem for ω-Automatic Trees (DK, JL, ML), pp. 396–410.
ICSTICST-2010-DebroyW #automation #source code #using
Using Mutation to Automatically Suggest Fixes for Faulty Programs (VD, WEW), pp. 65–74.
ICSTICST-2010-FeliachiG #automation #generative #modelling #testing
Generating Transition Probabilities for Automatic Model-Based Test Generation (AF, HLG), pp. 99–102.
ISSTAISSTA-2010-CarbinR #automation #identification
Automatically identifying critical input regions and code in applications (MC, MCR), pp. 37–48.
ISSTAISSTA-2010-KwonS #automation #component #detection
Automatic detection of unsafe component loadings (TK, ZS), pp. 107–118.
LICSLICS-2010-KuskeLL #automation #morphism #problem
The Isomorphism Problem on Classes of Automatic Structures (DK, JL, ML), pp. 160–169.
TAPTAP-2010-GogollaHK #automation #independence #invariant #ocl #proving #testing #visualisation
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases (MG, LH, MK), pp. 38–54.
TAPTAP-2010-ThummalapentaHTW #automation #generative #mining #named #testing
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces (ST, JdH, NT, SW), pp. 77–93.
VMCAIVMCAI-2010-KingS #abstraction #automation
Automatic Abstraction for Congruences (AK, HS), pp. 197–213.
ASEASE-2009-HolmesRRW #automation #recommendation #reuse
Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks (RH, TR, MPR, RJW), pp. 397–408.
ASEASE-2009-JanssenAG #automation #fault #locality #named #tool support
Zoltar: A Toolset for Automatic Fault Localization (TJ, RA, AJCvG), pp. 662–664.
ASEASE-2009-KawrykowR #api #automation #detection
Improving API Usage through Automatic Detection of Redundant Code (DK, MPR), pp. 111–122.
ASEASE-2009-PradelG #automation #generative #scalability #specification
Automatic Generation of Object Usage Specifications from Large Method Traces (MP, TRG), pp. 371–382.
CASECASE-2009-ChakiC #approach #automation #fuzzy #multi #using
An Automatic decission support system for medical instrument suppliers using fuzzy multifactor based approach (AC, TC), pp. 158–163.
DACDAC-2009-KluterBIC #automation #set
Way Stealing: cache-assisted automatic instruction set extensions (TK, PB, PI, EC), pp. 31–36.
DACDAC-2009-KongYW #automation
Automatic bus planner for dense PCBs (HK, TY, MDFW), pp. 326–331.
DACDAC-2009-VillenaS #automation #modelling #multi #named
ARMS — automatic residue-minimization based sampling for multi-point modeling techniques (JFV, LMS), pp. 951–956.
DATEDATE-2009-ArpinenKSHH #automation #integration #modelling #uml
Evaluating UML2 modeling of IP-XACT objects for automatic MP-SoC integration onto FPGA (TA, TK, ES, TDH, MH), pp. 244–249.
DATEDATE-2009-BruneelAS #automation #configuration management #framework #self
Automatically mapping applications to a self-reconfiguring platform (KB, FA, DS), pp. 964–969.
DATEDATE-2009-GaluzziTMB #algorithm #automation
Algorithms for the automatic extension of an instruction-set (CG, DT, RM, KB), pp. 548–553.
DATEDATE-2009-MilderHP #automation #generative #permutation #streaming
Automatic generation of streaming datapaths for arbitrary fixed permutations (PAM, JCH, MP), pp. 1118–1123.
DocEngDocEng-2009-HeinrichBK #automation #documentation #framework #ontology #repository
A platform to automatically generate and incorporate documents into an ontology-based content repository (MH, ABP, MK), pp. 43–46.
DocEngDocEng-2009-HurstLM #automation #bibliography #documentation #pretty-printing
Review of automatic document formatting (NH, WL, KM), pp. 99–108.
HTHT-2009-StrohmaierKK #automation
Automatically annotating textual resources with human intentions (MS, MK, CK), pp. 355–356.
ICDARICDAR-2009-ChiangK #automation
A Method for Automatically Extracting Road Layers from Raster Maps (YYC, CAK), pp. 838–842.
ICDARICDAR-2009-GacebELE #automation #documentation #graph #recognition
Graph b-Coloring for Automatic Recognition of Documents (DG, VE, FL, HE), pp. 261–265.
ICDARICDAR-2009-LuYSS #automation #re-engineering
Semi-automatic Roof Reconstruction (TL, YY, FS, ZS), pp. 723–727.
ICDARICDAR-2009-MansjurWJ #automation #categorisation #classification #kernel #learning #topic #using
Using Kernel Density Classifier with Topic Model and Cost Sensitive Learning for Automatic Text Categorization (DSM, TSW, BHJ), pp. 1086–1090.
ICDARICDAR-2009-MoghaddamC #automation #classification #clustering #documentation #image #multi #word
Application of Multi-Level Classifiers and Clustering for Automatic Word Spotting in Historical Document Images (RFM, MC), pp. 511–515.
ICDARICDAR-2009-Smet #automation #documentation #forensics #re-engineering
Semi-automatic Forensic Reconstruction of Ripped-up Documents (PdS), pp. 703–707.
ICDARICDAR-2009-TerasawaIT #automation #evaluation #framework #word
Automatic Evaluation Framework for Word Spotting (KT, HI, YT), pp. 276–280.
ICDARICDAR-2009-WangBA #automation #documentation #using
Document Content Extraction Using Automatically Discovered Features (SYW, HSB, CA), pp. 1076–1080.
ICDARICDAR-2009-WangBT #automation #documentation #image
Automatic Corresponding Control Points Selection for Historical Document Image Registration (JW, MSB, CLT), pp. 1176–1180.
ITiCSEITiCSE-2009-BlasGMB #analysis #automation #composition #using
Automatic E-learning contents composition by using gap analysis techniques (JMdB, JMG, LdM, RB), p. 369.
ITiCSEITiCSE-2009-KiesmullerB #algorithm #automation #identification #problem
Automatically identifying learners’ problem solving strategies in-process solving algorithmic problems (UK, TB), p. 354.
ITiCSEITiCSE-2009-RonchettiS #automation #towards
Towards automatic syllabi matching (MR, JS), p. 379.
ITiCSEITiCSE-2009-ThomasWS #automation #diagrams #tool support
Generalised diagram revision tools with automatic marking (PGT, KGW, NS), pp. 318–322.
ESOPESOP-2009-RazaCG #automation #logic #parallel
Automatic Parallelization with Separation Logic (MR, CC, PG), pp. 348–362.
FASEFASE-2009-SumnerZ #algorithm #automation
Algorithms for Automatically Computing the Causal Paths of Failures (WNS, XZ), pp. 355–369.
CSMRCSMR-2009-MarwedeRHH #automation #behaviour #correlation #distributed #scalability
Automatic Failure Diagnosis Support in Distributed Large-Scale Software Systems Based on Timing Behavior Anomaly Correlation (NM, MR, AvH, WH), pp. 47–58.
ICPCICPC-2009-HammadCM #automation #identification #traceability
Automatically identifying changes that impact code-to-design traceability (MH, MLC, JIM), pp. 20–29.
ICPCICPC-2009-HindleGGH #automation #category theory #maintenance #scalability
Automatic classication of large changes into maintenance categories (AH, DMG, MWG, RCH), pp. 30–39.
ICPCICPC-2009-KarumuriR #automation #detection
Automatic detection of internal queues and stages in message processing systems (SK, SPR), pp. 315–316.
MSRMSR-2009-EnslenHPV #analysis #automation #identifier #mining #source code
Mining source code to automatically split identifiers for software analysis (EE, EH, LLP, KVS), pp. 71–80.
MSRMSR-2009-Kuhn #automation #component #evolution #source code #using #word
Automatic labeling of software components and their evolution using log-likelihood ratio of word frequencies in source code (AK), pp. 175–178.
MSRMSR-2009-TianRP #automation #categorisation #using
Using Latent Dirichlet Allocation for automatic categorization of software (KT, MR, DP), pp. 163–166.
WCREWCRE-1999-AbdeenDSA99a #automation
Automatic Package Coupling and Cycle Minimization (HA, SD, HAS, IA), pp. 103–112.
WCREWCRE-1999-CooganDKT99a #automation
Automatic Static Unpacking of Malware Binaries (KC, SKD, TK, GMT), pp. 167–176.
WCREWCRE-1999-KawaguchiYUFKNI99a #automation #clone detection #detection #ide #named
SHINOBI: A Tool for Automatic Code Clone Detection in the IDE (SK, TY, HU, KF, YK, MN, HI), pp. 313–314.
PEPMPEPM-2009-EversK #automation #network
Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks (LE, JK), pp. 73–80.
PLDIPLDI-2009-RavitchJAL #automation #generative #library #static analysis #using
Automatic generation of library bindings using static analysis (TR, SJ, EA, BL), pp. 352–362.
SASSAS-2009-Hurlin #automation #optimisation #parallel #proving #source code
Automatic Parallelization and Optimization of Programs by Proof Rewriting (CH), pp. 52–68.
LATALATA-2009-LiuM #automation #complexity
Analysing Complexity in Classes of Unary Automatic Structures (JL, MM), pp. 518–529.
IFMIFM-2009-MilhauFF #automation #error message #execution #fault #generative #process #symbolic computation
Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions (JM, BF, MF), pp. 337–351.
ICFPICFP-2009-McCarthy #automation #composition #continuation #rest #web
Automatically RESTful web applications: marking modular serializable continuations (JAM), pp. 299–310.
CHICHI-2009-ReichlingW #automation #generative #recommendation
Expert recommender systems in practice: evaluating semi-automatic profile generation (TR, VW), pp. 59–68.
HCIHCI-NT-2009-AbeOO #automation #image #using
Automatic Method for Measuring Eye Blinks Using Split-Interlaced Images (KA, SO, MO), pp. 3–11.
HCIHCI-VAD-2009-Yarlikas #analysis #automation
A New Automatic Teller Machine (ATM) Proposal through the Analysis of ATMs of Three Banks (SY), pp. 641–650.
HCIOCSC-2009-BreitfussPI #automation #behaviour #generative #multimodal
Automatic Generation of Non-verbal Behavior for Agents in Virtual Worlds: A System for Supporting Multimodal Conversations of Bots and Avatars (WB, HP, MI), pp. 153–161.
AdaEuropeAdaEurope-2009-LasnierZPH #analysis #automation #code generation #modelling
Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications (GL, BZ, LP, JH), pp. 237–250.
AdaSIGAda-2009-LiangRS #architecture #automation #generative #prototype
“Automatic Prototype Generating” restated with re-ADA: perspective-bridged architecture for document-driven systems transitioning (SXL, LAR, SS), pp. 45–60.
CAiSECAiSE-2009-GiachettiMP #automation #domain-specific language #generative #modelling #uml #using
Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles (GG, BM, OP), pp. 110–124.
CAiSECAiSE-2009-MaoBPF #automation #generative #using
Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings (LM, KB, NWP, AAAF), pp. 79–93.
ICEISICEIS-AIDSS-2009-TadeusiewiczOO #automation #comprehension #information management
Automatic Information Processing and Understanding in Cognitive Business Systems (RT, MRO, LO), pp. 5–10.
ICEISICEIS-DISI-2009-AnnoniE #automation #documentation #modelling #object-oriented #web
Modeling Web Documents as Objects for Automatic Web Content Extraction — Object-oriented Web Data Model (EA, CIE), pp. 91–100.
ICEISICEIS-DISI-2009-CiriloKL #automation #enterprise #web
Automatic Derivation of Spring-OSGi based Web Enterprise Applications (EC, UK, CJPdL), pp. 228–233.
ICEISICEIS-ISAS-2009-MateoPL #automation #generative #product line #testing
Automatic Generation of Test Cases in Software Product Lines (PRM, MP, BPL), pp. 124–130.
ICEISICEIS-J-2009-Ehnes #artificial reality #automation #interface
An Automated Meeting Assistant: A Tangible Mixed Reality Interface for the AMIDA Automatic Content Linking Device (JE), pp. 952–962.
ICEISICEIS-J-2009-MoralesC #automation #composition #process #verification
Automatic Compositional Verification of Business Processes (LEMM, MIC), pp. 479–490.
ICEISICEIS-J-2009-SiepermannS #automation #generative
e-Learning in Logistics Cost Accounting Automatic Generation and Marking of Exercises (MS, CS), pp. 665–676.
ICEISICEIS-J-2009-SousaLCA #algorithm #automation #metamodelling
A Step Forward in Semi-automatic Metamodel Matching: Algorithms and Tool (JdS, DL, DBC, ZA), pp. 137–148.
CIKMCIKM-2009-BalasubramanianC #automation #generative #modelling #topic #using
Automatic generation of topic pages using query-based aspect models (NB, SC), pp. 2049–2052.
CIKMCIKM-2009-DasdanDKD #automation #interface #query #retrieval #using
Automatic retrieval of similar content using search engine query interface (AD, PD, SK, CD), pp. 701–710.
CIKMCIKM-2009-GardnerX #approach #automation #detection #sequence
Automatic link detection: a sequence labeling approach (JJG, LX), pp. 1701–1704.
CIKMCIKM-2009-ParkG #automation #metric #realtime #towards #using
Towards real-time measurement of customer satisfaction using automatically generated call transcripts (YP, SCG), pp. 1387–1396.
CIKMCIKM-2009-XiaYZ #automation #using #web
Automatic web data extraction using tree alignment (YX, HY, SZ), pp. 1645–1648.
CIKMCIKM-2009-XueC #automation #generative #query
Automatic query generation for patent search (XX, WBC), pp. 2037–2040.
ECIRECIR-2009-Barron-CedenoR #automation #comparison #detection #n-gram #on the
On Automatic Plagiarism Detection Based on n-Grams Comparison (ABC, PR), pp. 696–700.
ECIRECIR-2009-LungleyK #automation
Automatically Maintained Domain Knowledge: Initial Findings (DL, UK), pp. 739–743.
ECIRECIR-2009-StathopoulosJ #automation #image
Bayesian Mixture Hierarchies for Automatic Image Annotation (VS, JMJ), pp. 138–149.
KDDKDD-2009-FuxmanKGATS #automation #classification #using
Improving classification accuracy using automatically extracted training data (AF, AK, ABG, RA, PT, JCS), pp. 1145–1154.
KEODKEOD-2009-Goldstein-StewartW #automation #design #knowledge base
Designing a System for Semi-automatic Population of Knowledge Bases from Unstructured Text (JGS, RKW), pp. 88–99.
MLDMMLDM-2009-ChanguelLB #automation #html #learning
A General Learning Method for Automatic Title Extraction from HTML Pages (SC, NL, BBM), pp. 704–718.
SEKESEKE-2009-LiangKS #approach #automation #case study #diagrams
Automatic Class Matching to Compare Extracted Class Diagrams: Approach and Case Study (YL, NAK, RKS), pp. 268–273.
SEKESEKE-2009-YuanHZL #automation #modelling #multi #transaction #verification
Modeling and Verification of Automatic Multi-business Transactions (MY, ZH, JZ, XL), pp. 274–279.
SIGIRSIGIR-2009-Bossard #automation #documentation #summary #using
Using document structure for automatic summarization (AB), p. 849.
SIGIRSIGIR-2009-NohPYLP #automation #folksonomy #multi #network #using
An automatic translation of tags for multimedia contents using folksonomy networks (TGN, SBP, HGY, SJL, SYP), pp. 492–499.
SIGIRSIGIR-2009-PunithaJG #automation #feature model #multi #query #retrieval #topic #using #video
Topic prerogative feature selection using multiple query examples for automatic video retrieval (PP, JMJ, AG), pp. 804–805.
SIGIRSIGIR-2009-SiersdorferPS #automation #using #video
Automatic video tagging using content redundancy (SS, JSP, MS), pp. 395–402.
SIGIRSIGIR-2009-WangLF #automation #fuzzy #predict #using
Automatic URL completion and prediction using fuzzy type-ahead search (JW, GL, JF), pp. 634–635.
SIGIRSIGIR-2009-YangC #automation #feature model #induction #taxonomy
Feature selection for automatic taxonomy induction (HY, JC), pp. 684–685.
ICMTICMT-2009-SenBM #automation #generative #model transformation #testing
Automatic Model Generation Strategies for Model Transformation Testing (SS, BB, JMM), pp. 148–164.
MODELSMoDELS-2009-ChenouardJ #automation #constraints
Automatically Discovering Hidden Transformation Chaining Constraints (RC, FJ), pp. 92–106.
MODELSMoDELS-2009-NarayananLBK #automation #domain model #evolution #metamodelling #migration
Automatic Domain Model Migration to Manage Metamodel Evolution (AN, TL, DB, GK), pp. 706–711.
MODELSMoDELS-2009-ChenouardJ #automation #constraints
Automatically Discovering Hidden Transformation Chaining Constraints (RC, FJ), pp. 92–106.
MODELSMoDELS-2009-NarayananLBK #automation #domain model #evolution #metamodelling #migration
Automatic Domain Model Migration to Manage Metamodel Evolution (AN, TL, DB, GK), pp. 706–711.
ECOOPECOOP-2009-HeydarnooriCB #automation #concept #framework
Supporting Framework Use via Automatically Extracted Concept-Implementation Templates (AH, KC, TTB), pp. 344–368.
TOOLSTOOLS-EUROPE-2009-TreharneTPK #automation #formal method #generative #modelling #uml
Automatic Generation of Integrated Formal Models Corresponding to UML System Models (HT, ET, RFP, DSK), pp. 357–367.
PPDPPPDP-2009-SagonasA #automation #erlang #refactoring #source code
Automatic refactoring of Erlang programs (KFS, TA), pp. 13–24.
POPLPOPL-2009-Monniaux #abstraction #automation #composition #constraints #linear
Automatic modular abstractions for linear constraints (DM), pp. 140–151.
SACSAC-2009-BuckerRRW #automation #parallel #problem #simulation
Semi-automatic parallelization of direct and inverse problems for geothermal simulation (HMB, AR, VR, AW), pp. 971–975.
SACSAC-2009-CaladoBB #approach #automation #composition #metric #semantics #similarity #web #web service
An approach for semantic web services automatic discovery and composition with similarity metrics (IC, HB, IIB), pp. 694–695.
SACSAC-2009-CiriloNKNL #automation #multi #product line
Automatic product derivation of multi-agent systems product lines (EC, IN, UK, CN, CJPdL), pp. 731–732.
SACSAC-2009-KimTJJM #automation #roadmap
Automatic discovery of technology trends from patent text (YK, YT, YJ, JR, SHM), pp. 1480–1487.
SACSAC-2009-UddinZ #algorithm #automation #monitoring #named #trust
ATM: an automatic trust monitoring algorithm for service software (MGU, MZ), pp. 1040–1044.
ESEC-FSEESEC-FSE-2009-BertolinoIPT #automation #behaviour #composition #protocol #synthesis
Automatic synthesis of behavior protocols for composable web-services (AB, PI, PP, MT), pp. 141–150.
ESEC-FSEESEC-FSE-2009-HannaBR #automation #automaton #behaviour #composition #independence #verification
Behavioral automata composition for automatic topology independent verification of parameterized systems (YH, SB, HR), pp. 325–334.
ESEC-FSEESEC-FSE-2009-LoMP #automation #behaviour #model inference
Automatic steering of behavioral model inference (DL, LM, MP), pp. 345–354.
ESEC-FSEESEC-FSE-2009-XiongHZSTM #automation #consistency #nondeterminism
Supporting automatic model inconsistency fixing (YX, ZH, HZ, HS, MT, HM), pp. 315–324.
ICSEICSE-2009-CamaraMSCOCP #adaptation #automation #composition #named #web #web service
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services (JC, JAM, GS, JC, MO, CC, EP), pp. 627–630.
ICSEICSE-2009-HangalL #automation #object-oriented #source code
Automatic dimension inference and checking for object-oriented programs (SH, MSL), pp. 155–165.
ICSEICSE-2009-HillPV #automation #maintenance #reuse #source code
Automatically capturing source code context of NL-queries for software maintenance and reuse (EH, LLP, KVS), pp. 232–242.
ICSEICSE-2009-KiezunGJE #automation #injection #sql
Automatic creation of SQL Injection and cross-site scripting attacks (AK, PJG, KJ, MDE), pp. 199–209.
ICSEICSE-2009-MesbahD #ajax #automation #invariant #testing #user interface
Invariant-based automatic testing of AJAX user interfaces (AM, AvD), pp. 210–220.
ICSEICSE-2009-WangZXMS09a #automation #named #string
TranStrL: An automatic need-to-translate string locator for software internationalization (XW, LZ, TX, HM, JS), pp. 555–558.
ICSEICSE-2009-WeimerNGF #automation #programming #search-based #using
Automatically finding patches using genetic programming (WW, TN, CLG, SF), pp. 364–374.
ASPLOSASPLOS-2009-MenonSZ #automation #named #network #performance
TwinDrivers: semi-automatic derivation of fast and safe hypervisor network drivers from guest OS drivers (AM, SS, WZ), pp. 301–312.
ASPLOSASPLOS-2009-SidiroglouLPVNK #automation #named #self #using
ASSURE: automatic software self-healing using rescue points (SS, OL, CP, NV, JN, ADK), pp. 37–48.
CGOCGO-2009-LeatherBO #automation #compilation #generative #machine learning #optimisation
Automatic Feature Generation for Machine Learning Based Optimizing Compilation (HL, EVB, MFPO), pp. 81–91.
HPDCHPDC-2009-QinFP #approach #automation #composition #graph #grid #novel #quality #workflow
A novel graph based approach for automatic composition of high quality grid workflows (JQ, TF, RP), pp. 167–176.
PPoPPPPoPP-2009-LeeME #automation #compilation #framework #optimisation
OpenMP to GPGPU: a compiler framework for automatic translation and optimization (SL, SJM, RE), pp. 101–110.
SOSPSOSP-2009-PerkinsKLABCPSSSWZER #automation #fault
Automatically patching errors in deployed software (JHP, SK, SL, SPA, JB, MC, CP, FS, SS, GS, WFW, YZ, MDE, MCR), pp. 87–102.
SOSPSOSP-2009-RyzhykCKSH #automation #synthesis
Automatic device driver synthesis with termite (LR, PC, IK, ELS, GH), pp. 73–86.
CAVCAV-2009-BozgaHIKV #array #automation #integer #source code #verification
Automatic Verification of Integer Array Programs (MB, PH, RI, FK, TV), pp. 157–172.
CSLCSL-2009-KuskeL #automation #bound #revisited
Automatic Structures of Bounded Degree Revisited (DK, ML), pp. 364–378.
ICSTICST-2009-AngelettiGNPS #analysis #automation #generative #testing
Automatic Test Generation for Coverage Analysis of ERTMS Software (DA, EG, MN, AP, SS), pp. 303–306.
ISSTAISSTA-2009-ClauseO #automation #identification #named #using
Penumbra: automatically identifying failure-relevant inputs using dynamic tainting (JAC, AO), pp. 249–260.
ISSTAISSTA-2009-JiangS #automation #mining #random testing #testing
Automatic mining of functionally equivalent code fragments via random testing (LJ, ZS), pp. 81–92.
ISSTAISSTA-2009-MurphySK #automation #source code #testing
Automatic system testing of programs without test oracles (CM, KS, GEK), pp. 189–200.
ISSTAISSTA-2009-PolikarpovaCM #automation #case study #comparative #contract
A comparative study of programmer-written and automatically inferred contracts (NP, IC, BM), pp. 93–104.
RTARTA-2009-AotoYT #automation #confluence #proving #term rewriting
Proving Confluence of Term Rewriting Systems Automatically (TA, JY, YT), pp. 93–102.
RTARTA-2009-Waldmann #automation #termination
Automatic Termination (JW), pp. 1–16.
FATESTestCom-FATES-2009-Gecse #automation #framework #generative #towards
Towards Automatic Generation of a Coherent TTCN-3 Template Framework (RG), pp. 223–228.
FATESTestCom-FATES-2009-MarchandDJ #automation #data access #security #testing
Automatic Testing of Access Control for Security Properties (HM, JD, TJ), pp. 113–128.
FATESTestCom-FATES-2009-NunesHM #automation #data flow #fault tolerance #generative #named #testing
OConGraX — Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems (PRFN, SH, ACVdM), pp. 229–234.
VMCAIVMCAI-2009-AmjadB #analysis #automation #proving #towards
Towards Automatic Stability Analysis for Rely-Guarantee Proofs (HA, RB), pp. 14–28.
CBSECBSE-2008-BothZ #automation #component #consistency #parallel #protocol #recursion
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems (AB, WZ), pp. 163–179.
WICSAWICSA-2008-AnderssonEL #adaptation #architecture #automation
Automatic Rule Derivation for Adaptive Architectures (JA, ME, WL), pp. 323–326.
ASEASE-2008-CabralM #automation #exception
A Case for Automatic Exception Handling (BC, PM), pp. 403–406.
ASEASE-2008-DanielB #automation #effectiveness #predict #testing #tool support
Predicting Effectiveness of Automatic Testing Tools (BD, MB), pp. 363–366.
ASEASE-2008-JiangNCJC #automation #evolution #incremental #semantics #traceability
Incremental Latent Semantic Indexing for Automatic Traceability Link Evolution Management (HJ, TNN, IXC, HJ, CKC), pp. 59–68.
ASEASE-2008-Papailiopoulou #automation #generative #source code #testing
Automatic Test Generation for LUSTRE/SCADE Programs (VP), pp. 517–520.
ASEASE-2008-RakamaricH #automation #axiom #static analysis #using
Automatic Inference of Frame Axioms Using Static Analysis (ZR, AJH), pp. 89–98.
ASEASE-2008-ShevertalovM #automation #case study #composition #network
A Case Study on the Automatic Composition of Network Application Mashups (MS, SM), pp. 359–362.
ASEASE-2008-Yom-TovTUH #automation #concurrent #debugging #random #source code
Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections (EYT, RT, SU, SH), pp. 307–316.
CASECASE-2008-BenedettoDSW #automation #mining #verification
Automatic verification of wireless control in a mining ventilation system (MDDB, AD, ES, EW), pp. 858–863.
CASECASE-2008-HuangHCLC #automation #design #implementation
Automatic virtual metrology system design and implementation (YTH, HCH, FTC, TSL, FCC), pp. 223–229.
CASECASE-2008-Kress-GazitP #automation #challenge
Automatically synthesizing a planning and control subsystem for the DARPA urban challenge (HKG, GJP), pp. 766–771.
CASECASE-2008-TamadazteDFF #automation #multi #using #visual notation
Automatic micromanipulation using multiscale visual servoing (BT, SD, GF, NLFP), pp. 977–982.
CASECASE-2008-WangSF #automation #detection #difference #equation
Partial differential equation-based GPR signature discrimination for automatic detection of bridge deck delamination (ZWW, GGS, TF), pp. 431–435.
CASECASE-2008-WangSZF #automation #image
Automatic tracing of blood flow velocity in pulsed Doppler images (ZWW, GGS, MZ, TF), pp. 218–222.
CASECASE-2008-YuanZC #automation
Automatic mixing of highly viscous bio-samples (LY, YFZ, WC), pp. 900–905.
DACDAC-2008-BaertGB #automation #case study #memory management
An automatic scratch pad memory management tool and MPEG-4 encoder case study (RB, EdG, EB), pp. 201–204.
DACDAC-2008-BharathES #algorithm #automation #search-based #using
Automatic package and board decoupling capacitor placement using genetic algorithms and M-FDM (KB, EE, MS), pp. 560–565.
DACDAC-2008-ChenXY #abstraction #automation #evaluation #optimisation #refinement
Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation (YC, FX, JY), pp. 143–148.
DACDAC-2008-GorjiaraG #architecture #automation #refinement
Automatic architecture refinement techniques for customizing processing elements (BG, DG), pp. 379–384.
DACDAC-2008-HaubeltSKM #agile #automation #behaviour #design #modelling #named #prototype
SystemCoDesigner: automatic design space exploration and rapid prototyping from behavioral models (CH, TS, JK, MM), pp. 580–585.
DACDAC-2008-Hurst #automation #logic #synthesis
Automatic synthesis of clock gating logic with controlled netlist perturbation (APH), pp. 654–657.
DATEDATE-2008-BombieriDF #automation #design #generative
Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation (NB, ND, FF), pp. 15–20.
DATEDATE-2008-Garcia #automation #configuration management
Safe Automatic Flight Back and Landing of Aircraft Flight Reconfiguration Function (FRF) (JAHG), pp. 280–283.
DATEDATE-2008-MostermanOSJKRCM #automation #embedded #functional #modelling
Automatically Realising Embedded Systems from High-Level Functional Models (PJM, DO, JS, AAJ, WK, VR, CGC, GM).
DATEDATE-2008-RoginKFDR #automation #design #generative #hardware
Automatic Generation of Complex Properties for Hardware Designs (FR, TK, GF, RD, SR), pp. 545–548.
DATEDATE-2008-WolinskiK #automation #configuration management
Automatic Selection of Application-Specific Reconfigurable Processor Extensions (CW, KK), pp. 1214–1219.
DocEngDocEng-2008-AluisioSPMF #automation #towards
Towards Brazilian Portuguese automatic text simplification systems (SMA, LS, TASP, EGM, RPdMF), pp. 240–248.
DocEngDocEng-2008-KumarS #automation #documentation #n-gram #using
Automatic keyphrase extraction from scientific documents using N-gram filtration technique (NK, KS), pp. 199–208.
DocEngDocEng-2008-Oliveira #algorithm #automation #documentation #layout
Two algorithms for automatic document page layout (JBSdO), pp. 141–149.
DRRDRR-2008-BrinkKS #automation #identification #verification
Automatic removal of crossed-out handwritten text and the effect on writer verification and identification (AB, HvdK, LS), p. 68150.
HTHT-2008-ZhouTBAP #authoring #automation #named
Llama-b: automatic hyperlink authoring in the blogosphere (DZ, MT, TJB, HA, AP), pp. 133–138.
SIGMODSIGMOD-2008-FisherWZ #ad hoc #automation #generative #named
LearnPADS: automatic tool generation from ad hoc data (KF, DW, KQZ), pp. 1299–1302.
SIGMODSIGMOD-2008-SororMASKK #automation #database #virtual machine
Automatic virtual machine configuration for database workloads (AAS, UFM, AA, KS, PK, SK), pp. 953–966.
ITiCSEITiCSE-2008-DicksonAH #automation
Automatic creation of indexed presentations from classroom lectures (PED, WRA, ARH), pp. 12–16.
ITiCSEITiCSE-2008-EdwardsP #automation #named #programming
Web-CAT: automatically grading programming assignments (SHE, MAPQ), p. 328.
ITiCSEITiCSE-2008-ReppLM #automation #semantics
Question answering from lecture videos based on an automatic semantic annotation (SR, SL, CM), pp. 17–21.
FASEFASE-2008-MellitiPM #adaptation #automation #behaviour #composition #distributed #semantics
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services (TM, PP, SBM), pp. 146–162.
FASEFASE-2008-SmansJPS #automation #java #source code #verification
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames (JS, BJ, FP, WS), pp. 261–275.
TACASTACAS-2008-ChocklerGY #automation #performance #refinement #using
Efficient Automatic STE Refinement Using Responsibility (HC, OG, AY), pp. 233–248.
TACASTACAS-2008-GulavaniCNR #abstract interpretation #automation
Automatically Refining Abstract Interpretations (BSG, SC, AVN, SKR), pp. 443–458.
CSMRCSMR-2008-Ceccato #aspect-oriented #automation #migration #towards
Automatic Support for the Migration Towards Aspects (MC), pp. 298–301.
ICSMEICSM-2008-JiangHHF #automation #identification #problem #testing
Automatic identification of load testing problems (ZMJ, AEH, GH, PF), pp. 307–316.
ICSMEICSM-2008-SuttonM #automation #c++ #concept #identification
Automatically identifying C++0x concepts in function templates (AS, JIM), pp. 57–66.
ICSMEICSM-2008-ZhangGLZ08a #aspectj #automation #debugging #named
AutoFlow: An automatic debugging tool for AspectJ software (SZ, ZG, YL, JZ), pp. 470–471.
MSRMSR-2008-HillFBSNPV #automation #maintenance #mining #named #source code #tool support
AMAP: automatically mining abbreviation expansions in programs to enhance software maintenance tools (EH, ZPF, HB, GS, YN, LLP, KVS), pp. 79–88.
SCAMSCAM-2008-GondowKI #analysis #approach #automation #behaviour #c #named #preprocessor
TBCppA: A Tracer Approach for Automatic Accurate Analysis of C Preprocessor’s Behaviors (KG, HK, TI), pp. 35–44.
SCAMSCAM-2008-StoneSB #analysis #automation #data flow #set
Automatic Determination of May/Must Set Usage in Data-Flow Analysis (AS, MS, SB), pp. 153–162.
WCREWCRE-2008-DolgovaC #automation #c #re-engineering #source code
Automatic Type Reconstruction in Disassembled C Programs (KD, AC), pp. 202–206.
PLDIPLDI-2008-AminTVWJ #automation #programmable
Automatic volume management for programmable microfluidics (AMA, MT, TNV, SW, SCJ), pp. 56–67.
PLDIPLDI-2008-BondhugulaHRS #automation #locality
A practical automatic polyhedral parallelizer and locality optimizer (UB, AH, JR, PS), pp. 101–113.
SASSAS-2008-AlbertAGP #automation #bound #cost analysis
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis (EA, PA, SG, GP), pp. 221–237.
AFLAFL-2008-KuskeL #automation #graph #recursion
Euler paths and ends in automatic and recursive graphs (DK, ML), pp. 245–256.
LATALATA-2008-CainORT #automation
Automatic Presentations for Cancellative Semigroups (AJC, GPO, NR, RMT), pp. 149–159.
SEFMSEFM-2008-GeihsBRW #automation #model transformation #ontology
Ontology-Based Automatic Model Transformations (KG, PAB, RR, JW), pp. 387–391.
GT-VMTGT-VMT-2006-Kunert08 #automation #generative #metamodelling #modelling #source code
Semi-automatic Generation of Metamodels and Models From Grammars and Programs (AK), pp. 111–119.
CHICHI-2008-ClawsonLRIS #automation #fault #type system #using
Automatic whiteout++: correcting mini-QWERTY typing errors using keypress timing (JC, KL, AR, RAI, TS), pp. 573–582.
CHICHI-2008-GajosWW #interface #performance
Improving the performance of motor-impaired users with automatically-generated, ability-based interfaces (KZG, JOW, DSW), pp. 1257–1266.
CHICHI-2008-SimonMB #automation #generative #named
MySong: automatic accompaniment generation for vocal melodies (IS, DM, SB), pp. 725–734.
SOFTVISSOFTVIS-2008-Eichelberger #automation #case study #diagrams #layout #uml
Automatic layout of UML use case diagrams (HE), pp. 105–114.
AdaEuropeAdaEurope-2008-NarayananK #approach #automation #multi #semantics
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions (SHKN, MTK), pp. 185–198.
EDOCEDOC-2008-Quint #as a service #automation #distributed #security
SOA Security — as a Service Automatic Conversion in Distributed Infrastructures (BQ).
ICEISICEIS-AIDSS-2008-MatiasMMR #automation #clustering #visual notation
Semi-Automatic Partitioning by Visual Snapshopts (RM, JPM, PM, FR), pp. 78–86.
ICEISICEIS-DISI-2008-CeravoloDLCG #automation #framework #integration #named
ODDI — A Framework for Semi-automatic Data Integration (PC, ED, ML, ZC, AG), pp. 15–24.
ICEISICEIS-HCI-2008-Perez-MarinPM #automation #concept #interactive #modelling #natural language
Natural Language Interaction Based on Automatically Generated Conceptual Models (DRPM, IPN, PRM), pp. 5–12.
ICEISICEIS-ISAS2-2008-BediniNG #automation #taxonomy
B2B Automatic Taxonomy Construction (IB, BN, GG), pp. 325–330.
ICEISICEIS-ISAS2-2008-HammoudiAL #architecture #automation #process #towards
Towards a Semi-Automatic Transformation Process in MDA — Architecture and Methodology (SH, WA, DL), pp. 416–425.
ICEISICEIS-ISAS2-2008-KiyomotoOT #automation #generative #on the fly #protocol #security
On-the-Fly Automatic Generation of Security Protocols (SK, HO, TT), pp. 97–104.
ICEISICEIS-ISAS2-2008-SchultK #adaptation #automation #concept #data mining #enterprise #mining #self
Self-Adaptive Customizing with Data Mining Methods — A Concept for the Automatic Customizing of an ERP System with Data Mining Methods (RS, GK), pp. 70–75.
ICEISICEIS-J-2008-CeravoloCDGL #automation #framework #integration
A Framework for Semi-automatic Data Integration (PC, ZC, ED, AG, ML), pp. 46–60.
CIKMCIKM-2008-JonesK #automation #query #segmentation #topic
Beyond the session timeout: automatic hierarchical segmentation of search topics in query logs (RJ, KLK), pp. 699–708.
CIKMCIKM-2008-WangZRM #automation #online #ranking #topic #using
Automatic online news topic ranking using media focus and user attention based on aging theory (CW, MZ, LR, SM), pp. 1033–1042.
ECIRECIR-2008-AmatiABGG #ad hoc #automation #retrieval
Automatic Construction of an Opinion-Term Vocabulary for Ad Hoc Retrieval (GA, EA, MB, CG, GG), pp. 89–100.
ECIRECIR-2008-MakrehchiK #automation #documentation
Automatic Extraction of Domain-Specific Stopwords from Labeled Documents (MM, MSK), pp. 222–233.
ECIRECIR-2008-PotthastSG #automation #detection #wiki
Automatic Vandalism Detection in Wikipedia (MP, BS, RG), pp. 663–668.
ECIRECIR-2008-SchedlKPW #automation #information management #mining #music #towards #web
Towards an Automatically Generated Music Information System Via Web Content Mining (MS, PK, TP, GW), pp. 585–590.
ECIRECIR-2008-StathopoulosUJ #automation #graph #image #multi #semantics
Semantic Relationships in Multi-modal Graphs for Automatic Image Annotation (VS, JU, JMJ), pp. 490–497.
ICMLICML-2008-MehtaRTD #automation
Automatic discovery and transfer of MAXQ hierarchies (NM, SR, PT, TGD), pp. 648–655.
ICMLICML-2008-RaykarKBDR #automation #feature model #induction #learning #multi
Bayesian multiple instance learning: automatic feature selection and inductive transfer (VCR, BK, JB, MD, RBR), pp. 808–815.
ICPRICPR-2008-CaoRLH #automation #video
Automatic geo-registration of maritime video feeds (XC, ZR, HL, NH), pp. 1–4.
ICPRICPR-2008-El-BazGFE #3d #analysis #approach #automation #detection #image #monitoring
A new approach for automatic analysis of 3D low dose CT images for accurate monitoring the detected lung nodules (AEB, GLG, RF, MAEG), pp. 1–4.
ICPRICPR-2008-FuCLL #approach #automation #segmentation
Saliency Cuts: An automatic approach to object segmentation (YF, JC, ZL, HL), pp. 1–4.
ICPRICPR-2008-GuehamBC #automation #classification #correlation #forensics #using
Automatic classification of partial shoeprints using Advanced Correlation Filters for use in forensic science (MG, AB, DC), pp. 1–4.
ICPRICPR-2008-HajOGV #automation #robust
Automatic face and facial features initialization for robust and accurate tracking (MAH, JO, JG, JV), pp. 1–4.
ICPRICPR-2008-HennigS #automation
Tailoring text for automatic layouting of newspaper pages (LH, TS), pp. 1–4.
ICPRICPR-2008-Kherroubi #automation #image
Automatic extraction of natural fracture traces from borehole images (JK), pp. 1–4.
ICPRICPR-2008-LiuA #automation #recognition
Automatic eye state recognition and closed-eye photo correction (ZL, HA), pp. 1–4.
ICPRICPR-2008-MakiKSS #automation #detection #interactive
Image-based automatic detection of indoor scene events and interactive inquiry (KM, NK, NS, YS), pp. 1–4.
ICPRICPR-2008-MatsuiCM #automation #detection
Bayesian sequential face detection with automatic re-initialization (AM, SC, TM), pp. 1–4.
ICPRICPR-2008-MatsuoSS #automation #generative #recognition
Automatic generation of HMM topology for sign language recognition (TM, YS, NS), pp. 1–4.
ICPRICPR-2008-PesarinCMDPT #automation #classification #statistics
A statistical signature for automatic dialogue classification (AP, MC, VM, CD, AP, AT), pp. 1–4.
ICPRICPR-2008-ShanCW #algorithm #automation #image #novel
A novel automatic seed point selection algorithm for breast ultrasound images (JS, HDC, YW), pp. 1–4.
ICPRICPR-2008-SunY #3d #automation #estimation #modelling
Automatic pose estimation of 3D facial models (YS, LY), pp. 1–4.
ICPRICPR-2008-TauberRLCDO #automation #image #multi #performance #re-engineering
Fast and automatic reconstruction of structured illumination microscopy images with multiscale products (CT, PFGR, VL, NC, BD, JCOM), pp. 1–4.
ICPRICPR-2008-TranT #automation #framework #modelling
Hand modeling and tracking from voxel data: An integrated framework with automatic initialization (CT, MMT), pp. 1–4.
ICPRICPR-2008-WangLLSX #adaptation #automation #video #word
Automatic video annotation with adaptive number of key words (FW, WL, JL, MS, DX), pp. 1–4.
ICPRICPR-2008-WuBB #automation #segmentation #video
Automatic bi-layer video segmentation based on sensor fusion (QW, PB, WFB), pp. 1–4.
ICPRICPR-2008-ZhangK #automation #detection
Automatic road sign detection method based on Color Barycenters Hexagon model (QZ, SiK), pp. 1–4.
ICPRICPR-2008-ZhangLHT #automation #classification
Boosting local feature descriptors for automatic objects classification in traffic scene surveillance (ZZ, ML, KH, TT), pp. 1–4.
KDDKDD-2008-Christen #automation #classification #nearest neighbour #using
Automatic record linkage using seeded nearest neighbour and support vector machine classification (PC), pp. 151–159.
KDDKDD-2008-GodboleR08a #analysis #automation #industrial
An integrated system for automatic customer satisfaction analysis in the services industry (SG, SR), pp. 1073–1076.
KDDKDD-2008-JensenFTM #automation #design #identification
Automatic identification of quasi-experimental designs for discovering causal knowledge (DDJ, ASF, BJT, MEM), pp. 372–380.
RecSysRecSys-2008-WuWC #analysis #automation #incremental #probability #recommendation #semantics
Incremental probabilistic latent semantic analysis for automatic question recommendation (HW, YW, XC), pp. 99–106.
SEKESEKE-2008-CalisayaBC #automation #interactive #requirements
Automatic Discovery of Interactions Between Software Requirements (ESC, MRSB, MLMC), pp. 773–778.
SEKESEKE-2008-GarciaRS #automation #ltl #named #verification
PROTEF: Automatic Verification of Pattern-Based LTL Templates (LG, SR, SS), pp. 261–266.
SEKESEKE-2008-KornerG #automation #ontology #using
Improving Automatic Model Creation Using Ontologies (SJK, TG), pp. 691–696.
SEKESEKE-2008-RusMS #automation #clustering #fault
Automatic Clustering of Defect Reports (VR, SM, SGS), pp. 291–296.
SIGIRSIGIR-2008-LinS #automation #evaluation #how #simulation #towards
How do users find things with PubMed?: towards automatic utility evaluation with user simulations (JJL, MDS), pp. 19–26.
SIGIRSIGIR-2008-PengMO #automation #documentation #feature model #retrieval #web
Automatic document prior feature selection for web retrieval (JP, CM, IO), pp. 761–762.
SIGIRSIGIR-2008-SongZLZLLG #automation #realtime #recommendation
Real-time automatic tag recommendation (YS, ZZ, HL, QZ, JL, WCL, CLG), pp. 515–522.
SIGIRSIGIR-2008-WelchC #automation #identification #query
Automatically identifying localizable queries (MJW, JC), pp. 507–514.
MODELSMoDELS-2008-FalleriHLN #automation #generative #metamodelling #model transformation
Metamodel Matching for Automatic Model Transformation Generation (JRF, MH, ML, CN), pp. 326–340.
MODELSMoDELS-2008-GoldsbyC #adaptation #automation #behaviour #generative #modelling #nondeterminism
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty (HG, BHCC), pp. 568–583.
MODELSMoDELS-2008-GutierrezNCMR #automation #case study #diagrams #process #visualisation
Visualization of Use Cases through Automatically Generated Activity Diagrams (JJG, CN, MJEC, MM, IMR), pp. 83–96.
MODELSMoDELS-2008-HerrmannsdoerferBJ #co-evolution #evolution #metamodelling #modelling
Automatability of Coupled Evolution of Metamodels and Models in Practice (MH, SB, EJ), pp. 645–659.
MODELSMoDELS-2008-FalleriHLN #automation #generative #metamodelling #model transformation
Metamodel Matching for Automatic Model Transformation Generation (JRF, MH, ML, CN), pp. 326–340.
MODELSMoDELS-2008-GoldsbyC #adaptation #automation #behaviour #generative #modelling #nondeterminism
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty (HG, BHCC), pp. 568–583.
MODELSMoDELS-2008-GutierrezNCMR #automation #case study #diagrams #process #visualisation
Visualization of Use Cases through Automatically Generated Activity Diagrams (JJG, CN, MJEC, MM, IMR), pp. 83–96.
MODELSMoDELS-2008-HerrmannsdoerferBJ #co-evolution #evolution #metamodelling #modelling
Automatability of Coupled Evolution of Metamodels and Models in Practice (MH, SB, EJ), pp. 645–659.
GPCEGPCE-2008-DenneyF #automation #generative #verification
Generating customized verifiers for automatically generated code (ED, BF), pp. 77–88.
LOPSTRLOPSTR-2008-DegraveSV #automation #generative #testing
Automatic Generation of Test Inputs for Mercury (FD, TS, WV), pp. 71–86.
PADLPADL-2008-Marpons-UceroMCHMF #automation #consistency #logic programming #using
Automatic Coding Rule Conformance Checking Using Logic Programming (GMU, JMC, MC, ÁHN, JJMN, LÅF), pp. 18–34.
POPLPOPL-2008-AbadiBHI #automation #memory management #semantics #transaction
Semantics of transactional memory and automatic mutual exclusion (MA, AB, TH, MI), pp. 63–74.
POPLPOPL-2008-FisherWZW #ad hoc #automation #generative
From dirt to shovels: fully automatic tool generation from ad hoc data (KF, DW, KQZ, PW), pp. 421–434.
POPLPOPL-2008-UnkelL #automation #java
Automatic inference of stationary fields: a generalization of java’s final fields (CU, MSL), pp. 183–195.
SACSAC-2008-AbreuGZG #automation #fault #invariant #locality #using
Automatic software fault localization using generic program invariants (RA, AG, PZ, AJCvG), pp. 712–717.
SACSAC-2008-BayanC #automation #feedback #testing
Automatic feedback, control-based, stress and load testing (MSB, JWC), pp. 661–666.
SACSAC-2008-Blomqvist #automation #ontology #ranking
Pattern ranking for semi-automatic ontology construction (EB), pp. 2248–2255.
SACSAC-2008-BuenoWJ #automation #generative #testing #using
Automatic test data generation using particle systems (PMSB, WEW, MJ), pp. 809–814.
SACSAC-2008-GrigorovRCK #automation #design #generative #industrial
Template design and automatic generation of controllers for industrial robots (LG, KR, JERC, SK), pp. 1612–1613.
SACSAC-2008-SchreckFK #automation #multi #optimisation #towards
Towards automatic feature vector optimization for multimedia applications (TS, DWF, DAK), pp. 1197–1201.
SACSAC-2008-WainerBD #automation #framework #guidelines #implementation #named
ST-guide: a framework for the implementation of automatic clinical guidelines (JW, CZB, MPD), pp. 1325–1332.
FSEFSE-2008-DagenaisO #automation #framework
Automatically locating framework extension examples (BD, HO), pp. 203–213.
FSEFSE-2008-GabelS #automation #mining #named
Javert: fully automatic mining of general temporal properties from dynamic traces (MG, ZS), pp. 339–349.
ICSEICSE-2008-HuynhCSS #automation #composition #consistency
Automatic modularity conformance checking (SH, YC, YS, KJS), pp. 411–420.
ICSEICSE-2008-LorenzoliMP #automation #behaviour #generative #modelling
Automatic generation of software behavioral models (DL, LM, MP), pp. 501–510.
CCCC-2008-BondhugulaBKRRS #automation #locality #optimisation #parallel
Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model (UB, MMB, SK, JR, AR, PS), pp. 132–146.
CCCC-2008-NitaG #automation #c #multi
Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts (MN, DG), pp. 85–99.
CGOCGO-2008-WimmerM #array #automation #java #virtual machine
Automatic array inlining in java virtual machines (CW, HM), pp. 14–23.
HPDCHPDC-2008-HeSWF #approximate #automation #performance #recognition #test coverage
Code coverage, performance approximation and automatic recognition of idioms in scientific applications (JH, AS, RFVdW, MAF), pp. 223–224.
HPDCHPDC-2008-YanR #automation #clustering #parallel #towards
Toward automatic parallelization of spatial computation for computing clusters (BY, PJR), pp. 45–54.
LCTESLCTES-2008-DelavalGP #automation #data flow #higher-order #source code #type system
A type system for the automatic distribution of higher-order synchronous dataflow programs (GD, AG, MP), pp. 101–110.
OSDIOSDI-2008-CadarDE #automation #generative #named #source code #testing
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (CC, DD, DRE), pp. 209–224.
PPoPPPPoPP-2008-BaskaranBKRRS #architecture #automation #data flow #parallel
Automatic data movement and computation mapping for multi-level parallel architectures with explicitly managed memories (MMB, UB, SK, JR, AR, PS), pp. 1–10.
CAVCAV-2008-GadkariYSRMS #automation #embedded #generative #named
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems (AAG, AY, JS, SR, SM, KCS), pp. 204–208.
ICLPICLP-2008-BoennBVF #automation #composition #music #programming #set
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming (GB, MB, MDV, Jf), pp. 160–174.
ICLPICLP-2008-Degrave #automation #development #testing
Development of an Automatic Testing Environment for Mercury (FD), pp. 805–806.
ICSTICST-2008-TravisonS #automation #identification #pattern matching
Test Instrumentation and Pattern Matching for Automatic Failure Identification (DT, GS), pp. 377–386.
ICSTICST-2008-WeisslederS #automation #ocl #quality #testing
Quality of Automatically Generated Test Cases based on OCL Expressions (SW, BHS), pp. 517–520.
IJCARIJCAR-2008-BenzmullerPTF #automation #higher-order #logic #named #proving #theorem proving
LEO-II — A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (CB, LCP, FT, AF), pp. 162–170.
IJCARIJCAR-2008-Gupta #automation #challenge #verification
Software Verification: Roles and Challenges for Automatic Decision Procedures (AG), p. 1.
ISSTAISSTA-2008-BuseW08a #automation #documentation #exception
Automatic documentation inference for exceptions (RPLB, WW), pp. 273–282.
LICSLICS-2008-HjorthKMN #automation
From Automatic Structures to Borel Structures (GH, BK, AM, AN), pp. 431–441.
ECSAECSA-2007-NavarroLMR #architecture #automation #generative
Supporting the Automatic Generation of Proto-Architectures (EN, PL, JJM, IR), pp. 325–329.
ASEASE-2007-AntkiewiczBC #automation #modelling
Automatic extraction of framework-specific models from framework-based application code (MA, TTB, KC), pp. 214–223.
ASEASE-2007-Reiss #automation
Automatic code stylizing (SPR), pp. 74–83.
ASEASE-2007-SmaragdakisCS #automation #diagrams #generative #modelling #scalability #testing
Scalable automatic test data generation from modeling diagrams (YS, CC, RS), pp. 4–13.
ASEASE-2007-XiongLHZTM #automation #model transformation #towards
Towards automatic model synchronization from model transformations (YX, DL, ZH, HZ, MT, HM), pp. 164–173.
CASECASE-2007-KratochvilDZN #automation #metric
Automatic Nanorobotic Characterization of Anomalously Rolled-up SiGe/Si Helical Nanobelts through Vision-based Force Measurement (BK, LD, LZ, BJN), pp. 57–62.
CASECASE-2007-PanosF #automation
The Benefits of Automatic Data Collection in the Fresh Produce Supply Chain (RP, TF), pp. 1034–1038.
CASECASE-2007-SarkisSD #automation #modelling #parametricity #using
Modeling the Variation of the Intrinsic Parameters of an Automatic Zoom Camera System using Moving Least-Squares (MS, CTS, KD), pp. 560–565.
CASECASE-2007-YangM #approach #automation #feature model #interactive #matrix #verification
Automatic Feasibility Verification of Object Configurations: A New Approach Based on Feature Interaction Matrices (FY, MMM), pp. 686–691.
CASECASE-2007-YuanZCC #automation #using
Automatic Mixing of Bio-Samples Using Micro-Channel and Centrifugation (LY, YFZ, WC, MC), pp. 634–639.
DACDAC-2007-HallschmidS #automation #energy #modelling #using
Automatic Cache Tuning for Energy-Efficiency using Local Regression Modeling (PH, RS), pp. 732–737.
DACDAC-2007-WangLR #automation #megamodelling #named #parametricity #variability
PV-PPV: Parameter Variability Aware, Automatically Extracted, Nonlinear Time-Shifted Oscillator Macromodels (ZW, XL, JSR), pp. 142–147.
DACDAC-2007-YangHH #automation #behaviour #design #verification
Automatic Verification of External Interrupt Behaviors for Microprocessor Design (FCY, WKH, IJH), pp. 896–901.
DATEDATE-2007-BloemGJPPW #automation #case study #hardware #interactive #specification #synthesis
Interactive presentation: Automatic hardware synthesis from specifications: a case study (RB, SJG, BJ, NP, AP, MW), pp. 1188–1193.
DATEDATE-2007-ChongP #automation #float #generative
Automatic application specific floating-point unit generation (YJC, SP), pp. 461–466.
DATEDATE-2007-FengWZKS #automation #black box #generative #interactive #realtime
Interactive presentation: Automatic model generation for black box real-time systems (THF, LW, WZ, SK, SAS), pp. 930–935.
DATEDATE-2007-GaneshpureK #automation #fault #generative #interactive #multi
Interactive presentation: Automatic test pattern generation for maximal circuit noise in multiple aggressor crosstalk faults (KPG, SK), pp. 540–545.
DATEDATE-2007-SanchezSSR #automation #effectiveness #generative #interactive #source code
Interactive presentation: An enhanced technique for the automatic generation of effective diagnosis-oriented test programs for processor (ES, MS, GS, MSR), pp. 1158–1163.
DATEDATE-2007-VermaHR #automation #behaviour #functional #generative #interactive #modelling
Interactive presentation: Automatic generation of functional coverage models from behavioral verilog descriptions (SV, IGH, KR), pp. 900–905.
DATEDATE-2007-VermaI #automation #scalability #synthesis
Automatic synthesis of compressor trees: reevaluating large counters (AKV, PI), pp. 443–448.
DocEngDocEng-2007-MarriottMH #automation #documentation #float #multi
Automatic float placement in multi-column documents (KM, PM, NH), pp. 125–134.
DocEngDocEng-2007-TriebseesB #automation #documentation #embedded #migration #query #semantics #towards
Towards automatic document migration: semantic preservation of embedded queries (TT, UMB), pp. 209–218.
HTHT-2007-GuerreroCPMM #approach #automation #clustering #semantics
Clustering as an approach to support the automatic definition of semantic hyperlinks (JACG, AAC, MdGCP, EVM, AAM), pp. 81–84.
HTHT-2007-ZhouGTB #automation #generative #hypermedia #modelling #named
LLAMA: automatic hypertext generation utilizing language models (DZ, JG, MT, TJB), pp. 77–80.
ICDARICDAR-2007-EspositoFMB #automation #documentation #first-order #incremental #learning #logic #web
Incremental Learning of First Order Logic Theories for the Automatic Annotations of Web Documents (FE, SF, NDM, TMAB), pp. 1093–1097.
ICDARICDAR-2007-GuoHLJ #automation #comprehension
An Automatic Mathematical Expression Understanding System (YsG, LH, CpL, XJ), pp. 719–723.
ICDARICDAR-2007-HerouxBAT #analysis #automation #comprehension #documentation #generative #image
Automatic Ground-truth Generation for Document Image Analysis and Understanding (PH, EB, SA, ÉT), pp. 476–480.
ICDARICDAR-2007-LuT #automation #detection #documentation
Automatic Detection of Document Script and Orientation (SJL, CLT), pp. 237–241.
ICDARICDAR-2007-LuWMG #2d #automation #documentation
Automatic Extraction of Data from 2-D Plots in Documents (XL, JZW, PM, CLG), pp. 188–192.
ICDARICDAR-2007-ZhuD #automation #detection #documentation
Automatic Document Logo Detection (GZ, DSD), pp. 864–868.
VLDBVLDB-2007-ChiticariuHPK #automation #integration
Semi-Automatic Schema Integration in Clio (LC, MAH, PGK, LP), pp. 1326–1329.
ITiCSEITiCSE-2007-Helmick #automation #interface #java #programming #source code
Interface-based programming assignments and automatic grading of java programs (MTH), pp. 63–67.
ITiCSEITiCSE-2007-OechsleB #automation #concurrent #thread
Checking automatically the output of concurrent threads (RO, KB), pp. 43–47.
TACASTACAS-2007-CortierKS #analysis #automation #security
Automatic Analysis of the Security of XOR-Based Key Management Schemes (VC, GK, GS), pp. 538–552.
WCREWCRE-J-2005-AkersBMEL07 #automation #c++ #case study #component #modelling #program transformation #re-engineering
Case study: Re-engineering C++ component models via automatic program transformation (RLA, IDB, MM, BJE, KRL), pp. 275–291.
ICSMEICSM-2007-ConroyGHLX #automation #generative #testing #user interface #web #web service
Automatic Test Generation From GUI Applications For Testing Web Services (KMC, MG, MH, ESL, QX), pp. 345–354.
PLDIPLDI-2007-KrishnamoorthyBBRRS #automation #effectiveness #parallel
Effective automatic parallelization of stencil computations (SK, MMB, UB, JR, AR, PS), pp. 235–244.
PLDIPLDI-2007-MoritaMMHT #automation #divide and conquer #parallel #source code
Automatic inversion generates divide-and-conquer parallel programs (KM, AM, KM, ZH, MT), pp. 146–155.
PLDIPLDI-2007-NarayanasamyWTEC #analysis #automation
Automatically classifying benign and harmful data racesallusing replay analysis (SN, ZW, JT, AE, BC), pp. 22–31.
PLDIPLDI-2007-NovarkBZ #automation #fault #memory management #named #probability
Exterminator: automatically correcting memory errors with high probability (GN, EDB, BGZ), pp. 1–11.
PLDIPLDI-2007-ScherpelzLC #automation #semantics
Automatic inference of optimizer flow functions from semantic meanings (ERS, SL, CC), pp. 135–145.
PLDIPLDI-2007-ShankarB #automation #data type #invariant #java #named
DITTO: automatic incrementalization of data structure invariant checks (in Java) (AS, RB), pp. 310–319.
PLDIPLDI-2007-TitzerABP #automation #reduction #virtual machine
The ExoVM system for automatic VM and application reduction (BT, JSA, DFB, JP), pp. 352–362.
SEFMSEFM-2007-Cook #automation #concurrent #proving #source code
Automatically Proving Concurrent Programs Correct (BC), pp. 269–272.
ICFPICFP-2007-MatsudaHNHT #automation #bidirectional
Bidirectionalization transformation based on automatic derivation of view complement functions (KM, ZH, KN, MH, MT), pp. 47–58.
CHICHI-2007-NicholsCM #automation #user interface
Demonstrating the viability of automatically generated user interfaces (JN, DHC, BAM), pp. 1283–1292.
CHICHI-2007-RanjanBB #automation #visual notation
Dynamic shared visual spaces: experimenting with automatic camera control in a remote repair task (AR, JPB, RB), pp. 1177–1186.
CHICHI-2007-RattenburyC #automation #named
CAAD: an automatic task support system (TR, JFC), pp. 687–696.
CHICHI-2007-SeagerF #automation #navigation #physics
Comparing physical, automatic and manual map rotation for pedestrian navigation (WS, DSF), pp. 767–776.
HCIDHM-2007-VolzBHK #automation #generative #linear #metric #using
Automatic, Body Measurements Based Generation of Individual Avatars Using Highly Adjustable Linear Transformation (AV, RB, SH, KK), pp. 453–459.
HCIDHM-2007-YuWXM #automation
Automatic Joints Extraction of Scanned Human Body (YY, ZW, SX, TM), pp. 286–293.
HCIHCI-AS-2007-ZhangOD #automation #communication #evaluation #performance
Performance Evaluation for Automatic Protection Switching in a CDMA-TDD Wireless Communication System (LZ, HO, TD), pp. 1200–1209.
HCIHCI-AS-2007-ZhangZCMM #automation #named
HOPE: Extensible System for Automatic & Periodic Diagnosis of Offshore Software Project (XZ, LZ, MC, SM, RM), pp. 807–815.
HCIHCI-IDU-2007-YinC #analysis #automation #metric #speech #towards
Towards Automatic Cognitive Load Measurement from Speech Analysis (BY, FC), pp. 1011–1020.
HCIHCI-IPT-2007-HsiehLCHC #automation #performance
Reading Performance of Chinese Text with Automatic Scrolling (YHH, CJL, HCC, TTH, JCC), pp. 311–319.
HCIHCI-IPT-2007-LiK #automation #image
A Color Adjustment Method for Automatic Seamless Image Blending (XL, DK), pp. 82–91.
HCIHCI-IPT-2007-ParkJ #automation #detection #documentation #image #mobile #using #word
Automatic Word Detection System for Document Image Using Mobile Devices (AP, KJ), pp. 438–444.
HCIHCI-MIE-2007-HanYYJ #analysis #automation #image #mobile #semantics #using
Automatic Mobile Content Conversion Using Semantic Image Analysis (EH, JY, HY, KJ), pp. 298–307.
HCIHCI-MIE-2007-HilligesKPBK #analysis #automation #classification #image #quality #sorting #using
Browsing and Sorting Digital Pictures Using Automatic Image Classification and Quality Analysis (OH, PK, AP, AB, HPK), pp. 882–891.
HCIHCI-MIE-2007-ZhouCCB #automation #image #information management
Knowledge Transfer in Semi-automatic Image Interpretation (JZ, LC, TC, WFB), pp. 1028–1034.
HCIHIMI-IIE-2007-FortunaGM #automation #editing #named #ontology
OntoGen: Semi-automatic Ontology Editor (BF, MG, DM), pp. 309–318.
HCIHIMI-MTT-2007-DingL #automation #interactive #modelling #research
Research of Model-Driven Interactive Automatic / Semi-automatic Form Building (XD, XL), pp. 613–622.
AdaEuropeAdaEurope-2007-AlonsoVSAL #ada #approach #automation #code generation #modelling #using
Automatic Ada Code Generation Using a Model-Driven Engineering Approach (DA, CVC, PS, , FL), pp. 168–179.
CAiSECAiSE-2007-PapottiT #automation #generative
Automatic Generation of Model Translations (PP, RT), pp. 36–50.
ICEISICEIS-DISI-2007-BoppSH #automation #knowledge base
Enabling CSCW systems to automatically bind external knowledge bases (TB, JS, TH), pp. 323–329.
ICEISICEIS-J-2007-Novacek07a #automation #documentation #information management #integration #scalability #taxonomy
Automatic Knowledge Acquisition and Integration Technique: Application to Large Scale Taxonomy Extraction and Document Annotation (VN), pp. 160–172.
ICEISICEIS-SAIC-2007-WuGRSM #automation #composition #process #semantics #using #web #web service
Automatic Composition of Semantic Web Services Using Process Mediation (ZW, KG, AR, APS, JAM), pp. 453–462.
CIKMCIKM-2007-AltingovdeOCYU #approach #automation #web
An automatic approach to construct domain-specific web portals (ISA, RO, SC, HY, ÖU), pp. 849–852.
CIKMCIKM-2007-DrummSDR #automation #migration #named
Quickmig: automatic schema matching for data migration projects (CD, MS, HHD, ER), pp. 107–116.
CIKMCIKM-2007-Metzler #automation #feature model #information retrieval #markov #random
Automatic feature selection in the markov random field model for information retrieval (DM), pp. 253–262.
CIKMCIKM-2007-Park #automation #segmentation
Automatic call section segmentation for contact-center calls (YP), pp. 117–126.
ECIRECIR-2007-MoreauCS #automation #machine learning #query #using
Automatic Morphological Query Expansion Using Analogy-Based Machine Learning (FM, VC, PS), pp. 222–233.
ICMLICML-2007-Marthi #automation #composition
Automatic shaping and decomposition of reward functions (BM), pp. 601–608.
KDDKDD-2007-CrabtreeAG #aspect-oriented #automation #query
Exploiting underrepresented query aspects for automatic query expansion (DC, PA, XG), pp. 191–200.
KDDKDD-2007-MeiSZ #automation #modelling #multi #topic
Automatic labeling of multinomial topic models (QM, XS, CZ), pp. 490–499.
SEKESEKE-2007-DaiC #automation #generative #testing
Automatic Test Generation for Database-Driven Applications (ZD, MHC), pp. 117–122.
SEKESEKE-2007-HsuC #automation
An Intelligent Agent of Automatically Notify Services (SYH, WCC), pp. 541–545.
SEKESEKE-2007-LimCR #automation #case study #diagrams #documentation #generative #specification
Automatic Generation of Use Case Diagrams from English Specifications Document (NRTL, CTC, JAER), pp. 203–208.
SIGIRSIGIR-2007-FanGL #automation #classification #image
Hierarchical classification for automatic image annotation (JF, YG, HL), pp. 111–118.
SIGIRSIGIR-2007-HofmannS #automation
Automatic extension of non-english wordnets (KH, EFTKS), pp. 833–834.
SIGIRSIGIR-2007-RattenburyGN #automation #semantics #towards
Towards automatic extraction of event and place semantics from flickr tags (TR, NG, MN), pp. 103–110.
SIGIRSIGIR-2007-StaffB #automation #category theory #classification #web
Automatic classification of web pages into bookmark categories (CS, IB), pp. 731–732.
SIGIRSIGIR-2007-ThomasR #ambiguity #automation
Estimating the value of automatic disambiguation (PT, TR), pp. 719–720.
SIGIRSIGIR-2007-Wilkins #automation #generative #multi #retrieval
Automatic query-time generation of retrieval expert coefficients for multimedia retrieval (PW), p. 924.
ECMFAECMDA-FA-2007-YuZZWZZL #approach #automation #generative #modelling #towards
Towards a Model Driven Approach to Automatic BPEL Generation (XY, YZ, TZ, LW, JZ, GZ, XL), pp. 204–218.
MODELSMoDELS-2007-BrambillaCC #automation #domain model #generative #modelling #workflow
Automatic Generation of Workflow-Extended Domain Models (MB, JC, SC), pp. 375–389.
MODELSMoDELS-2007-BrambillaCC #automation #domain model #generative #modelling #workflow
Automatic Generation of Workflow-Extended Domain Models (MB, JC, SC), pp. 375–389.
PADLPADL-2007-EichbergKSMO #analysis #automation #prolog
Automatic Incrementalization of Prolog Based Static Analyses (ME, MK, DS, MM, KO), pp. 109–123.
REFSQREFSQ-2007-NcubeLM #automation #case study #experience #generative #modelling #requirements
Automatically Generating Requirements from i* Models: Experiences with a Complex Airport Operations System (CN, JL, NAMM), pp. 33–47.
SACSAC-2007-AnGWC #automation #data flow #semantics #web
Semantic deep web: automatic attribute extraction from the deep web data sources (YJA, JG, YTW, SAC), pp. 1667–1672.
SACSAC-2007-ChengLW #automation #web #web service
Automatic enactment of message exchange pattern for web services (XC, LL, JW), pp. 1649–1653.
SACSAC-2007-FabroV #automation #integration #modelling #using #weaving
Semi-automatic model integration using matching transformations and weaving models (MDDF, PV), pp. 963–970.
SACSAC-2007-JinLSB #automation #categorisation #naive bayes #web
Automatic web pages categorization with ReliefF and Hidden Naive Bayes (XJ, RL, XS, RB), pp. 617–621.
SACSAC-2007-JohnsB #approximate #automation #injection #named #web
SMask: preventing injection attacks in web applications by approximating automatic data/code separation (MJ, CB), pp. 284–291.
SACSAC-2007-LeeOSYT #automation #classification
Automatic classification of digestive organs in wireless capsule endoscopy videos (JL, JHO, SKS, XY, SJT), pp. 1041–1045.
SACSAC-2007-PloegerS #analysis #automation #documentation #verification
Analysis and verification of an automatic document feeder (BP, LJS), pp. 1499–1505.
SACSAC-2007-ShinH #analysis #automation #comparison #difference #process
Comparison of two activity analyses for automatic differentiation: context-sensitive flow-insensitive vs. context-insensitive flow-sensitive (JS, PDH), pp. 1323–1329.
SACSAC-2007-XingXE #approximate #automation #documentation #using #xml
Building automatic mapping between XML documents using approximate tree matching (GX, ZX, AE), pp. 525–526.
ESEC-FSEESEC-FSE-2007-Coman #analysis #automation #developer #low level #using
An analysis of developers’ tasks using low-level, automatically collected data (IDC), pp. 579–582.
ESEC-FSEESEC-FSE-2007-PaytonJR #assessment #automation #consistency #query
Automatic consistency assessment for query results in dynamic environments (JP, CJ, GCR), pp. 245–254.
ESEC-FSEESEC-FSE-2007-XuCCY #automation #consistency #nondeterminism #on the #pervasive
On impact-oriented automatic resolution of pervasive context inconsistency (CX, SCC, WKC, CY), pp. 569–572.
ICSEICSE-2007-AutiliINT #automation #component #distributed #named #synthesis
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems (MA, PI, AN, MT), pp. 784–787.
ICSEICSE-2007-BaresiGM #architecture #automation #on the #verification
On Accurate Automatic Verification of Publish-Subscribe Architectures (LB, CG, LM), pp. 199–208.
ICSEICSE-2007-KimNG #automation
Automatic Inference of Structural Changes for Matching across Program Versions (MK, DN, DG), pp. 333–343.
LDTALDTA-J-2005-JohnstoneS #automation #parsing #recursion #reduction
Automatic recursion engineering of reduction incorporated parsers (AJ, ES), pp. 95–110.
ATEMATEM-2007-FleureyBFG #approach #automation #composition
A Generic Approach for Automatic Model Composition (FF, BB, RBF, SG), pp. 7–15.
LCTESLCTES-2007-ViskicAG #automation #communication #embedded #generative
Automatic generation of embedded communication SW for heterogeneous MPSoC platforms (IV, SA, DDG), pp. 143–145.
PPoPPPPoPP-2007-BondhugulaRS #automation
Automatic mapping of nested loops to FPGAS (UB, JR, PS), pp. 101–111.
SOSPSOSP-2007-ChongLMQVZZ #automation #clustering #web
Secure web application via automatic partitioning (SC, JL, ACM, XQ, KV, LZ, XZ), pp. 31–44.
SOSPSOSP-2007-LuPHMJLPZ #automation #concurrent #correlation #debugging #detection #multi #named #semantics
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs (SL, SP, CH, XM, WJ, ZL, RAP, YZ), pp. 103–116.
AMOSTAMOST-2007-MassonJPJD #automation #generative #modelling #security #testing
Automatic generation of model based tests for a class of security properties (PAM, JJ, JCP, EJ, GD), pp. 12–22.
CADECADE-2007-LynchT #automation #decidability #revisited
Automatic Decidability and Combinability Revisited (CL, DKT), pp. 328–344.
CAVCAV-2007-Cook #automation #proving #termination
Automatically Proving Program Termination (BC), p. 1.
ICLPICLP-2007-PettorossiPS #automation #correctness #logic programming #program transformation #proving
Automatic Correctness Proofs for Logic Program Transformations (AP, MP, VS), pp. 364–379.
ICLPICLP-2007-PietrzakH #automation #fault #logic programming #source code
Automatic Binding-Related Error Diagnosis in Logic Programs (PP, MVH), pp. 333–347.
ISSTAISSTA-2007-EnglerD #automation #execution #scalability
Under-constrained execution: making automatic code destruction easy and scalable (DRE, DD), pp. 1–4.
ISSTAISSTA-2007-TzorefUY #automation #concurrent #debugging
Instrumenting where it hurts: an automatic concurrent debugging technique (RT, SU, EYT), pp. 27–38.
TAPTAP-2007-LiuMS #automation #contract #generative #quality #query #testing #using
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation (L(L, BM, BS), pp. 114–130.
TAPTAP-2007-SatpathyBLR #automation #specification #testing
Automatic Testing from Formal Specifications (MS, MJB, ML, SR), pp. 95–113.
FATESTestCom-FATES-2007-ConstantJJ #automation #generative #interprocedural #specification #testing
Automatic Test Generation from Interprocedural Specifications (CC, BJ, TJ), pp. 41–57.
FATESTestCom-FATES-2007-PlesowiczM #automation #communication #testing
Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control (PP, MM), pp. 260–275.
CBSECBSE-2006-GrondinBV #automation #component #named
MaDcAr: An Abstract Model for Dynamic and Automatic (Re-)Assembling of Component-Based Applications (GG, NB, LV), pp. 360–367.
ASEASE-2006-DenneyF #automation #certification #safety
Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract) (ED, BF), pp. 265–268.
ASEASE-2006-Ireland #automation #logic #refinement #towards
Towards Automatic Assertion Refinement for Separation Logic (AI), pp. 309–312.
ASEASE-2006-KimZPW #automation #identification
Automatic Identification of Bug-Introducing Changes (SK, TZ, KP, EJWJ), pp. 81–90.
ASEASE-2006-MohaGL #algorithm #automation #design #detection #fault #generative
Automatic Generation of Detection Algorithms for Design Defects (NM, YGG, PL), pp. 297–300.
ASEASE-2006-Rajamani #automation #past present future
Automatic Property Checking for Software: Past, Present and Future (SKR), p. 12.
ASEASE-2006-RamanathanGJ #automation #detection #named
Sieve: A Tool for Automatically Detecting Variations Across Program Versions (MKR, AG, SJ), pp. 241–252.
CASECASE-2006-LiLWC #automation #component #equation #generative #graph #linear #using
Automatic Generation of Component-level Dynamic Equations Using Extensible Element Linear Graph Method (YL, ZL, HW, YC), pp. 118–123.
CASECASE-2006-Tan #automation #security
Automatic Interpretation of Human and Vehicle Motion for Enhanced Security (TT), p. 2.
CASECASE-2006-XuWZZ #algorithm #automation #detection #using
An Automatic EEG Spike Detection Algorithm Using Morphological Filter (GX, JW, QZ, JZ), pp. 170–175.
CASECASE-2006-YanFLLZZTY #automation
A new automatic cooking machine for Chinese dishes (WXY, ZF, YHL, RQL, YZZ, XYZ, JHT, PY), pp. 534–539.
CASECASE-2006-ZhangCY #adaptation #automation #fuzzy #hybrid #identification
Adaptive Fuzzy Controller for Hybrid Traction Control System based on Automatic Road Identification (JZ, DC, CY), pp. 524–529.
DACDAC-2006-AwedhS #automation #bound #invariant #model checking
Automatic invariant strengthening to prove properties in bounded model checking (MA, FS), pp. 1073–1076.
DACDAC-2006-VermaI #architecture #automation #towards
Towards the automatic exploration of arithmetic-circuit architectures (AKV, PI), pp. 445–450.
DATEDATE-2006-BensoBCNP #automation #fault #testing
Automatic march tests generations for static linked faults in SRAMs (AB, AB, SDC, GDN, PP), pp. 1258–1263.
DATEDATE-2006-BiswasDIP #architecture #automation #functional #identification
Automatic identification of application-specific functional units with architecturally visible storage (PB, NDD, PI, LP), pp. 212–217.
DATEDATE-2006-ChattopadhyayGKWSILAM #automation #embedded
Automatic ADL-based operand isolation for embedded processors (AC, BG, DK, EMW, OS, HI, RL, GA, HM), pp. 600–605.
DATEDATE-2006-ParkESNDP #automation #embedded #generative #performance
Automatic generation of operation tables for fast exploration of bypasses in embedded processors (SP, EE, AS, AN, ND, YP), pp. 1197–1202.
DATEDATE-2006-PettisRL #automation #operating system #policy #runtime
Automatic run-time selection of power policies for operating systems (NP, JR, YHL), pp. 508–513.
DATEDATE-2006-SrinivasanTC #automation #low cost #multi #online
Online RF checkers for diagnosing multi-gigahertz automatic test boards on low cost ATE platforms (GS, FT, AC), pp. 658–663.
DATEDATE-2006-ViswanathAJ #automation #pipes and filters #power management
Automatic insertion of low power annotations in RTL for pipelined microprocessors (VV, JAA, WAHJ), pp. 496–501.
DATEDATE-DF-2006-BannowHR #automation #clustering #design #evaluation #performance
Automatic systemC design configuration for a faster evaluation of different partitioning alternatives (NB, KH, WR), pp. 217–218.
DocEngDocEng-2006-JoshiAZ #automation #video #workflow
From video to photo albums: digital publishing workflow for automatic album creation (PMJ, CBA, TZ), pp. 179–181.
DocEngDocEng-2006-Ruiz-RicoGR #automation #feature model #named #ranking
NEWPAR: an automatic feature selection and weighting schema for category ranking (FRR, JLVG, MCRS), pp. 128–137.
DRRDRR-2006-RahmanTHA #automation #documentation #enterprise #web
An automatically updateable web publishing solution: taking document sharing and conversion to enterprise level (FR, YT, RH, HA).
DRRDRR-2006-TaghvaBCBPN #automation #information management #relational #using
Automatic redaction of private information using relational information extraction (KT, RB, JSC, JB, RP, TAN).
SIGMODSIGMOD-2006-AgrawalCN #automation #design #physics #sequence
Automatic physical design tuning: workload as a sequence (SA, EC, VRN), pp. 683–694.
SIGMODSIGMOD-2006-GernerYDGRS #automation #clustering #data-driven #web
Automatic client-server partitioning of data-driven web applications (NG, FY, AJD, JG, MR, JS), pp. 760–762.
VLDBVLDB-2006-ZhaoMY #automation
Automatic Extraction of Dynamic Record Sections From Search Engine Result Pages (HZ, WM, CTY), pp. 989–1000.
ITiCSEITiCSE-2006-GerdtS #automation #detection
A web-based service for the automatic detection of roles of variables (PG, JS), pp. 178–182.
ITiCSEITiCSE-2006-ThomasWS #automation #using
Using patterns in the automatic marking of ER-diagrams (PGT, KGW, NS), pp. 83–87.
FASEFASE-2006-IwataSF #automation #development #generative #specification #tutorial
Automatic Generation of Tutorial Systems from Development Specification (HI, JS, YF), pp. 79–92.
FoSSaCSFoSSaCS-2006-KuskeL #first-order
First-Order and Counting Theories of ω-Automatic Structures (DK, ML), pp. 322–336.
TACASTACAS-2006-DeshmukhEG #automation #data type #verification
Automatic Verification of Parameterized Data Structures (JVD, EAE, PG), pp. 27–41.
TACASTACAS-2006-HintonKNP #automation #named #probability #verification
PRISM: A Tool for Automatic Verification of Probabilistic Systems (AH, MZK, GN, DP), pp. 441–444.
PLDIPLDI-2006-BridgesVOA #automation
Automatic instruction scheduler retargeting by reverse-engineering (MJB, NV, GO, DIA), pp. 228–238.
PLDIPLDI-2006-GuyerMF #automation #named #static analysis
Free-Me: a static analysis for automatic individual object reclamation (SZG, KSM, DF), pp. 364–375.
FMFM-2006-FreitasC #automation #java
Automatic Translation from Circus to Java (AF, AC), pp. 115–130.
FMFM-2006-LiHR #automation #exception #safety #towards #verification
Towards Automatic Exception Safety Verification (XL, HJH, PR), pp. 396–411.
SEFMSEFM-2006-AlpuenteBFR #automation
A Semi-Automatic Methodology for Repairing FaultyWeb Sites (MA, DB, MF, DR), pp. 31–40.
SEFMSEFM-2006-FeldmanG #automation #contract #named #towards
Discern: Towards the Automatic Discovery of Software Contracts (YAF, LG), pp. 90–99.
SEFMSEFM-2006-Rajamani #automation #past present future
Automatic Property Checking for Software: Past, Present and Future (SKR), pp. 18–20.
SFMSFM-2006-DrechslerF #automation #generative
Automatic Test Pattern Generation (RD, GF), pp. 30–55.
IFLIFL-2006-Almendros-JimenezV #automation
Automatic Partial Inversion of Inductively Sequential Functions (JMAJ, GV), pp. 253–270.
CHICHI-2006-NicholsMR #automation #consistency #generative #named #user interface
UNIFORM: automatically generating consistent remote control user interfaces (JN, BAM, BR), pp. 611–620.
CHICHI-2006-SantellaADSC #automation #interactive
Gaze-based interaction for semi-automatic photo cropping (AS, MA, DD, DS, MFC), pp. 771–780.
SOFTVISSOFTVIS-2006-GauvinB #automation #data flow #layout #programming language #visual notation
Transparency, holophrasting, and automatic layout applied to control structures for visual dataflow programming languages (SG, OB), pp. 67–75.
AdaSIGAda-2006-Carlisle #ada #automation #generative #object-oriented #parsing #using
Automatic OO parser generation using visitors for Ada 2005 (MCC), pp. 3–8.
EDOCEDOC-2006-BarrettP #automation #composition #modelling #semantics #using #web #web service
Semi-Automatic Distribution Pattern Modeling of Web Service Compositions using Semantics (RB, CP), pp. 417–422.
ICEISICEIS-AIDSS-2006-RokachRM #automation #concept #identification
Automatic Identification of Negated Concepts in Narrative Clinical Reports (LR, RR, OM), pp. 257–262.
ICEISICEIS-HCI-2006-Bakhtyari #automation #feedback #generative #ontology #student #using
Automatic Feedback Generation — Using Ontology in an Intelligent Tutoring System for Both Learner and Author Based on Student Model (PB), pp. 116–123.
ICEISICEIS-ISAS-2006-MansetVMO #approach #architecture #automation #generative #grid #modelling
A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications (DM, HV, RM, FO), pp. 322–330.
CIKMCIKM-2006-BarbosaF #automation #database #online
Automatically constructing collections of online database directories (LB, JF), pp. 796–797.
CIKMCIKM-2006-RamadossR #authoring #automation
Semi-automatic annotation and MPEG-7 authoring of dance videos (BR, KR), pp. 878–879.
CIKMCIKM-2006-ZieglerSL #automation #proximity #semantics #taxonomy #using
Automatic computation of semantic proximity using taxonomic knowledge (CNZ, KS, GL), pp. 465–474.
ECIRECIR-2006-SchedlKPW #automation #retrieval #towards
Towards Automatic Retrieval of Album Covers (MS, PK, TP, GW), pp. 531–534.
ECIRECIR-2006-SiersdorferS #automation #documentation
Automatic Document Organization in a P2P Environment (SS, SS), pp. 265–276.
ECIRECIR-2006-WilkinsFGS #automation #multi
Automatic Determination of Feature Weights for Multi-feature CBIR (PW, PF, CG, AFS), pp. 527–530.
ECIRECIR-2006-ZhangWGV #automation #corpus #parallel #web
Automatic Acquisition of Chinese-English Parallel Corpus from the Web (YZ, KW, JG, PV), pp. 420–431.
ICMLICML-2006-KellerMP #approximate #automation #learning #programming
Automatic basis function construction for approximate dynamic programming and reinforcement learning (PWK, SM, DP), pp. 449–456.
ICPRICPR-v1-2006-BrdiczkaYZRC #automation #modelling #video
Automatic Acquisition of Context Models and its Application to Video Surveillance (OB, PCY, SZ, PR, JLC), pp. 1175–1178.
ICPRICPR-v1-2006-ChenCLT #algorithm #automation #graph #image #segmentation #using
Automatic Segmentation of Lung Fields from Radiographic Images of SARS Patients Using a New Graph Cuts Algorithm (SC, LC, JL, XT), pp. 271–274.
ICPRICPR-v1-2006-DongZ #automation #framework #image #parametricity
A Computational Framework for Automatic Determination of Morphological Parameters of Proximal Femur from Intraoperative Fluoroscopic Images (XD, GZ), pp. 1008–1013.
ICPRICPR-v1-2006-FrippWCO #3d #automation #modelling #segmentation #using
Automatic Segmentation of the Knee Bones using 3D Active Shape Models (JF, SKW, SC, SO), pp. 167–170.
ICPRICPR-v1-2006-GunesP #analysis #automation #behaviour #database #gesture
A Bimodal Face and Body Gesture Database for Automatic Analysis of Human Nonverbal Affective Behavior (HG, MP), pp. 1148–1153.
ICPRICPR-v1-2006-HuYN #automation #generative
Automatic Pose Recovery for High-Quality Textures Generation (JH, SY, UN), pp. 561–565.
ICPRICPR-v1-2006-TangLFG #automation #image #segmentation
Automatic Segmentation of the Papilla in a Fundus Image Based on the C-V Model and a Shape Restraint (YT, XL, AvF, GG), pp. 183–186.
ICPRICPR-v1-2006-WangB #3d #automation #estimation #using
Automatic Estimation of 3D Transformations using Skeletons for Object Alignment (TW, AB), pp. 51–54.
ICPRICPR-v1-2006-ZambaniniLSDM #automation
Automatic Surveying of Cutaneous Hemangiomas (SZ, GL, RS, PD, HM), pp. 1022–1025.
ICPRICPR-v2-2006-DelannayAV #adaptation #automation #nearest neighbour
Automatic Adjustment of Discriminant Adaptive Nearest Neighbor (ND, CA, MV), pp. 552–535.
ICPRICPR-v2-2006-QinWHG #automation #classification
Unsupervised Texture Classification: Automatically Discover and Classify Texture Patterns (LQ, WW, QH, WG), pp. 433–436.
ICPRICPR-v2-2006-RomeuLSL #automation #generative #sketching
Automatic Adjacency Grammar Generation from User Drawn Sketches (JMR, BL, GS, JL), pp. 1026–1029.
ICPRICPR-v2-2006-YangL #analysis #automation #component
Automatic Physiognomic Analysis by Classifying Facial Component Feature (HDY, SWL), pp. 1212–1215.
ICPRICPR-v3-2006-El-BazFGFEE #automation #framework #segmentation
A Framework for Automatic Segmentation of Lung Nodules from Low Dose Chest CT Scans (AEB, AAF, GLG, RF, MAEG, TE), pp. 611–614.
ICPRICPR-v3-2006-NgOFGN #automation #image #information management #segmentation #using
Automatic Segmentation of Muscles of Mastication from Magnetic Resonance Images Using Prior Knowledge (HPN, SHO, KWCF, PSG, WLN), pp. 968–971.
ICPRICPR-v3-2006-PetterssonKB #automation #segmentation #using
Automatic Hip Bone Segmentation Using Non-Rigid Registration (JP, HK, MB), pp. 946–949.
ICPRICPR-v3-2006-PlotzFHKLMMSSS #automation #detection #modelling #music #probability #using
Automatic Detection of Song Changes in Music Mixes Using Stochastic Models (TP, GAF, PH, SK, KL, TM, MM, LS, MS, HS), pp. 665–668.
ICPRICPR-v3-2006-WangLL #automation
Automatic Lipreading with Limited Training Data (SLW, WHL, SHL), pp. 881–884.
ICPRICPR-v3-2006-WillamowskiC #automation #detection #probability
Probabilistic Automatic Red Eye Detection and Correction (JW, GC), pp. 762–765.
ICPRICPR-v3-2006-YangLA #automation #case study #classification #gender
An Experimental Study on Automatic Face Gender Classification (ZY, ML, HA), pp. 1099–1102.
ICPRICPR-v3-2006-ZhangGL #automation #recognition #synthesis
Automatic Texture Synthesis for Face Recognition from Single Views (XZ, YG, MKHL), pp. 1151–1154.
ICPRICPR-v4-2006-KoN #automation #image #segmentation
Automatic Object-of-Interest segmentation from natural images (BK, JYN), pp. 45–48.
ICPRICPR-v4-2006-LiuH #automation #predict #segmentation #speech
A Bayesian Predictive Method for Automatic Speech Segmentation (ML, TSH), pp. 290–293.
ICPRICPR-v4-2006-TianK06b #automation #distance #multi
Voting Weighted Modified Hausdorff Distance Through Multiscale Space for Automatic Image-Map Registration (LT, SiK), pp. 837–840.
ICPRICPR-v4-2006-VilarinoSPVR #automation #detection #video
Automatic Detection of Intestinal Juices in Wireless Capsule Video Endoscopy (FV, PS, OP, JV, PR), pp. 719–722.
ICPRICPR-v4-2006-WangK #approach #automation #estimation #using
Automatic Alignment of High-Resolution NMR Spectra Using a Bayesian Estimation Approach (ZW, SBK), pp. 667–670.
ICPRICPR-v4-2006-WangXC #2d #automation #classification #pseudo #using #video
Automatic Sports Video Genre Classification using Pseudo-2D-HMM (JW, CX, EC), pp. 778–781.
ICPRICPR-v4-2006-XuZM #automation #segmentation
Automatic Iris Segmentation Based on Local Areas (GX, ZZ, YM), pp. 505–508.
KDDKDD-2006-PanGBXTF #automation #image #mining
Automatic mining of fruit fly embryo images (JYP, AGRB, EPX, AJMT, CF), pp. 693–698.
SEKESEKE-2006-GregoireZ #automation #consistency #framework #knowledge base
A Framework for Fusing Consistent Knowledge Bases Automatically (ÉG, DZ), pp. 426–431.
SEKESEKE-2006-TylerS #automation #control flow #inheritance #monitoring
Automatic Monitoring of Control-flow Through Inheritance Hierarchies (BT, NS), pp. 355–358.
SIGIRSIGIR-2006-AzzopardiR #automation
Automatic construction of known-item finding test beds (LA, MdR), pp. 603–604.
SIGIRSIGIR-2006-TreeratpitukC #automation #case study #clustering #statistics #using
An experimental study on automatically labeling hierarchical clusters using statistical features (PT, JPC), pp. 707–708.
ECMFAECMDA-FA-2006-NytunPT #automation #generative #modelling #tool support
Automatic Generation of Modelling Tools (JPN, AP, MST), pp. 268–283.
ECOOPECOOP-2006-IbrahimC #architecture #automation #persistent #profiling #traversal
Automatic Prefetching by Traversal Profiling in Object Persistence Architectures (AI, WRC), pp. 50–73.
ECOOPECOOP-2006-Xie #automation #testing
Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking (TX), pp. 380–403.
GPCEGPCE-2006-DenneyF #algorithm #automation #certification #safety
A generic annotation inference algorithm for the safety certification of automatically generated code (ED, BF), pp. 121–130.
LOPSTRLOPSTR-2006-AbdennadherOST #automation #mining #named
ARM: Automatic Rule Miner (SA, AO, NS, AT), pp. 17–25.
LOPSTRLOPSTR-2006-NguyenS #automation #named #polynomial #proving #termination
Polytool: Proving Termination Automatically Based on Polynomial Interpretations (MTN, DDS), pp. 210–218.
PADLPADL-2006-Wang #automation #model checking #verification
Automatic Verification of a Model Checker by Reflection (BYW), pp. 45–59.
SACSAC-2006-AgostiFO #automation #graph #image
Graph-based automatic suggestion of relationships among images of illuminated manuscripts (MA, NF, NO), pp. 1063–1067.
SACSAC-2006-PappalardoT #automation #design pattern
Automatically discovering design patterns and assessing concern separations for applications (GP, ET), pp. 1591–1596.
SACSAC-2006-RendaS #automation #distributed #library #query
Automatic structured query transformation over distributed digital libraries (MER, US), pp. 1078–1083.
ICSEICSE-2006-XieMY #automation #state machine
Automatic extraction of abstract-object-state machines from unit-test executions (TX, EM, HY), pp. 835–838.
ICSEICSE-2006-ZouZ #automation #e-commerce #evolution #framework #generative #process #using
A framework for automatic generation of evolvable e-commerce workplaces using business processes (YZ, QZ), pp. 799–802.
ASPLOSASPLOS-2006-BansalA #automation #generative
Automatic generation of peephole superoptimizers (SB, AA), pp. 394–403.
CGOCGO-2006-PanE #automation #compilation #distributed #effectiveness #optimisation #performance
Fast and Effective Orchestration of Compiler Optimizations for Automatic Performance Tuning (ZP, RE), pp. 319–332.
HPDCHPDC-2006-ChungH #automation #case study #performance #scalability #source code #using
A Case Study Using Automatic Performance Tuning for Large-Scale Scientific Programs (IHC, JKH), pp. 45–56.
PPoPPPPoPP-2006-MaratheM #automation #hardware
Hardware profile-guided automatic page placement for ccNUMA systems (JM, FM), pp. 90–99.
CAVCAV-2006-BerdineCDO #automation #proving #source code #termination
Automatic Termination Proofs for Programs with Shape-Shifting Heaps (JB, BC, DD, PWO), pp. 386–400.
CAVCAV-2006-TzorefG #automation #detection #evaluation #refinement
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation (RT, OG), pp. 190–204.
CSLCSL-2006-Kaiser #automation #game studies #model checking #quantifier
Game Quantification on Automatic Structures and Hierarchical Model Checking Games (LK), pp. 411–425.
ICLPICLP-2006-SchwaigerF #assessment #automation #compilation #programming #testing #using
Using Answer Set Programming for the Automatic Compilation of Assessment Tests (PS, BF), pp. 300–314.
IJCARIJCAR-2006-GieslST #automation #dependence #framework #proving #termination
Automatic Termination Proofs in the Dependency Pair Framework (JG, PSK, RT), pp. 281–286.
IJCARIJCAR-2006-GrinchteinLP #automation #invariant #network
Inferring Network Invariants Automatically (OG, ML, NP), pp. 483–497.
IJCARIJCAR-2006-SorgeMMC #automation #invariant #verification
Automatic Construction and Verification of Isotopy Invariants (VS, AM, RLM, SC), pp. 36–51.
RTARTA-2006-Koprowski06a #automation #named #termination
TPA: Termination Proved Automatically (AK), pp. 257–266.
ASEASE-2005-BlewittBS #automation #design pattern #java #verification
Automatic verification of design patterns in Java (AB, AB, IS), pp. 224–232.
ASEASE-2005-EngelsE #automation #generative #named #object-oriented #specification #spreadsheet
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications (GE, ME), pp. 124–133.
ASEASE-2005-InverardiMTA #adaptation #approach #automation #component #distributed #synthesis
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach (PI, LM, MT, MA), pp. 405–409.
ASEASE-2005-JonesH #automation #empirical #evaluation
Empirical evaluation of the tarantula automatic fault-localization technique (JAJ, MJH), pp. 273–282.
ASEASE-2005-LinG #approach #automation #evolution #model transformation
A model transformation approach to automatic model construction and evolution (YL, JG), pp. 448–451.
ASEASE-2005-SaffAPE #automation #java
Automatic test factoring for java (DS, SA, JHP, MDE), pp. 114–123.
ASEASE-2005-ShepherdPPC #analysis #automation #framework #mining #named
Timna: a framework for automatically combining aspect mining analyses (DCS, JP, LLP, MCC), pp. 184–193.
ASEASE-2005-SimmondsB #automation #consistency #uml
A tool for automatic UML model consistency checking (JS, MCB), pp. 431–432.
DACDAC-2005-GheorghitaSBC #automation #detection #estimation
Automatic scenario detection for improved WCET estimation (SVG, SS, TB, HC), pp. 101–104.
DACDAC-2005-HangalCNC #automation #design #hardware #invariant #named
IODINE: a tool to automatically infer dynamic invariants for hardware designs (SH, NC, SN, SC), pp. 775–778.
DACDAC-2005-NordinMHP #automation #fourier #generative
Automatic generation of customized discrete fourier transform IPs (GN, PAM, JCH, MP), pp. 471–474.
DACDAC-2005-WagnerBA #approach #automation #generative #monitoring #named #process #testing
StressTest: an automatic approach to test generation via activity monitors (IW, VB, TMA), pp. 783–788.
DATEDATE-2005-IsseninD #automation #generative #memory management #named #optimisation
FORAY-GEN: Automatic Generation of Affine Functions for Memory Optimizations (II, NDD), pp. 808–813.
DATEDATE-2005-JacobiWPB #automation #multi #verification
Automatic Formal Verification of Fused-Multiply-Add FPUs (CJ, KW, VP, JB), pp. 1298–1303.
DRRDRR-2005-LiuD #automation #clustering #image
Automatic style clustering of printed characters in form images (CL, XD), pp. 175–182.
HTHT-2005-BocconiNH05a #automation #generative #video
Vox populi: a tool for automatically generating video documentaries (SB, FN, LH), pp. 292–294.
ICDARICDAR-2005-SalmonWT #metric
Automatical Definition of Measures from the Combination of Shape Descriptors (JPS, LW, ST), pp. 986–990.
SIGMODSIGMOD-2005-BrunoC #approach #automation #database #physics
Automatic Physical Database Tuning: A Relaxation-based Approach (NB, SC), pp. 227–238.
VLDBVLDB-2005-BerardiCGHM #automation #composition #semantics #web #web service
Automatic Composition of Transition-based Semantic Web Services with Messaging (DB, DC, GDG, RH, MM), pp. 613–624.
VLDBVLDB-2005-BilkeBBDNW #automation #data fusion
Automatic Data Fusion with HumMer (AB, JB, CB, KD, FN, MW), pp. 1251–1254.
ITiCSEITiCSE-2005-ThomasWS #automation
Experiments in the automatic marking of ER-diagrams (PGT, KGW, NS), pp. 158–162.
ESOPESOP-2005-LeeYY #analysis #automation #grammarware #pointer #source code #using #verification
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis (OL, HY, KY), pp. 124–140.
FASEFASE-2005-HeckelM #automation #consistency #testing #web #web service
Automatic Conformance Testing of Web Services (RH, LM), pp. 34–48.
CSMRCSMR-2005-BoronatCR #automation #logic #re-engineering #using
Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine (AB, JÁC, IR), pp. 228–231.
CSMRCSMR-2005-MihanceaM #automation #design #detection #object-oriented #optimisation #towards
Towards the Optimization of Automatic Detection of Design Flaws in Object-Oriented Software Systems (PFM, RM), pp. 92–101.
CSMRCSMR-2005-PentaT #automation #evolution #re-engineering #tool support #towards
Towards the Automatic Evolution of Reengineering Tools (MDP, KT), pp. 241–244.
CSMRCSMR-2005-ThiranHH #automation #database #development #generative #towards
Database Wrappers Development: Towards Automatic Generation (PT, JLH, GJH), pp. 207–216.
PASTEPASTE-2005-Perkins #api #automation #evolution #generative #refactoring
Automatically generating refactorings to support API evolution (JHP), pp. 111–114.
WCREWCRE-2005-AkersBMEL #automation #c++ #component #modelling #program transformation #re-engineering
Reengineering C++ Component Models via Automatic Program Transformation (RLA, IDB, MM, BJE, KRL), pp. 13–22.
WCREWCRE-2005-KimPW #automation #detection
When Functions Change Their Names: Automatic Detection of Origin Relationships (SK, KP, EJWJ), pp. 143–152.
PLDIPLDI-2005-DaiHLH #architecture #automation #clustering #pipes and filters
Automatically partitioning packet processing applications for pipelined architectures (JD, BH, LL, LH), pp. 237–248.
PLDIPLDI-2005-LattnerA #automation #data type #layout #performance
Automatic pool allocation: improving performance by controlling data structure layout in the heap (CL, VSA), pp. 129–142.
DLTDLT-J-2004-Lohrey05 #automation #complexity #decidability #monad
Decidability and complexity in automatic monoids (ML), pp. 707–722.
FMFM-2005-DonaldsonM #automation #detection #model checking #symmetry #using
Automatic Symmetry Detection for Model Checking Using Computational Group Theory (AFD, AM), pp. 481–496.
FMFM-2005-RusuMJ #automation #consistency #safety #testing #validation #verification
Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems (VR, HM, TJ), pp. 189–204.
SEFMSEFM-2005-WelchFD #automation #invariant #maintenance
Automatic Maintenance of Association Invariants (JW, DF, JD), pp. 282–292.
CEFPCEFP-2005-KoopmanP #automation #specification #testing
Fully Automatic Testing with Functions as Specifications (PWMK, RP), pp. 35–61.
CHICHI-2005-CockburnSW #automation #interface #testing
Tuning and testing scrolling interfaces that automatically zoom (AC, JS, AW), pp. 71–80.
ICEISICEIS-v1-2005-NabliSFBG #automation #design #towards
Towards an Automatic Data Mart Design (AN, AS, JF, HBA, FG), pp. 226–231.
CIKMCIKM-2005-BotWCL #automation #classification #concept #documentation #generative #using
Generating better concept hierarchies using automatic document classification (RSB, YfBW, XC, QL), pp. 281–282.
CIKMCIKM-2005-ChenFTK #automation #statistics
Statistical relationship determination in automatic thesaurus construction (LC, PF, UT, TK), pp. 267–268.
CIKMCIKM-2005-DakkaIW #automation #interface #multi
Automatic construction of multifaceted browsing interfaces (WD, PGI, KRW), pp. 768–775.
CIKMCIKM-2005-MishneCHRS #analysis #automation
Automatic analysis of call-center conversations (GM, DC, RH, AR, AS), pp. 453–459.
CIKMCIKM-2005-RoyMBR #automation #query #towards
Towards automatic association of relevant unstructured content with structured query results (PR, MKM, BB, SR), pp. 405–412.
CIKMCIKM-2005-SimonL #automation #information management #named #visual notation
ViPER: augmenting automatic information extraction with visual perceptions (KS, GL), pp. 381–388.
ECIRECIR-2005-AminiUG #algorithm #automation #clustering #ranking #summary
Automatic Text Summarization Based on Word-Clusters and Ranking Algorithms (MRA, NU, PG), pp. 142–156.
ECIRECIR-2005-Belkhatir #automation #image #retrieval #semantics #visual notation
Combining Visual Semantics and Texture Characterizations for Precision-Oriented Automatic Image Retrieval (MB), pp. 457–474.
MLDMMLDM-2005-LiFKL #automation #image #modelling #segmentation #using
Automatic Clinical Image Segmentation Using Pathological Modelling, PCA and SVM (SL, TF, AK, SL), pp. 314–324.
MLDMMLDM-2005-ZhaoG #automation #recognition
An Automatic Face Recognition System in the Near Infrared Spectrum (SZ, RRG), pp. 437–444.
SEKESEKE-2005-HuangLF #automation #email #mining #query
A Chinese Text Mining Application: An Automatic Answer Reply to Customers’ E-mail Queries Model (JYH, HML, CLF), pp. 504–507.
SIGIRSIGIR-2005-BeitzelJFGLCK #automation #classification #query #using #web
Automatic web query classification using labeled and unlabeled training data (SMB, ECJ, OF, DAG, DDL, AC, AK), pp. 581–582.
SIGIRSIGIR-2005-GhoshalIK #automation #image #markov #modelling #retrieval #video
Hidden Markov models for automatic annotation and content-based retrieval of images and video (AG, PI, SK), pp. 544–551.
SIGIRSIGIR-2005-Grivolla #approach #automation #documentation #natural language #query #retrieval #using
Using Oracle for natural language document retrieval an automatic query reformulation approach (JG), pp. 605–606.
SIGIRSIGIR-2005-MaL #automation #classification #documentation #paradigm #semantics
A phonotactic-semantic paradigm for automatic spoken document classification (BM, HL), pp. 369–376.
SIGIRSIGIR-2005-SrikanthVBM #automation #image #ontology
Exploiting ontologies for automatic image annotation (MS, JV, MB, DIM), pp. 552–558.
SIGIRSIGIR-2005-XuSMK #analysis #automation #music #summary #video
Automatic music video summarization based on audio-visual-text analysis and alignment (CX, XS, NCM, MSK), pp. 361–368.
ECMFAECMDA-FA-2005-BoronatCR #automation #framework #model management #traceability
Automatic Support for Traceability in a Generic Model Management Framework (AB, JÁC, IR), pp. 316–330.
ECOOPECOOP-2005-PachecoE #automation #classification #generative #named #testing
Eclat: Automatic Generation and Classification of Test Inputs (CP, MDE), pp. 504–527.
QAPLQAPL-2004-LanotteMT05 #analysis #automation #protocol
Automatic Analysis of a Non-Repudiation Protocol (RL, AMS, AT), pp. 113–129.
LOPSTRLOPSTR-2005-SuenagaKY #approach #automation #generative #source code #type system
Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives (KS, NK, AY), pp. 98–114.
PPDPPPDP-2005-TombF #automation #partial evaluation #type inference
Automatic type inference via partial evaluation (AT, CF), pp. 106–116.
SACSAC-2005-BoninoCP #automation #concept #learning #network
Automatic learning of text-to-concept mappings exploiting WordNet-like lexical networks (DB, FC, FP), pp. 1639–1644.
SACSAC-2005-DebnathMG #automation
Automatic extraction of informative blocks from webpages (SD, PM, CLG), pp. 1722–1726.
SACSAC-2005-GruianAKS #automation #generative #java
Automatic generation of application-specific systems based on a micro-programmed Java core (FG, PA, KK, MS), pp. 879–884.
SACSAC-2005-LuHVL #automation #generative #named #web #web service
Pollock: automatic generation of virtual web services from web sites (YHL, YH, JV, DL), pp. 1650–1655.
SAC