285 papers:
- CASE-2015-MillerM #locality #using
- Optimal planning for target localization and coverage using range sensing (LMM, TDM), pp. 501–508.
- CASE-2015-YussofSMSO #development #social
- ASKNAO apps targeting at social skills development for children with autism (HY, MHS, MAM, SS, ARO), pp. 973–978.
- DAC-2015-ZhaoTDZ #pipes and filters #synthesis
- Area-efficient pipelining for FPGA-targeted high-level synthesis (RZ, MT, SD, ZZ), p. 6.
- HT-2015-SavageMBH #facebook
- Tag Me Maybe: Perceptions of Public Targeted Sharing on Facebook (SS, AMH, KB, TH), pp. 299–303.
- VLDB-2015-LiZT #online #realtime
- Real-time Targeted Influence Maximization for Online Advertisements (YL, DZ, KLT), pp. 1070–1081.
- ESOP-2015-SeidelVJ #testing
- Type Targeted Testing (ELS, NV, RJ), pp. 812–836.
- CHI-2015-Avrahami #performance
- The Effect of Edge Targets on Touch Performance (DA), pp. 1837–1846.
- CHI-2015-BirnholtzMP #facebook #quote
- “Is it Weird to Still Be a Virgin”: Anonymous, Locally Targeted Questions on Facebook Confession Boards (JPB, NARM, AP), pp. 2613–2622.
- CHI-2015-ChangLKS #behaviour #comprehension #gesture #mobile #scalability
- Understanding Users’ Touch Behavior on Large Mobile Touch-Screens and Assisted Targeting by Tilting Gesture (YC, SL, KK, JS), pp. 1499–1508.
- CHI-2015-GuillonLN #visual notation
- Investigating Visual Feedforward for Target Expansion Techniques (MG, FL, LN), pp. 2777–2786.
- HCI-DE-2015-NakatsujiYKT #towards
- Airway Cursor: A Pointing Technique Based on Direction of Mouse Movement Towards a Targets (TN, KY, IK, YT), pp. 396–404.
- HCI-IT-2015-MacKenzie #throughput
- Fitts’ Throughput and the Remarkable Case of Touch-Based Target Selection (ISM), pp. 238–249.
- HCI-IT-2015-MurataMF #modelling #performance
- Effects of Target Shape and Display Location on Pointing Performance by Eye-Gaze Input System — Modeling of Pointing Time by Extended Fitts’ Law (AM, MM, DF), pp. 94–106.
- ECIR-2015-Tutubalina #problem #topic
- Target-Based Topic Model for Problem Phrase Extraction (ET), pp. 271–277.
- ICML-2015-RajanHSFJ #locality #multi
- Bayesian Multiple Target Localization (PR, WH, RS, PIF, BJ), pp. 1945–1953.
- KDD-2015-GrbovicRDBN #gender
- Gender and Interest Targeting for Sponsored Post Advertising at Tumblr (MG, VR, ND, NB, AN), pp. 1819–1828.
- AMT-2015-GholizadehDKM #analysis #model transformation
- Analysis of Source-to-Target Model Transformations in QueST (HG, ZD, SK, TSEM), pp. 46–55.
- SAC-2015-StegagnoMB #distributed #identification
- Distributed target identification in robotic swarms (PS, CM, HHB), pp. 307–313.
- ESEC-FSE-2015-Cadar #execution #program transformation #symbolic computation
- Targeted program transformations for symbolic execution (CC), pp. 906–909.
- ICSE-v1-2015-VakilianSMM #automation #composition
- Automated Decomposition of Build Targets (MV, RS, JDM, VM), pp. 123–133.
- ASPLOS-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.
- LICS-2015-BokerHO #problem
- The Target Discounted-Sum Problem (UB, TAH, JO), pp. 750–761.
- ASE-2014-DingesA #execution #generative #using
- Targeted test input generation using symbolic-concrete backward execution (PD, GAA), pp. 31–36.
- CASE-2014-KaoCC #performance #variability
- Target setting with consideration of target-induced operation variability for performance improvement of semiconductor fabrication (YTK, SCC, CMC), pp. 774–779.
- DAC-2014-FarkashHB #incremental #validation
- Coverage Learned Targeted Validation for Incremental HW Changes (MF, BGH, MB), p. 6.
- ESOP-2014-Fu #abstraction #analysis #memory management
- Targeted Update — Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis (ZF), pp. 534–553.
- FASE-2014-CunhaMG #relational
- Target Oriented Relational Model Finding (AC, NM, TG), pp. 17–31.
- CHI-2014-AuSL #linear #named
- LinearDragger: a linear selector for target acquisition on touch screens (OKCA, XS, RWHL), pp. 2607–2616.
- CHI-2014-GossenHN #case study #comparative #web
- A comparative study about children’s and adults’ perception of targeted web search engines (TG, JH, AN), pp. 1821–1824.
- CHI-2014-ManduchiC #visual notation
- The last meter: blind visual guidance to a target (RM, JMC), pp. 3113–3122.
- CHI-2014-MottW #lens #using
- Beating the bubble: using kinematic triggering in the bubble lens for acquiring small, dense targets (MEM, JOW), pp. 733–742.
- HIMI-DE-2014-KoltzRRVMSB #feedback
- Effects of Type and Strength of Force Feedback on the Path of Movement in a Target Selection Task (MTK, RCR, JR, KPLV, PM, TZS, VB), pp. 217–225.
- CIKM-2014-DrumondDSN #modelling #multi #optimisation
- Optimizing Multi-Relational Factorization Models for Multiple Target Relations (LRD, EDA, LST, WN), pp. 191–200.
- CIKM-2014-ZengBLLL #identification #keyword #named #query #relational
- ExpressQ: Identifying Keyword Context and Search Target in Relational Keyword Queries (ZZ, ZB, TNL, MLL, TWL), pp. 31–40.
- CIKM-2014-ZhaoWLZ #framework #mining #refinement #word
- A Bootstrapping Based Refinement Framework for Mining Opinion Words and Targets (QZ, HW, PL, CZ), pp. 1995–1998.
- ICML-c1-2014-Abbasi-YadkoriBK
- Tracking Adversarial Targets (YAY, PLB, VK), pp. 369–377.
- ICML-c1-2014-LanZS #monte carlo
- Spherical Hamiltonian Monte Carlo for Constrained Target Distributions (SL, BZ, BS), pp. 629–637.
- ICML-c2-2014-PaigeW #compilation #probability #programming language
- A Compilation Target for Probabilistic Programming Languages (BP, FW), pp. 1935–1943.
- ICML-c2-2014-WuCLY #behaviour #consistency #learning #network #predict #social
- Learning the Consistent Behavior of Common Users for Target Node Prediction across Social Networks (SHW, HHC, KHL, PSY), pp. 298–306.
- ICPR-2014-ChenB #multi
- Soft Biometrics Integrated Multi-target Tracking (XC, BB), pp. 4146–4151.
- ICPR-2014-DamoulasHBGA #kernel #string
- String Kernels for Complex Time-Series: Counting Targets from Sensed Movement (TD, JH, RB, CPG, AA), pp. 4429–4434.
- ICPR-2014-DengZS #learning #recognition #speech
- Linked Source and Target Domain Subspace Feature Transfer Learning — Exemplified by Speech Emotion Recognition (JD, ZZ, BWS), pp. 761–766.
- ICPR-2014-GaoHDJ #multi
- Depth Structure Association for RGB-D Multi-target Tracking (SG, ZH, DSD, JJ), pp. 4152–4157.
- ICPR-2014-MurshedJI #robust
- Discriminative Directional Texture and Color for Robust Target Tracking (MM, TJ, SMZI), pp. 4176–4181.
- ICPR-2014-RazakarivonyJ #detection
- Discriminative Autoencoders for Small Targets Detection (SR, FJ), pp. 3528–3533.
- ICPR-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.
- ICPR-2014-YoonYYK #realtime #visual notation
- Real-Time Visual Target Tracking in RGB-D Data for Person-Following Robots (YY, WhY, HSY, JK), pp. 2227–2232.
- KDD-2014-AbelsonVS
- Targeting direct cash transfers to the extremely poor (BA, KRV, JS), pp. 1563–1572.
- KDD-2014-AgarwalGWY #online
- Budget pacing for targeted online advertisements at LinkedIn (DA, SG, KW, SY), pp. 1613–1619.
- KDD-2014-ShakarianSPB #network #social #source code
- Reducing gang violence through network influence based targeting of social programs (PS, JS, WP, JB), pp. 1829–1836.
- KDIR-2014-BarcanteJDCCS #identification #mining #using
- Identifying Drug Repositioning Targets using Text Mining (EB, MJ, FD, EC, OGC, FS), pp. 348–353.
- KDIR-2014-DomeniconiMPS #category theory #classification
- Cross-domain Text Classification through Iterative Refining of Target Categories Representations (GD, GM, RP, CS), pp. 31–42.
- RecSys-2014-ZhangOFL #modelling #network #scalability #social
- Scalable audience targeted models for brand advertising on social networks (KZ, AMO, SF, HL), pp. 341–344.
- SIGIR-2014-PaiG #online #realtime #visualisation
- Real-time visualization and targeting of online visitors (DP, SZG), pp. 1253–1254.
- SAC-2014-LinWCC #query
- Finding targets with the nearest favor neighbor and farthest disfavor neighbor by a skyline query (YWL, ETW, CFC, ALPC), pp. 821–826.
- ICSE-2014-HuangMSZ #analysis #performance #testing
- Performance regression testing target prioritization via performance risk analysis (PH, XM, DS, YZ), pp. 60–71.
- CASE-2013-RenfrewBC #locality
- Particle filter based active localization of target and needle in robotic image-guided intervention systems (MR, ZB, MCC), pp. 448–454.
- DATE-2013-AmaruGM #canonical #logic #novel #synthesis
- Biconditional BDD: a novel canonical BDD for logic synthesis targeting XOR-rich circuits (LGA, PEG, GDM), pp. 1014–1017.
- DATE-2013-LiuN #multi
- Radar signature in multiple target tracking system for driver assistant application (HL, SN), pp. 887–892.
- ICSM-2013-ToroiRV #case study #identification #process #testing
- Identifying Process Improvement Targets in Test Processes: A Case Study (TT, AR, LV), pp. 11–19.
- CHI-2013-BanovicGF #fault
- The effect of time-based cost of error in target-directed pointing tasks (NB, TG, GWF), pp. 1373–1382.
- CHI-2013-NovALB #design #online #social #user interface
- Exploring personality-targeted UI design in online social participation systems (ON, OA, CL, PB), pp. 361–370.
- CHI-2013-StellmachD
- Still looking: investigating seamless gaze-supported selection, positioning, and manipulation of distant targets (SS, RD), pp. 285–294.
- CHI-2013-TeatherS #3d
- Pointing at 3d target projections with one-eyed and stereo cursors (RJT, WS), pp. 159–168.
- CSCW-2013-NicholsZYKS #quality #social #social media
- Analyzing the quality of information solicited from targeted strangers on social media (JN, MXZ, HY, JHK, XS), pp. 967–976.
- CSCW-2013-NovA #design
- Personality-targeted design: theory, experimental procedure, and preliminary results (ON, OA), pp. 977–984.
- HCI-IMT-2013-ZhangSM #agile
- Target Orientation Effects on Movement Time in Rapid Aiming Tasks (YZ, BS, WM), pp. 540–548.
- ICML-c1-2013-OstingBO #ranking #statistics
- Enhanced statistical rankings via targeted data collection (BO, CB, SO), pp. 489–497.
- ICML-c1-2013-SznitmanLFJF #locality #policy
- An Optimal Policy for Target Localization with Application to Electron Microscopy (RS, AL, PIF, BJ, PF), pp. 1–9.
- ICML-c2-2013-ChangKKZ #analysis #canonical #correlation #independence #kernel
- Canonical Correlation Analysis based on Hilbert-Schmidt Independence Criterion and Centered Kernel Target Alignment (BC, UK, RK, JZ), pp. 316–324.
- ICML-c3-2013-ZhangSMW #adaptation
- Domain Adaptation under Target and Conditional Shift (KZ, BS, KM, ZW), pp. 819–827.
- KDD-2013-Ghani #scalability #social
- Targeting and influencing at scale: from presidential elections to social good (RG), p. 1137.
- KDD-2013-HuaCZLR #detection #named #twitter
- STED: semi-supervised targeted-interest event detectionin in twitter (TH, FC, LZ, CTL, NR), pp. 1466–1469.
- KDD-2013-ZhengDMZ #collaboration #interactive #matrix #multi #predict
- Collaborative matrix factorization with multiple similarities for predicting drug-target interactions (XZ, HD, HM, SZ), pp. 1025–1033.
- OOPSLA-2013-AzimN #android #testing
- Targeted and depth-first exploration for systematic testing of android apps (TA, IN), pp. 641–660.
- SAC-2013-VukovicD #distributed #estimation #on the #security
- On the security of distributed power system state estimation under targeted attacks (OV, GD), pp. 666–672.
- ISSTA-2013-JensenPM #automation #generative #sequence #testing
- Automated testing with targeted event sequence generation (CSJ, MRP, AM), pp. 67–77.
- DATE-2012-GuerraF #online #scheduling
- On-line scheduling of target sensitive periodic tasks with the gravitational task model (RG, GF), pp. 578–581.
- CSMR-2012-Dovgalyuk #debugging #dynamic analysis #execution #multi
- Deterministic Replay of System’s Execution with Multi-target QEMU Simulator for Dynamic Analysis and Reverse Debugging (PD), pp. 553–556.
- ICGT-2012-GolasLEG #flexibility #formal method #graph grammar #towards
- Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars — Flexible Relations between Source and Target Elements (UG, LL, HE, HG), pp. 141–155.
- CHI-2012-DixonFW #analysis #interface #using #visual notation
- A general-purpose target-aware pointing enhancement using pixel-level analysis of graphical interfaces (MD, JF, JOW), pp. 3167–3176.
- CHI-2012-StellmachD
- Look & touch: gaze-supported target acquisition (SS, RD), pp. 2981–2990.
- CSCW-2012-NicholsK #network #social
- Asking questions of targeted strangers on social networks (JN, JHK), pp. 999–1002.
- CIKM-2012-AhmedADSA #behaviour #feature model #multi
- Web-scale multi-task feature selection for behavioral targeting (AA, MA, AD, AJS, TA), pp. 1737–1741.
- CIKM-2012-BalogN12a #identification #query
- Hierarchical target type identification for entity-oriented queries (KB, RN), pp. 2391–2394.
- ICPR-2012-GranaCBC #image #learning #segmentation
- Learning non-target items for interesting clothes segmentation in fashion images (CG, SC, DB, RC), pp. 3317–3320.
- ICPR-2012-HartlR #artificial reality #mobile
- Rectangular target extraction for mobile augmented reality applications (AH, GR), pp. 81–84.
- ICPR-2012-HouXCXQ #clique #set
- Dominant set and target clique extraction (JH, EX, LC, QX, NQ), pp. 1831–1834.
- ICPR-2012-KumagaiOTYMK #modelling #robust
- Robust model-based tracking considering changes in the measurable DoF of the target object (KK, MAO, TT, GY, JM, HK), pp. 2157–2160.
- ICPR-2012-LiuL #analysis #detection #learning #multi
- Unsupervised multi-target trajectory detection, learning and analysis in complicated environments (HL, JL), pp. 3716–3720.
- ICPR-2012-PengPCS #data fusion
- KL based data fusion for target tracking (JP, KP, SC, GS), pp. 3480–3483.
- ICPR-2012-SankaranarayananD #locality #modelling #segmentation
- Segmentation and scene modeling for MIL-based target localization (KS, JWD), pp. 3325–3328.
- KDD-2012-GuptaDPN
- Factoring past exposure in display advertising targeting (NG, AD, SP, VKN), pp. 1204–1212.
- KDD-2012-PerlichDHSRP #online #optimisation
- Bid optimizing and inventory scoring in targeted online advertising (CP, BD, RH, OS, TR, FJP), pp. 804–812.
- MLDM-2012-XuCG #concept #learning #multi #using
- Constructing Target Concept in Multiple Instance Learning Using Maximum Partial Entropy (TX, DKYC, IG), pp. 169–182.
- SIGIR-2012-LiWHYDSL #named #recognition #twitter
- TwiNER: named entity recognition in targeted twitter stream (CL, JW, QH, YY, AD, AS, BSL), pp. 721–730.
- SAC-2012-NeumannC #algorithm #estimation
- Introducing intervention targeting into estimation of distribution algorithms (GN, DC), pp. 220–225.
- HPDC-2012-ChenASYB #multi #performance #question
- Achieving application-centric performance targets via consolidation on multicores: myth or reality? (LYC, DA, ES, AY, WB), pp. 37–48.
- CASE-2011-PatilSMDS #development #requirements
- Requirements for the development of a decision-support solution for sustainability target cascading (LP, LS, KM, DD, RS), pp. 456–461.
- DAC-2011-KinsmanN #configuration management #on the fly
- Dynamic binary translation to a reconfigurable target for on-the-fly acceleration (PK, NN), pp. 286–287.
- DATE-2011-AnjamNW #multi #runtime
- Targeting code diversity with run-time adjustable issue-slots in a chip multiprocessor (FA, MN, SW), pp. 1358–1363.
- CHI-2011-BatemanMSG #game studies
- Target assistance for subtly balancing competitive play (SB, RLM, TS, CG), pp. 2355–2364.
- CHI-2011-BragdonK #gesture #scalability
- Gesture select: : acquiring remote targets on large displays without pointing (AB, HSK), pp. 187–196.
- CHI-2011-CasiezRVG #named #towards
- Surfpad: riding towards targets on a squeeze film effect (GC, NR, RV, FG), pp. 2491–2500.
- CHI-2011-HasanGI
- Comet and target ghost: techniques for selecting moving targets (KH, TG, PI), pp. 839–848.
- CHI-2011-MandrykL
- The effects of intended use on target acquisition (RLM, CL), pp. 1649–1652.
- CHI-2011-YangGIF #proximity #using
- TouchCuts and TouchZoom: enhanced target selection for touch displays using finger proximity sensing (XDY, TG, PI, GWF), pp. 2585–2594.
- CIKM-2011-LiuT #behaviour #scalability #social
- Large-scale behavioral targeting with a social twist (KL, LT), pp. 1815–1824.
- CIKM-2011-PandeyABHCRZ #behaviour #learning #what
- Learning to target: what works for behavioral targeting (SP, MA, AB, AOH, PC, AR, MZ), pp. 1805–1814.
- CIKM-2011-TangLYSGGYZ #behaviour #learning #rank
- Learning to rank audience for behavioral targeting in display ads (JT, NL, JY, YS, SG, BG, SY, MZ), pp. 605–610.
- KDD-2011-AhmedLAJS #behaviour #distributed #scalability
- Scalable distributed inference of dynamic user interests for behavioral targeting (AA, YL, MA, VJ, AJS), pp. 114–122.
- SIGIR-2011-WangRFZHB #learning #network #online #social
- Learning relevance from heterogeneous social network and its application in online targeting (CW, RR, DF, DZ, JH, GJB), pp. 655–664.
- ECOOP-2011-ZhangXZZC #estimation #object-oriented #source code
- Frequency Estimation of Virtual Call Targets for Object-Oriented Programs (CZ, HX, SZ, JZ, YC), pp. 510–532.
- SAC-2011-AhluwaliaGCY #mining #privacy
- Target-based privacy preserving association rule mining (MA, AG, ZC, YY), pp. 962–967.
- SAC-2011-GuerraF #realtime #resource management
- Handling overload of target sensitive real-time applications for increased system utility and improved resource usage (RG, GF), pp. 742–747.
- SAC-2011-IkonomovskaGD #data type #incremental #multi
- Incremental multi-target model trees for data streams (EI, JG, SD), pp. 988–993.
- LCTES-2011-GrayA #api #architecture #embedded #manycore
- Targeting complex embedded architectures by combining the multicore communications API (mcapi) with compile-time virtualisation (IG, NCA), pp. 51–60.
- CASE-2010-MacwanNB #approach #bound #multi #novel #online #predict #probability
- On-line target-motion prediction for autonomous multirobot search in realistic terrains with time-expanding boundaries: A novel probabilistic approach (AM, GN, BB), pp. 662–667.
- DATE-2010-MartinelloMRR #approach #logic #multi #named #synthesis
- KL-Cuts: A new approach for logic synthesis targeting multiple output blocks (OM, FSM, RPR, AIR), pp. 777–782.
- DATE-2010-MullerBGRNZB #design #implementation #manycore #recognition
- Design of an automotive traffic sign recognition system targeting a multi-core SoC implementation (MM, AGB, JG, WR, DN, JMZ, OB), pp. 532–537.
- VLDB-2010-AbdessalemCD #lightweight #named #query #web
- ObjectRunner: Lightweight, Targeted Extraction and Querying of Structured Web Data (TA, BC, ND), pp. 1585–1588.
- CHI-2010-BiBB #scalability #visual notation
- Effects of interior bezels of tiled-monitor large displays on visual search, tunnel steering, and target selection (XB, SHB, RB), pp. 65–74.
- CHI-2010-JansenS #gender
- Gender demographic targeting in sponsored search (BJJ, LS), pp. 831–840.
- CHI-2010-ZhangRZ #modelling
- Modeling dwell-based eye pointing target acquisition (XZ, XR, HZ), pp. 2083–2092.
- ICML-2010-ChakrabortyS #convergence #learning #multi #safety
- Convergence, Targeted Optimality, and Safety in Multiagent Learning (DC, PS), pp. 191–198.
- ICPR-2010-BecattiniMC #injection
- Anisotropic Contour Completion for Cell Microinjection Targeting (GB, LSM, DGC), pp. 2262–2265.
- ICPR-2010-DengSS #detection #network #pattern matching #pattern recognition #recognition
- Applying Error-Correcting Output Coding to Enhance Convolutional Neural Network for Target Detection and Pattern Recognition (HD, GS, CYS), pp. 4291–4294.
- ICPR-2010-GruberZWSH #optimisation
- Optimization of Target Objects for Natural Feature Tracking (LG, SZ, DW, DS, TH), pp. 3607–3610.
- ICPR-2010-LiuQW #automation #detection
- Automatic Detection of Phishing Target from Phishing Webpage (GL, BQ, LW), pp. 4153–4156.
- SIGIR-2010-HeR #approach #automation #detection #generative #ranking
- A ranking approach to target detection for automatic link generation (JH, MdR), pp. 831–832.
- SIGIR-2010-LiuYSCCL #behaviour #learning #rank
- Learning to rank audience for behavioral targeting (NL, JY, DS, DC, ZC, YL), pp. 719–720.
- SAC-2010-AhluwaliaGGYM #database
- Target-based database synchronization (MA, RG, AG, YY, MM), pp. 1643–1647.
- SAC-2010-MiaoOWS #distributed #network #using
- Coverage-hole trap model in target tracking using distributed relay-robot network (HM, CCO, XW, CS), pp. 1299–1304.
- WICSA-ECSA-2009-RaibuletM #adaptation #evaluation #metric #question
- Evaluation of dynamic adaptivity through metrics: an achievable target? (CR, LM), pp. 341–344.
- DAC-2009-CromarLC #algorithm #reduction
- FPGA-targeted high-level binding algorithm for power and area reduction with glitch-estimation (SC, JL, DC), pp. 838–843.
- DATE-2009-SioziosPS #3d #architecture
- A software-supported methodology for exploring interconnection architectures targeting 3-D FPGAs (KS, VFP, DS), pp. 172–177.
- ICDAR-2009-ZhuGGZ #framework #learning #online #probability #recognition
- A Probabilistic Framework for Soft Target Learning in Online Cursive Handwriting Recognition (XZ, YG, FJG, LXZ), pp. 1246–1250.
- VLDB-2009-AliGRSTVWZKALRKSGBCGBLNWMSNG #behaviour #online
- Microsoft CEP Server and Online Behavioral Targeting (MHA, CG, BSR, BS, TT, TV, PW, PZ, AK, AA, ML, AR, RK, RS, TG, SB, BC, JG, SB, YL, VDN, XW, DM, IS, ON, SG), pp. 1558–1561.
- CHI-2009-FeketeEG #named #using
- Motion-pointing: target selection using elliptical motions (JDF, NE, YG), pp. 289–298.
- CHI-2009-Guiard #consistency #design #distance #problem
- The problem of consistency in the design of Fitts’ law experiments: consider either target distance and width or movement form and scale (YG), pp. 1809–1818.
- CHI-2009-WobbrockFLKH
- The angle mouse: target-agnostic dynamic gain adjustment based on angular deviation (JOW, JF, SY(L, SK, SH), pp. 1401–1410.
- HCI-VAD-2009-JelinSDMB #education #human-computer #question
- HCI Professional Involvement in k-12 Education: On Target or Missing the Mark? (MJ, AS, JD, DM, DB), pp. 111–118.
- HIMI-II-2009-ItoTHNYUST #human-computer #interface
- Clinical Usefulness of Human-Computer Interface for Training Targeted Facial Expression: Application to Patients with Cleft Lip and/or Palate (KI, AT, SH, SN, MY, SU, NS, KT), pp. 513–521.
- AdaEurope-2009-ZoviV #programming language #requirements
- Requirements on the Target Programming Language for High-Integrity MDE (AZ, TV), pp. 1–15.
- ICEIS-HCI-2009-GarciaDCBSS #design
- Scenario-based Design — An Essential Instrument for an Innovative Target Application — Case Report (LSG, AID, MAC, LCEDB, FS, MSS), pp. 113–117.
- KDD-2009-ChenPC #behaviour #scalability
- Large-scale behavioral targeting (YC, DP, JFC), pp. 209–218.
- KDD-2009-ProvostDHZM #network #online #privacy #social
- Audience selection for on-line brand advertising: privacy-friendly social network targeting (FJP, BD, RH, XZ, AM), pp. 707–716.
- MLDM-2009-MorelandT
- Discretization of Target Attributes for Subgroup Discovery (KM, KT), pp. 44–52.
- ASPLOS-2009-BurceaM #branch #design #named
- Phantom-BTB: a virtualized branch target buffer design (IB, AM), pp. 313–324.
- SIGMOD-2008-MishraKZ #database #generative #query #testing
- Generating targeted queries for database testing (CM, NK, CZ), pp. 499–510.
- ITiCSE-2008-PoplawskiK #design #logic #named #simulation
- JLS: a pedagogically targeted logic design and simulation tool (DAP, ZK), p. 314.
- CHI-2008-CaoLB #modelling
- Peephole pointing: modeling acquisition of dynamically revealed targets (XC, JJL, RB), pp. 1699–1708.
- CHI-2008-KobayashiI #multi #scalability #using
- Ninja cursors: using multiple cursors to assist target acquisition on large screens (MK, TI), pp. 949–958.
- CHI-2008-NacentaMG
- Targeting across displayless space (MAN, RLM, CG), pp. 777–786.
- CHI-2008-RohsO #lens
- Target acquisition with camera phones when used as magic lenses (MR, AO), pp. 1409–1418.
- CHI-2008-YataniPBN #gesture #named #using
- Escape: a target selection technique using visually-cued gestures (KY, KP, MWB, MWN), pp. 285–294.
- ICEIS-ISAS2-2008-KansoESS #architecture #named #towards
- RICAD: Towards an Architecture for Recognizing Author’s Targets (HK, AE, CSD, ST), pp. 374–379.
- ICML-2008-DundarWLSR #case study #classification #detection
- Polyhedral classifier for target detection: a case study: colorectal cancer (MD, MW, SL, MS, VCR), pp. 288–295.
- ICPR-2008-LablackD #analysis #behaviour
- Analysis of human behaviour in front of a target scene (AL, CD), pp. 1–4.
- ICPR-2008-LiCS #kernel #optimisation #predict #video
- An improved mean-shift tracker with kernel prediction and scale optimisation targeting for low-frame-rate video tracking (ZL, JC, NNS), pp. 1–4.
- ICPR-2008-OikeWW #adaptation #clustering
- Adaptive selection of non-target cluster centers for K-means tracker (HO, HW, TW), pp. 1–4.
- ICPR-2008-OsawaSAK #3d #multi
- Monocular 3D tracking of multiple interacting targets (TO, KS, HA, HK), pp. 1–4.
- ICPR-2008-SunQ #classification #network
- Dynamic target classification in wireless sensor networks (YS, HQ), pp. 1–4.
- ICPR-2008-WangZZ #multi
- Multivariate Laplace Filter: A heavy-tailed model for target tracking (DW, CZ, XZ), pp. 1–4.
- KDD-2008-MelvilleRL #modelling #using #web
- Customer targeting models using actively-selected web content (PM, SR, RDL), pp. 946–953.
- CASE-2007-KimCAY #mobile #using
- RFID-enabled Target Tracking and Following with a Mobile Robot Using Direction Finding Antennas (MK, NYC, HSA, WY), pp. 1014–1019.
- DATE-2007-RaoOK #fault tolerance #interactive #logic
- Interactive presentation: Logic level fault tolerance approaches targeting nanoelectronics PLAs (WR, AO, RK), pp. 865–869.
- PODS-2007-HernichS #dependence
- CWA-solutions for data exchange settings with target dependencies (AH, NS), pp. 113–122.
- ITiCSE-2007-LahtinenJM #visualisation
- Targeting program visualizations (EL, HMJ, SMV), pp. 256–260.
- SCAM-2007-NaylorR
- Finding Inputs that Reach a Target Expression (MN, CR), pp. 133–142.
- CHI-2007-GrossmanKB #modelling
- Modeling pointing at targets of arbitrary shapes (TG, NK, RB), pp. 463–472.
- CHI-2007-GuanC #eye tracking #rank #web
- An eye tracking study of the effect of target rank on web search (ZG, EC), pp. 417–420.
- DHM-2007-DuSY #modelling
- Modeling of Human’s Pointing Movement on the Effect of Target Position (JD, HS, XY), pp. 48–55.
- HIMI-MTT-2007-JiGC #comparison #using #word
- Selecting Target Word Using Contexonym Comparison Method (HJ, BG, HC), pp. 463–470.
- MLDM-2007-NgaiY
- Fast-Maneuvering Target Seeking Based on Double-Action Q-Learning (DCKN, NHCY), pp. 653–666.
- SIGIR-2007-MoffatWZ
- Strategic system comparisons via targeted relevance judgments (AM, WW, JZ), pp. 375–382.
- LDTA-J-2005-Iversen #compilation #ml #standard
- An action compiler targeting Standard ML (JI), pp. 79–94.
- CASE-2006-EurschHSZMK #automation #concept #multi
- A Multilevel Automation Concept for the Target-Based Production of Radioisotopes for Cancer Treatment (AE, MH, MS, MFZ, JM, EK), pp. 51–56.
- CASE-2006-LuHLL #detection #image
- Detecting Small Target of Ship at Sea by Infrared Image (JWL, YJH, HYL, FLL), pp. 165–169.
- DATE-DF-2006-NazarianPGB #named #set #statistics
- STAX: statistical crosstalk target set compaction (SN, MP, SKG, MAB), pp. 172–177.
- ITiCSE-2006-Pargas06a #development #tablet
- A targeted tablet PC software development course (RPP), p. 336.
- CHI-2006-IraniGY
- Improving selection of off-screen targets with hopping (PI, CG, XDY), pp. 299–308.
- CHI-2006-MarentakisB #feedback
- Effects of feedback, mobility and index of difficulty on deictic spatial audio target acquisition in the horizontal plane (GNM, SAB), pp. 359–368.
- ICPR-v1-2006-HuaWCW #algorithm
- A Pixel-wise Object Tracking Algorithm with Target and Background Sample (CH, HW, QC, TW), pp. 739–742.
- ICPR-v1-2006-MicheloniF
- Focusing on Target’s Features while Tracking (CM, GLF), pp. 836–839.
- ICPR-v1-2006-WanH #adaptation
- Adaptive, Region-based, Layered Background Model for Target Tracking (MW, JYH), pp. 803–807.
- ICPR-v2-2006-OsawaWWY #3d #using
- Human Tracking by Particle Filtering Using Full 3D Model of Both Target and Environment (TO, XW, KW, TY), pp. 25–28.
- ICPR-v2-2006-YuCMW #detection #markov #monte carlo #multi
- Boosted Markov Chain Monte Carlo Data Association for Multiple Target Detection and Tracking (QY, IC, GGM, BW), pp. 675–678.
- ICPR-v3-2006-Moreno-NoguerSS #robust
- A Target Dependent Colorspace for Robust Tracking (FMN, AS, DS), pp. 43–46.
- ICPR-v3-2006-PeiLX #detection #information retrieval
- A Method For IR Point Target Detection Based on Spatial-temporal Bilateral Filter (JP, ZL, WX), pp. 846–849.
- ICPR-v4-2006-HafezJ #estimation #using #visual notation
- Target Model Estimation using Particle Filters for Visual Servoing (AHAH, CVJ), pp. 651–654.
- SAC-2006-ChenPSW
- An integrated computational proteomics method to extract protein targets for Fanconi Anemia studies (JYC, SLP, CS, MW), pp. 173–179.
- SAC-2006-LiuHVY #feedback #performance #scalability
- Efficient target search with relevance feedback for large CBIR systems (DL, KAH, KV, NY), pp. 1393–1397.
- CASE-2005-LowWW #development #on the #realtime #using
- On the development of a real time control system by using xPC Target: solution to robotic system control (KHL, HW, MYW), pp. 345–350.
- DATE-2005-RodriguesC #compilation #design #framework
- An Infrastructure to Functionally Test Designs Generated by Compilers Targeting FPGAs (RR, JMPC), pp. 30–31.
- CHI-2005-GrossmanB
- The bubble cursor: enhancing target acquisition by dynamic resizing of the cursor’s activation area (TG, RB), pp. 281–290.
- SIGIR-2005-Ribeiro-NetoCGM
- Impedance coupling in content-targeted advertising (BARN, MC, PBG, ESdM), pp. 496–503.
- SAC-2005-DebbabiMT #compilation #embedded #java #virtual machine
- Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors (MD, AM, NT), pp. 874–878.
- SAC-2005-JangSSH #comparison #identification
- A comparison on information fusion methods for air target identification (DJ, SYS, CYS, CCH), pp. 45–46.
- LDTA-2005-Iversen #compilation #ml #standard
- An Action Compiler Targeting Standard ML (JI), pp. 167–188.
- DAC-2004-StrojwasCGHKLNPT #fault #question
- When IC yield missed the target, who is at fault? (AJS, MC, VG, JH, JK, ML, WN, DP, MT), p. 80.
- CHI-2004-BlanchGB #adaptation #semantics
- Semantic pointing: improving target acquisition with control-display ratio adaptation (RB, YG, MBL), pp. 519–526.
- CHI-2004-GrossmanB #3d
- Pointing at trivariate targets in 3D environments (TG, RB), pp. 447–454.
- ICPR-v2-2004-BaiH #approach #documentation #image
- A Goal-Oriented Verification-Based Approach for Target Text Line Extraction from a Document Image Captured by a Pen Scanner (ZLB, QH), pp. 574–577.
- ICPR-v2-2004-HouZ #3d #algorithm #estimation
- Filter Algorithm for 3D Pose Estimation of Maneuvering Target (FH, FZ), pp. 140–144.
- ICPR-v3-2004-SatakeS #multi #using
- Multiple Target Tracking by Appearance-Based Condensation Tracker using Structure Information (JS, TS), pp. 294–297.
- ICPR-v4-2004-GenovesioO #multi
- Split and Merge Data Association Filter for Dense Multi-target Tracking (AG, JCOM), pp. 677–680.
- ICPR-v4-2004-ZaveriMD #image #information retrieval #modelling #multi #sequence #using
- Tracking of Point Targets in IR Image Sequence using Multiple Model Based Particle Filtering and MRF Based Data Association (MAZ, SNM, UBD), pp. 729–732.
- GPCE-2004-LawallMM #component #design #domain-specific language #independence #on the
- On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components (JLL, AFLM, GM), pp. 436–455.
- CGO-2004-JoshiBZ #optimisation #profiling #staged
- Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems (RJ, MDB, CBZ), pp. 239–250.
- DATE-2003-BesanaB #automation #case study #code generation #design #framework #hardware
- Application Mapping to a Hardware Platform through Automated Code Generation Targeting a RTOS: A Design Case Study (MB, MB), pp. 20041–20044.
- ICDAR-2003-BaiH #approach #documentation #image
- An Approach to Extracting the Target Text Line from a Document Image Captured by a Pen Scanner (ZLB, QH), p. 76–?.
- SIGMOD-2003-StoltePAG #design #repository
- Scientific Data Repositories: Designing for a Moving Target (ES, CvP, GA, TRG), pp. 349–360.
- CHI-2003-HwangKLC #multi
- Multiple haptic targets for motion-impaired computer users (FH, SK, PL, PJC), pp. 41–48.
- CHI-2003-ZhaiCBG #online
- Human on-line response to target expansion (SZ, SC, MBL, YG), pp. 177–184.
- SAC-2003-MaI #using
- Long Time Step Molecular Dynamics using Targeted Langevin Stabilization (QM, JAI), pp. 178–182.
- SAC-2003-NittoGS #multi #using #web
- Using Agents for Multi-target Search on the Web (EDN, CG, PS), pp. 828–833.
- CC-2003-MoreauRV #compilation #multi #pattern matching
- A Pattern Matching Compiler for Multiple Target Languages (PEM, CR, MV), pp. 61–76.
- DATE-2002-PomeranzR #fault #multi #set #using
- Test Enrichment for Path Delay Faults Using Multiple Sets of Target Faults (IP, SMR), pp. 722–729.
- CHI-2002-Gutwin #interactive
- Improving focus targeting in interactive fisheye views (CG), pp. 267–274.
- CHI-2002-McGuffinB
- Acquisition of expanding targets (MJM, RB), pp. 57–64.
- ICPR-v1-2002-LuWL #detection
- A Target Detection Method in Range-Doppler Domain from SAR Echo Data (LL, RW, WL), pp. 91–94.
- ICPR-v2-2002-StevensSA #automation #detection #using
- Automatic Target Detection Using PMMW and LADAR Imagery (MRS, MS, SA), pp. 647–650.
- ICPR-v2-2002-UkitaM #communication #multi #realtime
- Real-Time Cooperative Multi-Target Tracking by Communicating Active Vision Agents (NU, TM), pp. 14–19.
- DATE-2001-GauthierYJ #automation #embedded #generative #operating system
- Automatic generation and targeting of application specific operating systems and embedded systems software (LG, SY, AAJ), pp. 679–685.
- DATE-2001-PomeranzR01a #detection #effectiveness #fault #generative #testing
- Definitions of the numbers of detections of target faults and their effectiveness in guiding test generation for high defect coverage (IP, SMR), pp. 504–508.
- SIGAda-2001-Gantsou #ada #communication #distributed #multi #network #simulation
- Targeting Ada95/DSA for distributed simulation of multiprotocol communication networks (DG), pp. 91–96.
- KDD-2001-ApteBNPTCN #modelling
- Segmentation-based modeling for advanced targeted marketing (CA, EB, RN, EPDP, FT, DC, BN), pp. 408–413.
- KDD-2001-DattaDBMH
- Estimating business targets (PD, JD, AB, DRM, JH), pp. 420–425.
- KDD-2001-Mitchell #web
- Extracting targeted data from the web (TMM), p. 3.
- SEKE-2001-CairoBS #framework #information management
- Evaluating Knowledge Acquisition Frameworks Aiming at a Moving Target (OC, JB, FS), pp. 312–316.
- SAC-2001-Grigoriev #identification
- Computational structural genomics: identifying protein targets for structural studies (IVG), pp. 41–45.
- DAC-2000-SinghLFMLKB #case study #configuration management #multi #named
- MorphoSys: case study of a reconfigurable computing system targeting multimedia applications (HS, GL, EMCF, RM, MHL, FJK, NB), pp. 573–578.
- DATE-2000-BringmannRM #architecture #multi #synthesis
- Target Architecture Oriented High-Level Synthesis for Multi-FPGA Based Emulation (OB, WR, CM), pp. 326–332.
- CHI-2000-DennerleinMH #performance
- Force-feedback improves performance for steering and combined steering-targeting tasks (JTD, DBM, CJH), pp. 423–429.
- ICPR-v2-2000-HansenH #bias #composition #exponential #fault #independence #product line
- General Bias/Variance Decomposition with Target Independent Variance of Error Functions Derived from the Exponential Family of Distributions (JVH, TH), pp. 2207–2210.
- ICPR-v3-2000-Rodriguez-MiguelTMJV #3d #correlation #generative #pattern matching #pattern recognition #recognition
- Target Modelization and Filter Generation for 3D Pattern Recognition by Optical Correlation (FJRM, RT, MMU, IJ, SV), pp. 7030–7033.
- ICPR-v4-2000-BarretoBA #predict #visual notation
- Model Predictive Control to Improve Visual Control of Motion: Applications in Active Tracking of Moving Targets (JPB, JB, HA), pp. 4732–4735.
- ICPR-v4-2000-CicirelliDD #recognition #visual notation
- Visual State Recognition for a Target-Reaching Task (GC, TD, AD), pp. 4854–4857.
- KDD-2000-MaLWYL #data mining #mining #student #using
- Targeting the right students using data mining (YM, BL, CKW, PSY, SML), pp. 457–464.
- FASE-1999-CosicaR #concurrent #named
- JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems (EC, GR), pp. 77–97.
- STOC-1999-CharikarKRRT #markov #on the
- On targeting Markov segments (MC, RK, PR, SR, AT), pp. 99–108.
- HCI-CCAD-1999-MurataFAI #2d #effectiveness
- Extending effective target width in Fitt’s law to two-dimensional pointing task (AM, MF, YA, HI), pp. 1236–1240.
- HCI-CCAD-1999-RizzoBNCRLKKTH #bibliography #process
- Virtual environments for targeting cognitive processes: an overview of projects at the University of Southern California (AAR, JGB, UN, CC, AvR, PL, KK, CK, MT, LH), pp. 1095–1099.
- DAC-1998-KimCLLPK #functional #modelling
- Virtual Chip: Making Functional Models Work on Real Target Systems (NK, HC, SL, SL, ICP, CMK), pp. 170–173.
- ITiCSE-1998-Smith
- Structuring team communications with targeted use of groupware (poster) (MS), p. 306.
- ICSM-1998-JonesKMPS #evolution #modelling #quality
- Hitting the Moving Target: Trials and Tribulations of Modeling Quality in Evolving Software Systems (WDJ, TMK, JCM, TTP, GES), pp. 66–67.
- ICSM-1998-KhoshgoftaarA #quality #question
- Can a Software Quality Model Hit a Moving Target? (TMK, EBA), pp. 68–70.
- WCRE-1998-BurdM #comprehension #re-engineering
- Assisting Human Understanding to Aid the Targeting of Necessary Reengineering Work (EB, MM), pp. 2–9.
- ICPR-1998-BakerS #nondeterminism #representation
- Representation of uncertainty in spatial target tracking (TB, MJAS), pp. 1339–1342.
- ICPR-1998-BoccignoneCP #detection #using
- Small target detection using wavelets (GB, AC, AP), pp. 1776–1778.
- ICPR-1998-KatoTI #navigation #representation
- Representing environment through target-guided navigation (KK, ST, HI), pp. 1794–1798.
- ICPR-1998-LiuH #recognition #using
- Using centroid covariance in target recognition (GL, RMH), pp. 1343–1346.
- ICPR-1998-PhilominHD #automation #recognition
- Appearance-based automatic target recognition in overhead LADAR range imagery (VP, DH, LSD), pp. 1320–1324.
- KDD-1998-KohaviS #classification
- Targeting Business Users with Decision Table Classifiers (RK, DS), pp. 249–253.
- SIGIR-1998-SaitoO #user satisfaction #web
- A Cognitive Model for Searching for Ill-Defined Targets on the Web: The Relationship Between Search Strategies and User Satisfaction (MS, KO), pp. 155–163.
- DAC-1997-AdeLP #data flow #graph #memory management
- Data Memory Minimisation for Synchronous Data Flow Graphs Emulated on DSP-FPGA Targets (MA, RL, JAP), pp. 64–69.
- HCI-CC-1997-KameiMSH #integration
- Creating a Source and Target Language Mixed Stage for Integration of Human Knowledge into Machine Translation (SiK, KM, KS, KH), pp. 825–828.
- HCI-CC-1997-Lee
- Effect of the Field-of-View Against Target Ratio in Haptic Exploration (SL), pp. 595–598.
- TRI-Ada-1997-ComarDG #java #virtual machine
- Targeting GNAT to the Java Virtual Machine (CC, GD, FG), pp. 149–161.
- KDD-1997-HinkeRRG #independence #mining #roadmap
- Target-Independent Mining for Scientific Data: Capturing Transients and Trends for Phenomena Mining (THH, JAR, HSR, SJG), pp. 187–190.
- DAC-1996-MarculescuMP #generative #probability #sequence #synthesis
- Stochastic Sequential Machine Synthesis Targeting Constrained Sequence Generation (DM, RM, MP), pp. 696–701.
- PLDI-1996-BaileyD #generative #sequence #source code
- Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators (MWB, JWD), pp. 249–257.
- AdaEurope-1996-MundieFK #embedded #implementation
- Implementing Protected Types on Embedded Targets (DM, JF, EK), pp. 287–297.
- DAC-1995-DevadasM #bibliography #optimisation #power management
- A Survey of Optimization Techniques Targeting Low Power VLSI Circuits (SD, SM), pp. 242–247.
- AdaEurope-1995-Heitz #ada #automation #c++ #code generation #reliability #reuse #using
- Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for ADA95 and C++ Targets (MH), pp. 419–438.
- SAC-1995-SchachY #approach #metric #reuse
- Metrics for targeting candidates for reuse: an experimental approach (SRS, XY), pp. 379–383.
- CHI-1994-ZhaiBM94a #3d
- The “Silk Cursor”: investigating transparency for 3D target acquisition (SZ, WB, PM), pp. 459–464.
- TRI-Ada-1994-GreeneL #cpu #embedded #migration
- Embedded CPU Target Migration, Doing More With Less (RG, GL), pp. 429–436.
- ASPLOS-1994-LaudonGH #multi #named #thread
- Interleaving: A Multithreading Technique Targeting Multiprocessors and Workstations (JL, AG, MH), pp. 308–318.
- DAC-1993-TsuiPD #composition #power management
- Technology Decomposition and Mapping Targeting Low Power Dissipation (CYT, MP, AMD), pp. 68–73.
- TRI-Ada-1993-FilareyRRSD #ada #framework
- Software First: Applying Ada Megaprogramming Technology to Target Platform Selection Trades (ARF, WER, RR, PS, LDM), pp. 90–101.
- TRI-Ada-1993-KoehnemannL #debugging #embedded #testing #tool support #towards
- Towards Target-Level Testing and Debugging Tools for Embedded Software (HK, TEL), pp. 288–298.
- FSE-1993-Lutz #analysis #fault #requirements
- Targeting Safety-Related Errors During Software Requirements Analysis (RRL), pp. 99–106.
- STOC-1992-BrightwellOW #random
- Target Shooting with Programmed Random Variables (GB, TJO, PW), pp. 691–698.
- ML-1990-RamseyGS #contest #difference #learning
- Simulation-Assisted Learning by Competition: Effects of Noise Differences Between Training Model and Target Environment (CLR, JJG, ACS), pp. 211–215.
- CHI-1989-Wellner #implementation #named #prototype
- Statemaster: A UIMS based on statecharts for prototyping and target implementation (PDW), pp. 177–182.
- VDME-1988-ONeill #ada #development
- VDM Development with ADA as the Target Language (DO), pp. 116–123.
- HCI-CE-1987-Springer #identification #pretty-printing #retrieval
- Retrieval of Information from Complex Alphanumeric Displays: Screen Formatting Variables’ Effects on Target Identification Time (CJS), pp. 375–382.
- RTA-1987-DesplandMR #code generation #generative #term rewriting
- Code Generator Generation Based on Template-Driven Target Term Rewriting (AD, MM, RR), pp. 105–120.
- VLDB-1983-StockerC #logic
- A Target Logical Schema: The ACS (PMS, RC), pp. 309–310.
- ICALP-1982-BergstraK #algebra #data type #parametricity #specification
- Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras (JAB, JWK), pp. 23–34.
- SIGMOD-1981-Hawthorn #database #design
- The Effect of Target Applications on the Design of Database Machines (PBH), pp. 188–197.
- SCC-1979-Frailey #independence #optimisation
- An intermediate language for source and target independent code optimization (DJF), pp. 188–200.
- DIPL-1976-Cohen #independence
- Target computer independent optimizaton procedure for for metacompilers (PMC), pp. 321–334.