Stem while$ (all stems)

93 papers:

ITiCSE-2015-Thomas #algorithm #women

Supporting Computational Algorithmic Thinking (SCAT): Exploring the difficulties African-American middle school girls face while enacting computational algorithmic thinking (JOT), pp. 69–74.

CHI-2015-HinikerSSSLK #how #mobile

Texting while Parenting: How Adults Use Mobile Phones while Caring for Children at the Playground (AH, KS, HS, YCS, CPL, JAK), pp. 727–736.

CHI-2015-PatelO

Contextual Influences on the Use and Non-Use of Digital Technology While Exercising at the Gym (MP, AAO), pp. 2923–2932.

CSCW-2015-PaayKS #empirical #interactive #physics

Connecting in the Kitchen: An Empirical Study of Physical Interactions while Cooking Together at Home (JP, JK, MBS), pp. 276–287.

SEKE-2015-NakstadWF #crawling #gesture #interactive

Finding and Emulating Keyboard, Mouse, and Touch Interactions and Gestures while Crawling RIA’s (FN, HW, YF), pp. 631–638.

ESEC-FSE-2015-SmithJMCL #developer #security #static analysis

Questions developers ask while diagnosing potential security vulnerabilities with static analysis (JS, BJ, ERMH, BC, HRL), pp. 248–259.

DUXU-ELAS-2014-Abbas #behaviour #case study #challenge #implementation

Challenges in Implementation of TVM (Ticket Vending Machine) in Developing Countries for Mass Transport System: A Study of Human Behavior while Interacting with Ticket Vending Machine-TVM (MA), pp. 245–254.

HCI-AIMT-2014-ErikssonLSSK #interface #question

Can User-Paced, Menu-free Spoken Language Interfaces Improve Dual Task Handling While Driving? (AE, AL, AS, AS, KK), pp. 394–405.

HIMI-AS-2014-IizukaG #mobile #using

Basic Study on Personal Space while Using Mobile Devices in Public (SI, KG), pp. 404–412.

LCT-TRE-2014-Castro #case study #collaboration #learning #named

Mosca — A Case Study on Collaborative Work — Combining Dimensions while Learning (SC), pp. 388–396.

LCT-TRE-2014-Stylianou-GeorgiouPI #education #monitoring #web

Monitoring Teachers’ Complex Thinking while Engaging in Philosophical Inquiry with Web 2.0 (ASG, AP, AI), pp. 319–327.

ICPR-2014-YamadaM #approach #behaviour #using

Estimating Driver Awareness of Crossing Pedestrians While Turning Left Based on Vehicle Behavior Using Bayesian Approach (KY, TM), pp. 1898–1903.

SAC-2014-BoghratiHK #framework #process #using

Activities performed by programmers while using framework examples as a guide (RB, AH, MK), pp. 1146–1151.

SAC-2014-PetroccoCPE #performance

Hiding user content interest while preserving P2P performance (RP, MC, JAP, DHJE), pp. 501–508.

ICSE-2014-WagstromD #development #scalability

Does latitude hurt while longitude kills? geographical and temporal separation in a large scale software development project (PW, SD), pp. 199–210.

HPCA-2014-FletcherRYDKD #information management #performance #ram #trade-off

Suppressing the Oblivious RAM timing channel while making information leakage and program efficiency trade-offs (CWF, LR, XY, MvD, OK, SD), pp. 213–224.

WCRE-2013-AbdeenSSAD #automation #design #towards

Towards automatically improving package structure while respecting original design decisions (HA, HAS, OS, NA, SD), pp. 212–221.

PEPM-2013-MartinezVP #compilation #exclamation #haskell #performance

Just do it while compiling!: fast extensible records in haskell (BM, MV, AP), pp. 77–86.

CHI-2013-BanNFSITH #artificial reality #using

Augmented endurance: controlling fatigue while handling objects by affecting weight perception using augmented reality (YB, TN, TF, SS, JI, TT, MH), pp. 69–78.

CHI-2013-Hincapie-RamosI #interactive #mobile #named

