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:
system (73)
use (55)
base (53)
comput (52)
design (49)

Stem assist$ (all stems)

498 papers:

CASECASE-2015-HuangCZ #modelling
Interval model based human welder’s movement control in machine assisted manual GTAW torch operation (NH, SC, YZ), pp. 395–400.
CASECASE-2015-KaipaTSKLG #automation #using
Resolving automated perception system failures in bin-picking tasks using assistance from remote human operators (KNK, SSTK, SS, AMK, JDL, SKG), pp. 1453–1458.
CASECASE-2015-McKinleyGSKMNLP #single use
A single-use haptic palpation probe for locating subcutaneous blood vessels in robot-assisted minimally invasive surgery (SM, AG, SS, RK, AM, KAN, SL, SP, PA, AMO, KG), pp. 1151–1158.
CASECASE-2015-SolisTR #multi #people #towards
Towards developing a multipurpose assistive vehicle robot capable of providing assistance to caregivers and support to elderly people (JS, TDT, JPdlR), pp. 1145–1150.
DACDAC-2015-ChaariENTK #approach #modelling #safety
A model-based and simulation-assisted FMEDA approach for safety-relevant E/E systems (MC, WE, CN, BAT, TK), p. 6.
DACDAC-2015-DaviHPSKSAJ #named
HAFIX: hardware-assisted flow integrity extension (LD, MH, DP, ARS, PK, DS, OA, YJ), p. 6.
DATEDATE-2015-BrennaBBL #design
A tool for the assisted design of charge redistribution SAR ADCs (SB, AB, AB, ALL), pp. 1265–1268.
DATEDATE-2015-GuardatiCFB #framework
Paper, pen and ink: an innovative system and software framework to assist writing rehabilitation (LG, FC, EF, LB), pp. 1473–1478.
DATEDATE-2015-KainthKNVT #obfuscation
Hardware-assisted code obfuscation for FPGA soft microprocessors (MK, LK, CN, SGV, RT), pp. 127–132.
DATEDATE-2015-NiemannHGW #formal method #generative #modelling
Assisted generation of frame conditions for formal models (PN, FH, MG, RW), pp. 309–312.
DATEDATE-2015-ZhaoLXLHX #cyber-physical #energy #reduction
Software assisted non-volatile register reduction for energy harvesting based cyber-physical system (MZ, QL, MX, YL, JH, CJX), pp. 567–572.
ITiCSEITiCSE-2015-Frison #algorithm #education
A Teaching Assistant for Algorithm Construction (PF), pp. 9–14.
ITiCSEITiCSE-2015-ScottG #assessment #code review #education #quality #reliability
Reliability in the Assessment of Program Quality by Teaching Assistants During Code Reviews (MJS, GG), p. 346.
SCAMSCAM-2015-ChochlovEB #data flow #feature model #using
Using changeset descriptions as a data source to assist feature location (MC, ME, JB), pp. 51–60.
ICFPICFP-2015-Blanchette0T #perspective #proving #recursion
Foundational extensible corecursion: a proof assistant perspective (JCB, AP, DT), pp. 192–204.
CHICHI-2015-BuehlerBACHHK #design
Sharing is Caring: Assistive Technology Designs on Thingiverse (EB, SMB, AA, JJC, MKH, AH, SKK), pp. 525–534.
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-JoKS #named
EyeBookmark: Assisting Recovery from Interruption during Reading (JJ, BHK, JS), pp. 2963–2966.
CHICHI-2015-YouWHCLHWHC #dependence #named
SoberDiary: A Phone-based Support System for Assisting Recovery from Alcohol Dependence (CWY, KCW, MCH, YCC, CLL, PSH, HCW, PH, HHC), pp. 3839–3848.
CHICHI-2015-ZhaoDFZ #approach #named
CoFaçade: A Customizable Assistive Approach for Elders and Their Helpers (JCZ, RCD, PSF, SZ), pp. 1583–1592.
CSCWCSCW-2015-VinesWSWO #authentication #collaboration #information management
Authenticity, Relatability and Collaborative Approaches to Sharing Knowledge about Assistive Living Technology (JV, PCW, DS, MW, PO), pp. 82–94.
HCIDUXU-DD-2015-DiasVSVPSE #approach #testing #usability
A Living Labs Approach for Usability Testing of Ambient Assisted Living Technologies (MSD, EV, FS, AV, FMP, NS, SE), pp. 167–178.
HCIDUXU-IXD-2015-GoncalvesQ #automation #behaviour #case study #interactive
Drivers and Automation: A Study About Cultural and Behavioral Influence in the Interaction with Driver Assistants (RCG, MQ), pp. 462–472.
HCIHCI-DE-2015-GhoshP #approach #design #mobile
Designing of a Natural Voice Assistants for Mobile Through User Centered Design Approach (SG, JP), pp. 320–331.
HCIHCI-IT-2015-EvansBCLC #bibliography
A Systematic Review of Dementia Focused Assistive Technology (JE, MAB, TC, GL, MPC), pp. 406–417.
HCIHCI-IT-2015-TadayonMGRZLGP #case study #interactive #learning
Interactive Motor Learning with the Autonomous Training Assistant: A Case Study (RT, TLM, MG, PMRF, JZ, ML, MG, SP), pp. 495–506.
HCIHIMI-IKC-2015-KurihashiMT #self
Self-perception of Assister Driver Responsibility and Contribution in Mutual Assistance System (SK, YM, KT), pp. 233–242.
HCILCT-2015-BoonbrahmKB #artificial reality #learning #student #using
Using Augmented Reality Technology in Assisting English Learning for Primary School Students (SB, CK, PB), pp. 24–32.
HCILCT-2015-DuA #artificial reality #design #evaluation #learning
Design and Evaluation of a Learning Assistant System with Optical Head-Mounted Display (OHMD) (XD, AA), pp. 75–86.
HCILCT-2015-GoelMTPSYD #collaboration #learning #named #student
CATALYST: Technology-Assisted Collaborative and Experiential Learning for School Students (VG, UM, ST, RMP, KS, KY, OD), pp. 482–491.
ICEISICEIS-v2-2015-MaranMAWO #information management #query
Proactive Domain Data Querying based on Context Information in Ambient Assisted Living Environments (VM, AM, IA, LKW, JPMdO), pp. 610–617.
SIGIRSIGIR-2015-CapraACV #complexity #difference
Differences in the Use of Search Assistance for Tasks of Varying Complexity (RC, JA, AC, EV), pp. 23–32.
SIGIRSIGIR-2015-CormackG #bibliography #learning #multi #perspective
Multi-Faceted Recall of Continuous Active Learning for Technology-Assisted Review (GVC, MRG), pp. 763–766.
SIGIRSIGIR-2015-WeiG #summary #twitter #using
Gibberish, Assistant, or Master?: Using Tweets Linking to News for Extractive Single-Document Summarization (ZW, WG), pp. 1003–1006.
MoDELSMoDELS-2015-Rodriguez-Echeverria #analysis #approach #evolution #model transformation #statistics
A statistical analysis approach to assist model transformation evolution (RRE, FM), pp. 226–235.
POPLPOPL-2015-DelawarePGC #data type #deduction #named #proving #synthesis
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant (BD, CPC, JG, AC), pp. 689–700.
SACSAC-2015-PerkusichMSGAP #approach #metric #network
A Bayesian network approach to assist on the interpretation of software metrics (MP, AM, LCeS, KCG, HOdA, AP), pp. 1498–1503.
SACSAC-2015-SilvaBAR #clustering #multi #prototype #using
Semi-supervised clustering using multi-assistant-prototypes to represent each cluster (WJS, MCNB, SdA, HLR), pp. 831–836.
ESEC-FSEESEC-FSE-2015-FengCJFX #crowdsourcing #testing
Test report prioritization to assist crowdsourced testing (YF, ZC, JAJ, CF, BX), pp. 225–236.
ICSEICSE-v1-2015-VakilianPEJ #named
Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool (MV, AP, MDE, REJ), pp. 234–245.
ICSEICSE-v1-2015-WongZWLT #automation #execution #named #symbolic computation #testing
DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing (EW, LZ, SW, TL, LT), pp. 620–631.
ASPLOSASPLOS-2015-HauswaldLZLRKDM #named
Sirius: An Open End-to-End Voice and Vision Personal Assistant and Its Implications for Future Warehouse Scale Computers (JH, MAL, YZ, CL, AR, AK, RGD, TNM, VP, LT, JM), pp. 223–238.
CADECADE-2015-KissingerZ #diagrams #named #proving #reasoning
Quantomatic: A Proof Assistant for Diagrammatic Reasoning (AK, VZ), pp. 326–336.
CADECADE-2015-SaghafiDD
Exploring Theories with a Model-Finding Assistant (SS, RD, DJD), pp. 434–449.
CADECADE-2015-ZulkoskiGC #algebra #named #satisfiability
MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers (EZ, VG, KC), pp. 607–622.
ISSTAISSTA-2015-KhoshnoodKW #concurrent #constraints #debugging #named #theorem proving
ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs (SK, MK, CW), pp. 165–176.
CASECASE-2014-CunninghamKSWKBW #mobile #named
Jamster: A mobile dual-arm assistive robot with Jamboxx control (AC, WKH, US, DW, DK, JB, JTW), pp. 509–514.
CASECASE-2014-HsuehTLKY #estimation
Voltage-current-based state and disturbance estimation for power-assisted control applied to an electric wheelchair (PWH, MCT, CYL, PJK, WSY), pp. 1220–1225.
CASECASE-2014-LeeSP #automation
Automatic optimal control of Field Assisted Sintering Technology (JL, JS, VP), pp. 764–769.
CASECASE-2014-LyuYCCC #development #monitoring
Development of robotic walking-aid system with mobility assistance and remote monitoring (SRL, WTY, YSC, HHC, YLC), pp. 830–835.
DACDAC-2014-DaviKS #control flow #embedded #fine-grained #performance #towards
Hardware-Assisted Fine-Grained Control-Flow Integrity: Towards Efficient Protection of Embedded Systems Against Software Exploitation (LD, PK, ARS), p. 6.
DACDAC-2014-EkenZWJLC #self
A New Field-assisted Access Scheme of STT-RAM with Self-reference Capability (EE, YZ, WW, RVJ, HL, YC), p. 6.
DACDAC-2014-SunBMCCBLLJ #health #monitoring #named #smarttech
eButton: A Wearable Computer for Health Monitoring and Personal Assistance (MS, LEB, ZHM, YC, HCC, YB, YL, CL, WJ), p. 6.
DATEDATE-2014-ParkYLL #graph #memory management #representation
Accelerating graph computation with racetrack memory and pointer-assisted graph representation (EP, SY, SL, HL), pp. 1–4.
HTHT-2014-KoidlCW #independence #personalisation
Cross-site personalization: assisting users in addressing information needs that span independently hosted websites (KK, OC, VW), pp. 66–76.
SIGMODSIGMOD-2014-ZhangZCJC #named
CrowdMatcher: crowd-assisted schema matching (CJZ, ZZ, LC, HVJ, CCC), pp. 721–724.
VLDBVLDB-2014-AmsterdamerDMNS #mining #ontology
Ontology Assisted Crowd Mining (YA, SBD, TM, SN, AS), pp. 1597–1600.
ICPCICPC-2014-SouzaCM #development #ranking
Ranking crowd knowledge to assist software development (LBLdS, ECC, MdAM), pp. 72–82.
PLDIPLDI-2014-TavarageriKS #detection #fault #memory management
Compiler-assisted detection of transient memory errors (ST, SK, PS), p. 24.
FMFM-2014-LiuGL #analysis #reliability
MDP-Based Reliability Analysis of an Ambient Assisted Living System (YL, LG, YL), pp. 688–702.
IFMIFM-2014-ChaudhariD #automation #proving #theorem proving
Automated Theorem Prover Assisted Program Calculations (DLC, OPD), pp. 205–220.
CHICHI-2014-ChenGWSHFA #3d #authoring #modelling
History assisted view authoring for 3D models (HTC, TG, LYW, RMS, BH, GWF, MA), pp. 2027–2036.
CHICHI-2014-HuangSKSMS #physics #smarttech
A technology probe of wearable in-home computer-assisted physical therapy (KH, PJS, SBK, AS, JM, DPS), pp. 2541–2550.
CHICHI-2014-MaziluBHTGH #named
GaitAssist: a daily-life support and training system for parkinson’s disease patients with freezing of gait (SM, UB, MH, GT, EG, JMH), pp. 2531–2540.
CHICHI-2014-McNaneyVRBZPO #people
Exploring the acceptability of google glass as an everyday assistive device for people with parkinson’s (RM, JV, DR, MB, PZ, IP, PO), pp. 2551–2554.
CHICHI-2014-ThreattMGWBH #design #evaluation #process
An assistive robotic table for older and post-stroke adults: results from participatory design and evaluation activities with clinical staff (AT, JM, KEG, IDW, JOB, SH), pp. 673–682.
CHICHI-2014-Vicencio-MoreiraMGB #effectiveness #game studies
The effectiveness (or lack thereof) of aim-assist techniques in first-person shooter games (RVM, RLM, CG, SB), pp. 937–946.
HCIDHM-2014-ItoTGK #analysis #research
Research on Senior Response to Transfer Assistance between Wheelchair and Bed — EEG Analysis (MI, YT, AG, NK), pp. 558–566.
HCIDUXU-DI-2014-AcarturkAH #comprehension #graph
Developing a Verbal Assistance System for Line Graph Comprehension (CA, ÖA, CH), pp. 373–382.
HCIDUXU-ELAS-2014-YangWW #multi #safety
Impact of Multi-sensory On-Bicycle Rider Assistance Devices on Rider Concentration and Safety (CYY, YTW, CTW), pp. 378–388.
HCIDUXU-TMT-2014-MacedoS #difference #evaluation #semantics #user interface
Building a Semantic Differential Scale as Tool for Assisting UX Evaluation with Home Appliances (VM, CMS), pp. 308–317.
HCIHCI-AIMT-2014-AlkhashramiAA #design #interface #learning
Human Factors in the Design of Arabic-Language Interfaces in Assistive Technologies for Learning Difficulties (SA, HA, AAW), pp. 362–369.
HCIHCI-AS-2014-FedericiMRDLBM
A Model of Web-Based Follow-Up to Reduce Assistive Technology Abandonment (SF, MLM, SAR, WD, GL, SB, FM), pp. 674–682.
HCIHCI-AS-2014-JanssonSBAT #automation #design
Authority and Level of Automation — Lessons to Be Learned in Design of In-vehicle Assistance Systems (AJ, PS, IB, AA, ST), pp. 413–424.
HCIHCI-TMT-2014-BrownTBKLMCEGA #design #using
Using Cultural Probes to Inform the Design of Assistive Technologies (MAB, AT, SB, TK, GL, JLM, TC, ME, SG, UA), pp. 35–46.
HCIHCI-TMT-2014-MartinSPK #mobile #set
HCI-Patterns for Developing Mobile Apps and Digital Video-Assist-Technology for the Film Set (CM, AS, BP, AK), pp. 320–330.
HCIHCI-TMT-2014-SantanaB #personalisation
Log-Based Personalization Tool as an Assistive Technology (VFdS, MCCB), pp. 433–444.
HCIHIMI-AS-2014-KinoeN #design #quality #visual notation
Qualitative Study for the Design of Assistive Technologies for Improving Quality of Life of Visually Impaired (YK, AN), pp. 602–613.
HCIHIMI-AS-2014-MoorthyV
Voice Activated Personal Assistant: Acceptability of Use in the Public Space (AEM, KPLV), pp. 324–334.
HCIHIMI-AS-2014-OshimaHYMN #case study #effectiveness #women
The Effectiveness of Assistance Dogs Mounting ICT Devices: A Case Study of a Healthy Woman and Her Dog (CO, CH, KY, KM, KN), pp. 467–478.
HCILCT-NLE-2014-PaisT #deduction #first-order #logic #novel #proving
Novel Didactic Proof Assistant for First-Order Logic Natural Deduction (JP, AT), pp. 441–451.
HCILCT-TRE-2014-AlmazovaK #approach #student
Computer Assisted Individual Approach to Acquiring Foreign Vocabulary of Students Major (NA, MK), pp. 248–257.
CAiSECAiSE-2014-ChanYGM #development #execution #mining #process
Mining Event Logs to Assist the Development of Executable Process Variants (NNC, KY, WG, JM), pp. 548–563.
ICEISICEIS-v2-2014-BassoPFR #information management #prototype #web
Assisted Tasks to Generate Pre-prototypes for Web Information Systems (FPB, RMP, RZF, FRF), pp. 14–25.
ICEISICEIS-v3-2014-GoncalvesSC #case study #diagrams #metric #process #using
Using Activity Diagrams and DEMO to Capture Relevant Measures in an Organizational Control — A Case Study on Remote Assistance Service (AG, PS, AC), pp. 303–310.
ICEISICEIS-v3-2014-SilvaFG14a #artificial reality #speech
Assisting Speech Therapy for Autism Spectrum Disorders with an Augmented Reality Application (CAdS, ARF, APG), pp. 38–45.
CIKMCIKM-2014-AwadallahZ #evaluation
Machine-Assisted Search Preference Evaluation (AHA, IZ), pp. 51–60.
ICPRICPR-2014-AhmadKM #analysis
Computer Assisted Analysis System of Electroencephalogram for Diagnosing Epilepsy (MAA, NAK, WM), pp. 3386–3391.
KEODKEOD-2014-Grabska #approach #concept #ontology #process
An Ontology based Approach for Assisting Conceptualisation in CAD Processes (EG), pp. 272–279.
KMISKMIS-2014-SaijoWAOMK #case study #evaluation
Knowledge Creation in Technology Evaluation of 4-Wheel Electric Power Assisted Bicycle for Frail Elderly Persons — A Case Study of a Salutogenic Device in Healthcare Facilities in Japan (MS, MW, SA, NO, SM, SK), pp. 87–97.
SEKESEKE-2014-AnvikBBC
Assisting Software Projects with Assignment Recomender Creation (JA, MB, HB, JC), pp. 470–473.
SIGIRSIGIR-2014-CormackG #bibliography #evaluation #protocol
Evaluation of machine-learning protocols for technology-assisted review in electronic discovery (GVC, MRG), pp. 153–162.
RERE-2014-GregoriadesPS #requirements
Simulation-based requirements discovery for smart driver assistive technologies (AG, MP, AGS), pp. 317–318.
SACSAC-2014-BillhardtLOBD
Intelligent event processing for emergency medical assistance (HB, ML, SO, RB, JD), pp. 200–206.
HPCAHPCA-2014-AhnYC #architecture #named #predict
DASCA: Dead Write Prediction Assisted STT-RAM Cache Architecture (JA, SY, KC), pp. 25–36.
CASECASE-2013-JiangSCBG #synthesis
Moving trajectories and controller synthesis for an assistive device for arm rehabilitation (LJ, RS, MHMC, LEB, GG), pp. 268–273.
CASECASE-2013-SehestedtPRL #3d #maintenance #performance
Prior-knowledge assisted fast 3D map building of structured environments for steel bridge maintenance (SS, GP, DRS, DL), pp. 1040–1046.
CASECASE-2013-ShisheieJBC #design #string #using
Design and fabrication of an assistive device for arm rehabilitation using twisted string system (RS, LJ, LEB, MHMC), pp. 255–260.
DACDAC-2013-KarakostasTUNC #energy #performance
Improving the energy efficiency of hardware-assisted watchpoint systems (VK, ST, OSÜ, MN, AC), p. 6.
DACDAC-2013-KunduCSK
An ATE assisted DFD technique for volume diagnosis of scan chains (SK, SC, IS, RK), p. 6.
DACDAC-2013-LiuHLMCHZ
Digital-assisted noise-eliminating training for memristor crossbar-based analog neuromorphic computing engine (BL, MH, HL, ZHM, YC, TH, WZ), p. 6.
DACDAC-2013-WangW #named
SAW: system-assisted wear leveling on the write endurance of NAND flash devices (CW, WFW), p. 9.
DATEDATE-2013-LiuN #multi
Radar signature in multiple target tracking system for driver assistant application (HL, SN), pp. 887–892.
DATEDATE-2013-XydisPZS #architecture #compilation #framework #metamodelling #parametricity #synthesis
A meta-model assisted coprocessor synthesis framework for compiler/architecture parameters customization (SX, GP, VZ, CS), pp. 659–664.
DocEngDocEng-2013-Rinaldi #challenge #editing #motivation
Assisted editing in the biomedical domain: motivation and challenges (FR), pp. 197–200.
ICDARICDAR-2013-ToyamaDSK #artificial reality #documentation #eye tracking #retrieval #smarttech
Wearable Reading Assist System: Augmented Reality Document Combining Document Retrieval and Eye Tracking (TT, AD, WS, KK), pp. 30–34.
CSEETCSEET-2013-UrregoC #architecture #named
Archinotes: A tool for assisting software architecture courses (JSU, DC), pp. 80–88.
ITiCSEITiCSE-2013-MedinaPGR #data mining #education #learning #mining #programming #using
Assistance in computer programming learning using educational data mining and learning analytics (CFM, JRPP, VMÁG, MdPPR), pp. 237–242.
ICSMEICSM-2013-XinQHXZWG #concurrent #empirical #source code
An Automation-Assisted Empirical Study on Lock Usage for Concurrent Programs (RX, ZQ, SH, CX, YZ, YW, HG), pp. 100–109.
MSRMSR-2013-SismanK #automation #code search #debugging #locality #query
Assisting code search with automatic query reformulation for bug localization (BS, ACK), pp. 309–318.
CHICHI-2013-LanirSCG
Ownership and control of point of view in remote assistance (JL, RS, BC, PG), pp. 2243–2252.
CHICHI-2013-PriorWBK #agile #development
Use of an agile bridge in the development of assistive technology (SP, AW, RB, TK), pp. 1579–1588.
CHICHI-2013-SaliviaH #named
PointAssist: assisting individuals with motor impairments (GS, JPH), pp. 1213–1222.
CSCWCSCW-2013-PertererSMWT
Come drive with me: an ethnographic study of driver-passenger pairs to inform future in-car assistance (NP, PS, AM, DW, MT), pp. 1539–1548.
HCIDHM-HB-2013-HartwigW #health #persuasion #safety
Safety and Health at Work through Persuasive Assistance Systems (MH, AW), pp. 40–49.
HCIDHM-SET-2013-PuchWFP #evaluation #interactive #simulation #using
Evaluation of Drivers Interaction with Assistant Systems Using Criticality Driven Guided Simulation (SP, BW, MF, TP), pp. 108–117.
HCIHCI-AMTE-2013-FedericiBM #assessment #evaluation #framework #interactive #process
Environmental Evaluation of a Rehabilitation Aid Interaction under the Framework of the Ideal Model of Assistive Technology Assessment Process (SF, SB, MLM), pp. 203–210.
HCIHCI-AS-2013-DixonDD13a #design #health #implementation #mobile #testing
Designing, Implementing and Testing a Mobile Application to Assist with Pediatric-to-Adult Health Care Transition (JD, JD, SDD), pp. 66–75.
HCIHCI-IMT-2013-BoyP
A Situation Awareness Assistant for Human Deep Space Exploration (GAB, DP), pp. 629–636.
HCIHCI-UC-2013-ArmentanoA #feedback #interactive #navigation #web
The Effects of Negative Interaction Feedback in a Web Navigation Assistant (MGA, AAA), pp. 107–116.
HCIHIMI-HSM-2013-MiyataWI #development #using
Development of a Chest X-ray Examination Support System for Foreigners Using a Personal Digital Assistant (MM, CW, MI), pp. 285–290.
HCIHIMI-HSM-2013-NakamuraN
Tactile Vibration of Personal Digital Assistants for Conveying Feelings (AN, MN), pp. 400–410.
HCIHIMI-HSM-2013-ParkRSOKAVSM #assessment #development
Development of Haptic Assistance for Route Assessment Tool of NASA NextGen Cockpit Situation Display (EP, JR, PS, RO, MTK, GBA, KPLV, TZS, PM), pp. 163–172.
HCIHIMI-HSM-2013-SasakiHAI #simulation #using
Train Ride Simulation Using Assist Strap Device (TS, KH, TA, YI), pp. 189–197.
ICEISICEIS-v2-2013-MachadoPATWO
Situation-awareness as a Key for Proactive Actions in Ambient Assisted Living (AM, AMP, IA, LHT, LKW, JPMdO), pp. 418–426.
ECIRECIR-2013-AlhindiKF #case study #interactive #summary #using
A Pilot Study on Using Profile-Based Summarisation for Interactive Search Assistance (AA, UK, CF), pp. 672–675.
ECIRECIR-2013-GalitskyK #mining #web
A Web Mining Tool for Assistance with Creative Writing (BG, SOK), pp. 828–831.
ICMLICML-c3-2013-YiZJQJ #clustering #matrix #similarity
Semi-supervised Clustering by Input Pattern Assisted Pairwise Similarity Matrix Completion (JY, LZ, RJ, QQ, AKJ), pp. 1400–1408.
MODELSMoDELS-2013-NoyritGT #analysis #domain-specific language #integration #modelling #using
Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques (FN, SG, FT), pp. 505–521.
MODELSMoDELS-2013-SteimannU
Generic Model Assist (FS, BU), pp. 18–34.
MODELSMoDELS-2013-NoyritGT #analysis #domain-specific language #integration #modelling #using
Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques (FN, SG, FT), pp. 505–521.
MODELSMoDELS-2013-SteimannU
Generic Model Assist (FS, BU), pp. 18–34.
ICSEICSE-2013-CanforaPGOP #developer #named
YODA: young and newcomer developer assistant (GC, MDP, SG, RO, SP), pp. 1331–1334.
ICSEICSE-2013-LeeKS #named #recommendation #visual notation
NavClus: a graphical recommender for assisting code exploration (SL, SK, MS), pp. 1315–1318.
ICSEICSE-2013-NiuMCB #comprehension #information management #requirements
Departures from optimality: understanding human analyst’s information foraging in assisted requirements tracing (NN, AM, ZC, GB), pp. 572–581.
ICSEICSE-2013-ShangJHAHM #big data #data analysis #developer
Assisting developers of big data analytics applications when deploying on hadoop clouds (WS, ZMJ, HH, BA, AEH, PM), pp. 402–411.
PLEASEPLEASE-2013-AnishSMG #requirements
Knowledge-assisted product requirements configurator (PRA, SKS, MM, SG), pp. 29–32.
HPCAHPCA-2013-FarooqKJ #branch #compilation #predict
Store-Load-Branch (SLB) predictor: A compiler assisted branch prediction for data dependent branches (MUF, K, LKJ), pp. 59–70.
ISMMISMM-2013-BrockGBD #named
Pacman: program-assisted cache management (JB, XG, BB, CD), pp. 39–50.
CASECASE-2012-WeiZW #detection #recognition #research
Research on a detection and recognition method of tactile-slip sensation used to control the Elderly-assistant & Walking-assistant Robot (XW, XZ, YW), pp. 1040–1045.
DACDAC-2012-HuangLWT #interface
A non-intrusive timing synchronization interface for hardware-assisted HW/SW co-simulation (YHH, YSL, HIW, RST), pp. 127–132.
DACDAC-2012-LiSJ #crowdsourcing #named #towards #verification
CrowdMine: towards crowdsourced human-assisted verification (WL, SAS, SJ), pp. 1254–1255.
DATEDATE-2012-LiDT #authentication #detection #framework #hardware #self
A sensor-assisted self-authentication framework for hardware trojan detection (ML, AD, MT), pp. 1331–1336.
DATEDATE-2012-SharmaCAHCD #power management #variability
Ultra low power litho friendly local assist circuitry for variability resilient 8T SRAM (VS, SC, MA, JH, FC, WD), pp. 1042–1047.
ITiCSEITiCSE-2012-Luxton-ReillyDPS #how #learning #process #student
Activities, affordances and attitude: how student-generated questions assist learning (ALR, PD, BP, RS), pp. 4–9.
ITiCSEITiCSE-2012-QueirosL #education #named #programming
PETCHA: a programming exercises teaching assistant (RAPQ, JPL), pp. 192–197.
TACASTACAS-2012-UlbrichGGT #alloy #proving #specification
A Proof Assistant for Alloy Specifications (MU, UG, AAEG, MT), pp. 422–436.
SCAMSCAM-2012-YuanJ #compilation #named
CAWDOR: Compiler Assisted Worm Defense (JY, RJ), pp. 54–63.
CHICHI-2012-DombrowskiVHM #case study
The labor practices of service mediation: a study of the work practices of food assistance outreach (LD, AV, GRH, MM), pp. 1977–1986.
CHICHI-2012-EscobedoNBHRGTH #mobile #named #social
MOSOCO: a mobile assistive tool to support children with autism practicing social skills in real-life situations (LE, DHN, LAB, SHH, AR, DGR, MT, GRH), pp. 2589–2598.
CHICHI-2012-GurevichLCS #artificial reality #named
TeleAdvisor: a versatile augmented reality tool for remote assistance (PG, JL, BC, RS), pp. 619–622.
CHICHI-2012-YemKYSYY #using
Assisting hand skill transfer of tracheal intubation using outer-covering haptic display (VY, HK, NY, RS, HY, JY), pp. 3177–3180.
ICEISICEIS-J-2012-StuckenschmidtNF12a #integration
User-Centric Data Integration with the MappingAssistant (HS, JN, FF), pp. 323–339.
ICPRICPR-2012-LePB #detection #navigation #people
Pedestrian lane detection for assistive navigation of blind people (MCL, SLP, AB), pp. 2594–2597.
ICPRICPR-2012-VillamizarGSM #learning #online #random #using
Online human-assisted learning using Random Ferns (MV, AG, AS, FMN), pp. 2821–2824.
ICPRICPR-2012-YamasakiC #classification #recognition #refinement
Confidence-assisted classification result refinement for object recognition featuring TopN-Exemplar-SVM (TY, TC), pp. 1783–1786.
KEODKEOD-2012-BachaZ12a #design #education
Designing a Model of Arabic Derivation, for Use in Computer Assisted Teaching (KB, MZ), pp. 352–356.
KEODKEOD-2012-MatskanisAMMR #approach #linked data #open data #query #research
A Linked Data Approach for Querying Heterogeneous Sources — Assisting Researchers in Finding Answers to Complex Clinical Questions (NM, VA, PM, KM, JR), pp. 411–414.
KEODKEOD-2012-MinhasB #development
Development of Intelligent Assistance System to Support Eco-efficient Planning (SUHM, UB), pp. 331–334.
RecSysRecSys-2012-DongSOMS
The demonstration of the reviewer’s assistant (RD, MS, MPO, KM, BS), pp. 297–298.
SIGIRSIGIR-2012-FeildA
Task-aware search assistant (HAF, JA), p. 1015.
TOOLSTOOLS-EUROPE-2012-SoekenWD #behaviour #development #natural language #using
Assisted Behavior Driven Development Using Natural Language Processing (MS, RW, RD), pp. 269–287.
FSEFSE-2012-ServantJ #slicing
History slicing: assisting code-evolution tasks (FS, JAJ), p. 43.
ICSEICSE-2012-Chowdhury #development #tool support
Assisting end-user development in browser-based mashup tools (SRC), pp. 1625–1627.
HPCAHPCA-2012-YangXMZ #architecture #cpu #gpu
CPU-assisted GPGPU on fused CPU-GPU architectures (YY, PX, MM, HZ), pp. 103–114.
LCTESLCTES-2012-LiZXH #embedded #hybrid
Compiler-assisted preferred caching for embedded systems with STT-RAM based hybrid cache (QL, MZ, CJX, YH), pp. 109–118.
ICSTICST-2012-DucheneGRR #detection #fuzzing #model inference #using
XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing (FD, RG, SR, JLR), pp. 815–817.
VMCAIVMCAI-2012-Nipkow #education #proving #semantics
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs (TN), pp. 24–38.
DATEDATE-2011-ShanbhagS #design
System-assisted analog mixed-signal design (NRS, ACS), pp. 1491–1496.
DocEngDocEng-2011-PortierC #documentation #multi #process
Introduction of a dynamic assistance to the creative process of adding dimensions to multistructured documents (PEP, SC), pp. 167–170.
ICDARICDAR-2011-GuichardCC #documentation #word
Exploiting Collection Level for Improving Assisted Handwritten Word Transcription of Historical Documents (LG, JC, BC), pp. 875–879.
VLDBVLDB-2011-ParameswaranSGPW #graph
Human-assisted graph search: it’s okay to ask questions (AGP, ADS, HGM, NP, JW), pp. 267–278.
ITiCSEITiCSE-2011-WahbaFH #network #student
A technology-assisted scavenger hunt for introducing K-12 students to sensor networks (SKW, YF, JOH), pp. 73–77.
CSMRCSMR-2011-HassamSGF #adaptation #constraints #evolution #metamodelling #ocl
Assistance System for OCL Constraints Adaptation during Metamodel Evolution (KH, SS, VLG, RF), pp. 151–160.
WCREWCRE-2011-Mintchev #integration #legacy #program transformation
Renovation by Machine-Assisted Program Transformation in Production Reporting and Integration (SM), pp. 406–410.
CHICHI-2011-BatemanMSG #game studies
Target assistance for subtly balancing competitive play (SB, RLM, TS, CG), pp. 2355–2364.
CHICHI-2011-CramerHTYH #interactive #student #visual notation
Classroom-based assistive technology: collective use of interactive visual schedules by students with autism (MC, SHH, MT, MTY, GRH), pp. 1–10.
CHICHI-2011-GrossYK #interface #named #visual notation
Dinah: an interface to assist non-programmers with selecting program code causing graphical output (PAG, JY, CK), pp. 3397–3400.
CHICHI-2011-McGee-LennonWB #multimodal
User-centred multimodal reminders for assistive living (MRML, MKW, SAB), pp. 2105–2114.
CHICHI-2011-PasqueroH #feedback #interactive #mobile
Tactile feedback can assist vision during mobile interactions (JP, VH), pp. 3277–3280.
CHICHI-2011-ShinoharaW #interactive #social
In the shadow of misperception: assistive technology use and social interactions (KS, JOW), pp. 705–714.
HCIDHM-2011-LaquaiDR #behaviour #modelling
Impact and Modeling of Driver Behavior Due to Cooperative Assistance Systems (FL, MD, GR), pp. 473–482.
HCIDUXU-v1-2011-FaliagkaKRSTT #integration #process
Investigating the Integration of Hand-Held Haptic Devices in Daily Work Activities: The Case of a Tennis Coaching Assistant on iPhone (EF, PK, MR, SS, GT, AKT), pp. 555–563.
HCIDUXU-v1-2011-WebbOMPC #mobile #testing
Oracle Mobile User Assistance Testing (ENW, UO, RM, LP, MC), pp. 687–695.
HCIDUXU-v1-2011-ZilzF #composition
Smart User Assistance Based on Dynamic Model Composition (RZ, PF), pp. 706–714.
HCIDUXU-v2-2011-AgnerTF #usability
Scenario and Task Based Interview to Evaluate Usability of Computer Assisted Data Collection (LA, PT, SBLF), pp. 349–358.
HCIHCD-2011-HajekPJB #behaviour #multimodal
Influence of a Multimodal Assistance Supporting Anticipatory Driving on the Driving Behavior and Driver’s Acceptance (HH, DP, MJ, KB), pp. 217–226.
HCIHCD-2011-Hazlett-KnudsenSB #design #knowledge base #user interface
Knowledge Based Design of User Interface for Operating an Assistive Robot (RHK, MAS, AB), pp. 304–312.
HCIHCI-ITE-2011-KarpovRK #multi #recognition #speech #user interface
An Assistive Bi-modal User Interface Integrating Multi-channel Speech Recognition and Computer Vision (AK, AR, ISK), pp. 454–463.
HCIHCI-ITE-2011-SchmeierRA
Computer Assistance in Bilingual Task-Oriented Human-Human Dialogues (SS, MR, RA), pp. 387–395.
HCIHCI-MIIE-2011-CostaFVCBH #detection #navigation #people #visual notation
Landmarks Detection to Assist the Navigation of Visually Impaired People (PC, HF, VV, PC, JB, LJH), pp. 293–300.
HCIHCI-UA-2011-Chu #navigation
Windows Positioning System: Aural Assistance Environment for the Aging in Windows Navigation (CNC), pp. 435–438.
HCIHIMI-v1-2011-MarincSBLHK #interactive #personalisation
Interactive Personalization of Ambient Assisted Living Environments (AM, CS, AB, CL, CH, AK), pp. 567–576.
CIKMCIKM-2011-LeeJL #reachability #web
Assisting web search users by destination reachability (CHL, AJ, LL), pp. 719–728.
ECIRECIR-2011-EickhoffPGTG #query #web
Web Search Query Assistance Functionality for Young Audiences (CE, TP, KG, SDT, RG), pp. 776–779.
SEKESEKE-2011-ChenF #aspectj #model checking
Model Checking Framework-based Applications with AspectJ Assistance (ZC, SF), pp. 296–301.
SIGIRSIGIR-2011-DingJSZY #named #web
Tulsa: web search for writing assistance (DD, XJ, MRS, MZ, YY), pp. 1287–1288.
RERE-2011-DekhtyarDHHCK #analysis #on the #performance #requirements #statistics
On human analyst performance in assisted requirements tracing: Statistical analysis (AD, OD, JH, JHH, DC, WKK), pp. 111–120.
SACSAC-2011-MajchrzakJLU #integration #mobile #social #towards #web
Towards better social integration through mobile web 2.0 ambient assisted living devices (TAM, AJ, ML, ), pp. 821–822.
SACSAC-2011-ZhuYXLYGQLCG #monitoring #named #security
VASP: virtualization assisted security monitor for cross-platform protection (MZ, MY, MX, BL, PY, SG, ZQ, LL, YC, HG), pp. 554–559.
ESEC-FSEESEC-FSE-2011-LumpeMG #logic #named #specification
PSPWizard: machine-assisted definition of temporal logical properties with specification patterns (ML, IM, LG), pp. 468–471.
CAVCAV-2011-JoseM #fault #locality #named #source code
Bug-Assist: Assisting Fault Localization in ANSI-C Programs (MJ, RM), pp. 504–509.
ASEASE-2010-LiuZHJM #named #programming #web
iMashup: assisting end-user programming for the service-oriented web (XL, QZ, GH, ZJ, HM), pp. 285–288.
ASEASE-2010-SindhgattaNSVR #developer #mining
Timesheet assistant: mining and reporting developer effort (RS, NCN, BS, KV, AGR), pp. 265–274.
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-ChandraPA #on the
On the efficacy of write-assist techniques in low voltage nanoscale SRAMs (VC, CP, RCA), pp. 345–350.
HTHT-2010-HsiehPJNS #generative #hypermedia
Assisting two-way mapping generation in hypermedia workspace (HwH, KP, AJ, GN, FMSI), pp. 99–108.
SIGMODSIGMOD-2010-VaidyaLBDNX #configuration management #data type #logic #named
Symbiote: a reconfigurable logic assisted data streammanagement system (RLADSMS) (PV, JJL, FB, YD, CHN, YX), pp. 1147–1150.
ICGTICGT-2010-Qayum #automation #graph transformation #refactoring #search-based #using
Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems (FQ), pp. 407–409.
CHICHI-2010-DixonPH #feedback #named #recognition #sketching #using
iCanDraw: using sketch recognition and corrective feedback to assist a user in drawing human faces (DD, MP, TH), pp. 897–906.
CHICHI-2010-GrossmanF #comprehension #named #video
ToolClips: an investigation of contextual video assistance for functionality understanding (TG, GWF), pp. 1515–1524.
ICEISICEIS-AIDSS-2010-HaasMSD #information management #named #using
ConTask — Using Context-sensitive Assistance to Improve Task-oriented Knowledge Work (JH, HM, SS, AD), pp. 30–39.
ICEISICEIS-HCI-2010-Cruz-LaraOGBB #chat #communication #interface #multi #standard
Standards for Communication and e-Learning in Virtual Worlds — The Multilingual-assisted Chat Interface (SCL, TO, JG, NB, LB), pp. 45–52.
ICEISICEIS-J-2010-LinPMDL #framework #information management
A Framework to Assist Environmental Information Processing (YL, CP, IM, JCD, TL), pp. 76–89.
ICEISICEIS-J-2010-MausSHD #named #semantics
CONTASK: Context-Sensitive Task Assistance in the Semantic Desktop (HM, SS, JH, AD), pp. 177–192.
ECIRECIR-2010-PotthastTS #named #word
Netspeak — Assisting Writers in Choosing Words (MP, MT, BS), p. 672.
ECIRECIR-2010-SteinPT #web
Retrieving Customary Web Language to Assist Writers (BS, MP, MT), pp. 631–635.
ICPRICPR-2010-PrisacariuTZRG #3d #detection #towards
Integrating Object Detection with 3D Tracking Towards a Better Driver Assistance System (VAP, RT, KZ, IDR, LJVG), pp. 3344–3347.
ICPRICPR-2010-RomeroTV #analysis #corpus #image
Computer Assisted Transcription of Text Images: Results on the GERMANA Corpus and Analysis of Improvements Needed for Practical Use (VR, AHT, EV), pp. 2017–2020.
KDIRKDIR-2010-Simac-LejeuneRL #video
Spatio-temporal Block Model for Video Indexation Assistance (ASL, MR, PL), pp. 475–480.
KMISKMIS-2010-GonzalezCPL #usability
Developing Argument Assistant Systems from a Usability Viewpoint (MPG, CIC, NP, MJGL), pp. 157–163.
KMISKMIS-2010-WiilGM #analysis #information management #network
CrimeFighter Assistant — A Knowledge Management Tool for Terrorist Network Analysis (UKW, JG, NM), pp. 15–24.
SEKESEKE-2010-Nehmer #approach #consistency #exception
A Log-Assisted Approach Enforcing Consistency in the Presence of Exceptions (NN), pp. 757–764.
SEKESEKE-2010-WangWLX #developer
Assisting Developers to Read Code Help-Documents Efficiently through Discovering Document-section Relationships (LW, LW, GL, BX), pp. 367–373.
TOOLSTOOLS-EUROPE-2010-HalleuxT #named
Moles: Tool-Assisted Environment Isolation with Closures (JdH, NT), pp. 253–270.
SACSAC-2010-HurnausP #automation #composition #contract #programming #verification
Programming assistance based on contracts and modular verification in the automation domain (DH, HP), pp. 2544–2551.
HPCAHPCA-2010-DoudalisP #execution #hardware #named
HARE: Hardware assisted reverse execution (ID, MP), pp. 1–12.
WICSA-ECSAWICSA-ECSA-2009-PaceCBSC #architecture #documentation #implementation
Assisting the synchronization of UCM-based architectural documentation with implementation (JADP, JPC, MB, AS, MRC), pp. 151–160.
CASECASE-2009-ParasuramanOG #development
Development of robot assisted stroke rehabilitation system of human upper limb (SP, AWO, VG), pp. 256–261.
CASECASE-2009-SubburajRA #3d #automation #geometry #reasoning
Automated 3D geometric reasoning in Computer Assisted joint reconstructive surgery (KS, BR, MA), pp. 367–372.
DACDAC-2009-KluterBIC #automation #set
Way Stealing: cache-assisted automatic instruction set extensions (TK, PB, PI, EC), pp. 31–36.
DACDAC-2009-ReddiGSWBC #challenge #hardware #reliability #stack
Software-assisted hardware reliability: abstracting circuit-level challenges to the software stack (VJR, SC, MSG, MDS, GYW, DMB), pp. 788–793.
ICDARICDAR-2009-RomeroTV #feedback #image #using
Using Mouse Feedback in Computer Assisted Transcription of Handwritten Text Images (VR, AHT, EV), pp. 96–100.
ICPCICPC-2009-JeffreyFGG #debugging #developer #named
BugFix: A learning-based tool to assist developers in fixing bugs (DJ, MF, NG, RG), pp. 70–79.
ICFPICFP-2009-Pierce #education #programming language #proving #using
λ, the ultimate TA: using a proof assistant to teach programming language foundations (BCP), pp. 121–122.
CHICHI-2009-KassilS #evaluation
Evaluation of a tool-mounted guidance display for computer-assisted surgery (KK, AJS), pp. 1275–1278.
HCIHCD-2009-AndreadisBF
A Personal Assistant for Autonomous Life (AA, GB, PF), pp. 408–415.
HCIHCI-AUII-2009-Dai #design #research
Nine Assistant Guiding Methods in Subway Design — A Research of Shanghai Subway Users (LD), pp. 125–132.
HCIHCI-NIMT-2009-GrafPH #framework
Robotic Home Assistant Care-O-bot® 3 Product Vision and Innovation Platform (BG, CP, MH), pp. 312–320.
HCIHIMI-DIE-2009-Ehnes #artificial reality #automation #interface
A Tangible Mixed Reality Interface for the AMI Automated Meeting Assistant (JE), pp. 485–494.
HCIHIMI-II-2009-DaoBBVSJ #automation
The Impact of Automation Assisted Aircraft Separation on Situation Awareness (AQVD, SLB, VB, KPLV, TZS, WWJ), pp. 738–747.
HCIIDGD-2009-GurleyN #bibliography
A Systematic Review of Technologies Designed to Improve and Assist Cognitive Decline for Both the Current and Future Aging Populations (KG, AFN), pp. 156–163.
HCIOCSC-2009-ConlonP #distance #learning #video
A Discussion of Video Capturing to Assist in Distance Learning (MC, VP), pp. 432–441.
ICEISICEIS-AIDSS-2009-JuanRMJF #problem
A Simulation-based Methodology to Assist Decision-makers in Real Vehicle Routing Problems (AAJ, DR, DM, JJ, JF), pp. 212–217.
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.
KEODKEOD-2009-KrempelsPST #development
Interconnected Tool-assistance for Development of Agent-oriented Software Systems (KHK, AP, JvS, CT), pp. 308–314.
KMISKMIS-2009-SeifertEHSKRN #approach #information management #library #named #visualisation
DiLiA — a Digital Library Assistant — A New Approach to Information Discovery through Information Extraction and Visualization (IS, KE, HH, SS, MK, NR, GN), pp. 180–185.
MLDMMLDM-2009-FernandezBFM #automation #data mining #mining
Assisting Data Mining through Automated Planning (FF, DB, SF, DMM), pp. 760–774.
SEKESEKE-2009-ManicaRTDB #information management #ontology #representation #semantics #towards
Toward Developing Knowledge Representation in Emergency Medical Assistance through a Ontology-based Semantic Cache Model (HM, CCdR, JLT, MARD, MAB), pp. 592–596.
MODELSMoDELS-2009-MazanekM #diagrams #editing #modelling #process
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors (SM, MM), pp. 322–336.
MODELSMoDELS-2009-MazanekM #diagrams #editing #modelling #process
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors (SM, MM), pp. 322–336.
SACSAC-2009-BolingerHRR #collaboration #effectiveness #workflow
Collaborative workflow assistant for organizational effectiveness (JB, GH, JR, RR), pp. 273–280.
ICSEICSE-2009-KnaussLM #heuristic #requirements
Feedback-driven requirements engineering: The Heuristic Requirements Assistant (EK, DL, SM), pp. 587–590.
HPCAHPCA-2009-AwasthiSBC #capacity #scalability
Dynamic hardware-assisted software-controlled page placement to manage capacity allocation and sharing within large caches (MA, KS, RB, JBC), pp. 250–261.
LCTESLCTES-2009-SarkarMRM #manycore #migration #realtime
Push-assisted migration of real-time tasks in multi-core processors (AS, FM, HR, SM), pp. 80–89.
PPoPPPPoPP-2009-BaskaranVBRRS #effectiveness #manycore #parallel #scheduling
Compiler-assisted dynamic scheduling for effective parallelization of loop nests on multicore processors (MMB, NV, UB, JR, AR, PS), pp. 219–228.
QoSAQoSA-2008-PaceKBBB #design #framework #reasoning
Integrating Quality-Attribute Reasoning Frameworks in the ArchE Design Assistant (ADP, HK, LB, PB, FB), pp. 171–188.
CASECASE-2008-BittonG #algorithm #framework #named
Hydra: A framework and algorithms for mixed-initiative UAV-assisted search and rescue (EB, KG), pp. 61–66.
CASECASE-2008-SongQXKLG #algorithm
System and algorithms for an autonomous observatory assisting the search for the Ivory-Billed Woodpecker (DS, NQ, YX, CYK, DL, KG), pp. 200–205.
CASECASE-2008-WangZZ #generative
A force control assisted robot path generation system (JW, HZ, GZ), pp. 528–533.
CASECASE-2008-ZhuCS #markov #recognition #using
Human intention recognition in Smart Assisted Living Systems using a Hierarchical Hidden Markov Model (CZ, QC, WS), pp. 253–258.
FLOPSFLOPS-2008-AbelCD #algebra #on the #proving #type system
On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory (AA, TC, PD), pp. 3–13.
CHICHI-2008-HsiehLHK #communication #using
Using tags to assist near-synchronous communication (GH, JL, SEH, RK), pp. 223–226.
CHICHI-2008-KobayashiI #multi #scalability #using
Ninja cursors: using multiple cursors to assist target acquisition on large screens (MK, TI), pp. 949–958.
CSCWCSCW-2008-EricksonDKH #named
Assistance: the work practices of human administrative assistants and their implications for it and organizations (TE, CMD, WAK, MEH), pp. 609–618.
CSCWCSCW-2008-PalenV #interactive #online
The emergence of online widescale interaction in unexpected events: assistance, alliance & retreat (LP, SV), pp. 117–126.
CSCWCSCW-2008-PoonTAL #case study #distributed
Context-linked virtual assistants for distributed teams: an astrophysics case study (SSP, RCT, CRA, BL), pp. 361–370.
EDOCEDOC-2008-SimoninADTJN #architecture #development #enterprise #named
EA4UP: An Enterprise Architecture-Assisted Telecom Service Development Method (JS, FA, JPD, YLT, JMJ, BN), pp. 279–285.
ICEISICEIS-HCI-2008-DeryckeVBL #interactive #named
E-Retail: Interaction of Intelligent Selling Space with Personal Selling Assistant (AD, TV, BB, PL), pp. 189–194.
ICEISICEIS-HCI-2008-HornungBT #web
Assistive Technologies and Techniques for Web Based EGOV in Developing Countries (HHH, MCCB, CdAT), pp. 248–255.
ICEISICEIS-HCI-2008-LucaB #design #implementation #navigation #recommendation
Microformats Based Navigation Assistant — A Non-intrusive Recommender Agent: Design and Implementation (APL, SCB), pp. 54–61.
SIGIRSIGIR-2008-AnickK #realtime
A longitudinal study of real-time search assistance adoption (PGA, RGPK), pp. 701–702.
SIGIRSIGIR-2008-CrainHZ #classification #scalability
A scalable assistant librarian: hierarchical subject classification of books (SPC, JH, HZ), pp. 799–800.
PPDPPPDP-2008-SilvaO #functional #prototype #proving #quote
“Galculator”: functional prototype of a Galois-connection based proof assistant (PFS, JNO), pp. 44–55.
SACSAC-2008-CohenBP #visualisation
The volume in focus: hardware-assisted focus and context effects for volume visualization (MC, KWB, NP), pp. 1231–1235.
ISMMISMM-2008-CurialZAGCSA #named
MPADS: memory-pooling-assisted data splitting (SC, PZ, JNA, YG, SC, RS, RA), pp. 101–110.
ICLPICLP-2008-MileoMB #approach #logic programming #monitoring
A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living (AM, DM, RB), pp. 145–159.
QoSAQoSA-2007-PaceC #architecture #design #quality #using
Using Planning Techniques to Assist Quality-Driven Architectural Design Exploration (JADP, MRC), pp. 33–52.
ASEASE-2007-McIntyreW #automation #heuristic
Assisting potentially-repetitive small-scale changes via semi-automated heuristic search (MMM, RJW), pp. 497–500.
ASEASE-2007-ThummalapentaX #named #open source #reuse #source code #web
Parseweb: a programmer assistant for reusing open source code on the web (ST, TX), pp. 204–213.
DATEDATE-2007-ClausZMS #configuration management #hardware #using #video
Using partial-run-time reconfigurable hardware to accelerate video processing in driver assistance system (CC, JZ, FHM, WS), pp. 498–503.
HTHT-2007-FarzanCFBS #adaptation #named #social #traversal
ASSIST: adaptive social support for information space traversal (RF, MC, JF, PB, BS), pp. 199–208.
HTHT-2007-LiYSK #estimation #similarity #web
User-assisted similarity estimation for searching related web pages (LL, ZY, KS, MK), pp. 11–20.
ICDARICDAR-2007-ToselliRRV #image
Computer Assisted Transcription of Handwritten Text Images (AHT, VR, LR, EV), pp. 944–948.
SIGMODSIGMOD-2007-NandiJ #interface #query #using
Assisted querying using instant-response interfaces (AN, HVJ), pp. 1156–1158.
VLDBVLDB-2007-NambiarGM #elicitation #named
CallAssist: Helping Call Center Agents in Preference Elicitation (UN, HG, MKM), pp. 1338–1341.
ITiCSEITiCSE-2007-BuenoAC #adaptation #education #student
Assisting lecturers to adapt e-learning content for deaf students (FJB, MGA, JRFdC), p. 335.
ITiCSEITiCSE-2007-ThomasSW #assessment #diagrams
Computer assisted assessment of diagrams (PGT, NS, KGW), pp. 68–72.
CSMRCSMR-2007-Sartipi #evolution #integration #multi #tool support
A Multi-view Toolkit to Assist Software Integration and Evolution (KS), pp. 337–338.
ICSMEICSM-2007-ChittimalliH #testing
Re-computing Coverage Information to Assist Regression Testing (PKC, MJH), pp. 164–173.
ICALPICALP-2007-MontanaroW #bound #communication #complexity #quantum
A Lower Bound on Entanglement-Assisted Quantum Communication Complexity (AM, AJW), pp. 122–133.
AGTIVEAGTIVE-2007-MolEP #proving #reduction
A Single-Step Term-Graph Reduction System for Proof Assistants (MdM, MCJDvE, RP), pp. 184–200.
CHICHI-2007-KuberYM #feedback #internet #towards #visual notation
Towards developing assistive haptic feedback for visually impaired internet users (RK, WY, GM), pp. 1525–1534.
HCIHCI-IPT-2007-AsaiK #comparative
Comparative Characteristics of a Head-Up Display for Computer-Assisted Instruction (KA, HK), pp. 531–540.
HCIHCI-IPT-2007-CaleefatoMT #automation
Advanced Drivers Assistant Systems in Automation (CC, RM, FT), pp. 768–777.
HCIHCI-IPT-2007-LuS #artificial reality #e-commerce
Augmented Reality E-Commerce Assistant System: Trying While Shopping (YL, SS), pp. 643–652.
HCIHIMI-IIE-2007-IwakuraO
An Assistant Tool for Concealing Personal Information in Text (TI, SO), pp. 38–46.
HCIHIMI-IIE-2007-LaukaitisVG #architecture #information retrieval #natural language
Natural Language Based Heavy Personal Assistant Architecture for Information Retrieval and Presentation (AL, OV, VG), pp. 54–63.
HCIHIMI-IIE-2007-Nirschl #development
Human-Centered Development of Advanced Driver Assistance Systems (GN), pp. 1088–1097.
HCIOCSC-2007-AlShebliGK #social
The Social Implications of an Assisted Living Reminder System (BKA, EG, KK), pp. 239–249.
SEKESEKE-2007-HewettP #development #framework #trade-off
Software Tradeoff Assistant: An Integrated Framework for Analytical Decision Making and Tradeoffs in Software Development (RH, VP), pp. 450–455.
SEKESEKE-2007-VasconcelosW #architecture #evaluation #quality #specification
Architectural Elements Recovery and Quality Evaluation to Assist in Reference Architectures Specification (APVdV, CMLW), pp. 494–499.
SACSAC-2007-AhamedHSK #pervasive #using
Wellness assistant: a virtual wellness assistant using pervasive computing (SIA, MMH, KS, AJK), pp. 782–787.
SACSAC-2007-OHareGJLOS #using
Using text search for personal photo collections with the MediAssist system (NO, CG, GJFJ, HL, NEO, AFS), pp. 880–881.
CGOCGO-2007-KimJMP #compilation
Profile-assisted Compiler Support for Dynamic Predication in Diverge-Merge Processors (HK, JAJ, OM, YNP), pp. 367–378.
HPCAHPCA-2007-ZhouTZ #concurrent #detection #named
HARD: Hardware-Assisted Lockset-based Race Detection (PZ, RT, YZ), pp. 121–132.
CBSECBSE-2006-TibermacineFS #component #evolution #on-demand
On-Demand Quality-Oriented Assistance in Component-Based Software Evolution (CT, RF, SS), pp. 294–309.
CASECASE-2006-LowY #design
Providing Assistance to Knee in the Design of a Portable Active Orthotic Device (KHL, YY), pp. 188–193.
DACDAC-2006-GoraiBBTM #protocol #verification
Directed-simulation assisted formal verification of serial protocol and bridge (SG, SB, LB, PT, RSM), pp. 731–736.
DATEDATE-2006-HerkersdorfS #architecture #flexibility #named
AutoVision: flexible processor architecture for video-assisted driving (AH, WS), p. 556.
TACASTACAS-2006-FontaineMMNT #automation #interactive #proving #smt #towards
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants (PF, JYM, SM, LPN, AFT), pp. 167–181.
ICSMEICSM-2006-Hassan #developer #mining #repository
Mining Software Repositories to Assist Developers and Support Managers (AEH), pp. 339–342.
FLOPSFLOPS-2006-BartheFPR #coq #proving #reasoning #recursion
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant (GB, JF, DP, VR), pp. 114–129.
ICFPICFP-2006-Chlipala #composition #development #proving #verification
Modular development of certified program verifiers with a proof assistant (AC), pp. 160–171.
CHICHI-2006-Dawe #how #product line
Desperately seeking simplicity: how young adults with cognitive disabilities and their families adopt assistive technologies (MD), pp. 1143–1152.
CHICHI-2006-NimwegenBOS #effectiveness
The paradox of the assisted user: guidance can be counterproductive (CvN, DDB, HvO, HS), pp. 917–926.
ICEISICEIS-ISAS-2006-EinigTP #editing #ontology #visual notation
Managing the Knowledge Needed to Support an Electronic Personal Assistant — An End-User Friendly Graphical Ontology Editing Tool (ME, RT, GP), pp. 304–309.
ICPRICPR-v1-2006-BernardinES #adaptation #detection #multi #robust
Detection-Assisted Initialization, Adaptation and Fusion of Body Region Trackers for Robust Multiperson Tracking (KB, AE, RS), pp. 441–445.
ICPRICPR-v1-2006-ChenCCW #detection
Nighttime Vehicle Detection for Driver Assistance and Autonomous Vehicles (YLC, YHC, CJC, BFW), pp. 687–690.
ICPRICPR-v2-2006-HanheideHS #recognition
Action Recognition in aWearable Assistance System (MH, NH, GS), pp. 1254–1258.
ICPRICPR-v3-2006-HaiESYSHAY #adaptation #analysis #image #video
Adaptive Control of Video Display for Diagnostic Assistance by Analysis of Capsule Endoscopic Images (HV, TE, RS, KY, MS, KH, TA, YY), pp. 980–983.
SEKESEKE-2006-GarlanS #architecture
An Architecture for Personal Cognitive Assistance (DG, BRS), pp. 91–97.
POPLPOPL-2006-Leroy #certification #compilation #programming #proving
Formal certification of a compiler back-end or: programming a compiler with a proof assistant (XL), pp. 42–54.
SACSAC-2006-DinechinLM #using #verification
Assisted verification of elementary functions using Gappa (FdD, CQL, GM), pp. 1318–1322.
SACSAC-2006-KramerMH #case study #elicitation #mobile #using
Field study on methods for elicitation of preferences using a mobile digital assistant for a dynamic tour guide (RK, MM, KtH), pp. 997–1001.
SACSAC-2006-SharminAA #adaptation #middleware #resource management #self #usability #using
Ubicomp assistant: an omnipresent customizable service using MARKS (middleware adaptability for resource discovery, knowledge usability and self-healing) (MS, SA, SIA), pp. 1013–1017.
SACSAC-2006-ZankerG #recommendation
Recommendation-based browsing assistance for corporate knowledge portals (MZ, SG), pp. 1116–1117.
ICSEICSE-2006-NehmerBKL #approach
Living assistance systems: an ambient intelligence approach (JN, MB, AIK, RL), pp. 43–50.
ASPLOSASPLOS-2006-KawahitoKMIN #framework #recognition
A new idiom recognition framework for exploiting hardware-assist instructions (MK, HK, TM, HI, TN), pp. 382–393.
CAVCAV-2006-RoordaC #abstraction #evaluation #refinement #satisfiability
SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation (JWR, KC), pp. 175–189.
DATEDATE-2005-AroraRRJ #embedded #monitoring #runtime
Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring (DA, SR, AR, NKJ), pp. 178–183.
HTHT-2005-BurgerGG #concept #multi
Smart content factory: assisting search for digital objects by generic linking concepts to multimedia content (TB, EG, GG), pp. 286–287.
ICDARICDAR-2005-HeD #evaluation #online
Evaluation of a User-Assisted Archive Construction System for Online Natural History Archives (JH, ACD), pp. 442–446.
VLDBVLDB-2005-ZhangHC #database #on the fly #query #web
Light-weight Domain-based Form Assistant: Querying Web Databases On the Fly (ZZ, BH, KCCC), pp. 97–108.
RERE-2005-LiP #elicitation #requirements
Computer-Assisted and Customer-Oriented Requirements Elicitation (KL, RJP), pp. 479–480.
SACSAC-2005-SilvaS #design #framework
A framework for result handling in bioinformatics: an application to computer assisted drug design (AOdS, ONdS), pp. 128–132.
LCTESLCTES-2005-ZhuM #feedback #scalability #scheduling
Feedback EDF scheduling exploiting hardware-assisted asynchronous dynamic voltage scaling (YZ, FM), pp. 203–212.
WICSAWICSA-2004-BachmannBKS #architecture #design #experience #using
Experience Using an Expert System to Assist an Architect in Designing for Modifiability (FB, LJB, MK, CPS), pp. 281–284.
ASEASE-2004-HallZ #behaviour #requirements #validation
Validating Personal Requirements by Assisted Symbolic Behavior Browsing (RJH, AZ), pp. 56–66.
DocEngDocEng-2004-AndricHC #re-engineering #retrieval
Assisting artifact retrieval in software engineering projects (MA, WH, LC), pp. 48–50.
ITiCSEITiCSE-2004-Liffick #human-computer
Introducing assistive technology in an HCI course (BWL), p. 232.
ITiCSEITiCSE-2004-Liffick04a #human-computer
An assistive technology project for an HCI course (BWL), p. 273.
ITiCSEITiCSE-2004-PaxtonH
Providing curricular assistance to a third world university computer science department (JP, KH), pp. 199–202.
ITiCSEITiCSE-WGR-2004-BoyerC #compilation #design #implementation #tool support
ICE™ and ICE/T™: tools to assist in compiler design and implementation (TPB, MC), pp. 55–57.
FASEFASE-2004-BartheD #bytecode #framework #verification
A Tool-Assisted Framework for Certified Bytecode Verification (GB, GD), pp. 99–113.
WCREWCRE-2004-LakhotiaM #anti #order
Imposing Order on Program Statements to Assist Anti-Virus Scanners (AL, MM), pp. 161–170.
ICEISICEIS-v5-2004-GattiM #communication #composition #predict
CABA2L A Bliss Predictive Composition Assistant for AAC Communication Software (NG, MM), pp. 89–96.
ICPRICPR-v4-2004-OuelletH #geometry #image #quality #tool support
Developing Assistant Tools for Geometric Camera Calibration: Assessing the Quality of Input Images (JNO, PH), pp. 80–83.
SEKESEKE-2004-JannachK #online
Building on-line sales assistance systems with ADVISOR SUITE (DJ, GK), pp. 110–116.
SEKESEKE-2004-RazBSKF #automation #elicitation
Automated Assistance for Eliciting User Expectations (OR, RBB, MS, PK, CF), pp. 80–85.
SEKESEKE-2004-SubramaniamLFE #case study #development #generative #named
UCDA: Use Case Driven Development Assistant Tool for Class Model Generation (KS, DL, BHF, AE), pp. 324–329.
RERE-2004-OmasreiterM #case study #process #specification
A Context-Driven Use Case Creation Process for Specifying Automotive Driver Assistance Systems (HO, EM), pp. 334–339.
SACSAC-2004-BerfieldBC #mobile #streaming
Profile and context filtering of streaming data for a mobile personal assistant (AB, JB, PKC), pp. 1615–1616.
SACSAC-2004-TorrensHPF #mobile #towards
Towards an intelligent mobile travel assistant (MT, PH, PP, BF), pp. 1208–1209.
ASEASE-2003-XieN #testing
Tool-Assisted Unit Test Selection Based on Operational Violations (TX, DN), pp. 40–48.
ICDARICDAR-2003-HeD #analysis #documentation #image #library
User-Assisted Archive Document Image Analysis for Digital Library Construction (JH, ACD), pp. 498–502.
ITiCSEITiCSE-2003-RatcliffeTET #collaboration #design #process
Capturing collaborative designs to assist the pedagogical process (MR, LT, WE, BJT), pp. 79–83.
SASSAS-2003-AbadiB #email #protocol #verification
Computer-Assisted Verification of a Protocol for Certified Email (MA, BB), pp. 316–335.
FMFME-2003-TengT #specification
Composing Temporal-Logic Specifications with Machine Assistance (JWT, YKT), pp. 719–738.
ICEISICEIS-v1-2003-KaranikolasS #framework #legacy #navigation
Shifting From Legacy Systems to a Data Mart and Computer Assisted Information Resources Navigation Framework (NK, CS), pp. 300–305.
ICEISICEIS-v1-2003-SilvaSL #using
Updating GIS Data Using Personal Digital Assistants (HS, AVS, JCL), pp. 566–569.
CIKMCIKM-2003-KaoQPW #classification #information management
User assisted text classification and knowledge management (AK, LQ, SP, SW), pp. 524–527.
SEKESEKE-2003-ChangKG #distributed #elicitation #requirements
Agent-assisted Distributed Requirements Elicitation and Management (CFC, AK, AKG), pp. 526–533.
SIGIRSIGIR-2003-AgunF #component #hardware #named
HAT: a hardware assisted TOP-DOC inverted index component (SKA, OF), pp. 447–448.
SIGIRSIGIR-2003-HeWON #interactive #query
User-assisted query translation for interactive CLIR (DH, JW, DWO, MN), p. 461.
RERE-2003-JarkeFMS #process #requirements #traceability
Media-Assisted Product and Process Requirements Traceability in Supply Chains (MJ, OF, MM, MS), pp. 375–376.
ICSEICSE-2003-Dingel #reasoning
Computer-Assisted Assume/Guarantee Reasoning with VeriSoft (JD), pp. 138–148.
TLCATLCA-2003-Oury #coq #equivalence #proving
Observational Equivalence and Program Extraction in the Coq Proof Assistant (NO), pp. 271–285.
DATEDATE-2002-BeniniBMM #embedded #energy
Hardware-Assisted Data Compression for Energy Minimization in Systems with Embedded Processors (LB, DB, AM, EM), pp. 449–453.
ITiCSEITiCSE-2002-English #experience #programming
Experience with a computer-assisted formal programming examination (JE), pp. 51–54.
STOCSTOC-2002-NayakS #communication #on the #quantum
On communication over an entanglement-assisted quantum channel (AN, JS), pp. 698–704.
ICPRICPR-v4-2002-LefaixMB #detection
Motion-Based Obstacle Detection and Tracking for Car Driving Assistance (GL, ÉM, PB), pp. 74–77.
SACSAC-2002-HexmoorV
Computational adjustable autonomy for NASA Personal Satellite Assistants (HH, JTV), pp. 21–26.
ICSEICSE-2002-JonesHS #fault #locality #visualisation
Visualization of test information to assist fault localization (JAJ, MJH, JTS), pp. 467–477.
DocEngDocEng-2001-McKechnieSL #case study #documentation #industrial #scalability #set
Computer assisted processing of large unstructured document sets: a case study in the construction industry (JM, SS, SL), pp. 11–17.
HTHT-2001-ReichG #documentation #named #navigation #process
Trailist — focusing on document activity for assisting navigation (SR, EG), pp. 29–30.
VLDBVLDB-2001-AmbiteKKMST #integration #web
The WorlInfo Assistant: Spatio-Temporal Information Integration on the Web (JLA, CAK, MRK, MM, CS, ST), pp. 717–718.
WCREWCRE-2001-EmburyS #comprehension #legacy #transaction
Assisting the Comprehension of Legacy Transactions (SME, JS), p. 345–?.
FMFME-2001-FlanaganL #java
Houdini, an Annotation Assistant for ESC/Java (CF, KRML), pp. 500–517.
CHICHI-2001-AbergS #empirical #information management #web
An empirical study of human Web assistants: implications for user support in Web information systems (, NS), pp. 404–411.
CHICHI-2001-RoddenBSW #image #question #similarity
Does organisation by similarity assist image browsing? (KR, WB, DS, KRW), pp. 190–197.
IJCARIJCAR-2001-SchmittLKN #interactive #proving #theorem proving
JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants (SS, LL, CK, AN), pp. 421–426.
VLDBVLDB-2000-ChakrabartiSST #collaboration #mining #named
Memex: A Browsing Assistant for Collaborative Archiving and Mining of Surf Trails (SC, SS, MS, MT), pp. 603–606.
WRLAWRLA-2000-Nakashima #bibliography #information management
Cyber Assistance for Situtated Human Information Processing Overview of the invited talk (HN), pp. 292–293.
CHICHI-2000-IsbisterNIN #design #interactive
Helper agent: designing an assistant for human-human interaction in a virtual meeting space (KI, HN, TI, CN), pp. 57–64.
CHICHI-2000-VivacquL
Agents to assist in finding help (ASV, HL), pp. 65–72.
CAiSECAiSE-2000-SignerEN #database #web
A Personal Assistant for Web Database Caching (BS, AE, MCN), pp. 64–78.
CIKMCIKM-2000-LanBOT
Rule-Assisted Prefetching in Web-Server Caching (BL, SB, BCO, KLT), pp. 504–511.
SIGIRSIGIR-2000-ReitererMMH #named
INSYDER — an information assistant for business intelligence (HR, GM, TMM, SH), pp. 112–119.
OOPSLAOOPSLA-2000-OrtigosaCM #framework #towards
Towards agent-oriented assistance for framework instantiation (AO, MC, RM), pp. 253–263.
SACSAC-2000-Khalili #assembly #using
Using Pads Instead of Fiducial Marks in Vision Assisted Assembly of PCB’s (KK), pp. 5–9.
SACSAC-2000-KreahlingN
Profile Assisted Register Allocation (WCK, CN), pp. 774–781.
FSEFSE-2000-JacksonS #architecture #framework #modelling
COM revisited: tool-assisted modelling of an architectural framework (DJ, KJS), pp. 149–158.
ICSEICSE-2000-OConnorCM #named
Prompter — a project planning assistant (RO, RC, TM), p. 788.
ISMMISMM-2000-HeilS #concurrent #garbage collection #profiling
Concurrent Garbage Collection UsingHardware-Assisted Profiling (THH, JES), pp. 80–93.
DACDAC-1999-HuGRQ #design #framework
A Framework for User Assisted Design Space Exploration (XH, GWG, SR, GQ), pp. 414–419.
ICSMEICSM-1999-ChuHLH #approach #design #formal method #reuse
A Semi-Formal Approach to Assist Software Design with Reuse (WCC, CPH, CWL, XH), pp. 256–264.
HCIHCI-CCAD-1999-ArafaCFM
Personal service assistants with personality (YA, PC, PF, EHM), pp. 147–151.
HCIHCI-CCAD-1999-ContractorBZ #case study #community #named #network
PrairieKNOW: a tool to assist the study, creation, and growth of community networks (NSC, APB, DZ), pp. 447–451.
HCIHCI-CCAD-1999-FlemischO
The search for pilot’s ideal complement: experimental results with the crew assistant military Aircraft CAMA (FOF, RO), pp. 1271–1275.
HCIHCI-CCAD-1999-GermannBO #artificial reality
Assisting individuals with disabilities through the use of virtual reality technologies (CG, JKB, POJ), pp. 952–956.
HCIHCI-CCAD-1999-Murphy #online
On-line instruction in assistive technology (HJM), pp. 848–852.
HCIHCI-CCAD-1999-NisslerMH #3d #classification #design #how
How to get the right outfit for my agent? Classification — and design methodology for a virtual shopping assistant in a 3D world (JN, JM, AH), pp. 162–166.
HCIHCI-EI-1999-Boy #safety
About the Role of Intelligent Assistants in the Control of Safety-Critical Systems (GAB), pp. 321–325.
HCIHCI-EI-1999-MasuiOT #evaluation #user interface
Proposal and Evaluation of User Interface for Personal Digital Assistants (NM, TO, YT), pp. 968–972.
HCIHCI-EI-1999-Sokolov #biology #education #feedback
Computer Assisted Education with Cognitive and Biological Feedback Loops (ES), pp. 834–837.
HCIHCI-EI-1999-Vanderdonckt99b #design #interactive
Assisting Designers in Developing Interactive Business Oriented Applications (JV), pp. 1043–1047.
AdaSIGAda-1999-Lowe #ada #development #embedded #multi
Extending Ada to assist multiprocessor embedded development (TL), pp. 125–132.
ICEISICEIS-1999-BorgesN #development #object-oriented
An Assistant for Selecting Object Oriented Methods for Applications Development (GdESB, MEMN), p. 780.
ICMLICML-1999-GervasioIL #adaptation #evaluation #learning #scheduling
Learning User Evaluation Functions for Adaptive Scheduling Assistance (MTG, WI, PL), pp. 152–161.
SIGIRSIGIR-1999-AnickT #feedback
The Paraphrase Search Assistant: Terminological Feedback for Iterative Information Seeking (PGA, ST), pp. 153–159.
IWPCIWPC-1998-SingerL #design #re-engineering
Studying Work Practices to Assist Tool Design in Software Engineering (JS, TCL), pp. 173–179.
WCREWCRE-1998-BurdM #comprehension #re-engineering
Assisting Human Understanding to Aid the Targeting of Necessary Reengineering Work (EB, MM), pp. 2–9.
SACSAC-1998-NishimuraYKI #community #visualisation
Community viewer: visualizing community formation on personal digital assistants (TN, HY, TK, TI), pp. 433–438.
LCTESLCTES-1998-AroraS #debugging #embedded #realtime
A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems (GA, DBS), pp. 83–97.
ASEASE-1997-SetliffSM #design #distributed #embedded #towards
Towards a Design Assistant for Distributed Embedded Systems (DES, JKS, JAM), pp. 311–312.
DACDAC-1997-AgrawalG #behaviour #clustering #data flow #embedded
Data-Flow Assisted Behavioral Partitioning for Embedded Systems (SA, RKG), pp. 709–712.
HTHT-1997-IpC #retrieval #video
Hypertext-Assisted Video Indexing and Content-Based Retrieval (HHSI, SLC), pp. 232–233.
ITiCSEITiCSE-WGR-1997-Glazunov #education #on the
On mathematical assistant CARANT-REDUCE and its application to computer science education (demonstration) (NMG), p. 150.
HCIHCI-CC-1997-ChengK #industrial #re-engineering
Computer Based Engineering Systems Assistance for Manufacturing Industry Re-Engineering (KC, DK), pp. 729–732.
HCIHCI-CC-1997-Jones
Computer Assistive Remote Control for the Motor-Impaired User (PEJ), pp. 393–396.
HCIHCI-CC-1997-SoongB #visual notation
Some Experimental Suggestions to Assist the Visually Handicapped End-Users to Navigate the Information Space (NLS, GB), pp. 433–436.
HCIHCI-CC-1997-StutzO #adaptation #modelling
Adaptive Pilot Modeling Within Cockpit Crew Assistance (PS, RO), pp. 733–736.
HCIHCI-SEC-1997-KuzuokaN #using
Assisting Remote Instruction Using Copied Reality (HK, TN), pp. 957–960.
HCIHCI-SEC-1997-MacLeodMK #analysis #comprehension #human-computer #requirements
Understanding HCI Requirements: Expertise and Assistance to Imagery Analysis (ISM, AJM, EK), pp. 559–562.
HCIHCI-SEC-1997-MorrisH #library
Potential Key Stress Factors Among Academic Library Assistants (AM, SH), pp. 407–410.
HCIHCI-SEC-1997-StrohalO
The Crew Assistant Military Aircraft (CAMA) (MS, RO), pp. 7–10.
CIKMCIKM-1997-FruchtlKB #database
Assistant for an Information Database (MF, JK, MB), pp. 230–237.
RERE-1997-Salo #assessment #requirements
Groupware-Assisted Requirements Assessment (AS), p. 40.
CADECADE-1997-BenzmullerCFFHKKKMMSSS #named #towards
Omega: Towards a Mathematical Assistant (CB, LC, DF, AF, XH, MK, MK, KK, AM, EM, WS, JHS, VS), pp. 252–255.
ASEKBSE-1996-Hall
Trusting Your Assistant (RJH), p. 9.
ITiCSEITiCSE-1996-Siviter #collaboration #education #process
Computer assistance for managing educational resources and managing collaborative educational processes (DS), pp. 104–106.
KDDAKDDM-1996-Klosgen #multi #named
Explora: A Multipattern and Multistrategy Discovery Assistant (WK), pp. 249–271.
RTARTA-1996-Huet #design #proving
Design Proof Assistant (Abstract) (GPH), p. 153.
ICDARICDAR-v1-1995-SugimotoHO #documentation #research #retrieval
A document retrieval system for assisting creative research (MS, KH, SO), pp. 167–170.
ICDARICDAR-v2-1995-RheeF #documentation
Intelligent document assistant processor for pen-based computing systems (PKR, TF), pp. 1065–1068.
WCREWCRE-1995-JarzabekK #design #reverse engineering
Design of a Generic Reverse Engineering Assistant Tool (SJ, TPK), pp. 61–70.
HPCAHPCA-1995-TemamD
Software Assistance for Data Caches (OT, ND), pp. 154–163.
ISMMIWMM-1995-Nilsen #garbage collection #realtime
Progress in Hardware-Assisted Real-Time Garbage Collection (KDN), pp. 355–379.
ASEKBSE-1994-Benner #development #knowledge-based
Knowledge-Based Software Assistant — Advanced Development Model Demonstrations (KB), p. 3.
ASEKBSE-1994-Bolcer #design #development #scalability #user interface
User Interface Design Assistance For Large-Scale Software Development (GAB), pp. 142–149.
ASEKBSE-1994-TerveenS #case study
Intelligent Assistance for Software Construction: A Case Study (LGT, PGS), pp. 14–21.
CHICHI-1994-EisenbergF94a #design #programmable #programming
Programmable design environments: integrating end-user programming with domain-oriented assistance (ME, GF), pp. 431–437.
CSCWCSCW-1994-BergmannM #automation #lifecycle
Automated Assistance for the Telemeeting Lifecycle (NWB, JCM), pp. 373–384.
SEKESEKE-1994-Abd-El-HafizB #comprehension #development
A tool for assisting the understanding and formal development of software (SKAEH, VRB), pp. 36–45.
SACSAC-1994-RothermelT #bibliography #learning #logic
Test Review: a new method of computer-assisted learning to promote careful reading and logical skills (DR, GT), pp. 573–577.
ASPLOSASPLOS-1994-SchmidtN #garbage collection #performance #realtime
Performance of a Hardware-Assisted Real-Time Garbage Collector (WJS, KDN), pp. 76–85.
ASEKBSE-1993-KingstonVD #approach #development #evaluation #hybrid #using
Development of an Expert Assistant for Software Evaluation using a Hybrid Approach (GK, RV, PD), p. 26.
ASEKBSE-1993-Lutz #knowledge base
The Knowledge Base Maintenace Assistant (EL), p. 15.
HTHT-1993-Raphaely #hypermedia #research
Technologically Assisted Focussing in Psychotherapy with Couples: A Hypertext Application for Clients, Clinicians & Researchers (DR), pp. 250–255.
HCIHCI-ACS-1993-WittigO #fault
Inferring Pilot Intent and Error as a Basis for Electronic Crew Assistance (TW, RO), pp. 386–391.
HCIHCI-SHI-1993-ChoMHM #algorithm #comprehension #development #recognition
A Pen-Based System to Input Correct Answers to Assist in the Development of Recognition and Understanding Algorithms of Ink Data (YC, TM, SH, SM), pp. 68–73.
HCIHCI-SHI-1993-DarsesFR
Cooperating Partners: Investigating Natural Assistance (FD, PF, JMR), pp. 997–1002.
HCIHCI-SHI-1993-GerlachO #interface
A Dialogue Manager as Interface between Aircraft Pilots and a Pilot Assistant System (MG, RO), pp. 98–103.
HCIHCI-SHI-1993-HerrmannK #layout
Supporting Instead of Replacing the Planner — An Intelligent Assistant System for Factory Layout Planning (JH, MK), pp. 796–801.
HCIHCI-SHI-1993-NogamiYYM #development #learning
Development of a Simulation-Based Intelligent Tutoring System for Assisting PID Control Learning (TN, YY, IY, SM), pp. 814–818.
HCIHCI-SHI-1993-SaitoTF
A Computer-Assisted Instruction System for Beginner’s Crude Charge Schedulers (KS, TT, KF), pp. 831–836.
CHIINTERCHI-1993-KimF #design #user interface
Providing high-level control and expert assistance in the user interface presentation design (WCK, JDF), pp. 430–437.
CHIINTERCHI-1993-StaskoBL #algorithm #analysis #animation #empirical #learning
Do algorithm animations assist learning?: an empirical study and analysis (JTS, ANB, CL), pp. 61–66.
SEKESEKE-1993-DeBellis
Intelligent Assistance for Transformation-Based Environments (MD), pp. 158–165.
SEKESEKE-1993-White #knowledge-based
The Knowledge-Based Software Assistant Program (DAW), p. 588.
CAVCAV-1993-Sogaard-AndersenGGLP #proving #simulation
Computer-Assisted Simulation Proofs (JFSA, SJG, JVG, NAL, AP), pp. 305–319.
CSLCSL-1993-Coquand #analysis #semantics
From Semantics to Rules: A Machine Assisted Analysis (CC), pp. 91–105.
DACDAC-1992-ChangCLLO #design #named #performance
IPDA: Interconnect Performance Design Assistant (NHC, KJC, JL, KL, SYO), pp. 472–477.
ASEKBSE-1992-Selfridge #design #development #scalability
Managing Design Knowledge to Provide Assistance to Large-Scale Software Development (PGS), p. 24.
CHICHI-1992-Guindon #design #interface #object-oriented #requirements #visual notation
Requirements and design of DesignVision and object-oriented graphical interface to an intelligent software design assistant (RG), pp. 499–506.
SEKESEKE-1992-AkhrasM #generative #knowledge-based #process #towards
Towards Dynamic Generation of Knowledge-Based Environments for Software Process Assistance (FNA, SSSM), pp. 79–86.
CAVCAV-1992-Bradfield #model checking #proving
A Proof Assistant for Symbolic Model-Checking (JCB), pp. 316–329.
ASEKBSE-1991-Schoen #domain model #modelling
Active Assistance for Domain Modeling (ES), pp. 26–35.
ASEKBSE-1991-White #knowledge-based #summary
The Knowledge-Based Software Assistant: A Program Summary (DAW), pp. 2–6.
CAVCAV-1991-MauwV #proving
A Proof Assistant for PSF (SM, GJV), pp. 158–168.
CAVCAV-1991-Mutz #behaviour #correctness #proving #term rewriting #using
Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior (MM), pp. 277–287.
HTECHT-1990-BiennierGP #network
Browsing in Hyperdocuments with the Assistance of a Neural Network (FB, MG, JMP), pp. 288–297.
HTECHT-1990-SchulerS #authoring
Author’s Argumentation Assistant (AAA): A Hypertext-Based Authoring Tool for Argumentative Texts (WS, JBS), pp. 137–151.
CAiSECAiSE-1990-VassiliouMKCMM #design #generative #named #requirements
IRIS — A Mapping Assistant for Generating Designs from Requirements (YV, MM, PK, LC, MM, JM), pp. 307–338.
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.
CADECADE-1990-AltucherP #category theory #proving
A Mechanically Assisted Constructive Proof in Category Theory (JAA, PP), pp. 500–513.
CAVCAV-1990-CarringtonR #refinement
Computer Assistance for Program Refinement (DAC, KAR), pp. 312–321.
DACDAC-1989-Muller-GlaserB #approach #design #specification #using
An Approach to Intelligent Assistance for the Specification of ASIC Design Using Objects and Rules (KDMG, JB), pp. 472–477.
SIGMODSIGMOD-1989-Troyer #constraints #database #scalability
RIDL*: A Tool for the Computer-Assisted Engineering of Large Databases in the Presence of Integrity Constraints (ODT), pp. 418–429.
SEKESEKE-1989-Smyrniotis
Imagery Analyst’s Assistant (CS), pp. 98–103.
FMVDME-1988-JonesM #design #empirical #named #proving #theorem proving #user interface
MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant (CBJ, RCM), pp. 337–375.
HCIHCI-CE-1987-CampbellR #graph
Issues in Computer-Assisted Interpretation of Graphs and Quantitative Information (JAC, SPR), pp. 473–480.
ICSEICSE-1987-KaiserF #architecture #development
An Architecture for Intelligent Assistance in Software Development (GEK, PHF), pp. 180–188.
ASPLOSASPLOS-1987-BeckKT #multi
VLSI Assist For a Multiprocessor (BB, BK, SST), pp. 10–20.
DACDAC-1985-KowalskiT #automation #design #knowledge base #what
The VLSI design automation assistant: what’s in a knowledge base (TJK, DET), pp. 252–258.
ICSEICSE-1984-MohriOUTS #design #implementation #named #source code
PDAS: An Assistant for Detailed Design and Implementation of Programs (TM, EO, SU, TT, HS), pp. 108–115.
DACDAC-1983-KowalskiT #automation #design #prototype #type system
The VLSI Design Automation Assistant: Prototype system (TJK, DET), pp. 479–483.
DACDAC-1983-Leblond #named
CAF: A computer-assisted floorplanning tool (AL), pp. 747–753.
DACDAC-1982-Seiler #architecture #design #hardware
A hardware assisted design rule check architecture (LS), pp. 232–238.
VLDBVLDB-1982-Hawthorn #assembly #database #statistics #tuple
Microprocessor Assisted Tuple Access, Decompression and Assembly for Statistical Database Systems (PBH), pp. 223–233.
ICSEICSE-1981-RellesP #online #user interface
A User Interface for Online Assistance (NR, LAP), pp. 400–409.
ICSEICSE-1979-Amey
The Computer Assisted Software (Case) System (WSA), pp. 111–115.
DACDAC-1978-Bathke #named #process
CAMRAS: Computer Assisted Mapping & Records Activity Systems (WLB), p. 53.
DACDAC-1976-CytrynP
A system for computer assisted planning (Planning ADES) (AC, WHP), pp. 134–140.
POPLPOPL-1975-Mikelsons
Computer Assisted Application Definition (MM), pp. 233–242.
DACDAC-1971-Eastman #named
GSP: A system for computer assisted space planning (CEE), pp. 208–220.
DACDAC-1970-Smith #layout
Computer-assisted template layout (KES), pp. 145–157.

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.