Stem assist$ (all stems)

498 papers:

CASE-2015-HuangCZ #modelling

Interval model based human welder’s movement control in machine assisted manual GTAW torch operation (NH, SC, YZ), pp. 395–400.

CASE-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.

CASE-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.

CASE-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.

DAC-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.

DAC-2015-DaviHPSKSAJ #named

HAFIX: hardware-assisted flow integrity extension (LD, MH, DP, ARS, PK, DS, OA, YJ), p. 6.

DATE-2015-BrennaBBL #design

A tool for the assisted design of charge redistribution SAR ADCs (SB, AB, AB, ALL), pp. 1265–1268.

DATE-2015-GuardatiCFB #framework

Paper, pen and ink: an innovative system and software framework to assist writing rehabilitation (LG, FC, EF, LB), pp. 1473–1478.

DATE-2015-KainthKNVT #obfuscation

Hardware-assisted code obfuscation for FPGA soft microprocessors (MK, LK, CN, SGV, RT), pp. 127–132.

DATE-2015-NiemannHGW #formal method #generative #modelling

Assisted generation of frame conditions for formal models (PN, FH, MG, RW), pp. 309–312.

DATE-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.

ITiCSE-2015-Frison #algorithm #education

A Teaching Assistant for Algorithm Construction (PF), pp. 9–14.

ITiCSE-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.

SCAM-2015-ChochlovEB #data flow #feature model #using

Using changeset descriptions as a data source to assist feature location (MC, ME, JB), pp. 51–60.

ICFP-2015-Blanchette0T #perspective #proving #recursion

Foundational extensible corecursion: a proof assistant perspective (JCB, AP, DT), pp. 192–204.

CHI-2015-BuehlerBACHHK #design

Sharing is Caring: Assistive Technology Designs on Thingiverse (EB, SMB, AA, JJC, MKH, AH, SKK), pp. 525–534.

CHI-2015-ChangLKS #behaviour #comprehension #gesture #mobile #scalability

Understanding Users’ Touch Behavior on Large Mobile Touch-Screens and Assisted Targeting by Tilting Gesture (YC, SL, KK, JS), pp. 1499–1508.

CHI-2015-JoKS #named

EyeBookmark: Assisting Recovery from Interruption during Reading (JJ, BHK, JS), pp. 2963–2966.

CHI-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.

CHI-2015-ZhaoDFZ #approach #named

CoFaçade: A Customizable Assistive Approach for Elders and Their Helpers (JCZ, RCD, PSF, SZ), pp. 1583–1592.

CSCW-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.

DUXU-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.

DUXU-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.

HCI-DE-2015-GhoshP #approach #design #mobile

Designing of a Natural Voice Assistants for Mobile Through User Centered Design Approach (SG, JP), pp. 320–331.

HCI-IT-2015-EvansBCLC #bibliography

A Systematic Review of Dementia Focused Assistive Technology (JE, MAB, TC, GL, MPC), pp. 406–417.

HCI-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.

HIMI-IKC-2015-KurihashiMT #self

Self-perception of Assister Driver Responsibility and Contribution in Mutual Assistance System (SK, YM, KT), pp. 233–242.

LCT-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.

LCT-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.

LCT-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.

ICEIS-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.

SIGIR-2015-CapraACV #complexity #difference

Differences in the Use of Search Assistance for Tasks of Varying Complexity (RC, JA, AC, EV), pp. 23–32.

SIGIR-2015-CormackG #bibliography #learning #multi #perspective

Multi-Faceted Recall of Continuous Active Learning for Technology-Assisted Review (GVC, MRG), pp. 763–766.

SIGIR-2015-WeiG #summary #twitter #using

Gibberish, Assistant, or Master?: Using Tweets Linking to News for Extractive Single-Document Summarization (ZW, WG), pp. 1003–1006.

MoDELS-2015-Rodriguez-Echeverria #analysis #approach #evolution #model transformation #statistics

A statistical analysis approach to assist model transformation evolution (RRE, FM), pp. 226–235.

POPL-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.

SAC-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.

SAC-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-FSE-2015-FengCJFX #crowdsourcing #testing

Test report prioritization to assist crowdsourced testing (YF, ZC, JAJ, CF, BX), pp. 225–236.

ICSE-v1-2015-VakilianPEJ #named

Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool (MV, AP, MDE, REJ), pp. 234–245.

ICSE-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.

ASPLOS-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.

CADE-2015-KissingerZ #diagrams #named #proving #reasoning

Quantomatic: A Proof Assistant for Diagrammatic Reasoning (AK, VZ), pp. 326–336.

CADE-2015-SaghafiDD

Exploring Theories with a Model-Finding Assistant (SS, RD, DJD), pp. 434–449.

CADE-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.

ISSTA-2015-KhoshnoodKW #concurrent #constraints #debugging #named #theorem proving

ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs (SK, MK, CW), pp. 165–176.

CASE-2014-CunninghamKSWKBW #mobile #named

Jamster: A mobile dual-arm assistive robot with Jamboxx control (AC, WKH, US, DW, DK, JB, JTW), pp. 509–514.

CASE-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.

CASE-2014-LeeSP #automation

Automatic optimal control of Field Assisted Sintering Technology (JL, JS, VP), pp. 764–769.

CASE-2014-LyuYCCC #development #monitoring

Development of robotic walking-aid system with mobility assistance and remote monitoring (SRL, WTY, YSC, HHC, YLC), pp. 830–835.

DAC-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.

DAC-2014-EkenZWJLC #self

A New Field-assisted Access Scheme of STT-RAM with Self-reference Capability (EE, YZ, WW, RVJ, HL, YC), p. 6.

DAC-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.

DATE-2014-ParkYLL #graph #memory management #representation

Accelerating graph computation with racetrack memory and pointer-assisted graph representation (EP, SY, SL, HL), pp. 1–4.

HT-2014-KoidlCW #independence #personalisation

Cross-site personalization: assisting users in addressing information needs that span independently hosted websites (KK, OC, VW), pp. 66–76.

SIGMOD-2014-ZhangZCJC #named

CrowdMatcher: crowd-assisted schema matching (CJZ, ZZ, LC, HVJ, CCC), pp. 721–724.

VLDB-2014-AmsterdamerDMNS #mining #ontology

Ontology Assisted Crowd Mining (YA, SBD, TM, SN, AS), pp. 1597–1600.

ICPC-2014-SouzaCM #development #ranking

Ranking crowd knowledge to assist software development (LBLdS, ECC, MdAM), pp. 72–82.

PLDI-2014-TavarageriKS #detection #fault #memory management

Compiler-assisted detection of transient memory errors (ST, SK, PS), p. 24.

FM-2014-LiuGL #analysis #reliability

MDP-Based Reliability Analysis of an Ambient Assisted Living System (YL, LG, YL), pp. 688–702.

IFM-2014-ChaudhariD #automation #proving #theorem proving

Automated Theorem Prover Assisted Program Calculations (DLC, OPD), pp. 205–220.

CHI-2014-ChenGWSHFA #3d #authoring #modelling

History assisted view authoring for 3D models (HTC, TG, LYW, RMS, BH, GWF, MA), pp. 2027–2036.

CHI-2014-HuangSKSMS #physics #smarttech

A technology probe of wearable in-home computer-assisted physical therapy (KH, PJS, SBK, AS, JM, DPS), pp. 2541–2550.

CHI-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.

CHI-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.

CHI-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.

CHI-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.

DHM-2014-ItoTGK #analysis #research

Research on Senior Response to Transfer Assistance between Wheelchair and Bed — EEG Analysis (MI, YT, AG, NK), pp. 558–566.

DUXU-DI-2014-AcarturkAH #comprehension #graph

Developing a Verbal Assistance System for Line Graph Comprehension (CA, ÖA, CH), pp. 373–382.