CrashAlert: enhancing peripheral alertness for eyes-busy mobile interaction while walking (JDHR, PI), pp. 3385–3388.

HCI-IMT-2013-WangGHL #collaboration #communication #elicitation #nondeterminism #speech #using

A Knowledge Elicitation Study for Collaborative Dialogue Strategies Used to Handle Uncertainties in Speech Communication While Using GIS (HW, AG, DH, RL), pp. 135–144.

ECIR-2013-NishinoYHSN #multi #summary

Text Summarization while Maximizing Multiple Objectives with Lagrangian Relaxation (MN, NY, TH, JS, MN), pp. 772–775.

ITiCSE-2012-Khalifa #data type

Intuitive thinking while dealing with abstract data types (WK), p. 391.

ITiCSE-2012-MehtaKP #algorithm #learning #network

Forming project groups while learning about matching and network flows in algorithms (DPM, TMK, IP), pp. 40–45.

CHI-2012-DunneRLMR #multi #named #network #scalability

GraphTrail: analyzing large multivariate, heterogeneous networks while supporting exploration history (CD, NHR, BL, RAM, GGR), pp. 1663–1672.

CSCW-2012-WhittakerKE #effectiveness #memory management

Markup as you talk: establishing effective memory cues while still contributing to a meeting (VK, PE, SW), pp. 349–358.

SIGIR-2012-LimsopathamMMO #dependence

Exploiting term dependence while handling negation in medical search (NL, CM, RM, IO), pp. 1065–1066.

MoDELS-2012-RamirezCBS #nondeterminism #runtime

Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time (AJR, BHCC, NB, PS), pp. 53–69.

MoDELS-2012-RamirezCBS #nondeterminism #runtime

Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time (AJR, BHCC, NB, PS), pp. 53–69.

ICSE-2012-Ghardallou #analysis #invariant #termination #using

Using invariant relations in the termination analysis of while loops (WG), pp. 1519–1522.

DATE-2011-GeunsBBC #parallel #source code

Parallelization of while loops in nested loop programs for shared-memory multiprocessor systems (SJG, MJGB, TB, HC), pp. 697–702.

ICSM-2011-YazdanshenasM #bound #component

Crossing the boundaries while analyzing heterogeneous component-based software systems (ARY, LM), pp. 193–202.

ICALP-v2-2011-SuenagaH #hybrid #modelling #programming

Programming with Infinitesimals: A While-Language for Hybrid System Modeling (KS, IH), pp. 392–403.

CHI-2011-BrumbyDJG #how #performance

Fast or safe?: how performance objectives determine modality output choices while interacting on the move (DPB, SCED, CPJ, JJG), pp. 473–482.

CHI-2011-IqbalHJM #exclamation

Hang on a sec!: effects of proactive mediation of phone conversations while driving (STI, EH, YCJ, EM), pp. 463–472.

DHM-2011-WortelenL #approach #automation #behaviour #estimation

Less Driving While Driving? An Approach for the Estimation of Effects of Future Vehicle Automation Systems on Driver Behavior (BW, AL), pp. 523–532.

HCI-DDA-2011-KallinenER #difference #multi

Individual Differences in Work Load While Doing Multitasking with a Computer (KK, IE, NR), pp. 351–358.

AdaEurope-2011-OLeary #reliability #using #web #web service

Assuring Software Reliability While Using Web Services and Commercial Products (JO), pp. 1–16.

SEKE-2011-AlencarTSDC

Maximizing the Financial Benefits Yielded by IT Projects While Ensuring their Strategic Fit (AJA, GT, EAS, AFdSD, ALC), pp. 288–295.

ICTSS-2011-FrehseLMN #aspect-oriented #monitoring #testing

Monitoring Dynamical Signals While Testing Timed Aspects of a System (GF, KGL, MM, BN), pp. 115–130.

ESOP-2010-NakataU #hoare #induction #logic #semantics

A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While (KN, TU), pp. 488–506.

FASE-2010-JacksonSBK #model transformation #reuse

Reusing Model Transformations While Preserving Properties (EKJ, WS, DB, GK), pp. 44–58.

