Stem presenc$ (all stems)

294 papers:

CASE-2015-KeroglouH #communication #constraints #distributed #using

Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints (CK, CNH), pp. 831–836.

PODS-2015-PraveenS #graph #how #question

Defining Relations on Graphs: How Hard is it in the Presence of Node Partitions? (MP, BS), pp. 159–172.

SAS-2015-RapoportLT #analysis #correlation #data flow #precise

Precise Data Flow Analysis in the Presence of Correlated Method Calls (MR, OL, FT), pp. 54–71.

CHI-2015-KimKKKKO #social #social media

Social Media Dynamics of Global Co-presence During the 2014 FIFA World Cup (JWK, DK, BK, JHK, SK, AHO), pp. 2623–2632.

DUXU-IXD-2015-SuzukiCTO

Hidden Presence: Sensing Occupancy and Extracting Value from Occupancy Data (LS, PC, TT, GCO), pp. 412–424.

ICML-2015-PhamRFA #learning #multi #novel

Multi-instance multi-label learning in the presence of novel class instances (ATP, RR, XZF, JPA), pp. 2427–2435.

ECOOP-2015-BhandariN #exception

Loop Tiling in the Presence of Exceptions (AB, VKN), pp. 124–148.

ECOOP-2015-CentonzePT #analysis

Access-rights Analysis in the Presence of Subjects (PC, MP, OT), pp. 222–246.

OOPSLA-2015-BrutschyFTP #named #resource management

ShamDroid: gracefully degrading functionality in the presence of limited resource access (LB, PF, OT, MP), pp. 316–331.

OOPSLA-2015-ZhengBB #compilation #profiling

Accurate profiling in the presence of dynamic compilation (YZ, LB, WB), pp. 433–450.

POPL-2015-TangWZXZM #analysis #data flow

Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks (HT, XW, LZ, BX, LZ, HM), pp. 83–95.

ICSE-v1-2015-RheinGAS0B #configuration management

Presence-Condition Simplification in Highly Configurable Systems (AvR, AG, SA, NS, DB, TB), pp. 178–188.

DATE-2014-WettinMKYPH #evaluation #network #performance

Performance evaluation of wireless NoCs in presence of irregular network routing strategies (PW, JM, RK, XY, PPP, DHH), pp. 1–6.

ESOP-2014-MangalNY #analysis #interprocedural

A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join (RM, MN, HY), pp. 513–533.

FoSSaCS-2014-AlmagorK #synthesis

Latticed-LTL Synthesis in the Presence of Noisy Inputs (SA, OK), pp. 226–241.

ICPC-2014-PetersenHR #api #comparison #eclipse #empirical #groovy #ide #java #type system

An empirical comparison of static and dynamic type systems on API usage in the presence of an IDE: Java vs. groovy with eclipse (PP, SH, RR), pp. 212–222.

ICSME-2014-KanningS #preprocessor #slicing #variability

Program Slicing in the Presence of Preprocessor Variability (FK, SS), pp. 501–505.

CHI-2014-PereiraPP #interactive #social

Improving social presence in human-agent interaction (ATP, RP, AP), pp. 1449–1458.

CHI-2014-RaeMT

Bodies in motion: mobility, presence, and task awareness in telepresence (IR, BM, LT), pp. 2153–2162.

CSCW-2014-GaoXCF #how #multi

How beliefs about the presence of machine translation impact multilingual collaborations (GG, BX, DC, SRF), pp. 1549–1560.

DUXU-DI-2014-Khan0R #design #video

Embodied Tele-Presence System (ETS): Designing Tele-Presence for Video Teleconferencing (MSLK, HL, SuR), pp. 574–585.

SCSM-2014-KamalNB #communication #distributed #mobile #product line #quote

“Presence in Absence”: Distributed Family Communication Practices for Familial Bonding via Mobile Communication Technology (FMK, NLMN, HB), pp. 474–485.

ICEIS-v2-2014-BeenK #analysis #approach #internet #online #people

Finding You on the Internet — An Approach for Finding On-line Presences of People for Fraud Risk Analysis (HB, MvK), pp. 697–706.

ICML-c2-2014-Ben-DavidH #clustering

Clustering in the Presence of Background Noise (SBD, NH), pp. 280–288.

ICPR-2014-RanjanHJ #image #retrieval #word

Enhancing Word Image Retrieval in Presence of Font Variations (VR, GH, CVJ), pp. 2709–2714.

SIGIR-2014-RichardsonC #statistics

Estimating global statistics for unstructured P2P search in the presence of adversarial peers (SR, IJC), pp. 203–212.

RE-2014-HorkoffSCS #nondeterminism

Supporting early decision-making in the presence of uncertainty (JH, RS, MC, ADS), pp. 33–42.

FSE-2014-ElbaumR #nondeterminism #testing

Known unknowns: testing in the presence of uncertainty (SGE, DSR), pp. 833–836.

LICS-CSL-2014-Ilik #axiom #decidability #morphism

Axioms and decidability for type isomorphism in the presence of sums (DI), p. 7.

DAC-2013-SalodkarRBB #automation #design #multi

Automatic design rule correction in presence of multiple grids and track patterns (NS, SR, SB, SHB), p. 6.

DATE-2013-HillebrechtKEWB #generative

Accurate QBF-based test pattern generation in presence of unknown values (SH, MAK, DE, HJW, BB), pp. 436–441.

DRR-2013-WalkerRS #fault #modelling #topic

Evaluating supervised topic models in the presence of OCR errors (DDW, EKR, KDS).

CSMR-2013-SoetensDZ #developer #testing

Change-Based Test Selection in the Presence of Developer Tests (QDS, SD, AZ), pp. 101–110.

ICALP-v2-2013-BokerKKS #nondeterminism

Nondeterminism in the Presence of a Diverse or Unknown Future (UB, DK, OK, MS), pp. 89–100.

ICALP-v2-2013-CosmoMZZ #component #configuration management

Component Reconfiguration in the Presence of Conflicts (RDC, JM, SZ, GZ), pp. 187–198.

