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:
use (32)
base (29)
model (29)
track (27)
system (19)

Stem target$ (all stems)

285 papers:

CASECASE-2015-MillerM #locality #using
Optimal planning for target localization and coverage using range sensing (LMM, TDM), pp. 501–508.
CASECASE-2015-YussofSMSO #development #social
ASKNAO apps targeting at social skills development for children with autism (HY, MHS, MAM, SS, ARO), pp. 973–978.
DACDAC-2015-ZhaoTDZ #pipes and filters #synthesis
Area-efficient pipelining for FPGA-targeted high-level synthesis (RZ, MT, SD, ZZ), p. 6.
HTHT-2015-SavageMBH #facebook
Tag Me Maybe: Perceptions of Public Targeted Sharing on Facebook (SS, AMH, KB, TH), pp. 299–303.
VLDBVLDB-2015-LiZT #online #realtime
Real-time Targeted Influence Maximization for Online Advertisements (YL, DZ, KLT), pp. 1070–1081.
ESOPESOP-2015-SeidelVJ #testing
Type Targeted Testing (ELS, NV, RJ), pp. 812–836.
CHICHI-2015-Avrahami #performance
The Effect of Edge Targets on Touch Performance (DA), pp. 1837–1846.
CHICHI-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.
CHICHI-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.
CHICHI-2015-GuillonLN #visual notation
Investigating Visual Feedforward for Target Expansion Techniques (MG, FL, LN), pp. 2777–2786.
HCIHCI-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.
HCIHCI-IT-2015-MacKenzie #throughput
Fitts’ Throughput and the Remarkable Case of Touch-Based Target Selection (ISM), pp. 238–249.
HCIHCI-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.
ECIRECIR-2015-Tutubalina #problem #topic
Target-Based Topic Model for Problem Phrase Extraction (ET), pp. 271–277.
ICMLICML-2015-RajanHSFJ #locality #multi
Bayesian Multiple Target Localization (PR, WH, RS, PIF, BJ), pp. 1945–1953.
KDDKDD-2015-GrbovicRDBN #gender
Gender and Interest Targeting for Sponsored Post Advertising at Tumblr (MG, VR, ND, NB, AN), pp. 1819–1828.
AMTAMT-2015-GholizadehDKM #analysis #model transformation
Analysis of Source-to-Target Model Transformations in QueST (HG, ZD, SK, TSEM), pp. 46–55.
SACSAC-2015-StegagnoMB #distributed #identification
Distributed target identification in robotic swarms (PS, CM, HHB), pp. 307–313.
ESEC-FSEESEC-FSE-2015-Cadar #execution #program transformation #symbolic computation
Targeted program transformations for symbolic execution (CC), pp. 906–909.
ICSEICSE-v1-2015-VakilianSMM #automation #composition
Automated Decomposition of Build Targets (MV, RS, JDM, VM), pp. 123–133.
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.
LICSLICS-2015-BokerHO #problem
The Target Discounted-Sum Problem (UB, TAH, JO), pp. 750–761.
ASEASE-2014-DingesA #execution #generative #using
Targeted test input generation using symbolic-concrete backward execution (PD, GAA), pp. 31–36.
CASECASE-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.
DACDAC-2014-FarkashHB #incremental #validation
Coverage Learned Targeted Validation for Incremental HW Changes (MF, BGH, MB), p. 6.
ESOPESOP-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.
FASEFASE-2014-CunhaMG #relational
Target Oriented Relational Model Finding (AC, NM, TG), pp. 17–31.
CHICHI-2014-AuSL #linear #named
LinearDragger: a linear selector for target acquisition on touch screens (OKCA, XS, RWHL), pp. 2607–2616.
CHICHI-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.
CHICHI-2014-ManduchiC #visual notation
The last meter: blind visual guidance to a target (RM, JMC), pp. 3113–3122.
CHICHI-2014-MottW #lens #using
Beating the bubble: using kinematic triggering in the bubble lens for acquiring small, dense targets (MEM, JOW), pp. 733–742.
HCIHIMI-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.
CIKMCIKM-2014-DrumondDSN #modelling #multi #optimisation
Optimizing Multi-Relational Factorization Models for Multiple Target Relations (LRD, EDA, LST, WN), pp. 191–200.
CIKMCIKM-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.
CIKMCIKM-2014-ZhaoWLZ #framework #mining #refinement #word
A Bootstrapping Based Refinement Framework for Mining Opinion Words and Targets (QZ, HW, PL, CZ), pp. 1995–1998.
ICMLICML-c1-2014-Abbasi-YadkoriBK
Tracking Adversarial Targets (YAY, PLB, VK), pp. 369–377.
ICMLICML-c1-2014-LanZS #monte carlo
Spherical Hamiltonian Monte Carlo for Constrained Target Distributions (SL, BZ, BS), pp. 629–637.
ICMLICML-c2-2014-PaigeW #compilation #probability #programming language
A Compilation Target for Probabilistic Programming Languages (BP, FW), pp. 1935–1943.
ICMLICML-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.
ICPRICPR-2014-ChenB #multi
Soft Biometrics Integrated Multi-target Tracking (XC, BB), pp. 4146–4151.
ICPRICPR-2014-DamoulasHBGA #kernel #string
String Kernels for Complex Time-Series: Counting Targets from Sensed Movement (TD, JH, RB, CPG, AA), pp. 4429–4434.
ICPRICPR-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.
ICPRICPR-2014-GaoHDJ #multi
Depth Structure Association for RGB-D Multi-target Tracking (SG, ZH, DSD, JJ), pp. 4152–4157.
ICPRICPR-2014-MurshedJI #robust
Discriminative Directional Texture and Color for Robust Target Tracking (MM, TJ, SMZI), pp. 4176–4181.
ICPRICPR-2014-RazakarivonyJ #detection
Discriminative Autoencoders for Small Targets Detection (SR, FJ), pp. 3528–3533.
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-YoonYYK #realtime #visual notation
Real-Time Visual Target Tracking in RGB-D Data for Person-Following Robots (YY, WhY, HSY, JK), pp. 2227–2232.
KDDKDD-2014-AbelsonVS
Targeting direct cash transfers to the extremely poor (BA, KRV, JS), pp. 1563–1572.
KDDKDD-2014-AgarwalGWY #online
Budget pacing for targeted online advertisements at LinkedIn (DA, SG, KW, SY), pp. 1613–1619.
KDDKDD-2014-ShakarianSPB #network #social #source code
Reducing gang violence through network influence based targeting of social programs (PS, JS, WP, JB), pp. 1829–1836.
KDIRKDIR-2014-BarcanteJDCCS #identification #mining #using
Identifying Drug Repositioning Targets using Text Mining (EB, MJ, FD, EC, OGC, FS), pp. 348–353.
KDIRKDIR-2014-DomeniconiMPS #category theory #classification
Cross-domain Text Classification through Iterative Refining of Target Categories Representations (GD, GM, RP, CS), pp. 31–42.
RecSysRecSys-2014-ZhangOFL #modelling #network #scalability #social
Scalable audience targeted models for brand advertising on social networks (KZ, AMO, SF, HL), pp. 341–344.
SIGIRSIGIR-2014-PaiG #online #realtime #visualisation
Real-time visualization and targeting of online visitors (DP, SZG), pp. 1253–1254.
SACSAC-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.
ICSEICSE-2014-HuangMSZ #analysis #performance #testing
Performance regression testing target prioritization via performance risk analysis (PH, XM, DS, YZ), pp. 60–71.
CASECASE-2013-RenfrewBC #locality
Particle filter based active localization of target and needle in robotic image-guided intervention systems (MR, ZB, MCC), pp. 448–454.
DATEDATE-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.
DATEDATE-2013-LiuN #multi
Radar signature in multiple target tracking system for driver assistant application (HL, SN), pp. 887–892.
ICSMEICSM-2013-ToroiRV #case study #identification #process #testing
Identifying Process Improvement Targets in Test Processes: A Case Study (TT, AR, LV), pp. 11–19.
CHICHI-2013-BanovicGF #fault
The effect of time-based cost of error in target-directed pointing tasks (NB, TG, GWF), pp. 1373–1382.
CHICHI-2013-NovALB #design #online #social #user interface
Exploring personality-targeted UI design in online social participation systems (ON, OA, CL, PB), pp. 361–370.
CHICHI-2013-StellmachD
Still looking: investigating seamless gaze-supported selection, positioning, and manipulation of distant targets (SS, RD), pp. 285–294.
CHICHI-2013-TeatherS #3d
Pointing at 3d target projections with one-eyed and stereo cursors (RJT, WS), pp. 159–168.
CSCWCSCW-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.
CSCWCSCW-2013-NovA #design
Personality-targeted design: theory, experimental procedure, and preliminary results (ON, OA), pp. 977–984.
HCIHCI-IMT-2013-ZhangSM #agile
Target Orientation Effects on Movement Time in Rapid Aiming Tasks (YZ, BS, WM), pp. 540–548.
ICMLICML-c1-2013-OstingBO #ranking #statistics
Enhanced statistical rankings via targeted data collection (BO, CB, SO), pp. 489–497.
ICMLICML-c1-2013-SznitmanLFJF #locality #policy
An Optimal Policy for Target Localization with Application to Electron Microscopy (RS, AL, PIF, BJ, PF), pp. 1–9.
ICMLICML-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.
ICMLICML-c3-2013-ZhangSMW #adaptation
Domain Adaptation under Target and Conditional Shift (KZ, BS, KM, ZW), pp. 819–827.
KDDKDD-2013-Ghani #scalability #social
Targeting and influencing at scale: from presidential elections to social good (RG), p. 1137.
KDDKDD-2013-HuaCZLR #detection #named #twitter
STED: semi-supervised targeted-interest event detectionin in twitter (TH, FC, LZ, CTL, NR), pp. 1466–1469.
KDDKDD-2013-ZhengDMZ #collaboration #interactive #matrix #multi #predict
Collaborative matrix factorization with multiple similarities for predicting drug-target interactions (XZ, HD, HM, SZ), pp. 1025–1033.
OOPSLAOOPSLA-2013-AzimN #android #testing
Targeted and depth-first exploration for systematic testing of android apps (TA, IN), pp. 641–660.
SACSAC-2013-VukovicD #distributed #estimation #on the #security
On the security of distributed power system state estimation under targeted attacks (OV, GD), pp. 666–672.
ISSTAISSTA-2013-JensenPM #automation #generative #sequence #testing
Automated testing with targeted event sequence generation (CSJ, MRP, AM), pp. 67–77.
DATEDATE-2012-GuerraF #online #scheduling
On-line scheduling of target sensitive periodic tasks with the gravitational task model (RG, GF), pp. 578–581.
CSMRCSMR-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.
ICGTICGT-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.
CHICHI-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.
CHICHI-2012-StellmachD
Look & touch: gaze-supported target acquisition (SS, RD), pp. 2981–2990.
CSCWCSCW-2012-NicholsK #network #social
Asking questions of targeted strangers on social networks (JN, JHK), pp. 999–1002.
CIKMCIKM-2012-AhmedADSA #behaviour #feature model #multi
Web-scale multi-task feature selection for behavioral targeting (AA, MA, AD, AJS, TA), pp. 1737–1741.
CIKMCIKM-2012-BalogN12a #identification #query
Hierarchical target type identification for entity-oriented queries (KB, RN), pp. 2391–2394.
ICPRICPR-2012-GranaCBC #image #learning #segmentation
Learning non-target items for interesting clothes segmentation in fashion images (CG, SC, DB, RC), pp. 3317–3320.
ICPRICPR-2012-HartlR #artificial reality #mobile
Rectangular target extraction for mobile augmented reality applications (AH, GR), pp. 81–84.
ICPRICPR-2012-HouXCXQ #clique #set
Dominant set and target clique extraction (JH, EX, LC, QX, NQ), pp. 1831–1834.
ICPRICPR-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.
ICPRICPR-2012-LiuL #analysis #detection #learning #multi
Unsupervised multi-target trajectory detection, learning and analysis in complicated environments (HL, JL), pp. 3716–3720.
ICPRICPR-2012-PengPCS #data fusion
KL based data fusion for target tracking (JP, KP, SC, GS), pp. 3480–3483.
ICPRICPR-2012-SankaranarayananD #locality #modelling #segmentation
Segmentation and scene modeling for MIL-based target localization (KS, JWD), pp. 3325–3328.
KDDKDD-2012-GuptaDPN
Factoring past exposure in display advertising targeting (NG, AD, SP, VKN), pp. 1204–1212.
KDDKDD-2012-PerlichDHSRP #online #optimisation
Bid optimizing and inventory scoring in targeted online advertising (CP, BD, RH, OS, TR, FJP), pp. 804–812.
MLDMMLDM-2012-XuCG #concept #learning #multi #using
Constructing Target Concept in Multiple Instance Learning Using Maximum Partial Entropy (TX, DKYC, IG), pp. 169–182.
SIGIRSIGIR-2012-LiWHYDSL #named #recognition #twitter
TwiNER: named entity recognition in targeted twitter stream (CL, JW, QH, YY, AD, AS, BSL), pp. 721–730.
SACSAC-2012-NeumannC #algorithm #estimation
Introducing intervention targeting into estimation of distribution algorithms (GN, DC), pp. 220–225.
HPDCHPDC-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.
CASECASE-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.
DACDAC-2011-KinsmanN #configuration management #on the fly
Dynamic binary translation to a reconfigurable target for on-the-fly acceleration (PK, NN), pp. 286–287.
DATEDATE-2011-AnjamNW #multi #runtime
Targeting code diversity with run-time adjustable issue-slots in a chip multiprocessor (FA, MN, SW), pp. 1358–1363.
CHICHI-2011-BatemanMSG #game studies
Target assistance for subtly balancing competitive play (SB, RLM, TS, CG), pp. 2355–2364.
CHICHI-2011-BragdonK #gesture #scalability
Gesture select: : acquiring remote targets on large displays without pointing (AB, HSK), pp. 187–196.
CHICHI-2011-CasiezRVG #named #towards
Surfpad: riding towards targets on a squeeze film effect (GC, NR, RV, FG), pp. 2491–2500.
CHICHI-2011-HasanGI
Comet and target ghost: techniques for selecting moving targets (KH, TG, PI), pp. 839–848.
CHICHI-2011-MandrykL
The effects of intended use on target acquisition (RLM, CL), pp. 1649–1652.
CHICHI-2011-YangGIF #proximity #using
TouchCuts and TouchZoom: enhanced target selection for touch displays using finger proximity sensing (XDY, TG, PI, GWF), pp. 2585–2594.
CIKMCIKM-2011-LiuT #behaviour #scalability #social
Large-scale behavioral targeting with a social twist (KL, LT), pp. 1815–1824.
CIKMCIKM-2011-PandeyABHCRZ #behaviour #learning #what
Learning to target: what works for behavioral targeting (SP, MA, AB, AOH, PC, AR, MZ), pp. 1805–1814.
CIKMCIKM-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.
KDDKDD-2011-AhmedLAJS #behaviour #distributed #scalability
Scalable distributed inference of dynamic user interests for behavioral targeting (AA, YL, MA, VJ, AJS), pp. 114–122.
SIGIRSIGIR-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.
ECOOPECOOP-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.
SACSAC-2011-AhluwaliaGCY #mining #privacy
Target-based privacy preserving association rule mining (MA, AG, ZC, YY), pp. 962–967.
SACSAC-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.
SACSAC-2011-IkonomovskaGD #data type #incremental #multi
Incremental multi-target model trees for data streams (EI, JG, SD), pp. 988–993.
LCTESLCTES-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.
CASECASE-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.
DATEDATE-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.
DATEDATE-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.
VLDBVLDB-2010-AbdessalemCD #lightweight #named #query #web
ObjectRunner: Lightweight, Targeted Extraction and Querying of Structured Web Data (TA, BC, ND), pp. 1585–1588.
CHICHI-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.
CHICHI-2010-JansenS #gender
Gender demographic targeting in sponsored search (BJJ, LS), pp. 831–840.
CHICHI-2010-ZhangRZ #modelling
Modeling dwell-based eye pointing target acquisition (XZ, XR, HZ), pp. 2083–2092.
ICMLICML-2010-ChakrabortyS #convergence #learning #multi #safety
Convergence, Targeted Optimality, and Safety in Multiagent Learning (DC, PS), pp. 191–198.
ICPRICPR-2010-BecattiniMC #injection
Anisotropic Contour Completion for Cell Microinjection Targeting (GB, LSM, DGC), pp. 2262–2265.
ICPRICPR-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.
ICPRICPR-2010-GruberZWSH #optimisation
Optimization of Target Objects for Natural Feature Tracking (LG, SZ, DW, DS, TH), pp. 3607–3610.
ICPRICPR-2010-LiuQW #automation #detection
Automatic Detection of Phishing Target from Phishing Webpage (GL, BQ, LW), pp. 4153–4156.
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-LiuYSCCL #behaviour #learning #rank
Learning to rank audience for behavioral targeting (NL, JY, DS, DC, ZC, YL), pp. 719–720.
SACSAC-2010-AhluwaliaGGYM #database
Target-based database synchronization (MA, RG, AG, YY, MM), pp. 1643–1647.
SACSAC-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-ECSAWICSA-ECSA-2009-RaibuletM #adaptation #evaluation #metric #question
Evaluation of dynamic adaptivity through metrics: an achievable target? (CR, LM), pp. 341–344.
DACDAC-2009-CromarLC #algorithm #reduction
FPGA-targeted high-level binding algorithm for power and area reduction with glitch-estimation (SC, JL, DC), pp. 838–843.
DATEDATE-2009-SioziosPS #3d #architecture
A software-supported methodology for exploring interconnection architectures targeting 3-D FPGAs (KS, VFP, DS), pp. 172–177.
ICDARICDAR-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.
VLDBVLDB-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.
CHICHI-2009-FeketeEG #named #using
Motion-pointing: target selection using elliptical motions (JDF, NE, YG), pp. 289–298.
CHICHI-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.
CHICHI-2009-WobbrockFLKH
The angle mouse: target-agnostic dynamic gain adjustment based on angular deviation (JOW, JF, SY(L, SK, SH), pp. 1401–1410.
HCIHCI-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.
HCIHIMI-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.
AdaEuropeAdaEurope-2009-ZoviV #programming language #requirements
Requirements on the Target Programming Language for High-Integrity MDE (AZ, TV), pp. 1–15.
ICEISICEIS-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.
KDDKDD-2009-ChenPC #behaviour #scalability
Large-scale behavioral targeting (YC, DP, JFC), pp. 209–218.
KDDKDD-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.
MLDMMLDM-2009-MorelandT
Discretization of Target Attributes for Subgroup Discovery (KM, KT), pp. 44–52.
ASPLOSASPLOS-2009-BurceaM #branch #design #named
Phantom-BTB: a virtualized branch target buffer design (IB, AM), pp. 313–324.
SIGMODSIGMOD-2008-MishraKZ #database #generative #query #testing
Generating targeted queries for database testing (CM, NK, CZ), pp. 499–510.
ITiCSEITiCSE-2008-PoplawskiK #design #logic #named #simulation
JLS: a pedagogically targeted logic design and simulation tool (DAP, ZK), p. 314.
CHICHI-2008-CaoLB #modelling
Peephole pointing: modeling acquisition of dynamically revealed targets (XC, JJL, RB), pp. 1699–1708.
CHICHI-2008-KobayashiI #multi #scalability #using
Ninja cursors: using multiple cursors to assist target acquisition on large screens (MK, TI), pp. 949–958.
CHICHI-2008-NacentaMG
Targeting across displayless space (MAN, RLM, CG), pp. 777–786.
CHICHI-2008-RohsO #lens
Target acquisition with camera phones when used as magic lenses (MR, AO), pp. 1409–1418.
CHICHI-2008-YataniPBN #gesture #named #using
Escape: a target selection technique using visually-cued gestures (KY, KP, MWB, MWN), pp. 285–294.
ICEISICEIS-ISAS2-2008-KansoESS #architecture #named #towards
RICAD: Towards an Architecture for Recognizing Author’s Targets (HK, AE, CSD, ST), pp. 374–379.
ICMLICML-2008-DundarWLSR #case study #classification #detection
Polyhedral classifier for target detection: a case study: colorectal cancer (MD, MW, SL, MS, VCR), pp. 288–295.
ICPRICPR-2008-LablackD #analysis #behaviour
Analysis of human behaviour in front of a target scene (AL, CD), pp. 1–4.
ICPRICPR-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.
ICPRICPR-2008-OikeWW #adaptation #clustering
Adaptive selection of non-target cluster centers for K-means tracker (HO, HW, TW), pp. 1–4.
ICPRICPR-2008-OsawaSAK #3d #multi
Monocular 3D tracking of multiple interacting targets (TO, KS, HA, HK), pp. 1–4.
ICPRICPR-2008-SunQ #classification #network
Dynamic target classification in wireless sensor networks (YS, HQ), pp. 1–4.
ICPRICPR-2008-WangZZ #multi
Multivariate Laplace Filter: A heavy-tailed model for target tracking (DW, CZ, XZ), pp. 1–4.
KDDKDD-2008-MelvilleRL #modelling #using #web
Customer targeting models using actively-selected web content (PM, SR, RDL), pp. 946–953.
CASECASE-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.
DATEDATE-2007-RaoOK #fault tolerance #interactive #logic
Interactive presentation: Logic level fault tolerance approaches targeting nanoelectronics PLAs (WR, AO, RK), pp. 865–869.
PODSPODS-2007-HernichS #dependence
CWA-solutions for data exchange settings with target dependencies (AH, NS), pp. 113–122.
ITiCSEITiCSE-2007-LahtinenJM #visualisation
Targeting program visualizations (EL, HMJ, SMV), pp. 256–260.
SCAMSCAM-2007-NaylorR
Finding Inputs that Reach a Target Expression (MN, CR), pp. 133–142.
CHICHI-2007-GrossmanKB #modelling
Modeling pointing at targets of arbitrary shapes (TG, NK, RB), pp. 463–472.
CHICHI-2007-GuanC #eye tracking #rank #web
An eye tracking study of the effect of target rank on web search (ZG, EC), pp. 417–420.
HCIDHM-2007-DuSY #modelling
Modeling of Human’s Pointing Movement on the Effect of Target Position (JD, HS, XY), pp. 48–55.
HCIHIMI-MTT-2007-JiGC #comparison #using #word
Selecting Target Word Using Contexonym Comparison Method (HJ, BG, HC), pp. 463–470.
MLDMMLDM-2007-NgaiY
Fast-Maneuvering Target Seeking Based on Double-Action Q-Learning (DCKN, NHCY), pp. 653–666.
SIGIRSIGIR-2007-MoffatWZ
Strategic system comparisons via targeted relevance judgments (AM, WW, JZ), pp. 375–382.
LDTALDTA-J-2005-Iversen #compilation #ml #standard
An action compiler targeting Standard ML (JI), pp. 79–94.
CASECASE-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.
CASECASE-2006-LuHLL #detection #image
Detecting Small Target of Ship at Sea by Infrared Image (JWL, YJH, HYL, FLL), pp. 165–169.
DATEDATE-DF-2006-NazarianPGB #named #set #statistics
STAX: statistical crosstalk target set compaction (SN, MP, SKG, MAB), pp. 172–177.
ITiCSEITiCSE-2006-Pargas06a #development #tablet
A targeted tablet PC software development course (RPP), p. 336.
CHICHI-2006-IraniGY
Improving selection of off-screen targets with hopping (PI, CG, XDY), pp. 299–308.
CHICHI-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.
ICPRICPR-v1-2006-HuaWCW #algorithm
A Pixel-wise Object Tracking Algorithm with Target and Background Sample (CH, HW, QC, TW), pp. 739–742.
ICPRICPR-v1-2006-MicheloniF
Focusing on Target’s Features while Tracking (CM, GLF), pp. 836–839.
ICPRICPR-v1-2006-WanH #adaptation
Adaptive, Region-based, Layered Background Model for Target Tracking (MW, JYH), pp. 803–807.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v3-2006-Moreno-NoguerSS #robust
A Target Dependent Colorspace for Robust Tracking (FMN, AS, DS), pp. 43–46.
ICPRICPR-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.
ICPRICPR-v4-2006-HafezJ #estimation #using #visual notation
Target Model Estimation using Particle Filters for Visual Servoing (AHAH, CVJ), pp. 651–654.
SACSAC-2006-ChenPSW
An integrated computational proteomics method to extract protein targets for Fanconi Anemia studies (JYC, SLP, CS, MW), pp. 173–179.
SACSAC-2006-LiuHVY #feedback #performance #scalability
Efficient target search with relevance feedback for large CBIR systems (DL, KAH, KV, NY), pp. 1393–1397.
CASECASE-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.
DATEDATE-2005-RodriguesC #compilation #design #framework
An Infrastructure to Functionally Test Designs Generated by Compilers Targeting FPGAs (RR, JMPC), pp. 30–31.
CHICHI-2005-GrossmanB
The bubble cursor: enhancing target acquisition by dynamic resizing of the cursor’s activation area (TG, RB), pp. 281–290.
SIGIRSIGIR-2005-Ribeiro-NetoCGM
Impedance coupling in content-targeted advertising (BARN, MC, PBG, ESdM), pp. 496–503.
SACSAC-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.
SACSAC-2005-JangSSH #comparison #identification
A comparison on information fusion methods for air target identification (DJ, SYS, CYS, CCH), pp. 45–46.
LDTALDTA-2005-Iversen #compilation #ml #standard
An Action Compiler Targeting Standard ML (JI), pp. 167–188.
DACDAC-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.
CHICHI-2004-BlanchGB #adaptation #semantics
Semantic pointing: improving target acquisition with control-display ratio adaptation (RB, YG, MBL), pp. 519–526.
CHICHI-2004-GrossmanB #3d
Pointing at trivariate targets in 3D environments (TG, RB), pp. 447–454.
ICPRICPR-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.
ICPRICPR-v2-2004-HouZ #3d #algorithm #estimation
Filter Algorithm for 3D Pose Estimation of Maneuvering Target (FH, FZ), pp. 140–144.
ICPRICPR-v3-2004-SatakeS #multi #using
Multiple Target Tracking by Appearance-Based Condensation Tracker using Structure Information (JS, TS), pp. 294–297.
ICPRICPR-v4-2004-GenovesioO #multi
Split and Merge Data Association Filter for Dense Multi-target Tracking (AG, JCOM), pp. 677–680.
ICPRICPR-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.
GPCEGPCE-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.
CGOCGO-2004-JoshiBZ #optimisation #profiling #staged
Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems (RJ, MDB, CBZ), pp. 239–250.
DATEDATE-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.
ICDARICDAR-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–?.
SIGMODSIGMOD-2003-StoltePAG #design #repository
Scientific Data Repositories: Designing for a Moving Target (ES, CvP, GA, TRG), pp. 349–360.
CHICHI-2003-HwangKLC #multi
Multiple haptic targets for motion-impaired computer users (FH, SK, PL, PJC), pp. 41–48.
CHICHI-2003-ZhaiCBG #online
Human on-line response to target expansion (SZ, SC, MBL, YG), pp. 177–184.
SACSAC-2003-MaI #using
Long Time Step Molecular Dynamics using Targeted Langevin Stabilization (QM, JAI), pp. 178–182.
SACSAC-2003-NittoGS #multi #using #web
Using Agents for Multi-target Search on the Web (EDN, CG, PS), pp. 828–833.
CCCC-2003-MoreauRV #compilation #multi #pattern matching
A Pattern Matching Compiler for Multiple Target Languages (PEM, CR, MV), pp. 61–76.
DATEDATE-2002-PomeranzR #fault #multi #set #using
Test Enrichment for Path Delay Faults Using Multiple Sets of Target Faults (IP, SMR), pp. 722–729.
CHICHI-2002-Gutwin #interactive
Improving focus targeting in interactive fisheye views (CG), pp. 267–274.
CHICHI-2002-McGuffinB
Acquisition of expanding targets (MJM, RB), pp. 57–64.
ICPRICPR-v1-2002-LuWL #detection
A Target Detection Method in Range-Doppler Domain from SAR Echo Data (LL, RW, WL), pp. 91–94.
ICPRICPR-v2-2002-StevensSA #automation #detection #using
Automatic Target Detection Using PMMW and LADAR Imagery (MRS, MS, SA), pp. 647–650.
ICPRICPR-v2-2002-UkitaM #communication #multi #realtime
Real-Time Cooperative Multi-Target Tracking by Communicating Active Vision Agents (NU, TM), pp. 14–19.
DATEDATE-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.
DATEDATE-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.
AdaSIGAda-2001-Gantsou #ada #communication #distributed #multi #network #simulation
Targeting Ada95/DSA for distributed simulation of multiprotocol communication networks (DG), pp. 91–96.
KDDKDD-2001-ApteBNPTCN #modelling
Segmentation-based modeling for advanced targeted marketing (CA, EB, RN, EPDP, FT, DC, BN), pp. 408–413.
KDDKDD-2001-DattaDBMH
Estimating business targets (PD, JD, AB, DRM, JH), pp. 420–425.
KDDKDD-2001-Mitchell #web
Extracting targeted data from the web (TMM), p. 3.
SEKESEKE-2001-CairoBS #framework #information management
Evaluating Knowledge Acquisition Frameworks Aiming at a Moving Target (OC, JB, FS), pp. 312–316.
SACSAC-2001-Grigoriev #identification
Computational structural genomics: identifying protein targets for structural studies (IVG), pp. 41–45.
DACDAC-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.
DATEDATE-2000-BringmannRM #architecture #multi #synthesis
Target Architecture Oriented High-Level Synthesis for Multi-FPGA Based Emulation (OB, WR, CM), pp. 326–332.
CHICHI-2000-DennerleinMH #performance
Force-feedback improves performance for steering and combined steering-targeting tasks (JTD, DBM, CJH), pp. 423–429.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v4-2000-CicirelliDD #recognition #visual notation
Visual State Recognition for a Target-Reaching Task (GC, TD, AD), pp. 4854–4857.
KDDKDD-2000-MaLWYL #data mining #mining #student #using
Targeting the right students using data mining (YM, BL, CKW, PSY, SML), pp. 457–464.
FASEFASE-1999-CosicaR #concurrent #named
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems (EC, GR), pp. 77–97.
STOCSTOC-1999-CharikarKRRT #markov #on the
On targeting Markov segments (MC, RK, PR, SR, AT), pp. 99–108.
HCIHCI-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.
HCIHCI-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.
DACDAC-1998-KimCLLPK #functional #modelling
Virtual Chip: Making Functional Models Work on Real Target Systems (NK, HC, SL, SL, ICP, CMK), pp. 170–173.
ITiCSEITiCSE-1998-Smith
Structuring team communications with targeted use of groupware (poster) (MS), p. 306.
ICSMEICSM-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.
ICSMEICSM-1998-KhoshgoftaarA #quality #question
Can a Software Quality Model Hit a Moving Target? (TMK, EBA), pp. 68–70.
WCREWCRE-1998-BurdM #comprehension #re-engineering
Assisting Human Understanding to Aid the Targeting of Necessary Reengineering Work (EB, MM), pp. 2–9.
ICPRICPR-1998-BakerS #nondeterminism #representation
Representation of uncertainty in spatial target tracking (TB, MJAS), pp. 1339–1342.
ICPRICPR-1998-BoccignoneCP #detection #using
Small target detection using wavelets (GB, AC, AP), pp. 1776–1778.
ICPRICPR-1998-KatoTI #navigation #representation
Representing environment through target-guided navigation (KK, ST, HI), pp. 1794–1798.
ICPRICPR-1998-LiuH #recognition #using
Using centroid covariance in target recognition (GL, RMH), pp. 1343–1346.
ICPRICPR-1998-PhilominHD #automation #recognition
Appearance-based automatic target recognition in overhead LADAR range imagery (VP, DH, LSD), pp. 1320–1324.
KDDKDD-1998-KohaviS #classification
Targeting Business Users with Decision Table Classifiers (RK, DS), pp. 249–253.
SIGIRSIGIR-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.
DACDAC-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.
HCIHCI-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.
HCIHCI-CC-1997-Lee
Effect of the Field-of-View Against Target Ratio in Haptic Exploration (SL), pp. 595–598.
AdaTRI-Ada-1997-ComarDG #java #virtual machine
Targeting GNAT to the Java Virtual Machine (CC, GD, FG), pp. 149–161.
KDDKDD-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.
DACDAC-1996-MarculescuMP #generative #probability #sequence #synthesis
Stochastic Sequential Machine Synthesis Targeting Constrained Sequence Generation (DM, RM, MP), pp. 696–701.
PLDIPLDI-1996-BaileyD #generative #sequence #source code
Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators (MWB, JWD), pp. 249–257.
AdaEuropeAdaEurope-1996-MundieFK #embedded #implementation
Implementing Protected Types on Embedded Targets (DM, JF, EK), pp. 287–297.
DACDAC-1995-DevadasM #bibliography #optimisation #power management
A Survey of Optimization Techniques Targeting Low Power VLSI Circuits (SD, SM), pp. 242–247.
AdaEuropeAdaEurope-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.
SACSAC-1995-SchachY #approach #metric #reuse
Metrics for targeting candidates for reuse: an experimental approach (SRS, XY), pp. 379–383.
CHICHI-1994-ZhaiBM94a #3d
The “Silk Cursor”: investigating transparency for 3D target acquisition (SZ, WB, PM), pp. 459–464.
AdaTRI-Ada-1994-GreeneL #cpu #embedded #migration
Embedded CPU Target Migration, Doing More With Less (RG, GL), pp. 429–436.
ASPLOSASPLOS-1994-LaudonGH #multi #named #thread
Interleaving: A Multithreading Technique Targeting Multiprocessors and Workstations (JL, AG, MH), pp. 308–318.
DACDAC-1993-TsuiPD #composition #power management
Technology Decomposition and Mapping Targeting Low Power Dissipation (CYT, MP, AMD), pp. 68–73.
AdaTRI-Ada-1993-FilareyRRSD #ada #framework
Software First: Applying Ada Megaprogramming Technology to Target Platform Selection Trades (ARF, WER, RR, PS, LDM), pp. 90–101.
AdaTRI-Ada-1993-KoehnemannL #debugging #embedded #testing #tool support #towards
Towards Target-Level Testing and Debugging Tools for Embedded Software (HK, TEL), pp. 288–298.
FSEFSE-1993-Lutz #analysis #fault #requirements
Targeting Safety-Related Errors During Software Requirements Analysis (RRL), pp. 99–106.
STOCSTOC-1992-BrightwellOW #random
Target Shooting with Programmed Random Variables (GB, TJO, PW), pp. 691–698.
ICMLML-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.
CHICHI-1989-Wellner #implementation #named #prototype
Statemaster: A UIMS based on statecharts for prototyping and target implementation (PDW), pp. 177–182.
FMVDME-1988-ONeill #ada #development
VDM Development with ADA as the Target Language (DO), pp. 116–123.
HCIHCI-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.
RTARTA-1987-DesplandMR #code generation #generative #term rewriting
Code Generator Generation Based on Template-Driven Target Term Rewriting (AD, MM, RR), pp. 105–120.
VLDBVLDB-1983-StockerC #logic
A Target Logical Schema: The ACS (PMS, RC), pp. 309–310.
ICALPICALP-1982-BergstraK #algebra #data type #parametricity #specification
Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras (JAB, JWK), pp. 23–34.
SIGMODSIGMOD-1981-Hawthorn #database #design
The Effect of Target Applications on the Design of Database Machines (PBH), pp. 188–197.
PLDISCC-1979-Frailey #independence #optimisation
An intermediate language for source and target independent code optimization (DJF), pp. 188–200.
AdaDIPL-1976-Cohen #independence
Target computer independent optimizaton procedure for for metacompilers (PMC), pp. 321–334.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.