DUXU-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.

DUXU-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.

HCI-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.

HCI-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.

HCI-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.

HCI-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.

HCI-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.

HCI-TMT-2014-SantanaB #personalisation

Log-Based Personalization Tool as an Assistive Technology (VFdS, MCCB), pp. 433–444.

HIMI-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.

HIMI-AS-2014-MoorthyV

Voice Activated Personal Assistant: Acceptability of Use in the Public Space (AEM, KPLV), pp. 324–334.

HIMI-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.

LCT-NLE-2014-PaisT #deduction #first-order #logic #novel #proving

Novel Didactic Proof Assistant for First-Order Logic Natural Deduction (JP, AT), pp. 441–451.

LCT-TRE-2014-AlmazovaK #approach #student

Computer Assisted Individual Approach to Acquiring Foreign Vocabulary of Students Major (NA, MK), pp. 248–257.

CAiSE-2014-ChanYGM #development #execution #mining #process

Mining Event Logs to Assist the Development of Executable Process Variants (NNC, KY, WG, JM), pp. 548–563.

ICEIS-v2-2014-BassoPFR #information management #prototype #web

Assisted Tasks to Generate Pre-prototypes for Web Information Systems (FPB, RMP, RZF, FRF), pp. 14–25.

ICEIS-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.

ICEIS-v3-2014-SilvaFG14a #artificial reality #speech

Assisting Speech Therapy for Autism Spectrum Disorders with an Augmented Reality Application (CAdS, ARF, APG), pp. 38–45.

CIKM-2014-AwadallahZ #evaluation

Machine-Assisted Search Preference Evaluation (AHA, IZ), pp. 51–60.

ICPR-2014-AhmadKM #analysis

Computer Assisted Analysis System of Electroencephalogram for Diagnosing Epilepsy (MAA, NAK, WM), pp. 3386–3391.

KEOD-2014-Grabska #approach #concept #ontology #process

An Ontology based Approach for Assisting Conceptualisation in CAD Processes (EG), pp. 272–279.

KMIS-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.

SEKE-2014-AnvikBBC

Assisting Software Projects with Assignment Recomender Creation (JA, MB, HB, JC), pp. 470–473.

SIGIR-2014-CormackG #bibliography #evaluation #protocol

Evaluation of machine-learning protocols for technology-assisted review in electronic discovery (GVC, MRG), pp. 153–162.

RE-2014-GregoriadesPS #requirements

Simulation-based requirements discovery for smart driver assistive technologies (AG, MP, AGS), pp. 317–318.

SAC-2014-BillhardtLOBD

Intelligent event processing for emergency medical assistance (HB, ML, SO, RB, JD), pp. 200–206.

HPCA-2014-AhnYC #architecture #named #predict

DASCA: Dead Write Prediction Assisted STT-RAM Cache Architecture (JA, SY, KC), pp. 25–36.

CASE-2013-JiangSCBG #synthesis

Moving trajectories and controller synthesis for an assistive device for arm rehabilitation (LJ, RS, MHMC, LEB, GG), pp. 268–273.

CASE-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.

CASE-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.

DAC-2013-KarakostasTUNC #energy #performance

Improving the energy efficiency of hardware-assisted watchpoint systems (VK, ST, OSÜ, MN, AC), p. 6.

DAC-2013-KunduCSK

An ATE assisted DFD technique for volume diagnosis of scan chains (SK, SC, IS, RK), p. 6.

DAC-2013-LiuHLMCHZ

Digital-assisted noise-eliminating training for memristor crossbar-based analog neuromorphic computing engine (BL, MH, HL, ZHM, YC, TH, WZ), p. 6.

DAC-2013-WangW #named

SAW: system-assisted wear leveling on the write endurance of NAND flash devices (CW, WFW), p. 9.

DATE-2013-LiuN #multi

Radar signature in multiple target tracking system for driver assistant application (HL, SN), pp. 887–892.

DATE-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.

DocEng-2013-Rinaldi #challenge #editing #motivation

Assisted editing in the biomedical domain: motivation and challenges (FR), pp. 197–200.

ICDAR-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.

CSEET-2013-UrregoC #architecture #named

Archinotes: A tool for assisting software architecture courses (JSU, DC), pp. 80–88.

ITiCSE-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.

ICSM-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.

MSR-2013-SismanK #automation #code search #debugging #locality #query

Assisting code search with automatic query reformulation for bug localization (BS, ACK), pp. 309–318.

CHI-2013-LanirSCG

Ownership and control of point of view in remote assistance (JL, RS, BC, PG), pp. 2243–2252.

CHI-2013-PriorWBK #agile #development

Use of an agile bridge in the development of assistive technology (SP, AW, RB, TK), pp. 1579–1588.

CHI-2013-SaliviaH #named

PointAssist: assisting individuals with motor impairments (GS, JPH), pp. 1213–1222.

CSCW-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.

DHM-HB-2013-HartwigW #health #persuasion #safety

Safety and Health at Work through Persuasive Assistance Systems (MH, AW), pp. 40–49.

DHM-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.

HCI-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.

HCI-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.

HCI-IMT-2013-BoyP

A Situation Awareness Assistant for Human Deep Space Exploration (GAB, DP), pp. 629–636.

HCI-UC-2013-ArmentanoA #feedback #interactive #navigation #web

The Effects of Negative Interaction Feedback in a Web Navigation Assistant (MGA, AAA), pp. 107–116.

HIMI-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.

HIMI-HSM-2013-NakamuraN

Tactile Vibration of Personal Digital Assistants for Conveying Feelings (AN, MN), pp. 400–410.

HIMI-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.

HIMI-HSM-2013-SasakiHAI #simulation #using

Train Ride Simulation Using Assist Strap Device (TS, KH, TA, YI), pp. 189–197.

ICEIS-v2-2013-MachadoPATWO

Situation-awareness as a Key for Proactive Actions in Ambient Assisted Living (AM, AMP, IA, LHT, LKW, JPMdO), pp. 418–426.

ECIR-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.

ECIR-2013-GalitskyK #mining #web

A Web Mining Tool for Assistance with Creative Writing (BG, SOK), pp. 828–831.

ICML-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.

MoDELS-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.

MoDELS-2013-SteimannU

Generic Model Assist (FS, BU), pp. 18–34.

MoDELS-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.

MoDELS-2013-SteimannU

Generic Model Assist (FS, BU), pp. 18–34.

ICSE-2013-CanforaPGOP #developer #named

YODA: young and newcomer developer assistant (GC, MDP, SG, RO, SP), pp. 1331–1334.

ICSE-2013-LeeKS #named #recommendation #visual notation

NavClus: a graphical recommender for assisting code exploration (SL, SK, MS), pp. 1315–1318.

ICSE-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.

ICSE-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.

PLEASE-2013-AnishSMG #requirements

Knowledge-assisted product requirements configurator (PRA, SKS, MM, SG), pp. 29–32.

HPCA-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.

ISMM-2013-BrockGBD #named

Pacman: program-assisted cache management (JB, XG, BB, CD), pp. 39–50.

CASE-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.

DAC-2012-HuangLWT #interface

A non-intrusive timing synchronization interface for hardware-assisted HW/SW co-simulation (YHH, YSL, HIW, RST), pp. 127–132.

DAC-2012-LiSJ #crowdsourcing #named #towards #verification

CrowdMine: towards crowdsourced human-assisted verification (WL, SAS, SJ), pp. 1254–1255.

DATE-2012-LiDT #authentication #detection #framework #hardware #self

A sensor-assisted self-authentication framework for hardware trojan detection (ML, AD, MT), pp. 1331–1336.

DATE-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.

ITiCSE-2012-Luxton-ReillyDPS #how #learning #process #student