SEFM-2013-VanspauwenJ #preprocessor

Sound Symbolic Linking in the Presence of Preprocessing (GV, BJ), pp. 122–136.

DUXU-NTE-2013-DuarteRTVTN #behaviour

Sense of Presence in a VR-Based Study on Behavioral Compliance with Warnings (ED, FR, LT, EV, JT, PN), pp. 362–371.

HCI-AS-2013-LeeC #game studies

Influence of Gaming Display and Controller on Perceived Characteristics, Perceived Interactivity, Presence, and Discomfort (HL, DC), pp. 258–265.

HIMI-HSM-2013-SakuradaH #interface #physics #using

A New Presence Display System Using Physical Interface Running on IP-Phones (TS, YH), pp. 411–420.

SAC-2013-VeeraragavanBMVNM #analysis #comprehension #distributed #experience #interactive #metric #multi #quality

Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis (NRV, AB, LM, RV, NN, HM), pp. 439–446.

ESEC-FSE-2013-MadsenLF #framework #javascript #library #static analysis

Practical static analysis of JavaScript applications in the presence of frameworks and libraries (MM, BL, MF), pp. 499–509.

CGO-2013-EmaniWO #adaptation #parallel

Smart, adaptive mapping of parallelism in the presence of external workload (MKE, ZW, MFPO), p. 10.

CAV-2013-AdlerEV #ambiguity #equivalence

Relative Equivalence in the Presence of Ambiguity (OA, CE, TV), pp. 430–446.

DATE-2012-LiDX #process

Custom on-chip sensors for post-silicon failing path isolation in the presence of process variations (ML, AD, LX), pp. 1591–1596.

CSMR-2012-PlateniusDB #architecture #design #named

Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies (MCP, MvD, SB), pp. 255–264.

ICSM-2012-NogueraKRJ #refactoring

Refactoring in the presence of annotations (CN, AK, CDR, VJ), pp. 337–346.

SCAM-2012-SchrettnerJGBG #clustering #dependence #impact analysis #using

Impact Analysis in the Presence of Dependence Clusters Using Static Execute after in WebKit (LS, JJ, TG, ÁB, TG), pp. 24–33.

PLDI-2012-FengGN #effectiveness #parallel

Effective parallelization of loops in the presence of I/O operations (MF, RG, IN), pp. 487–498.

CHI-2012-BrechtEBG #analysis #network #social

Corporate career presences on social network sites: an analysis of hedonic and utilitarian value (FB, AE, CB, OG), pp. 2441–2450.

CHI-2012-OdomZFCMP #behaviour

Investigating the presence, form and behavior of virtual possessions in the context of a teen bedroom (WO, JZ, JF, HC, SM, AP), pp. 327–336.

CHI-2012-XuBRTM #communication #how #learning #towards

Learning how to feel again: towards affective workplace presence and communication technologies (AX, JTB, EGR, TT, WvM), pp. 839–848.

CSCW-2012-TakayamaG #mobile

Mixing metaphors in mobile remote presence (LT, JG), pp. 495–504.

KDD-2012-TianZ #learning

Learning from crowds in the presence of schools of thought (YT, JZ), pp. 226–234.

ECOOP-2012-GudkaHE #library #scalability

Lock Inference in the Presence of Large Libraries (KG, TH, SE), pp. 308–332.

CASE-2011-JamesBHACC #mining #mobile #using

Tele-operation of a mobile mining robot using a panoramic display: an exploration of operators sense of presence (CAJ, TPB, KH, LA, CC, AC), pp. 279–284.

DAC-2011-ReimannLGHT #constraints #realtime #string #synthesis

Symbolic system synthesis in the presence of stringent real-time constraints (FR, ML, MG, CH, JT), pp. 393–398.

DAC-2011-ToettcherCTW #analysis #constraints

Biochemical oscillator sensitivity analysis in the presence of conservation constraints (JET, AC, BT, JW), pp. 806–811.

DATE-2011-EggersglusD #fault #generative #optimisation #pseudo #testing #using

As-Robust-As-Possible test generation in the presence of small delay defects using pseudo-Boolean optimization (SE, RD), pp. 1291–1296.

DATE-2011-FazeliAMAT #estimation #fault #multi

Soft error rate estimation of digital circuits in the presence of Multiple Event Transients (METs) (MF, SNA, SGM, HA, MBT), pp. 70–75.

DATE-2011-JuanGM #3d #evaluation #multi #process #statistics

Statistical thermal evaluation and mitigation techniques for 3D Chip-Multiprocessors in the presence of process variations (DCJ, SG, DM), pp. 383–388.

DATE-2011-KochteW #evaluation #fault #satisfiability

SAT-based fault coverage evaluation in the presence of unknown values (MAK, HJW), pp. 1303–1308.

DATE-2011-NarayananZT #correctness #pattern matching #process #using

Ensuring correctness of analog circuits in presence of noise and process variations using pattern matching (RN, MHZ, ST), pp. 1188–1191.

DRR-2011-ChenCL #constraints #identification #using

Using perturbed handwriting to support writer identification in the presence of severe data constraints (JC, WC, DPL), pp. 1–10.

ICDAR-2011-KumarKDA #component #segmentation

Segmentation of Handwritten Textlines in Presence of Touching Components (JK, LK, DSD, WAA), pp. 109–113.

ESOP-2011-SotinJ #analysis #interprocedural #pointer #precise #stack

Precise Interprocedural Analysis in the Presence of Pointers to the Stack (PS, BJ), pp. 459–479.

ICSM-2011-JiresalCN #cobol #detection #precise #scalability #source code

Precise detection of un-initialized variables in large, real-life COBOL programs in presence of unrealizable paths (RJ, AC, RN), pp. 448–456.

ICALP-v1-2011-AroraG #algorithm #fault #learning

New Algorithms for Learning in Presence of Errors (SA, RG), pp. 403–415.

CHI-2011-LeeT #mobile #quote #social

“Now, I have a body”: uses and social norms for mobile remote presence in the workplace (MKL, LT), pp. 33–42.