CAiSE-2010-SidorovaST #concept #correctness #workflow

Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual (NS, CS, NT), pp. 530–544.

SAC-2010-ZhangGCQC #case study #effectiveness #reduction #testing

A study of relative redundancy in test-suite reduction while retaining or improving fault-localization effectiveness (XZ, QG, XC, JQ, DC), pp. 2229–2236.

ASPLOS-2010-AhmadV #maintenance #optimisation

Joint optimization of idle and cooling power in data centers while maintaining response time (FA, TNV), pp. 243–256.

DATE-2009-KwonYUJ #performance #problem

In-network reorder buffer to improve overall NoC performance while resolving the in-order requirement problem (WCK, SY, JU, SWJ), pp. 1058–1063.

CHI-2009-BrumbySH #adaptation #constraints #how

Focus on driving: how cognitive constraints shape the adaptation of strategy when dialing while driving (DPB, DDS, AH), pp. 1629–1638.

CHI-2009-MaedaIA

Arrow tag: a direction-key-based technique for rapidly selecting hyperlinks while gazing at a screen (AM, HI, MA), pp. 1025–1028.

ICST-2009-KaminskiA #detection #fault #logic #testing #using

Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection (GKK, PA), pp. 356–365.

FM-2008-BonakdarpourK #bound #fault

Masking Faults While Providing Bounded-Time Phased Recovery (BB, SSK), pp. 374–389.

HCI-IDU-2007-KangY #difference #performance

Age Differences in Performance, Operation Methods, and Workload While Interacting with an MP3 Player (NEK, WCY), pp. 854–861.

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-SatoA #analysis #behaviour

Analysis of Naturalistic Driving Behavior While Approaching an Intersection and Implications for Route Guidance Presentation (TS, MA), pp. 618–627.

HIMI-IIE-2007-VuGNSCCP #online #privacy #question #what

Examining User Privacy Practices While Shopping Online: What Are Users Looking for? (KPLV, FPG, DN, JS, BC, VC, RWP), pp. 792–801.

HIMI-MTT-2007-Jeong #comprehension #using

Suggestion of Methods for Understanding User’s Emotional Changes While Using a Product (SHJ), pp. 59–67.

OCSC-2007-SantosSLMMJ #interactive #named

CINeSPACE: Interactive Access to Cultural Heritage While On-The-Move (PS, AS, MTL, OM, DM, EJ), pp. 435–444.

LCTES-2007-InSK #memory management #named

SWL: a search-while-load demand paging scheme with NAND flash memory (JI, IS, HK), pp. 217–226.

SIGMOD-2006-TaylorI #collaboration

Reconciling while tolerating disagreement in collaborative data sharing (NET, ZGI), pp. 13–24.

ICEIS-HCI-2006-CostagliolaMF #simulation

A Simulation Environment to Evaluate Driver Performances while Interacting with Telematics Systems (GC, SDM, FF), pp. 3–10.

ICEIS-J-2006-CostagliolaMF06a #simulation

A Simulation Environment to Assess Driving Performances while Interacting with On-board Telematics Systems (GC, SDM, FF), pp. 439–451.

ICPR-v1-2006-MicheloniF

Focusing on Target’s Features while Tracking (CM, GLF), pp. 836–839.

IJCAR-2006-Darwiche #compilation #evolution #satisfiability

Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation (AD), p. 3.

ESOP-2005-PodelskiSW #recursion #source code #summary

Summaries for While Programs with Recursion (AP, IS, SW), pp. 94–107.

PLDI-2005-ChenLLLLLJ #named #network #performance #programming

Shangri-La: achieving high performance from compiled network applications while enabling ease of programming (MKC, XFL, RL, JHL, LL, TL, RJ), pp. 224–236.

CHI-2005-AnttonenS

Emotions and heart rate while sitting on a chair (JA, VS), pp. 491–499.

CHI-2005-SchneiderK

Calling while driving: effects of providing remote traffic context (MS, SBK), pp. 561–569.

QAPL-2004-ClarkHM05 #quantifier