Activities, affordances and attitude: how student-generated questions assist learning (ALR, PD, BP, RS), pp. 4–9.

ITiCSE-2012-QueirosL #education #named #programming

PETCHA: a programming exercises teaching assistant (RAPQ, JPL), pp. 192–197.

TACAS-2012-UlbrichGGT #alloy #proving #specification

A Proof Assistant for Alloy Specifications (MU, UG, AAEG, MT), pp. 422–436.

SCAM-2012-YuanJ #compilation #named

CAWDOR: Compiler Assisted Worm Defense (JY, RJ), pp. 54–63.

CHI-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.

CHI-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.

CHI-2012-GurevichLCS #artificial reality #named

TeleAdvisor: a versatile augmented reality tool for remote assistance (PG, JL, BC, RS), pp. 619–622.

CHI-2012-YemKYSYY #using

Assisting hand skill transfer of tracheal intubation using outer-covering haptic display (VY, HK, NY, RS, HY, JY), pp. 3177–3180.

ICEIS-J-2012-StuckenschmidtNF12a #integration

User-Centric Data Integration with the MappingAssistant (HS, JN, FF), pp. 323–339.

ICPR-2012-LePB #detection #navigation #people

Pedestrian lane detection for assistive navigation of blind people (MCL, SLP, AB), pp. 2594–2597.

ICPR-2012-VillamizarGSM #learning #online #random #using

Online human-assisted learning using Random Ferns (MV, AG, AS, FMN), pp. 2821–2824.

ICPR-2012-YamasakiC #classification #recognition #refinement

Confidence-assisted classification result refinement for object recognition featuring TopN-Exemplar-SVM (TY, TC), pp. 1783–1786.

KEOD-2012-BachaZ12a #design #education

Designing a Model of Arabic Derivation, for Use in Computer Assisted Teaching (KB, MZ), pp. 352–356.

KEOD-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.

KEOD-2012-MinhasB #development

Development of Intelligent Assistance System to Support Eco-efficient Planning (SUHM, UB), pp. 331–334.

RecSys-2012-DongSOMS

The demonstration of the reviewer’s assistant (RD, MS, MPO, KM, BS), pp. 297–298.

SIGIR-2012-FeildA

Task-aware search assistant (HAF, JA), p. 1015.

TOOLS-EUROPE-2012-SoekenWD #behaviour #development #natural language #using

Assisted Behavior Driven Development Using Natural Language Processing (MS, RW, RD), pp. 269–287.

FSE-2012-ServantJ #slicing

History slicing: assisting code-evolution tasks (FS, JAJ), p. 43.

ICSE-2012-Chowdhury #development #tool support

Assisting end-user development in browser-based mashup tools (SRC), pp. 1625–1627.

HPCA-2012-YangXMZ #architecture #cpu #gpu

CPU-assisted GPGPU on fused CPU-GPU architectures (YY, PX, MM, HZ), pp. 103–114.

LCTES-2012-LiZXH #embedded #hybrid

Compiler-assisted preferred caching for embedded systems with STT-RAM based hybrid cache (QL, MZ, CJX, YH), pp. 109–118.

ICST-2012-DucheneGRR #detection #fuzzing #model inference #using

XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing (FD, RG, SR, JLR), pp. 815–817.

VMCAI-2012-Nipkow #education #proving #semantics

Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs (TN), pp. 24–38.

DATE-2011-ShanbhagS #design

System-assisted analog mixed-signal design (NRS, ACS), pp. 1491–1496.

DocEng-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.

ICDAR-2011-GuichardCC #documentation #word

Exploiting Collection Level for Improving Assisted Handwritten Word Transcription of Historical Documents (LG, JC, BC), pp. 875–879.

VLDB-2011-ParameswaranSGPW #graph

Human-assisted graph search: it’s okay to ask questions (AGP, ADS, HGM, NP, JW), pp. 267–278.

ITiCSE-2011-WahbaFH #network #student

A technology-assisted scavenger hunt for introducing K-12 students to sensor networks (SKW, YF, JOH), pp. 73–77.

CSMR-2011-HassamSGF #adaptation #constraints #evolution #metamodelling #ocl

Assistance System for OCL Constraints Adaptation during Metamodel Evolution (KH, SS, VLG, RF), pp. 151–160.

WCRE-2011-Mintchev #integration #legacy #program transformation

Renovation by Machine-Assisted Program Transformation in Production Reporting and Integration (SM), pp. 406–410.

CHI-2011-BatemanMSG #game studies

Target assistance for subtly balancing competitive play (SB, RLM, TS, CG), pp. 2355–2364.

CHI-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.

CHI-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.

CHI-2011-McGee-LennonWB #multimodal

User-centred multimodal reminders for assistive living (MRML, MKW, SAB), pp. 2105–2114.

CHI-2011-PasqueroH #feedback #interactive #mobile

Tactile feedback can assist vision during mobile interactions (JP, VH), pp. 3277–3280.

CHI-2011-ShinoharaW #interactive #social

In the shadow of misperception: assistive technology use and social interactions (KS, JOW), pp. 705–714.

DHM-2011-LaquaiDR #behaviour #modelling

Impact and Modeling of Driver Behavior Due to Cooperative Assistance Systems (FL, MD, GR), pp. 473–482.

DUXU-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.

DUXU-v1-2011-WebbOMPC #mobile #testing

Oracle Mobile User Assistance Testing (ENW, UO, RM, LP, MC), pp. 687–695.

DUXU-v1-2011-ZilzF #composition

Smart User Assistance Based on Dynamic Model Composition (RZ, PF), pp. 706–714.

DUXU-v2-2011-AgnerTF #usability

Scenario and Task Based Interview to Evaluate Usability of Computer Assisted Data Collection (LA, PT, SBLF), pp. 349–358.

HCD-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.

HCD-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.

HCI-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.

HCI-ITE-2011-SchmeierRA

Computer Assistance in Bilingual Task-Oriented Human-Human Dialogues (SS, MR, RA), pp. 387–395.

HCI-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.

HCI-UA-2011-Chu #navigation

Windows Positioning System: Aural Assistance Environment for the Aging in Windows Navigation (CNC), pp. 435–438.

HIMI-v1-2011-MarincSBLHK #interactive #personalisation

Interactive Personalization of Ambient Assisted Living Environments (AM, CS, AB, CL, CH, AK), pp. 567–576.

CIKM-2011-LeeJL #reachability #web

Assisting web search users by destination reachability (CHL, AJ, LL), pp. 719–728.

ECIR-2011-EickhoffPGTG #query #web

Web Search Query Assistance Functionality for Young Audiences (CE, TP, KG, SDT, RG), pp. 776–779.

SEKE-2011-ChenF #aspectj #model checking

Model Checking Framework-based Applications with AspectJ Assistance (ZC, SF), pp. 296–301.

SIGIR-2011-DingJSZY #named #web

Tulsa: web search for writing assistance (DD, XJ, MRS, MZ, YY), pp. 1287–1288.

RE-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.

SAC-2011-MajchrzakJLU #integration #mobile #social #towards #web

Towards better social integration through mobile web 2.0 ambient assisted living devices (TAM, AJ, ML, FÜ), pp. 821–822.

SAC-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-FSE-2011-LumpeMG #logic #named #specification

PSPWizard: machine-assisted definition of temporal logical properties with specification patterns (ML, IM, LG), pp. 468–471.

CAV-2011-JoseM #fault #locality #named #source code

Bug-Assist: Assisting Fault Localization in ANSI-C Programs (MJ, RM), pp. 504–509.

ASE-2010-LiuZHJM #named #programming #web

iMashup: assisting end-user programming for the service-oriented web (XL, QZ, GH, ZJ, HM), pp. 285–288.

ASE-2010-SindhgattaNSVR #developer #mining