CSCW-2011-AspinR #3d #approach #gpu #multi

A GPU based, projective multi-texturing approach to reconstructing the 3D human form for application in tele-presence (RAA, DJR), pp. 105–112.

CSCW-2011-FarzanDKP #community #design #online #social

Increasing commitment to online communities by designing for social presence (RF, LAD, REK, TP), pp. 321–330.

HCI-UA-2011-LiuU #3d

Effects of Presence on Causing Cybersickness in the Elderly within a 3D Virtual Store (CLL, STU), pp. 490–499.

IDGD-2011-LeeY #education #web

Does Internationalization Have Its Own Face in Each Country? Measuring the Internationalization of Web Presence on Higher Education Admission Web Pages between USA and Taiwan (JL, MY), pp. 524–532.

KDIR-2011-Ibrahim #algorithm #clustering #network

Enhancing Clustering Network Planning Algorithm in the Presence of Obstacles (LFI), pp. 480–486.

MLDM-2011-LiuM #multi #naive bayes

Smoothing Multinomial Naïve Bayes in the Presence of Imbalance (AL, CEM), pp. 46–59.

OOPSLA-2011-KastnerGREOB #compilation #metaprogramming #parsing #variability

Variability-aware parsing in the presence of lexical macros and conditional compilation (CK, PGG, TR, SE, KO, TB), pp. 805–824.

ICSE-2011-BoddenSSOM #static analysis

Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders (EB, AS, JS, HO, MM), pp. 241–250.

HPCA-2011-RanganPWB #performance #throughput

Achieving uniform performance and maximizing throughput in the presence of heterogeneity (KKR, MDP, GYW, DMB), pp. 3–14.

ICST-2011-NandaMSHO #testing

Regression testing in the presence of non-code changes (AN, SM, SS, MJH, AO), pp. 21–30.

LICS-2011-Clairambault #higher-order #morphism

Isomorphisms of Types in the Presence of Higher-Order References (PC), pp. 152–161.

LICS-2011-HurDV #garbage collection #logic

Separation Logic in the Presence of Garbage Collection (CKH, DD, VV), pp. 247–256.

DAC-2010-ChenW

Node addition and removal in the presence of don’t cares (YCC, CYW), pp. 505–510.

DATE-2010-NarayananAZTP #process #verification

Formal verification of analog circuits in the presence of noise and process variation (RN, BA, MHZ, ST, LCP), pp. 1309–1312.

PODS-2010-MeierSWL #optimisation #query #semantics

Semantic query optimization in the presence of types (MM, MS, FW, GL), pp. 111–122.

VLDB-2010-IoannouNNV #on the fly #query

On-the-Fly Entity-Aware Query Processing in the Presence of Linkage (EI, WN, CN, YV), pp. 429–438.

VLDB-2010-LevinKSS #constraints #interactive #order

Interactive Route Search in the Presence of Order Constraints (RL, YK, ES, YS), pp. 117–128.

PLDI-2010-TianFG #data type #parallel

Supporting speculative parallelization in the presence of dynamic data structures (CT, MF, RG), pp. 62–73.

ICALP-v2-2010-HirschkoffP #on the #replication #similarity

On Bisimilarity and Substitution in Presence of Replication (DH, DP), pp. 454–465.

CHI-2010-SteptoeSRR #social

Lie tracking: social presence, truth and deception in avatar-mediated telecommunication (WS, AS, AR, JR), pp. 1039–1048.

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.

ICPR-2010-StrucDP #recognition #robust

Confidence Weighted Subspace Projection Techniques for Robust Face Recognition in the Presence of Partial Occlusions (VS, SD, NP), pp. 1334–1338.

KDIR-2010-AddisAV #categorisation

Assessing Progressive Filtering to Perform Hierarchical Text Categorization in Presence of Input Imbalance (AA, GA, EV), pp. 14–23.

SEKE-2010-Nehmer #approach #consistency #exception

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

SIGIR-2010-ArguelloDP

Vertical selection in the presence of unlabeled verticals (JA, FD, JFP), pp. 691–698.

SIGIR-2010-Roussinov #aspect-oriented #verification

Aspect presence verification conditional on other aspects (DR), pp. 865–866.

SAC-2010-RosswogG #clustering #detection #mobile

Efficiently detecting clusters of mobile objects in the presence of dense noise (JR, KG), pp. 1095–1102.

CAV-2010-BloemCGHJ #liveness #robust

Robustness in the Presence of Liveness (RB, KC, KG, TAH, BJ), pp. 410–424.

DAC-2009-ZhangPHM

Carbon nanotube circuits in the presence of carbon nanotube density variations (JZ, NP, AH, SM), pp. 71–76.

DRR-2009-FosseideA #recognition

Character recognition in the presence of occluding clutter (KTF, LA), pp. 1–10.

PODS-2009-ChirkovaG #dependence #embedded #equivalence #query #sql

Equivalence of SQL queries in presence of embedded dependencies (RC, MRG), pp. 217–226.

VLDB-2009-KaushikS #consistency

Consistent Histograms In The Presence of Distinct Value Counts (RK, DS), pp. 850–861.

HCI-NIMT-2009-Suzuki

Embodied Sound Media Technology for the Enhancement of the Sound Presence (KS), pp. 745–751.

HCI-VAD-2009-ChungK

Causal Links of Presence (DC, CHK), pp. 279–286.

HCI-VAD-2009-ParkH #comprehension #game studies #online

Understanding Online Game Addiction: Connection between Presence and Flow (SP, HSH), pp. 378–386.

HCI-VAD-2009-ParkHC #3d #analysis #experience #web

The Experience of Presence in 3D Web Environment: An Analysis of Korean Second Life (SP, HSH, MC), pp. 387–395.

HCI-VAD-2009-ThiesK #concept #implementation #interactive

Electronic Glassboard — Conception and Implementation of an Interactive Tele-presence Application (PT, BK), pp. 632–640.

ICEIS-AIDSS-2009-Antunes #mining

Mining Patterns in the Presence of Domain Knowledge (CA), pp. 188–193.