Quantified Interference for a While Language (DC, SH, PM), pp. 149–166.

ICALP-2004-KalyanasundaramV

Fairness to All While Downsizing (BK, MV), pp. 819–830.

ICFP-2004-ChristiansenH #concurrent #debugging #haskell #source code

Searching for deadlocks while debugging concurrent haskell programs (JC, FH), pp. 28–39.

ICPR-v4-2004-CriminisiS #comparison

Did the great masters use optical projections while painting? Perspective Comparison of Paintings and Photographs of Renaissance Chandeliers (AC, DGS), pp. 645–648.

SAC-2004-Cristea #adaptation #authoring #education #hypermedia

Evaluating adaptive hypermedia authoring while teaching adaptive systems (AIC), pp. 929–934.

PODS-2003-DinurN #privacy

Revealing information while preserving privacy (ID, KN), pp. 202–210.

CHI-2003-KitamuraYHKK #tool support

Things happening in the brain while humans learn to use new tools (YK, YY, HI, FK, MK), pp. 417–424.

ICML-2002-Seewald #how #performance

How to Make Stacking Better and Faster While Also Taking Care of an Unknown Weakness (AKS), pp. 554–561.

IWPC-J-1999-FrancelR01 #debugging #slicing

The value of slicing while debugging (MAF, SR), pp. 151–169.

CHI-2001-LaiCGT #comprehension #on the #speech #web

On the road and on the Web?: comprehension of synthetic and human speech while driving (JL, KC, PAG, OT), pp. 206–212.

ICEIS-v1-2001-WongC #optimisation #scheduling

Optimizing User Preferences While Scheduling Meetings (RYMW, AHWC), pp. 459–465.

DAC-2000-MeguerdichianP

Watermarking while preserving the critical path (SM, MP), pp. 108–111.

DATE-1999-SantosJ #equivalence #on the fly

Exploiting State Equivalence on the Fly while Applying Code Motion and Speculation (LCVdS, JAGJ), p. 609–?.

HCI-EI-1999-SuzukiA #difference #process

Difference in the ANS activity between gaze angles while seated (KS, DRA), pp. 69–73.

SIGAda-1999-Lowe99a

Pinching pennies while losing dollars (TL), pp. 183–193.

CAV-1999-SaidiS

Abstract and Model Check While You Prove (HS, NS), pp. 443–454.

FoSSaCS-1998-AlbayrakN #infinity

The WHILE Hierarchy of Program Schemes Is Infinite (CAA, TN), pp. 35–47.

SIGIR-1998-Callan #learning

Learning While Filtering Focuments (JPC), pp. 224–231.

LOPSTR-1997-LeuschelMS #logic programming #source code #termination

Preserving Termination of Tabled Logic Programs While Unfolding (ML, BM, KFS), pp. 189–205.

POPL-1997-PettorossiPR #logic programming #nondeterminism #source code

Reducing Nondeterminism while Specializing Logic Programs (AP, MP, SR), pp. 414–427.

WPC-1996-MayrhauserV #comprehension #migration #on the #scalability

On the Role of Hypotheses during Opportunistic Understanding While Porting Large Scale Code (AvM, AMV), pp. 68–77.

ICML-1996-FriedmanG #learning #network

Discretizing Continuous Attributes While Learning Bayesian Networks (NF, MG), pp. 157–165.

ICLP-1995-MartensG #deduction #flexibility #termination

Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance (BM, JPG), pp. 597–611.

STOC-1994-AuerL #learning #simulation

Simulating access to hidden information while learning (PA, PML), pp. 263–272.

CSL-1989-DeckerC

Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution (HD, LC), pp. 98–115.

ICALP-1986-Stirling #composition #concurrent #correctness #logic

A Compositional Reformulation of Owicki-Gries’s Partial Correctness Logic for a Concurrent While Language (CS), pp. 407–415.

SIGIR-1973-MartinG #design #information retrieval #interactive

Language Decisions Made While Designing an Interactive Information Retrieval System (THM, RLG), pp. 86–100.