Timesheet assistant: mining and reporting developer effort (RS, NCN, BS, KV, AGR), pp. 265–274.

DATE-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.

DATE-2010-ChandraPA #on the

On the efficacy of write-assist techniques in low voltage nanoscale SRAMs (VC, CP, RCA), pp. 345–350.

HT-2010-HsiehPJNS #generative #hypermedia

Assisting two-way mapping generation in hypermedia workspace (HwH, KP, AJ, GN, FMSI), pp. 99–108.

SIGMOD-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.

ICGT-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.

CHI-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.

CHI-2010-GrossmanF #comprehension #named #video

ToolClips: an investigation of contextual video assistance for functionality understanding (TG, GWF), pp. 1515–1524.

ICEIS-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.

ICEIS-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.

ICEIS-J-2010-LinPMDL #framework #information management

A Framework to Assist Environmental Information Processing (YL, CP, IM, JCD, TL), pp. 76–89.

ICEIS-J-2010-MausSHD #named #semantics

CONTASK: Context-Sensitive Task Assistance in the Semantic Desktop (HM, SS, JH, AD), pp. 177–192.

ECIR-2010-PotthastTS #named #word

Netspeak — Assisting Writers in Choosing Words (MP, MT, BS), p. 672.

ECIR-2010-SteinPT #web

Retrieving Customary Web Language to Assist Writers (BS, MP, MT), pp. 631–635.

ICPR-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.

ICPR-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.

KDIR-2010-Simac-LejeuneRL #video

Spatio-temporal Block Model for Video Indexation Assistance (ASL, MR, PL), pp. 475–480.

KMIS-2010-GonzalezCPL #usability

Developing Argument Assistant Systems from a Usability Viewpoint (MPG, CIC, NP, MJGL), pp. 157–163.

KMIS-2010-WiilGM #analysis #information management #network

CrimeFighter Assistant — A Knowledge Management Tool for Terrorist Network Analysis (UKW, JG, NM), pp. 15–24.

SEKE-2010-Nehmer #approach #consistency #exception

A Log-Assisted Approach Enforcing Consistency in the Presence of Exceptions (NN), pp. 757–764.

SEKE-2010-WangWLX #developer

Assisting Developers to Read Code Help-Documents Efficiently through Discovering Document-section Relationships (LW, LW, GL, BX), pp. 367–373.

TOOLS-EUROPE-2010-HalleuxT #named

Moles: Tool-Assisted Environment Isolation with Closures (JdH, NT), pp. 253–270.

SAC-2010-HurnausP #automation #composition #contract #programming #verification

Programming assistance based on contracts and modular verification in the automation domain (DH, HP), pp. 2544–2551.

HPCA-2010-DoudalisP #execution #hardware #named

HARE: Hardware assisted reverse execution (ID, MP), pp. 1–12.

WICSA-ECSA-2009-PaceCBSC #architecture #documentation #implementation

Assisting the synchronization of UCM-based architectural documentation with implementation (JADP, JPC, MB, AS, MRC), pp. 151–160.

CASE-2009-ParasuramanOG #development

Development of robot assisted stroke rehabilitation system of human upper limb (SP, AWO, VG), pp. 256–261.

CASE-2009-SubburajRA #3d #automation #geometry #reasoning

Automated 3D geometric reasoning in Computer Assisted joint reconstructive surgery (KS, BR, MA), pp. 367–372.

DAC-2009-KluterBIC #automation #set

Way Stealing: cache-assisted automatic instruction set extensions (TK, PB, PI, EC), pp. 31–36.

DAC-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.

ICDAR-2009-RomeroTV #feedback #image #using

Using Mouse Feedback in Computer Assisted Transcription of Handwritten Text Images (VR, AHT, EV), pp. 96–100.

ICPC-2009-JeffreyFGG #debugging #developer #named

BugFix: A learning-based tool to assist developers in fixing bugs (DJ, MF, NG, RG), pp. 70–79.

ICFP-2009-Pierce #education #programming language #proving #using

λ, the ultimate TA: using a proof assistant to teach programming language foundations (BCP), pp. 121–122.

CHI-2009-KassilS #evaluation

Evaluation of a tool-mounted guidance display for computer-assisted surgery (KK, AJS), pp. 1275–1278.

HCD-2009-AndreadisBF

A Personal Assistant for Autonomous Life (AA, GB, PF), pp. 408–415.

HCI-AUII-2009-Dai #design #research

Nine Assistant Guiding Methods in Subway Design — A Research of Shanghai Subway Users (LD), pp. 125–132.

HCI-NIMT-2009-GrafPH #framework

Robotic Home Assistant Care-O-bot® 3 Product Vision and Innovation Platform (BG, CP, MH), pp. 312–320.

HIMI-DIE-2009-Ehnes #artificial reality #automation #interface

A Tangible Mixed Reality Interface for the AMI Automated Meeting Assistant (JE), pp. 485–494.

HIMI-II-2009-DaoBBVSJ #automation

The Impact of Automation Assisted Aircraft Separation on Situation Awareness (AQVD, SLB, VB, KPLV, TZS, WWJ), pp. 738–747.

IDGD-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.

OCSC-2009-ConlonP #distance #learning #video

A Discussion of Video Capturing to Assist in Distance Learning (MC, VP), pp. 432–441.

ICEIS-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.

ICEIS-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.

KEOD-2009-KrempelsPST #development

Interconnected Tool-assistance for Development of Agent-oriented Software Systems (KHK, AP, JvS, CT), pp. 308–314.

KMIS-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.

MLDM-2009-FernandezBFM #automation #data mining #mining

Assisting Data Mining through Automated Planning (FF, DB, SF, DMM), pp. 760–774.

SEKE-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.

MoDELS-2009-MazanekM #diagrams #editing #modelling #process

Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors (SM, MM), pp. 322–336.

MoDELS-2009-MazanekM #diagrams #editing #modelling #process

Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors (SM, MM), pp. 322–336.

SAC-2009-BolingerHRR #collaboration #effectiveness #workflow

Collaborative workflow assistant for organizational effectiveness (JB, GH, JR, RR), pp. 273–280.

ICSE-2009-KnaussLM #heuristic #requirements

Feedback-driven requirements engineering: The Heuristic Requirements Assistant (EK, DL, SM), pp. 587–590.

HPCA-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.

LCTES-2009-SarkarMRM #manycore #migration #realtime

Push-assisted migration of real-time tasks in multi-core processors (AS, FM, HR, SM), pp. 80–89.

PPoPP-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.

QoSA-2008-PaceKBBB #design #framework #reasoning

Integrating Quality-Attribute Reasoning Frameworks in the ArchE Design Assistant (ADP, HK, LB, PB, FB), pp. 171–188.

CASE-2008-BittonG #algorithm #framework #named

Hydra: A framework and algorithms for mixed-initiative UAV-assisted search and rescue (EB, KG), pp. 61–66.

CASE-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.

CASE-2008-WangZZ #generative

A force control assisted robot path generation system (JW, HZ, GZ), pp. 528–533.

CASE-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.

FLOPS-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.

CHI-2008-HsiehLHK #communication #using

Using tags to assist near-synchronous communication (GH, JL, SEH, RK), pp. 223–226.

CHI-2008-KobayashiI #multi #scalability #using

Ninja cursors: using multiple cursors to assist target acquisition on large screens (MK, TI), pp. 949–958.

CSCW-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.

CSCW-2008-PalenV #interactive #online

The emergence of online widescale interaction in unexpected events: assistance, alliance & retreat (LP, SV), pp. 117–126.

CSCW-2008-PoonTAL #case study #distributed

Context-linked virtual assistants for distributed teams: an astrophysics case study (SSP, RCT, CRA, BL), pp. 361–370.

EDOC-2008-SimoninADTJN #architecture #development #enterprise #named