ICML-2009-GarnettOR #predict

Sequential Bayesian prediction in the presence of changepoints (RG, MAO, SJR), pp. 345–352.

SIGIR-2009-DiazA #adaptation #feedback #predict

Adaptation of offline vertical selection predictions in the presence of user feedback (FD, JA), pp. 323–330.

RE-2009-MillerFM #architecture #requirements

Characteristics of New Requirements in the Presence or Absence of an Existing System Architecture (JAM, RF, NHM), pp. 5–14.

CASE-2008-KumarTSS #fuzzy #modelling #nondeterminism

A fuzzy system for modeling the structure-activity relationships in presence of uncertainties (MK, KT, NS, RS), pp. 1025–1030.

DAC-2008-Abdollahi

Signature based Boolean matching in the presence of don’t cares (AA), pp. 642–647.

DAC-2008-AlkabaniMKP #variability

Input vector control for post-silicon leakage current minimization in the presence of manufacturing variability (YA, TM, FK, MP), pp. 606–609.

DATE-2008-SrivastavaSB #multi

High-Frequency Mutual Impedance Extraction of VLSI Interconnects In the Presence of a Multi-layer Conducting Substrate (NS, RS, KB), pp. 426–431.

SIGMOD-2008-BansalGK #ad hoc

Ad-hoc aggregations of ranked lists in the presence of hierarchies (NB, SG, NK), pp. 67–78.

SIGMOD-2008-GhelliORS #optimisation #query #xml

XML query optimization in the presence of side effects (GG, NO, KHR, JS), pp. 339–352.

ITiCSE-2008-CharltonMD #learning #performance #social

Evaluating the extent to which sociability and social presence affects learning performance (TC, LM, MD), p. 342.

FoSSaCS-2008-RangelKE #bisimulation

Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (GR, BK, HE), pp. 413–427.

SAS-2008-PerryW #control flow #fault #reasoning

Reasoning about Control Flow in the Presence of Transient Faults (FP, DW), pp. 332–346.

STOC-2008-BarkolIW #communication #replication

Communication in the presence of replication (OB, YI, EW), pp. 661–670.

CHI-2008-McQuigganRL #learning

The effects of empathetic virtual characters on presence in narrative-centered learning environments (SWM, JPR, JCL), pp. 1511–1520.

CHI-2008-TroshynskiLD

Accountabilities of presence: reframing location-based systems (ET, CPL, PD), pp. 487–496.

ECIR-2008-McSherryN #information retrieval #metric #performance

Computing Information Retrieval Performance Measures Efficiently in the Presence of Tied Scores (FM, MN), pp. 414–421.

ICML-2008-FrankMP #learning

Reinforcement learning in the presence of rare events (JF, SM, DP), pp. 336–343.

KR-2008-SardinaPG #behaviour #composition

Behavior Composition in the Presence of Failure (SS, FP, GDG), pp. 640–650.

TOOLS-EUROPE-2008-ParizekP #component #modelling #process

Modeling of Component Environment in Presence of Callbacks and Autonomous Activities (PP, FP), pp. 2–21.

SAC-2008-FahmyRJ #realtime #scheduling #thread

Scheduling distributable real-time threads in the presence of crash failures and message losses (SFF, BR, EDJ), pp. 294–301.

SAC-2008-SantosCGAT #network #on the #performance

On the performance of employing presence services in P2P-based network management systems (CRPdS, SLC, LZG, MJBA, LMRT), pp. 2090–2094.

ICSE-2008-LuCT #consistency #nondeterminism #pervasive #testing

Testing pervasive software in the presence of context inconsistency resolution services (HL, WKC, THT), pp. 61–70.

CC-2008-RountevSX #analysis #data flow #ide #library #object-oriented #scalability

IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries (AR, MS, G(X), pp. 53–68.

CAV-2008-VakkalankaGK #order #reduction #source code #verification

Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings (SSV, GG, RMK), pp. 66–79.

ICST-2008-Garousi #distributed #modelling #nondeterminism #realtime #testing #uml

Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty (VG), pp. 92–101.

ASE-2007-WapplerS #testing

Improving evolutionary class testing in the presence of non-public methods (SW, IS), pp. 381–384.

DAC-2007-GoswamiTKR #constraints #exception #generative #testing

Test Generation in the Presence of Timing Exceptions and Constraints (DG, KHT, MK, JR), pp. 688–693.

SIGMOD-2007-NergizAC #database

Hiding the presence of individuals from shared databases (MEN, MA, CC), pp. 665–676.

SIGMOD-2007-QiCSK #query #taxonomy

Integrating and querying taxonomies with quest in the presence of conflicts (YQ, KSC, MLS, KWK), pp. 1153–1155.

PASTE-2007-MarronSHK #analysis #library

Heap analysis in the presence of collection libraries (MM, DS, MVH, DK), pp. 31–36.

CHI-2007-DowMHMM #interactive

Presence and engagement in an interactive drama (SD, MM, EH, BM, MM), pp. 1475–1484.

HCI-AS-2007-ShenK #community #concept #multi #online #social

Exploring Multi-dimensional Conceptualization of Social Presence in the Context of Online Communities (KNS, MK), pp. 999–1008.

HCI-IDU-2007-ChungdN #interactive

Influence of Avatar Creation on Attitude, Empathy, Presence, and Para-Social Interaction (DC, BDd, CSN), pp. 711–720.

HCI-IDU-2007-HeldalRBW #collaboration

Presence, Creativity and Collaborative Work in Virtual Environments (IH, DJR, LB, RW), pp. 802–811.

HCI-IDU-2007-HwangP #experience #social

Being Together: User’s Subjective Experience of Social Presence in CMC Environments (HSH, SP), pp. 844–853.

HCI-IDU-2007-SoeffnerN #representation

Co-presence in Shared Virtual Environments: Avatars Beyond the Opposition of Presence and Representation (JS, CSN), pp. 949–958.

HCI-IPT-2007-RyuML #3d #mobile

Measuring Presence in Mobile 3D (HJR, RM, BL), pp. 681–688.

OCSC-2007-SchimkeSZ #community #identification #online #social

The Relationship Between Social Presence and Group Identification Within Online Communities and Its Impact on the Success of Online Communities (DS, HS, AZ), pp. 160–168.

OCSC-2007-ShihCHL #interactive #physics #representation #social

Physical Representation Social Presence with Interactive Grass (JHS, TWC, HMH, TCL), pp. 176–181.

ICEIS-HCI-2007-HassaneinHJ #case study #experience #online #social

The Impact of Social Presence on the Experiences of Online Shoppers — A Cross-Cultural Study (KH, MMH, CJ), pp. 11–18.

ECIR-2007-MeenaP #analysis #sentiment #using

Sentence Level Sentiment Analysis in the Presence of Conjuncts Using Linguistic Analysis (AM, TVP), pp. 573–580.

ICML-2007-SunKR #fault #metric #robust

Robust mixtures in the presence of measurement errors (JS, AK, SR), pp. 847–854.

SEKE-2007-ViswanathS #constraints #database #query

Query Processing in Paraconsistent Databases in the Presence of Integrity Constraints (NV, RS), pp. 580–585.

SAC-2007-CaldersGM #mining

Mining itemsets in the presence of missing values (TC, BG, MM), pp. 404–408.

CAV-2007-BallKS #abstraction

Leaping Loops in the Presence of Abstraction (TB, OK, MS), pp. 491–503.

ISSTA-2007-CohenDS #configuration management #constraints #interactive #testing

Interaction testing of highly-configurable systems in the presence of constraints (MBC, MBD, JS), pp. 129–139.

DAC-2006-KanjJN #analysis #design

Mixture importance sampling and its application to the analysis of SRAM designs in the presence of rare failure events (RK, RVJ, SRN), pp. 69–72.

DATE-2006-ChaoWCWC #using

Coverage loss by using space compactors in presence of unknown values (MCTC, SW, STC, WW, KTC), pp. 1053–1054.

VLDB-2006-Aggarwal #evolution #on the

On Biased Reservoir Sampling in the Presence of Stream Evolution (CCA), pp. 607–618.

TACAS-2006-SenVA #markov #model checking #nondeterminism

Model-Checking Markov Chains in the Presence of Uncertainties (KS, MV, GA), pp. 394–410.

SAS-2006-CalcagnoDOY #abstraction #pointer #reachability

Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic (CC, DD, PWO, HY), pp. 182–203.

ICALP-v1-2006-FinocchiGI #fault #memory management #sorting

Optimal Resilient Sorting and Searching in the Presence of Memory Faults (IF, FG, GFI), pp. 286–298.

ICALP-v2-2006-DelauneLLT #analysis #morphism #protocol

Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or (SD, PL, DL, RT), pp. 132–143.

CHI-2006-DeyG #deployment #design

From awareness to connectedness: the design and deployment of presence displays (AKD, ESDG), pp. 899–908.

CHI-2006-HowardKSGG

Negotiating presence-in-absence: contact, content and context (SH, JK, MBS, KG, OG), pp. 909–912.

CHI-2006-KramerOF #communication #using

Using linguistic features to measure presence in computer-mediated communication (ADIK, LMO, SRF), pp. 913–916.

CHI-2006-WangXXWZDZ #game studies #video

Face-tracking as an augmented input in video games: enhancing presence, role-playing and control (SW, XX, YX, CW, WZ, XD, DZ), pp. 1097–1106.

CSCW-2006-HauberRBC #performance #social #trade-off

Spatiality in videoconferencing: trade-offs between efficiency and social presence (JH, HR, MB, AC), pp. 413–422.

CIKM-2006-TheodoratosSDPS #graph #heuristic #query

Heuristic containment check of partial tree-pattern queries in the presence of index graphs (DT, SS, TD, PP, TKS), pp. 445–454.

ICPR-v1-2006-LaggerF #multi #using

Using Specularities to Recover Multiple Light Sources in the Presence of Texture (PL, PF), pp. 587–590.

ICPR-v1-2006-MinYM #multi

Multi-layer Mosaics in the Presence of Motion and Depth Effects (CM, QY, GGM), pp. 992–995.

ICPR-v3-2006-SureshR

Super-resolution in the presence of space-variant blur (KVS, ANR), pp. 770–773.

ICPR-v4-2006-KumarJ #visual notation

Visual Servoing in Presence of Non-Rigid Motion (DSK, CVJ), pp. 655–658.

GPCE-2006-TilevichS #program transformation

Transparent program transformations in the presence of opaque code (ET, YS), pp. 89–94.

SAC-2006-KranzHS #ubiquitous

Ubiquitous presence systems (MK, PH, AS), pp. 1902–1909.

CC-2006-RountevKM #analysis #data flow #interprocedural #library #scalability

Interprocedural Dataflow Analysis in the Presence of Large Libraries (AR, SK, TJM), pp. 2–16.

CC-2006-TokGL #analysis #data flow #interprocedural #performance #pointer

Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers (TBT, SZG, CL), pp. 17–31.

ICLP-2006-Tu #performance #reasoning

Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning (PHT), pp. 469–470.

ISSTA-2006-FinkYDRG #alias #effectiveness #type system #verification

Effective typestate verification in the presence of aliasing (SJF, EY, ND, GR, EG), pp. 133–144.

SAT-2006-ZabiyakaD #bound #complexity #dependence #functional

Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies (YZ, AD), pp. 116–129.

ASE-2005-GotliebDB #constraints #generative #pointer #testing

Constraint-based test data generation in the presence of stack-directed pointers (AG, TD, BB), pp. 313–316.

ASE-2005-ShankarASX #realtime #reasoning #semantics

Reasoning about real-time statecharts in the presence of semantic variations (SS, SA, VS, XX), pp. 243–252.

DAC-2005-BhardwajV #random

Leakage minimization of nano-scale circuits in the presence of systematic and random variations (SB, SBKV), pp. 541–546.

DAC-2005-NepalBMPZ #design #logic #probability

Designing logic circuits for probabilistic computation in the presence of noise (KN, RIB, JLM, WRP, AZ), pp. 485–490.

DATE-2005-AbsarC #approach #array

Compiler-Based Approach for Exploiting Scratch-Pad in Presence of Irregular Array Access (MJA, FC), pp. 1162–1167.

DATE-2005-BaradaranD #algorithm #architecture #configuration management

A Register Allocation Algorithm in the Presence of Scalar Replacement for Fine-Grain Configurable Architectures (NB, PCD), pp. 6–11.

DATE-2005-KimWK #architecture #design #robust

owards Designing Robust QCA Architectures in the Presence of Sneak Noise Paths (KK, KW, RK), pp. 1214–1219.

PODS-2005-BenediktFG #satisfiability #xpath

XPath satisfiability in the presence of DTDs (MB, WF, FG), pp. 25–36.

VLDB-2005-FanYLLR #query #recursion #sql #xpath

Query Translation from XPath to SQL in the Presence of Recursive DTDs (WF, JXY, HL, JL, RR), pp. 337–348.

ITiCSE-2005-TurbanRT

Bridging media breaks in presence presentations (GT, GR, CT), p. 377.

ESOP-2005-JanvierLM #encryption

Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries (RJ, YL, LM), pp. 172–185.

MLDM-2005-BunkeDIK #analysis #graph #learning #predict

Analysis of Time Series of Graphs: Prediction of Node Presence by Means of Decision Tree Learning (HB, PJD, CI, MK), pp. 366–375.

OOPSLA-2005-NandaGC #type system

Deriving object typestates in the presence of inter-object references (MGN, CG, SC), pp. 77–96.

SAC-2005-VogiazouEDK #community #game studies #scalability

From buddyspace to CitiTag: large-scale symbolic presence for community building and spontaneous play (YV, ME, MD, JK), pp. 1600–1606.

CGO-2005-ShinHC #control flow #parallel

Superword-Level Parallelism in the Presence of Control Flow (JS, MWH, JC), pp. 165–175.

TLCA-2005-Herbelin #logic #on the

On the Degeneracy of Σ-Types in Presence of Computational Classical Logic (HH), pp. 209–220.

DAC-2004-RajVW #process

A methodology to improve timing yield in the presence of process variations (SR, SBKV, JMW), pp. 448–453.

DATE-v1-2004-ChenG #adaptation #bias #low cost #performance #power management #reduction

A Low Cost Individual-Well Adaptive Body Bias (IWABB) Scheme for Leakage Power Reduction and Performance Enhancement in the Presence of Intra-Die Variations (TWC, JG), pp. 240–245.

PODS-2004-HartmannL #dependence #multi

Multi-valued Dependencies in the Presence of Lists (SH, SL), pp. 330–341.

SIGMOD-2004-FernandezOSH #exclamation #xquery

Yoo-Hoo! Building a Presence Service with XQuery and WSDL (MFF, NO, JS), pp. 911–912.

VLDB-2004-YangL #information management #xml

Secure XML Publishing without Information Leakage in the Presence of Data Inference (XY, CL), pp. 96–107.

ICSM-2004-WillmorES #database #slicing

Program Slicing in the Presence of a Database State (DW, SME, JS), pp. 448–452.

STOC-2004-FinocchiI #fault #memory management #sorting

Sorting and searching in the presence of memory faults (without redundancy) (IF, GFI), pp. 101–110.

CHI-2004-CountsF #lightweight #social

Supporting social presence through lightweight photo sharing on and off the desktop (SC, EF), pp. 599–606.

KDD-2004-GadeWK #constraints #mining #performance

Efficient closed pattern mining in the presence of tough block constraints (KG, JW, GK), pp. 138–147.

ECOOP-2004-HirzelDH #analysis #pointer

Pointer Analysis in the Presence of Dynamic Class Loading (MH, AD, MH), pp. 96–122.

POPL-2004-JohannV #theorem

Free theorems in the presence of seq (PJ, JV), pp. 99–110.

ICSE-2004-SinhaOH #automation #control flow #development #maintenance #testing

Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow (SS, AO, MJH), pp. 336–345.

HPDC-2004-GilburdSW #data mining #mining #privacy

Privacy-Preserving Data Mining on Data Grids in the Presence of Malicious Participants (BG, AS, RW), pp. 225–234.

VLDB-2003-TsoisS #dependence #optimisation

The Generalized Pre-Grouping Transformation: Aggregate-Query Optimization in the Presence of Dependencies (AT, TKS), pp. 644–655.

STOC-2003-KalaiS

Boosting in the presence of noise (AK, RAS), pp. 195–205.

CHI-2003-LeeN #design #interactive #social

Designing social presence of social actors in human computer interaction (KML, CN), pp. 289–296.

CIKM-2003-YangRK #complexity #on the #web

On the complexity of schema inference from web pages in the presence of nullable data attributes (GY, IVR, MK), pp. 224–231.

ICML-2003-McMahanGB #cost analysis

Planning in the Presence of Cost Functions Controlled by an Adversary (HBM, GJG, AB), pp. 536–543.

LICS-2003-Comon-LundhS #constraints #deduction #theorem proving

Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or (HCL, VS), p. 271–?.

DAC-2002-AloulRMS #satisfiability #symmetry

Solving difficult SAT instances in the presence of symmetry (FAA, AR, ILM, KAS), pp. 731–736.

DAC-2002-MassoudW #approach

Improving the generality of the fictitious magnetic charge approach to computing inductances in the presence of permeable materials (YM, JW), pp. 552–555.

DAC-2002-PomeranzKR #on the

On output response compression in the presence of unknown output values (IP, SK, SMR), pp. 255–258.

DATE-2002-HassounCC #verification

Verifying Clock Schedules in the Presence of Cross Talk (SH, ECG, CC), pp. 346–350.

ICSM-2002-TruyenJV #consistency

Consistency Management in the Presence of Simultaneous Client-Specific Views (ET, WJ, PV), pp. 501–510.

SCAM-2002-MilanovaRR #graph #pointer #precise

Precise Call Graph Construction in the Presence of Function Pointers (AM, AR, BGR), pp. 155–162.

CSCW-2002-KrautGF #development #visual notation

The use of visual information in shared visual spaces: informing the development of virtual co-presence (REK, DG, SRF), pp. 31–40.

ICPR-v3-2002-LiLLKS #multi

Multibaseline Stereo in the Presence of Specular Reflections (YL, SL, HL, SBK, HYS), pp. 573–576.

KDD-2002-KumarPW #clustering #fault

Clustering seasonality patterns in the presence of errors (MK, NRP, JW), pp. 557–563.

SAT-2002-AloulRMS #satisfiability #symmetry

Solving difficult SAT instances in the presence of symmetry (FAA, AR, IM, KS), p. 23.

PODS-2001-FanL #constraints #on the #xml

On XML Integrity Constraints in the Presence of DTDs (WF, LL).

ICSM-2001-TonellaP #c++ #diagrams #reverse engineering #uml

Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers (PT, AP), pp. 376–385.

CHI-2001-CouperTS #social #web

Social presence in Web surveys (MPC, RT, DMS), pp. 412–417.

CIKM-2001-ZelikovitzH #classification #using

Using LSI for Text Classification in the Presence of Background Text (SZ, HH), pp. 113–118.

ICML-2001-Jiang #aspect-oriented #semistructured data

Some Theoretical Aspects of Boosting in the Presence of Noisy Data (WJ), pp. 234–241.

ICML-2001-LawrenceS #kernel

Estimating a Kernel Fisher Discriminant in the Presence of Label Noise (NDL, BS), pp. 306–313.

ESOP-2000-Thielecke #continuation #exception #on the

On Exceptions Versus Continuations in the Presence of State (HT), pp. 397–411.

TACAS-2000-GnesiLLAAM #fault #specification #validation

A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors (SG, DL, GL, CA, AMA, PM), pp. 535–549.

PLDI-2000-SreedharBC #framework #interprocedural #optimisation

A framework for interprocedural optimization in the presence of dynamic class loading (VCS, MGB, JDC), pp. 196–207.

CSCW-2000-GodefroidyHJL #approach #automation #privacy #verification

Ensuring privacy in presence awareness: an automated verification approach (PG, JDH, LJJ, DL), pp. 59–68.

CSCW-2000-MilewskiS

Providing presence cues to telephone users (AEM, TMS), pp. 89–96.

ECOOP-2000-GuptaCH #exception #java #optimisation #source code

Optimizing Java Programs in the Presence of Exceptions (MG, JDC, MH), pp. 422–446.

TestCom-2000-FeckoAUD #generative #testing

Test Generation in the Presence of Conflicting Timers (MAF, PDA, MÜU, AYD), p. 301–?.

SIGMOD-1999-FlorescuLMS #data access #optimisation #query

Query Optimization in the Presence of Limited Access Patterns (DF, AYL, IM, DS), pp. 311–322.

ICSM-1999-LiangH #interprocedural #pointer #recursion #slicing

Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion (DL, MJH), p. 421–?.

PASTE-1999-LiangH #analysis #data flow #equivalence #performance #pointer

Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers (DL, MJH), pp. 39–46.

FM-v2-1999-MikhajlovSL #component

Developing Components in the Presence of Re-entrance (LM, ES, LL), pp. 1301–1320.

TOOLS-EUROPE-1999-Mikhajlova99a #component #consistency #invariant

Consistent Extension of Components in the Presence of Explicit Invariants (AM), pp. 76–85.

ESOP-1998-ChatterjeeRL #complexity #exception

Complexity of Concrete Type-Inference in the Presence of Exceptions (RC, BGR, WL), pp. 57–74.

IWPC-1998-SomeL #compilation #parsing

Parsing Minimization when Extracting Information from Code in the Presence of Conditional Compilation (SSS, TCL), pp. 118–125.

CHI-1998-PaulosC #named

PRoP: Personal Roving Presence (EP, JFC), pp. 296–303.

ICPR-1998-NicollsJ #estimation

Maximum likelihood estimation of Toeplitz-block-Toeplitz covariances in the presence of subspace interference (FN, GdJ), pp. 1595–1597.

KDD-1998-FeeldersCM #bias #mining

Mining in the Presence of Selectivity Bias and its Application to Reject Inference (AJF, SC, GJM), pp. 199–203.

FSE-1998-AtkinsonG #effectiveness #pointer #program analysis

Effective Whole-Program Analysis in the Presence of Pointers (DCA, WGG), pp. 46–55.

CHI-1997-PedersenS #named #representation

AROMA: Abstract Representation of Presence Supporting Mutual Awareness (ERP, TS), pp. 51–58.

HCI-CC-1997-Welch

The Presence of Aftereffects (RBW), pp. 273–276.

HCI-SEC-1997-DeisingerCRS #comparison #monitoring

The Effect of Different Viewing Devices for the Sense of Presence of Immersion in Virtual Environments: A Comparison of Stereoprojections Based on Monitors, HMDs and Screens (JD, CCN, OR, JS), pp. 881–884.

HCI-SEC-1997-SingerW #named #question

Presence: Where Are We Now? (MJS, BGW), pp. 885–888.

HCI-SEC-1997-WilsonNH #question

Presence and Side Effects: Complementary or Contradictory? (JRW, SN, CH), pp. 889–892.

EDOC-1997-HerringMK #case study #distributed #enterprise #experience #modelling #nondeterminism

Selecting Distributed Object Technologies in the Presence of Uncertainty: an Experience Report on C4I enterprise modelling (CH, ZM, SMK), p. 245–?.

ICML-1997-Friedman #learning #network

Learning Belief Networks in the Presence of Missing Values and Hidden Variables (NF), pp. 125–133.

SAC-1997-ShulerB #branch

Look-ahead allocation in the presence of branches (JDS, HRB), pp. 504–508.

ILPS-1997-BaralS #approximate #reasoning

Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information (CB, TCS), pp. 387–401.

SIGMOD-1996-KrishnanVI

Estimating Alphanumeric Selectivity in the Presence of Wildcards (PK, JSV, BRI), pp. 282–293.

SIGMOD-1996-MorpainCFP #consistency #database #dependence #maintenance #multi

Maintaining Database Consistency in Presence of Value Dependencies in Multidatabase Systems (CM, MC, JF, JFP), pp. 459–468.

VLDB-1996-ShuklaDNR #estimation #multi

Storage Estimation for Multidimensional Aggregates in the Presence of Hierarchies (AS, PD, JFN, KR), pp. 522–531.

PLDI-1996-BruggemanWD #continuation #representation

Representing Control in the Presence of One-Shot Continuations (CB, OW, RKD), pp. 99–107.

STOC-1996-BonetPWY #polymorphism

Constructing Evolutionary Trees in the Presence of Polymorphic Characters (MLB, CAP, TW, SY), pp. 220–229.

KDD-1996-FeldmanH #mining

Mining Associations in Text in the Presence of Background Knowledge (RF, HH), pp. 343–346.

ISSTA-1996-HughesS #algebra #named #object-oriented #source code #testing

Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects (MH, PDS), pp. 53–61.

VLDB-1995-AgrawalLSS #database #performance #scalability #similarity

Fast Similarity Search in the Presence of Noise, Scaling, and Translation in Time-Series Databases (RA, KIL, HSS, KS), pp. 490–501.

PEPM-1995-Lu #analysis #logic programming #source code

Type Analysis of Logic Programs in the Presence of Type Definitions (LL), pp. 241–252.

PLDI-1995-AltmanGG #pipes and filters #scheduling

Scheduling and Mapping: Software Pipelining in the Presence of Structural Hazards (ERA, RG, GRG), pp. 139–150.

OOPSLA-1995-StataG #composition #reasoning #subclass

Modular Reasoning in the Presence of Subclassing (RS, JVG), pp. 200–214.

ICSE-1995-ChambersDG #dependence #framework

A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies (CC, JD, DG), pp. 221–230.

LICS-1995-DoughertyS #similarity

Equality between Functionals in the Presence of Coproducts (DJD, RS), pp. 282–291.

TLCA-1995-Springintveld #higher-order

Third-Order Matching in the Presence of Type Constructors (JS), pp. 428–442.

PLDI-1994-EmamiGH #analysis #interprocedural #pointer #points-to

Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers (ME, RG, LJH), pp. 242–256.

LFP-1994-Biswas

In-Place Updates in the Presence of Control Operators (SKB), pp. 283–293.

DAC-1993-LiuCS #behaviour #simulation #using #verification

Analog System Verification in the Presence of Parasitics Using Behavioral Simulation (EWYL, HCC, ALSV), pp. 159–163.

VLDB-1993-ChaudhuriS #optimisation #query

Query Optimization in the Presence of Foreign Functions (SC, KS), pp. 529–542.

STOC-1993-BorgstromK #fault

Comparison-based search in the presence of errors (RSB, SRK), pp. 130–136.

HCI-SHI-1993-BarfieldW #concept #framework

The Sense of Presence within Virtual Environments: A Conceptual Framework (WB, SW), pp. 699–704.

ICLP-1993-DumortierJBC #analysis #constraints

Freeness Analysis in the Presence of Numerical Constraints (VD, GJ, MB, MC), pp. 100–115.

ICALP-1992-Schmid #algorithm #multi

The Average CRI-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects (US), pp. 223–234.

LFP-1992-Kaes #recursion #type inference #type system

Type Inference in the Presence of Overloading, Subtyping and Recursive Types (SK), pp. 193–204.

STOC-1991-AslamD #bound #fault

Searching in the Presence of Linearly Bounded Errors (Extended Abstract) (JAA, AD), pp. 486–493.

STOC-1991-AttiyaDLS #bound #nondeterminism

Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty (HA, CD, NAL, LJS), pp. 359–369.

TAV-1991-AgrawalDS #pointer #slicing

Dynamic Slicing in the Presence of Unconstrained Pointers (HA, RAD, EHS), pp. 60–73.

TAV-1991-DuesterwaldS #analysis #concurrent #data flow #framework #using

Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework (ED, MLS), pp. 36–48.

PLDI-1990-HiebDB #continuation #representation

Representing Control in the Presence of First-Class Continuations (RH, RKD, CB), pp. 66–77.

POPL-1990-AikenWW #fault #program transformation

Program Transformation in the Presence of Errors (AA, JHW, ELW), pp. 210–217.

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.

PLDI-1989-Boehm #abstraction #type inference

Type Inference in the Presence of Type Abstraction (HJB), pp. 192–206.

LICS-1989-MasonT #axiom #equivalence

Axiomatizing Operational Equivalence in the Presence of Side Effects (IAM, CLT), pp. 284–293.

STOC-1988-KearnsL #fault #learning

Learning in the Presence of Malicious Errors (Extended Abstract) (MJK, ML), pp. 267–280.

JICSCP-1988-WinsboroughW88

Transparent And-Parallelism in the Presence of Shared Free Variables (WHW, AW), pp. 749–764.

STOC-1987-HastadLN #configuration management #fault

Reconfiguring a Hypercube in the Presence of Faults (Extended Abstract) (JH, FTL, MN), pp. 274–284.

ESOP-1986-TrioletFI #automation #fortran #parallel #source code

Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls (RT, PF, FI), pp. 210–222.

STOC-1985-HalpernMM #nondeterminism #precise

Optimal Precision in the Presence of Uncertainty (Preliminary Version) (JYH, NM, AAM), pp. 346–355.

LFP-1982-White #bound #constant

Constant Time Interpretation for Shallow-bound Variables in the Presence of Mixed SPECIAL/LOCAL Declarations (JLW), pp. 196–200.

POPL-1982-HennessyG #code generation #constraints #pipes and filters

Code Generation and Reorganization in the Presence of Pipeline Constraints (JLH, TRG), pp. 120–127.

POPL-1980-Weihl #analysis #data flow #interprocedural #pointer

Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables (WEW), pp. 83–94.