EA4UP: An Enterprise Architecture-Assisted Telecom Service Development Method (JS, FA, JPD, YLT, JMJ, BN), pp. 279–285.

ICEIS-HCI-2008-DeryckeVBL #interactive #named

E-Retail: Interaction of Intelligent Selling Space with Personal Selling Assistant (AD, TV, BB, PL), pp. 189–194.

ICEIS-HCI-2008-HornungBT #web

Assistive Technologies and Techniques for Web Based EGOV in Developing Countries (HHH, MCCB, CdAT), pp. 248–255.

ICEIS-HCI-2008-LucaB #design #implementation #navigation #recommendation

Microformats Based Navigation Assistant — A Non-intrusive Recommender Agent: Design and Implementation (APL, SCB), pp. 54–61.

SIGIR-2008-AnickK #realtime

A longitudinal study of real-time search assistance adoption (PGA, RGPK), pp. 701–702.

SIGIR-2008-CrainHZ #classification #scalability

A scalable assistant librarian: hierarchical subject classification of books (SPC, JH, HZ), pp. 799–800.

PPDP-2008-SilvaO #functional #prototype #proving #quote

“Galculator”: functional prototype of a Galois-connection based proof assistant (PFS, JNO), pp. 44–55.

SAC-2008-CohenBP #visualisation

The volume in focus: hardware-assisted focus and context effects for volume visualization (MC, KWB, NP), pp. 1231–1235.

ISMM-2008-CurialZAGCSA #named

MPADS: memory-pooling-assisted data splitting (SC, PZ, JNA, YG, SC, RS, RA), pp. 101–110.

ICLP-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.

QoSA-2007-PaceC #architecture #design #quality #using

Using Planning Techniques to Assist Quality-Driven Architectural Design Exploration (JADP, MRC), pp. 33–52.

ASE-2007-McIntyreW #automation #heuristic

Assisting potentially-repetitive small-scale changes via semi-automated heuristic search (MMM, RJW), pp. 497–500.

ASE-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.

DATE-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.

HT-2007-FarzanCFBS #adaptation #named #social #traversal

ASSIST: adaptive social support for information space traversal (RF, MC, JF, PB, BS), pp. 199–208.

HT-2007-LiYSK #estimation #similarity #web

User-assisted similarity estimation for searching related web pages (LL, ZY, KS, MK), pp. 11–20.

ICDAR-2007-ToselliRRV #image

Computer Assisted Transcription of Handwritten Text Images (AHT, VR, LR, EV), pp. 944–948.

SIGMOD-2007-NandiJ #interface #query #using

Assisted querying using instant-response interfaces (AN, HVJ), pp. 1156–1158.

VLDB-2007-NambiarGM #elicitation #named

CallAssist: Helping Call Center Agents in Preference Elicitation (UN, HG, MKM), pp. 1338–1341.

ITiCSE-2007-BuenoAC #adaptation #education #student

Assisting lecturers to adapt e-learning content for deaf students (FJB, MGA, JRFdC), p. 335.

ITiCSE-2007-ThomasSW #assessment #diagrams

Computer assisted assessment of diagrams (PGT, NS, KGW), pp. 68–72.

CSMR-2007-Sartipi #evolution #integration #multi #tool support

A Multi-view Toolkit to Assist Software Integration and Evolution (KS), pp. 337–338.

ICSM-2007-ChittimalliH #testing

Re-computing Coverage Information to Assist Regression Testing (PKC, MJH), pp. 164–173.

ICALP-2007-MontanaroW #bound #communication #complexity #quantum

A Lower Bound on Entanglement-Assisted Quantum Communication Complexity (AM, AJW), pp. 122–133.

AGTIVE-2007-MolEP #proving #reduction

A Single-Step Term-Graph Reduction System for Proof Assistants (MdM, MCJDvE, RP), pp. 184–200.

CHI-2007-KuberYM #feedback #internet #towards #visual notation

Towards developing assistive haptic feedback for visually impaired internet users (RK, WY, GM), pp. 1525–1534.

HCI-IPT-2007-AsaiK #comparative

Comparative Characteristics of a Head-Up Display for Computer-Assisted Instruction (KA, HK), pp. 531–540.

HCI-IPT-2007-CaleefatoMT #automation

Advanced Drivers Assistant Systems in Automation (CC, RM, FT), pp. 768–777.

HCI-IPT-2007-LuS #artificial reality #e-commerce

Augmented Reality E-Commerce Assistant System: Trying While Shopping (YL, SS), pp. 643–652.

HIMI-IIE-2007-IwakuraO

An Assistant Tool for Concealing Personal Information in Text (TI, SO), pp. 38–46.

HIMI-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.

HIMI-IIE-2007-Nirschl #development

Human-Centered Development of Advanced Driver Assistance Systems (GN), pp. 1088–1097.

OCSC-2007-AlShebliGK #social

The Social Implications of an Assisted Living Reminder System (BKA, EG, KK), pp. 239–249.

SEKE-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.

SEKE-2007-VasconcelosW #architecture #evaluation #quality #specification

Architectural Elements Recovery and Quality Evaluation to Assist in Reference Architectures Specification (APVdV, CMLW), pp. 494–499.

SAC-2007-AhamedHSK #pervasive #using

Wellness assistant: a virtual wellness assistant using pervasive computing (SIA, MMH, KS, AJK), pp. 782–787.

SAC-2007-OHareGJLOS #using

Using text search for personal photo collections with the MediAssist system (NO, CG, GJFJ, HL, NEO, AFS), pp. 880–881.

CGO-2007-KimJMP #compilation

Profile-assisted Compiler Support for Dynamic Predication in Diverge-Merge Processors (HK, JAJ, OM, YNP), pp. 367–378.

HPCA-2007-ZhouTZ #concurrent #detection #named

HARD: Hardware-Assisted Lockset-based Race Detection (PZ, RT, YZ), pp. 121–132.

CBSE-2006-TibermacineFS #component #evolution #on-demand

On-Demand Quality-Oriented Assistance in Component-Based Software Evolution (CT, RF, SS), pp. 294–309.

CASE-2006-LowY #design

Providing Assistance to Knee in the Design of a Portable Active Orthotic Device (KHL, YY), pp. 188–193.

DAC-2006-GoraiBBTM #protocol #verification

Directed-simulation assisted formal verification of serial protocol and bridge (SG, SB, LB, PT, RSM), pp. 731–736.

DATE-2006-HerkersdorfS #architecture #flexibility #named

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

TACAS-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.

ICSM-2006-Hassan #developer #mining #repository

Mining Software Repositories to Assist Developers and Support Managers (AEH), pp. 339–342.

FLOPS-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.

ICFP-2006-Chlipala #composition #development #proving #verification

Modular development of certified program verifiers with a proof assistant (AC), pp. 160–171.

CHI-2006-Dawe #how #product line

Desperately seeking simplicity: how young adults with cognitive disabilities and their families adopt assistive technologies (MD), pp. 1143–1152.

CHI-2006-NimwegenBOS #effectiveness

The paradox of the assisted user: guidance can be counterproductive (CvN, DDB, HvO, HS), pp. 917–926.

ICEIS-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.

ICPR-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.

ICPR-v1-2006-ChenCCW #detection

Nighttime Vehicle Detection for Driver Assistance and Autonomous Vehicles (YLC, YHC, CJC, BFW), pp. 687–690.

ICPR-v2-2006-HanheideHS #recognition

Action Recognition in aWearable Assistance System (MH, NH, GS), pp. 1254–1258.

ICPR-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.

SEKE-2006-GarlanS #architecture

An Architecture for Personal Cognitive Assistance (DG, BRS), pp. 91–97.

POPL-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.

SAC-2006-DinechinLM #using #verification

Assisted verification of elementary functions using Gappa (FdD, CQL, GM), pp. 1318–1322.

SAC-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.

SAC-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.

SAC-2006-ZankerG #recommendation

Recommendation-based browsing assistance for corporate knowledge portals (MZ, SG), pp. 1116–1117.

ICSE-2006-NehmerBKL #approach

Living assistance systems: an ambient intelligence approach (JN, MB, AIK, RL), pp. 43–50.

ASPLOS-2006-KawahitoKMIN #framework #recognition

A new idiom recognition framework for exploiting hardware-assist instructions (MK, HK, TM, HI, TN), pp. 382–393.

CAV-2006-RoordaC #abstraction #evaluation #refinement #satisfiability

SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation (JWR, KC), pp. 175–189.

DATE-2005-AroraRRJ #embedded #monitoring #runtime

Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring (DA, SR, AR, NKJ), pp. 178–183.

HT-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.

ICDAR-2005-HeD #evaluation #online

Evaluation of a User-Assisted Archive Construction System for Online Natural History Archives (JH, ACD), pp. 442–446.

VLDB-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.

RE-2005-LiP #elicitation #requirements

Computer-Assisted and Customer-Oriented Requirements Elicitation (KL, RJP), pp. 479–480.

SAC-2005-SilvaS #design #framework

A framework for result handling in bioinformatics: an application to computer assisted drug design (AOdS, ONdS), pp. 128–132.

LCTES-2005-ZhuM #feedback #scalability #scheduling

Feedback EDF scheduling exploiting hardware-assisted asynchronous dynamic voltage scaling (YZ, FM), pp. 203–212.

WICSA-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.

ASE-2004-HallZ #behaviour #requirements #validation

Validating Personal Requirements by Assisted Symbolic Behavior Browsing (RJH, AZ), pp. 56–66.

DocEng-2004-AndricHC #re-engineering #retrieval

Assisting artifact retrieval in software engineering projects (MA, WH, LC), pp. 48–50.

ITiCSE-2004-Liffick #human-computer

Introducing assistive technology in an HCI course (BWL), p. 232.

ITiCSE-2004-Liffick04a #human-computer

An assistive technology project for an HCI course (BWL), p. 273.

ITiCSE-2004-PaxtonH

Providing curricular assistance to a third world university computer science department (JP, KH), pp. 199–202.

ITiCSE-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.

FASE-2004-BartheD #bytecode #framework #verification

A Tool-Assisted Framework for Certified Bytecode Verification (GB, GD), pp. 99–113.

WCRE-2004-LakhotiaM #anti #order

Imposing Order on Program Statements to Assist Anti-Virus Scanners (AL, MM), pp. 161–170.

ICEIS-v5-2004-GattiM #communication #composition #predict

CABA2L A Bliss Predictive Composition Assistant for AAC Communication Software (NG, MM), pp. 89–96.

ICPR-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.

SEKE-2004-JannachK #online

Building on-line sales assistance systems with ADVISOR SUITE (DJ, GK), pp. 110–116.

SEKE-2004-RazBSKF #automation #elicitation

Automated Assistance for Eliciting User Expectations (OR, RBB, MS, PK, CF), pp. 80–85.

SEKE-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.

RE-2004-OmasreiterM #case study #process #specification

A Context-Driven Use Case Creation Process for Specifying Automotive Driver Assistance Systems (HO, EM), pp. 334–339.

SAC-2004-BerfieldBC #mobile #streaming

Profile and context filtering of streaming data for a mobile personal assistant (AB, JB, PKC), pp. 1615–1616.

SAC-2004-TorrensHPF #mobile #towards

Towards an intelligent mobile travel assistant (MT, PH, PP, BF), pp. 1208–1209.

ASE-2003-XieN #testing

Tool-Assisted Unit Test Selection Based on Operational Violations (TX, DN), pp. 40–48.

ICDAR-2003-HeD #analysis #documentation #image #library

User-Assisted Archive Document Image Analysis for Digital Library Construction (JH, ACD), pp. 498–502.

ITiCSE-2003-RatcliffeTET #collaboration #design #process

Capturing collaborative designs to assist the pedagogical process (MR, LT, WE, BJT), pp. 79–83.

SAS-2003-AbadiB #email #protocol #verification

Computer-Assisted Verification of a Protocol for Certified Email (MA, BB), pp. 316–335.

FME-2003-TengT #specification

Composing Temporal-Logic Specifications with Machine Assistance (JWT, YKT), pp. 719–738.

ICEIS-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.

ICEIS-v1-2003-SilvaSL #using

Updating GIS Data Using Personal Digital Assistants (HS, AVS, JCL), pp. 566–569.

CIKM-2003-KaoQPW #classification #information management

User assisted text classification and knowledge management (AK, LQ, SP, SW), pp. 524–527.

SEKE-2003-ChangKG #distributed #elicitation #requirements

Agent-assisted Distributed Requirements Elicitation and Management (CFC, AK, AKG), pp. 526–533.

SIGIR-2003-AgunF #component #hardware #named

HAT: a hardware assisted TOP-DOC inverted index component (SKA, OF), pp. 447–448.

SIGIR-2003-HeWON #interactive #query

User-assisted query translation for interactive CLIR (DH, JW, DWO, MN), p. 461.

RE-2003-JarkeFMS #process #requirements #traceability

Media-Assisted Product and Process Requirements Traceability in Supply Chains (MJ, OF, MM, MS), pp. 375–376.

ICSE-2003-Dingel #reasoning

Computer-Assisted Assume/Guarantee Reasoning with VeriSoft (JD), pp. 138–148.

TLCA-2003-Oury #coq #equivalence #proving

Observational Equivalence and Program Extraction in the Coq Proof Assistant (NO), pp. 271–285.

DATE-2002-BeniniBMM #embedded #energy

Hardware-Assisted Data Compression for Energy Minimization in Systems with Embedded Processors (LB, DB, AM, EM), pp. 449–453.

ITiCSE-2002-English #experience #programming

Experience with a computer-assisted formal programming examination (JE), pp. 51–54.

STOC-2002-NayakS #communication #on the #quantum

On communication over an entanglement-assisted quantum channel (AN, JS), pp. 698–704.

ICPR-v4-2002-LefaixMB #detection

Motion-Based Obstacle Detection and Tracking for Car Driving Assistance (GL, ÉM, PB), pp. 74–77.

SAC-2002-HexmoorV

Computational adjustable autonomy for NASA Personal Satellite Assistants (HH, JTV), pp. 21–26.

ICSE-2002-JonesHS #fault #locality #visualisation

Visualization of test information to assist fault localization (JAJ, MJH, JTS), pp. 467–477.

DocEng-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.

HT-2001-ReichG #documentation #named #navigation #process

Trailist — focusing on document activity for assisting navigation (SR, EG), pp. 29–30.

VLDB-2001-AmbiteKKMST #integration #web

The WorlInfo Assistant: Spatio-Temporal Information Integration on the Web (JLA, CAK, MRK, MM, CS, ST), pp. 717–718.

WCRE-2001-EmburyS #comprehension #legacy #transaction

Assisting the Comprehension of Legacy Transactions (SME, JS), p. 345–?.

FME-2001-FlanaganL #java

Houdini, an Annotation Assistant for ESC/Java (CF, KRML), pp. 500–517.

CHI-2001-AbergS #empirical #information management #web

An empirical study of human Web assistants: implications for user support in Web information systems (JÅ, NS), pp. 404–411.

CHI-2001-RoddenBSW #image #question #similarity

Does organisation by similarity assist image browsing? (KR, WB, DS, KRW), pp. 190–197.

IJCAR-2001-SchmittLKN #interactive #proving #theorem proving

JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants (SS, LL, CK, AN), pp. 421–426.

VLDB-2000-ChakrabartiSST #collaboration #mining #named

Memex: A Browsing Assistant for Collaborative Archiving and Mining of Surf Trails (SC, SS, MS, MT), pp. 603–606.

WRLA-2000-Nakashima #bibliography #information management

Cyber Assistance for Situtated Human Information Processing Overview of the invited talk (HN), pp. 292–293.

CHI-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.

CHI-2000-VivacquL

Agents to assist in finding help (ASV, HL), pp. 65–72.

CAiSE-2000-SignerEN #database #web

A Personal Assistant for Web Database Caching (BS, AE, MCN), pp. 64–78.

CIKM-2000-LanBOT

Rule-Assisted Prefetching in Web-Server Caching (BL, SB, BCO, KLT), pp. 504–511.

SIGIR-2000-ReitererMMH #named

INSYDER — an information assistant for business intelligence (HR, GM, TMM, SH), pp. 112–119.

OOPSLA-2000-OrtigosaCM #framework #towards

Towards agent-oriented assistance for framework instantiation (AO, MC, RM), pp. 253–263.

SAC-2000-Khalili #assembly #using

Using Pads Instead of Fiducial Marks in Vision Assisted Assembly of PCB’s (KK), pp. 5–9.

SAC-2000-KreahlingN

Profile Assisted Register Allocation (WCK, CN), pp. 774–781.

FSE-2000-JacksonS #architecture #framework #modelling

COM revisited: tool-assisted modelling of an architectural framework (DJ, KJS), pp. 149–158.

ICSE-2000-OConnorCM #named

Prompter — a project planning assistant (RO, RC, TM), p. 788.

ISMM-2000-HeilS #concurrent #garbage collection #profiling

Concurrent Garbage Collection UsingHardware-Assisted Profiling (THH, JES), pp. 80–93.

DAC-1999-HuGRQ #design #framework

A Framework for User Assisted Design Space Exploration (XH, GWG, SR, GQ), pp. 414–419.

ICSM-1999-ChuHLH #approach #design #formal method #reuse

A Semi-Formal Approach to Assist Software Design with Reuse (WCC, CPH, CWL, XH), pp. 256–264.

HCI-CCAD-1999-ArafaCFM

Personal service assistants with personality (YA, PC, PF, EHM), pp. 147–151.

HCI-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.

HCI-CCAD-1999-FlemischO

The search for pilot’s ideal complement: experimental results with the crew assistant military Aircraft CAMA (FOF, RO), pp. 1271–1275.

HCI-CCAD-1999-GermannBO #artificial reality

Assisting individuals with disabilities through the use of virtual reality technologies (CG, JKB, POJ), pp. 952–956.

HCI-CCAD-1999-Murphy #online

On-line instruction in assistive technology (HJM), pp. 848–852.

HCI-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.

HCI-EI-1999-Boy #safety

About the Role of Intelligent Assistants in the Control of Safety-Critical Systems (GAB), pp. 321–325.

HCI-EI-1999-MasuiOT #evaluation #user interface

Proposal and Evaluation of User Interface for Personal Digital Assistants (NM, TO, YT), pp. 968–972.

HCI-EI-1999-Sokolov #biology #education #feedback

Computer Assisted Education with Cognitive and Biological Feedback Loops (ES), pp. 834–837.

HCI-EI-1999-Vanderdonckt99b #design #interactive

Assisting Designers in Developing Interactive Business Oriented Applications (JV), pp. 1043–1047.

SIGAda-1999-Lowe #ada #development #embedded #multi

Extending Ada to assist multiprocessor embedded development (TL), pp. 125–132.

ICEIS-1999-BorgesN #development #object-oriented

An Assistant for Selecting Object Oriented Methods for Applications Development (GdESB, MEMN), p. 780.

ICML-1999-GervasioIL #adaptation #evaluation #learning #scheduling

Learning User Evaluation Functions for Adaptive Scheduling Assistance (MTG, WI, PL), pp. 152–161.

SIGIR-1999-AnickT #feedback

The Paraphrase Search Assistant: Terminological Feedback for Iterative Information Seeking (PGA, ST), pp. 153–159.

IWPC-1998-SingerL #design #re-engineering

Studying Work Practices to Assist Tool Design in Software Engineering (JS, TCL), pp. 173–179.

WCRE-1998-BurdM #comprehension #re-engineering

Assisting Human Understanding to Aid the Targeting of Necessary Reengineering Work (EB, MM), pp. 2–9.

SAC-1998-NishimuraYKI #community #visualisation

Community viewer: visualizing community formation on personal digital assistants (TN, HY, TK, TI), pp. 433–438.

LCTES-1998-AroraS #debugging #embedded #realtime

A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems (GA, DBS), pp. 83–97.

ASE-1997-SetliffSM #design #distributed #embedded #towards

Towards a Design Assistant for Distributed Embedded Systems (DES, JKS, JAM), pp. 311–312.

DAC-1997-AgrawalG #behaviour #clustering #data flow #embedded

Data-Flow Assisted Behavioral Partitioning for Embedded Systems (SA, RKG), pp. 709–712.

HT-1997-IpC #retrieval #video

Hypertext-Assisted Video Indexing and Content-Based Retrieval (HHSI, SLC), pp. 232–233.

ITiCSE-WGR-1997-Glazunov #education #on the

On mathematical assistant CARANT-REDUCE and its application to computer science education (demonstration) (NMG), p. 150.

HCI-CC-1997-ChengK #industrial #re-engineering

Computer Based Engineering Systems Assistance for Manufacturing Industry Re-Engineering (KC, DK), pp. 729–732.

HCI-CC-1997-Jones

Computer Assistive Remote Control for the Motor-Impaired User (PEJ), pp. 393–396.

HCI-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.

HCI-CC-1997-StutzO #adaptation #modelling

Adaptive Pilot Modeling Within Cockpit Crew Assistance (PS, RO), pp. 733–736.

HCI-SEC-1997-KuzuokaN #using

Assisting Remote Instruction Using Copied Reality (HK, TN), pp. 957–960.

HCI-SEC-1997-MacLeodMK #analysis #comprehension #human-computer #requirements

Understanding HCI Requirements: Expertise and Assistance to Imagery Analysis (ISM, AJM, EK), pp. 559–562.

HCI-SEC-1997-MorrisH #library

Potential Key Stress Factors Among Academic Library Assistants (AM, SH), pp. 407–410.

HCI-SEC-1997-StrohalO

The Crew Assistant Military Aircraft (CAMA) (MS, RO), pp. 7–10.

CIKM-1997-FruchtlKB #database

Assistant for an Information Database (MF, JK, MB), pp. 230–237.

RE-1997-Salo #assessment #requirements

Groupware-Assisted Requirements Assessment (AS), p. 40.

CADE-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.

KBSE-1996-Hall

Trusting Your Assistant (RJH), p. 9.

ITiCSE-1996-Siviter #collaboration #education #process

Computer assistance for managing educational resources and managing collaborative educational processes (DS), pp. 104–106.

AKDDM-1996-Klosgen #multi #named

Explora: A Multipattern and Multistrategy Discovery Assistant (WK), pp. 249–271.

RTA-1996-Huet #design #proving

Design Proof Assistant (Abstract) (GPH), p. 153.

ICDAR-v1-1995-SugimotoHO #documentation #research #retrieval

A document retrieval system for assisting creative research (MS, KH, SO), pp. 167–170.

ICDAR-v2-1995-RheeF #documentation

Intelligent document assistant processor for pen-based computing systems (PKR, TF), pp. 1065–1068.

WCRE-1995-JarzabekK #design #reverse engineering

Design of a Generic Reverse Engineering Assistant Tool (SJ, TPK), pp. 61–70.

HPCA-1995-TemamD

Software Assistance for Data Caches (OT, ND), pp. 154–163.

IWMM-1995-Nilsen #garbage collection #realtime

Progress in Hardware-Assisted Real-Time Garbage Collection (KDN), pp. 355–379.

KBSE-1994-Benner #development #knowledge-based

Knowledge-Based Software Assistant — Advanced Development Model Demonstrations (KB), p. 3.

KBSE-1994-Bolcer #design #development #scalability #user interface

User Interface Design Assistance For Large-Scale Software Development (GAB), pp. 142–149.

KBSE-1994-TerveenS #case study

Intelligent Assistance for Software Construction: A Case Study (LGT, PGS), pp. 14–21.

CHI-1994-EisenbergF94a #design #programmable #programming

Programmable design environments: integrating end-user programming with domain-oriented assistance (ME, GF), pp. 431–437.

CSCW-1994-BergmannM #automation #lifecycle

Automated Assistance for the Telemeeting Lifecycle (NWB, JCM), pp. 373–384.

SEKE-1994-Abd-El-HafizB #comprehension #development

A tool for assisting the understanding and formal development of software (SKAEH, VRB), pp. 36–45.

SAC-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.

ASPLOS-1994-SchmidtN #garbage collection #performance #realtime

Performance of a Hardware-Assisted Real-Time Garbage Collector (WJS, KDN), pp. 76–85.

KBSE-1993-KingstonVD #approach #development #evaluation #hybrid #using

Development of an Expert Assistant for Software Evaluation using a Hybrid Approach (GK, RV, PD), p. 26.

KBSE-1993-Lutz #knowledge base

The Knowledge Base Maintenace Assistant (EL), p. 15.

HT-1993-Raphaely #hypermedia #research

Technologically Assisted Focussing in Psychotherapy with Couples: A Hypertext Application for Clients, Clinicians & Researchers (DR), pp. 250–255.

HCI-ACS-1993-WittigO #fault

Inferring Pilot Intent and Error as a Basis for Electronic Crew Assistance (TW, RO), pp. 386–391.

HCI-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.

HCI-SHI-1993-DarsesFR

Cooperating Partners: Investigating Natural Assistance (FD, PF, JMR), pp. 997–1002.

HCI-SHI-1993-GerlachO #interface

A Dialogue Manager as Interface between Aircraft Pilots and a Pilot Assistant System (MG, RO), pp. 98–103.

HCI-SHI-1993-HerrmannK #layout

Supporting Instead of Replacing the Planner — An Intelligent Assistant System for Factory Layout Planning (JH, MK), pp. 796–801.

HCI-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.

HCI-SHI-1993-SaitoTF

A Computer-Assisted Instruction System for Beginner’s Crude Charge Schedulers (KS, TT, KF), pp. 831–836.

INTERCHI-1993-KimF #design #user interface

Providing high-level control and expert assistance in the user interface presentation design (WCK, JDF), pp. 430–437.

INTERCHI-1993-StaskoBL #algorithm #analysis #animation #empirical #learning

Do algorithm animations assist learning?: an empirical study and analysis (JTS, ANB, CL), pp. 61–66.

SEKE-1993-DeBellis

Intelligent Assistance for Transformation-Based Environments (MD), pp. 158–165.

SEKE-1993-White #knowledge-based

The Knowledge-Based Software Assistant Program (DAW), p. 588.

CAV-1993-Sogaard-AndersenGGLP #proving #simulation

Computer-Assisted Simulation Proofs (JFSA, SJG, JVG, NAL, AP), pp. 305–319.

CSL-1993-Coquand #analysis #semantics

From Semantics to Rules: A Machine Assisted Analysis (CC), pp. 91–105.

DAC-1992-ChangCLLO #design #named #performance

IPDA: Interconnect Performance Design Assistant (NHC, KJC, JL, KL, SYO), pp. 472–477.

KBSE-1992-Selfridge #design #development #scalability

Managing Design Knowledge to Provide Assistance to Large-Scale Software Development (PGS), p. 24.

CHI-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.

SEKE-1992-AkhrasM #generative #knowledge-based #process #towards

Towards Dynamic Generation of Knowledge-Based Environments for Software Process Assistance (FNA, SSSM), pp. 79–86.

CAV-1992-Bradfield #model checking #proving

A Proof Assistant for Symbolic Model-Checking (JCB), pp. 316–329.

KBSE-1991-Schoen #domain model #modelling

Active Assistance for Domain Modeling (ES), pp. 26–35.

KBSE-1991-White #knowledge-based #summary

The Knowledge-Based Software Assistant: A Program Summary (DAW), pp. 2–6.

CAV-1991-MauwV #proving

A Proof Assistant for PSF (SM, GJV), pp. 158–168.

CAV-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.

ECHT-1990-BiennierGP #network

Browsing in Hyperdocuments with the Assistance of a Neural Network (FB, MG, JMP), pp. 288–297.

ECHT-1990-SchulerS #authoring

Author’s Argumentation Assistant (AAA): A Hypertext-Based Authoring Tool for Argumentative Texts (WS, JBS), pp. 137–151.

CAiSE-1990-VassiliouMKCMM #design #generative #named #requirements

IRIS — A Mapping Assistant for Generating Designs from Requirements (YV, MM, PK, LC, MM, JM), pp. 307–338.

ML-1990-RamseyGS #contest #difference #learning

Simulation-Assisted Learning by Competition: Effects of Noise Differences Between Training Model and Target Environment (CLR, JJG, ACS), pp. 211–215.

CADE-1990-AltucherP #category theory #proving

A Mechanically Assisted Constructive Proof in Category Theory (JAA, PP), pp. 500–513.

CAV-1990-CarringtonR #refinement

Computer Assistance for Program Refinement (DAC, KAR), pp. 312–321.

DAC-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.

SIGMOD-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.

SEKE-1989-Smyrniotis

Imagery Analyst’s Assistant (CS), pp. 98–103.

VDME-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.

HCI-CE-1987-CampbellR #graph

Issues in Computer-Assisted Interpretation of Graphs and Quantitative Information (JAC, SPR), pp. 473–480.

ICSE-1987-KaiserF #architecture #development

An Architecture for Intelligent Assistance in Software Development (GEK, PHF), pp. 180–188.

ASPLOS-1987-BeckKT #multi

VLSI Assist For a Multiprocessor (BB, BK, SST), pp. 10–20.

DAC-1985-KowalskiT #automation #design #knowledge base #what

The VLSI design automation assistant: what’s in a knowledge base (TJK, DET), pp. 252–258.

ICSE-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.

DAC-1983-KowalskiT #automation #design #prototype #type system

The VLSI Design Automation Assistant: Prototype system (TJK, DET), pp. 479–483.

DAC-1983-Leblond #named

CAF: A computer-assisted floorplanning tool (AL), pp. 747–753.

DAC-1982-Seiler #architecture #design #hardware

A hardware assisted design rule check architecture (LS), pp. 232–238.

VLDB-1982-Hawthorn #assembly #database #statistics #tuple

Microprocessor Assisted Tuple Access, Decompression and Assembly for Statistical Database Systems (PBH), pp. 223–233.

ICSE-1981-RellesP #online #user interface

A User Interface for Online Assistance (NR, LAP), pp. 400–409.

ICSE-1979-Amey

The Computer Assisted Software (Case) System (WSA), pp. 111–115.

DAC-1978-Bathke #named #process

CAMRAS: Computer Assisted Mapping & Records Activity Systems (WLB), p. 53.

DAC-1976-CytrynP

A system for computer assisted planning (Planning ADES) (AC, WHP), pp. 134–140.

POPL-1975-Mikelsons

Computer Assisted Application Definition (MM), pp. 233–242.

DAC-1971-Eastman #named

GSP: A system for computer assisted space planning (CEE), pp. 208–220.

DAC-1970-Smith #layout

Computer-assisted template layout (KES), pp. 145–157.