BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
analysi (30)
social (18)
data (16)
use (16)
constraint (15)

Stem presenc$ (all stems)

294 papers:

CASECASE-2015-KeroglouH #communication #constraints #distributed #using
Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints (CK, CNH), pp. 831–836.
PODSPODS-2015-PraveenS #graph #how #question
Defining Relations on Graphs: How Hard is it in the Presence of Node Partitions? (MP, BS), pp. 159–172.
SASSAS-2015-RapoportLT #analysis #correlation #data flow #precise
Precise Data Flow Analysis in the Presence of Correlated Method Calls (MR, OL, FT), pp. 54–71.
CHICHI-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.
HCIDUXU-IXD-2015-SuzukiCTO
Hidden Presence: Sensing Occupancy and Extracting Value from Occupancy Data (LS, PC, TT, GCO), pp. 412–424.
ICMLICML-2015-PhamRFA #learning #multi #novel
Multi-instance multi-label learning in the presence of novel class instances (ATP, RR, XZF, JPA), pp. 2427–2435.
ECOOPECOOP-2015-BhandariN #exception
Loop Tiling in the Presence of Exceptions (AB, VKN), pp. 124–148.
ECOOPECOOP-2015-CentonzePT #analysis
Access-rights Analysis in the Presence of Subjects (PC, MP, OT), pp. 222–246.
OOPSLAOOPSLA-2015-BrutschyFTP #named #resource management
ShamDroid: gracefully degrading functionality in the presence of limited resource access (LB, PF, OT, MP), pp. 316–331.
OOPSLAOOPSLA-2015-ZhengBB #compilation #profiling
Accurate profiling in the presence of dynamic compilation (YZ, LB, WB), pp. 433–450.
POPLPOPL-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.
ICSEICSE-v1-2015-RheinGAS0B #configuration management
Presence-Condition Simplification in Highly Configurable Systems (AvR, AG, SA, NS, DB, TB), pp. 178–188.
DATEDATE-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.
ESOPESOP-2014-MangalNY #analysis #interprocedural
A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join (RM, MN, HY), pp. 513–533.
FoSSaCSFoSSaCS-2014-AlmagorK #synthesis
Latticed-LTL Synthesis in the Presence of Noisy Inputs (SA, OK), pp. 226–241.
ICPCICPC-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.
ICSMEICSME-2014-KanningS #preprocessor #slicing #variability
Program Slicing in the Presence of Preprocessor Variability (FK, SS), pp. 501–505.
CHICHI-2014-PereiraPP #interactive #social
Improving social presence in human-agent interaction (ATP, RP, AP), pp. 1449–1458.
CHICHI-2014-RaeMT
Bodies in motion: mobility, presence, and task awareness in telepresence (IR, BM, LT), pp. 2153–2162.
CSCWCSCW-2014-GaoXCF #how #multi
How beliefs about the presence of machine translation impact multilingual collaborations (GG, BX, DC, SRF), pp. 1549–1560.
HCIDUXU-DI-2014-Khan0R #design #video
Embodied Tele-Presence System (ETS): Designing Tele-Presence for Video Teleconferencing (MSLK, HL, SuR), pp. 574–585.
HCISCSM-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.
ICEISICEIS-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.
ICMLICML-c2-2014-Ben-DavidH #clustering
Clustering in the Presence of Background Noise (SBD, NH), pp. 280–288.
ICPRICPR-2014-RanjanHJ #image #retrieval #word
Enhancing Word Image Retrieval in Presence of Font Variations (VR, GH, CVJ), pp. 2709–2714.
SIGIRSIGIR-2014-RichardsonC #statistics
Estimating global statistics for unstructured P2P search in the presence of adversarial peers (SR, IJC), pp. 203–212.
RERE-2014-HorkoffSCS #nondeterminism
Supporting early decision-making in the presence of uncertainty (JH, RS, MC, ADS), pp. 33–42.
FSEFSE-2014-ElbaumR #nondeterminism #testing
Known unknowns: testing in the presence of uncertainty (SGE, DSR), pp. 833–836.
LICSLICS-CSL-2014-Ilik #axiom #decidability #morphism
Axioms and decidability for type isomorphism in the presence of sums (DI), p. 7.
DACDAC-2013-SalodkarRBB #automation #design #multi
Automatic design rule correction in presence of multiple grids and track patterns (NS, SR, SB, SHB), p. 6.
DATEDATE-2013-HillebrechtKEWB #generative
Accurate QBF-based test pattern generation in presence of unknown values (SH, MAK, DE, HJW, BB), pp. 436–441.
DRRDRR-2013-WalkerRS #fault #modelling #topic
Evaluating supervised topic models in the presence of OCR errors (DDW, EKR, KDS).
CSMRCSMR-2013-SoetensDZ #developer #testing
Change-Based Test Selection in the Presence of Developer Tests (QDS, SD, AZ), pp. 101–110.
ICALPICALP-v2-2013-BokerKKS #nondeterminism
Nondeterminism in the Presence of a Diverse or Unknown Future (UB, DK, OK, MS), pp. 89–100.
ICALPICALP-v2-2013-CosmoMZZ #component #configuration management
Component Reconfiguration in the Presence of Conflicts (RDC, JM, SZ, GZ), pp. 187–198.
SEFMSEFM-2013-VanspauwenJ #preprocessor
Sound Symbolic Linking in the Presence of Preprocessing (GV, BJ), pp. 122–136.
HCIDUXU-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.
HCIHCI-AS-2013-LeeC #game studies
Influence of Gaming Display and Controller on Perceived Characteristics, Perceived Interactivity, Presence, and Discomfort (HL, DC), pp. 258–265.
HCIHIMI-HSM-2013-SakuradaH #interface #physics #using
A New Presence Display System Using Physical Interface Running on IP-Phones (TS, YH), pp. 411–420.
SACSAC-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-FSEESEC-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.
CGOCGO-2013-EmaniWO #adaptation #parallel
Smart, adaptive mapping of parallelism in the presence of external workload (MKE, ZW, MFPO), p. 10.
CAVCAV-2013-AdlerEV #ambiguity #equivalence
Relative Equivalence in the Presence of Ambiguity (OA, CE, TV), pp. 430–446.
DATEDATE-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.
CSMRCSMR-2012-PlateniusDB #architecture #design #named
Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies (MCP, MvD, SB), pp. 255–264.
ICSMEICSM-2012-NogueraKRJ #refactoring
Refactoring in the presence of annotations (CN, AK, CDR, VJ), pp. 337–346.
SCAMSCAM-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.
PLDIPLDI-2012-FengGN #effectiveness #parallel
Effective parallelization of loops in the presence of I/O operations (MF, RG, IN), pp. 487–498.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CSCWCSCW-2012-TakayamaG #mobile
Mixing metaphors in mobile remote presence (LT, JG), pp. 495–504.
KDDKDD-2012-TianZ #learning
Learning from crowds in the presence of schools of thought (YT, JZ), pp. 226–234.
ECOOPECOOP-2012-GudkaHE #library #scalability
Lock Inference in the Presence of Large Libraries (KG, TH, SE), pp. 308–332.
CASECASE-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.
DACDAC-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.
DACDAC-2011-ToettcherCTW #analysis #constraints
Biochemical oscillator sensitivity analysis in the presence of conservation constraints (JET, AC, BT, JW), pp. 806–811.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2011-KochteW #evaluation #fault #satisfiability
SAT-based fault coverage evaluation in the presence of unknown values (MAK, HJW), pp. 1303–1308.
DATEDATE-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.
DRRDRR-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.
ICDARICDAR-2011-KumarKDA #component #segmentation
Segmentation of Handwritten Textlines in Presence of Touching Components (JK, LK, DSD, WAA), pp. 109–113.
ESOPESOP-2011-SotinJ #analysis #interprocedural #pointer #precise #stack
Precise Interprocedural Analysis in the Presence of Pointers to the Stack (PS, BJ), pp. 459–479.
ICSMEICSM-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.
ICALPICALP-v1-2011-AroraG #algorithm #fault #learning
New Algorithms for Learning in Presence of Errors (SA, RG), pp. 403–415.
CHICHI-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.
CSCWCSCW-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.
CSCWCSCW-2011-FarzanDKP #community #design #online #social
Increasing commitment to online communities by designing for social presence (RF, LAD, REK, TP), pp. 321–330.
HCIHCI-UA-2011-LiuU #3d
Effects of Presence on Causing Cybersickness in the Elderly within a 3D Virtual Store (CLL, STU), pp. 490–499.
HCIIDGD-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.
KDIRKDIR-2011-Ibrahim #algorithm #clustering #network
Enhancing Clustering Network Planning Algorithm in the Presence of Obstacles (LFI), pp. 480–486.
MLDMMLDM-2011-LiuM #multi #naive bayes
Smoothing Multinomial Naïve Bayes in the Presence of Imbalance (AL, CEM), pp. 46–59.
OOPSLAOOPSLA-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.
ICSEICSE-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.
HPCAHPCA-2011-RanganPWB #performance #throughput
Achieving uniform performance and maximizing throughput in the presence of heterogeneity (KKR, MDP, GYW, DMB), pp. 3–14.
ICSTICST-2011-NandaMSHO #testing
Regression testing in the presence of non-code changes (AN, SM, SS, MJH, AO), pp. 21–30.
LICSLICS-2011-Clairambault #higher-order #morphism
Isomorphisms of Types in the Presence of Higher-Order References (PC), pp. 152–161.
LICSLICS-2011-HurDV #garbage collection #logic
Separation Logic in the Presence of Garbage Collection (CKH, DD, VV), pp. 247–256.
DACDAC-2010-ChenW
Node addition and removal in the presence of don’t cares (YCC, CYW), pp. 505–510.
DATEDATE-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.
PODSPODS-2010-MeierSWL #optimisation #query #semantics
Semantic query optimization in the presence of types (MM, MS, FW, GL), pp. 111–122.
VLDBVLDB-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.
VLDBVLDB-2010-LevinKSS #constraints #interactive #order
Interactive Route Search in the Presence of Order Constraints (RL, YK, ES, YS), pp. 117–128.
PLDIPLDI-2010-TianFG #data type #parallel
Supporting speculative parallelization in the presence of dynamic data structures (CT, MF, RG), pp. 62–73.
ICALPICALP-v2-2010-HirschkoffP #on the #replication #similarity
On Bisimilarity and Substitution in Presence of Replication (DH, DP), pp. 454–465.
CHICHI-2010-SteptoeSRR #social
Lie tracking: social presence, truth and deception in avatar-mediated telecommunication (WS, AS, AR, JR), pp. 1039–1048.
CAiSECAiSE-2010-SidorovaST #concept #correctness #workflow
Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual (NS, CS, NT), pp. 530–544.
ICPRICPR-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.
KDIRKDIR-2010-AddisAV #categorisation
Assessing Progressive Filtering to Perform Hierarchical Text Categorization in Presence of Input Imbalance (AA, GA, EV), pp. 14–23.
SEKESEKE-2010-Nehmer #approach #consistency #exception
A Log-Assisted Approach Enforcing Consistency in the Presence of Exceptions (NN), pp. 757–764.
SIGIRSIGIR-2010-ArguelloDP
Vertical selection in the presence of unlabeled verticals (JA, FD, JFP), pp. 691–698.
SIGIRSIGIR-2010-Roussinov #aspect-oriented #verification
Aspect presence verification conditional on other aspects (DR), pp. 865–866.
SACSAC-2010-RosswogG #clustering #detection #mobile
Efficiently detecting clusters of mobile objects in the presence of dense noise (JR, KG), pp. 1095–1102.
CAVCAV-2010-BloemCGHJ #liveness #robust
Robustness in the Presence of Liveness (RB, KC, KG, TAH, BJ), pp. 410–424.
DACDAC-2009-ZhangPHM
Carbon nanotube circuits in the presence of carbon nanotube density variations (JZ, NP, AH, SM), pp. 71–76.
DRRDRR-2009-FosseideA #recognition
Character recognition in the presence of occluding clutter (KTF, LA), pp. 1–10.
PODSPODS-2009-ChirkovaG #dependence #embedded #equivalence #query #sql
Equivalence of SQL queries in presence of embedded dependencies (RC, MRG), pp. 217–226.
VLDBVLDB-2009-KaushikS #consistency
Consistent Histograms In The Presence of Distinct Value Counts (RK, DS), pp. 850–861.
HCIHCI-NIMT-2009-Suzuki
Embodied Sound Media Technology for the Enhancement of the Sound Presence (KS), pp. 745–751.
HCIHCI-VAD-2009-ChungK
Causal Links of Presence (DC, CHK), pp. 279–286.
HCIHCI-VAD-2009-ParkH #comprehension #game studies #online
Understanding Online Game Addiction: Connection between Presence and Flow (SP, HSH), pp. 378–386.
HCIHCI-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.
HCIHCI-VAD-2009-ThiesK #concept #implementation #interactive
Electronic Glassboard — Conception and Implementation of an Interactive Tele-presence Application (PT, BK), pp. 632–640.
ICEISICEIS-AIDSS-2009-Antunes #mining
Mining Patterns in the Presence of Domain Knowledge (CA), pp. 188–193.
ICMLICML-2009-GarnettOR #predict
Sequential Bayesian prediction in the presence of changepoints (RG, MAO, SJR), pp. 345–352.
SIGIRSIGIR-2009-DiazA #adaptation #feedback #predict
Adaptation of offline vertical selection predictions in the presence of user feedback (FD, JA), pp. 323–330.
RERE-2009-MillerFM #architecture #requirements
Characteristics of New Requirements in the Presence or Absence of an Existing System Architecture (JAM, RF, NHM), pp. 5–14.
CASECASE-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.
DACDAC-2008-Abdollahi
Signature based Boolean matching in the presence of don’t cares (AA), pp. 642–647.
DACDAC-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.
DATEDATE-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.
SIGMODSIGMOD-2008-BansalGK #ad hoc
Ad-hoc aggregations of ranked lists in the presence of hierarchies (NB, SG, NK), pp. 67–78.
SIGMODSIGMOD-2008-GhelliORS #optimisation #query #xml
XML query optimization in the presence of side effects (GG, NO, KHR, JS), pp. 339–352.
ITiCSEITiCSE-2008-CharltonMD #learning #performance #social
Evaluating the extent to which sociability and social presence affects learning performance (TC, LM, MD), p. 342.
FoSSaCSFoSSaCS-2008-RangelKE #bisimulation
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (GR, BK, HE), pp. 413–427.
SASSAS-2008-PerryW #control flow #fault #reasoning
Reasoning about Control Flow in the Presence of Transient Faults (FP, DW), pp. 332–346.
STOCSTOC-2008-BarkolIW #communication #replication
Communication in the presence of replication (OB, YI, EW), pp. 661–670.
CHICHI-2008-McQuigganRL #learning
The effects of empathetic virtual characters on presence in narrative-centered learning environments (SWM, JPR, JCL), pp. 1511–1520.
CHICHI-2008-TroshynskiLD
Accountabilities of presence: reframing location-based systems (ET, CPL, PD), pp. 487–496.
ECIRECIR-2008-McSherryN #information retrieval #metric #performance
Computing Information Retrieval Performance Measures Efficiently in the Presence of Tied Scores (FM, MN), pp. 414–421.
ICMLICML-2008-FrankMP #learning
Reinforcement learning in the presence of rare events (JF, SM, DP), pp. 336–343.
KRKR-2008-SardinaPG #behaviour #composition
Behavior Composition in the Presence of Failure (SS, FP, GDG), pp. 640–650.
TOOLSTOOLS-EUROPE-2008-ParizekP #component #modelling #process
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities (PP, FP), pp. 2–21.
SACSAC-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.
SACSAC-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.
ICSEICSE-2008-LuCT #consistency #nondeterminism #pervasive #testing
Testing pervasive software in the presence of context inconsistency resolution services (HL, WKC, THT), pp. 61–70.
CCCC-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.
CAVCAV-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.
ICSTICST-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.
ASEASE-2007-WapplerS #testing
Improving evolutionary class testing in the presence of non-public methods (SW, IS), pp. 381–384.
DACDAC-2007-GoswamiTKR #constraints #exception #generative #testing
Test Generation in the Presence of Timing Exceptions and Constraints (DG, KHT, MK, JR), pp. 688–693.
SIGMODSIGMOD-2007-NergizAC #database
Hiding the presence of individuals from shared databases (MEN, MA, CC), pp. 665–676.
SIGMODSIGMOD-2007-QiCSK #query #taxonomy
Integrating and querying taxonomies with quest in the presence of conflicts (YQ, KSC, MLS, KWK), pp. 1153–1155.
PASTEPASTE-2007-MarronSHK #analysis #library
Heap analysis in the presence of collection libraries (MM, DS, MVH, DK), pp. 31–36.
CHICHI-2007-DowMHMM #interactive
Presence and engagement in an interactive drama (SD, MM, EH, BM, MM), pp. 1475–1484.
HCIHCI-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.
HCIHCI-IDU-2007-ChungdN #interactive
Influence of Avatar Creation on Attitude, Empathy, Presence, and Para-Social Interaction (DC, BDd, CSN), pp. 711–720.
HCIHCI-IDU-2007-HeldalRBW #collaboration
Presence, Creativity and Collaborative Work in Virtual Environments (IH, DJR, LB, RW), pp. 802–811.
HCIHCI-IDU-2007-HwangP #experience #social
Being Together: User’s Subjective Experience of Social Presence in CMC Environments (HSH, SP), pp. 844–853.
HCIHCI-IDU-2007-SoeffnerN #representation
Co-presence in Shared Virtual Environments: Avatars Beyond the Opposition of Presence and Representation (JS, CSN), pp. 949–958.
HCIHCI-IPT-2007-RyuML #3d #mobile
Measuring Presence in Mobile 3D (HJR, RM, BL), pp. 681–688.
HCIOCSC-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.
HCIOCSC-2007-ShihCHL #interactive #physics #representation #social
Physical Representation Social Presence with Interactive Grass (JHS, TWC, HMH, TCL), pp. 176–181.
ICEISICEIS-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.
ECIRECIR-2007-MeenaP #analysis #sentiment #using
Sentence Level Sentiment Analysis in the Presence of Conjuncts Using Linguistic Analysis (AM, TVP), pp. 573–580.
ICMLICML-2007-SunKR #fault #metric #robust
Robust mixtures in the presence of measurement errors (JS, AK, SR), pp. 847–854.
SEKESEKE-2007-ViswanathS #constraints #database #query
Query Processing in Paraconsistent Databases in the Presence of Integrity Constraints (NV, RS), pp. 580–585.
SACSAC-2007-CaldersGM #mining
Mining itemsets in the presence of missing values (TC, BG, MM), pp. 404–408.
CAVCAV-2007-BallKS #abstraction
Leaping Loops in the Presence of Abstraction (TB, OK, MS), pp. 491–503.
ISSTAISSTA-2007-CohenDS #configuration management #constraints #interactive #testing
Interaction testing of highly-configurable systems in the presence of constraints (MBC, MBD, JS), pp. 129–139.
DACDAC-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.
DATEDATE-2006-ChaoWCWC #using
Coverage loss by using space compactors in presence of unknown values (MCTC, SW, STC, WW, KTC), pp. 1053–1054.
VLDBVLDB-2006-Aggarwal #evolution #on the
On Biased Reservoir Sampling in the Presence of Stream Evolution (CCA), pp. 607–618.
TACASTACAS-2006-SenVA #markov #model checking #nondeterminism
Model-Checking Markov Chains in the Presence of Uncertainties (KS, MV, GA), pp. 394–410.
SASSAS-2006-CalcagnoDOY #abstraction #pointer #reachability
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic (CC, DD, PWO, HY), pp. 182–203.
ICALPICALP-v1-2006-FinocchiGI #fault #memory management #sorting
Optimal Resilient Sorting and Searching in the Presence of Memory Faults (IF, FG, GFI), pp. 286–298.
ICALPICALP-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.
CHICHI-2006-DeyG #deployment #design
From awareness to connectedness: the design and deployment of presence displays (AKD, ESDG), pp. 899–908.
CHICHI-2006-HowardKSGG
Negotiating presence-in-absence: contact, content and context (SH, JK, MBS, KG, OG), pp. 909–912.
CHICHI-2006-KramerOF #communication #using
Using linguistic features to measure presence in computer-mediated communication (ADIK, LMO, SRF), pp. 913–916.
CHICHI-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.
CSCWCSCW-2006-HauberRBC #performance #social #trade-off
Spatiality in videoconferencing: trade-offs between efficiency and social presence (JH, HR, MB, AC), pp. 413–422.
CIKMCIKM-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.
ICPRICPR-v1-2006-LaggerF #multi #using
Using Specularities to Recover Multiple Light Sources in the Presence of Texture (PL, PF), pp. 587–590.
ICPRICPR-v1-2006-MinYM #multi
Multi-layer Mosaics in the Presence of Motion and Depth Effects (CM, QY, GGM), pp. 992–995.
ICPRICPR-v3-2006-SureshR
Super-resolution in the presence of space-variant blur (KVS, ANR), pp. 770–773.
ICPRICPR-v4-2006-KumarJ #visual notation
Visual Servoing in Presence of Non-Rigid Motion (DSK, CVJ), pp. 655–658.
GPCEGPCE-2006-TilevichS #program transformation
Transparent program transformations in the presence of opaque code (ET, YS), pp. 89–94.
SACSAC-2006-KranzHS #ubiquitous
Ubiquitous presence systems (MK, PH, AS), pp. 1902–1909.
CCCC-2006-RountevKM #analysis #data flow #interprocedural #library #scalability
Interprocedural Dataflow Analysis in the Presence of Large Libraries (AR, SK, TJM), pp. 2–16.
CCCC-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.
ICLPICLP-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.
ISSTAISSTA-2006-FinkYDRG #alias #effectiveness #type system #verification
Effective typestate verification in the presence of aliasing (SJF, EY, ND, GR, EG), pp. 133–144.
ICSTSAT-2006-ZabiyakaD #bound #complexity #dependence #functional
Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies (YZ, AD), pp. 116–129.
ASEASE-2005-GotliebDB #constraints #generative #pointer #testing
Constraint-based test data generation in the presence of stack-directed pointers (AG, TD, BB), pp. 313–316.
ASEASE-2005-ShankarASX #realtime #reasoning #semantics
Reasoning about real-time statecharts in the presence of semantic variations (SS, SA, VS, XX), pp. 243–252.
DACDAC-2005-BhardwajV #random
Leakage minimization of nano-scale circuits in the presence of systematic and random variations (SB, SBKV), pp. 541–546.
DACDAC-2005-NepalBMPZ #design #logic #probability
Designing logic circuits for probabilistic computation in the presence of noise (KN, RIB, JLM, WRP, AZ), pp. 485–490.
DATEDATE-2005-AbsarC #approach #array
Compiler-Based Approach for Exploiting Scratch-Pad in Presence of Irregular Array Access (MJA, FC), pp. 1162–1167.
DATEDATE-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.
DATEDATE-2005-KimWK #architecture #design #robust
owards Designing Robust QCA Architectures in the Presence of Sneak Noise Paths (KK, KW, RK), pp. 1214–1219.
PODSPODS-2005-BenediktFG #satisfiability #xpath
XPath satisfiability in the presence of DTDs (MB, WF, FG), pp. 25–36.
VLDBVLDB-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.
ITiCSEITiCSE-2005-TurbanRT
Bridging media breaks in presence presentations (GT, GR, CT), p. 377.
ESOPESOP-2005-JanvierLM #encryption
Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries (RJ, YL, LM), pp. 172–185.
MLDMMLDM-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.
OOPSLAOOPSLA-2005-NandaGC #type system
Deriving object typestates in the presence of inter-object references (MGN, CG, SC), pp. 77–96.
SACSAC-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.
CGOCGO-2005-ShinHC #control flow #parallel
Superword-Level Parallelism in the Presence of Control Flow (JS, MWH, JC), pp. 165–175.
TLCATLCA-2005-Herbelin #logic #on the
On the Degeneracy of Σ-Types in Presence of Computational Classical Logic (HH), pp. 209–220.
DACDAC-2004-RajVW #process
A methodology to improve timing yield in the presence of process variations (SR, SBKV, JMW), pp. 448–453.
DATEDATE-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.
PODSPODS-2004-HartmannL #dependence #multi
Multi-valued Dependencies in the Presence of Lists (SH, SL), pp. 330–341.
SIGMODSIGMOD-2004-FernandezOSH #exclamation #xquery
Yoo-Hoo! Building a Presence Service with XQuery and WSDL (MFF, NO, JS), pp. 911–912.
VLDBVLDB-2004-YangL #information management #xml
Secure XML Publishing without Information Leakage in the Presence of Data Inference (XY, CL), pp. 96–107.
ICSMEICSM-2004-WillmorES #database #slicing
Program Slicing in the Presence of a Database State (DW, SME, JS), pp. 448–452.
STOCSTOC-2004-FinocchiI #fault #memory management #sorting
Sorting and searching in the presence of memory faults (without redundancy) (IF, GFI), pp. 101–110.
CHICHI-2004-CountsF #lightweight #social
Supporting social presence through lightweight photo sharing on and off the desktop (SC, EF), pp. 599–606.
KDDKDD-2004-GadeWK #constraints #mining #performance
Efficient closed pattern mining in the presence of tough block constraints (KG, JW, GK), pp. 138–147.
ECOOPECOOP-2004-HirzelDH #analysis #pointer
Pointer Analysis in the Presence of Dynamic Class Loading (MH, AD, MH), pp. 96–122.
POPLPOPL-2004-JohannV #theorem
Free theorems in the presence of seq (PJ, JV), pp. 99–110.
ICSEICSE-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.
HPDCHPDC-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.
VLDBVLDB-2003-TsoisS #dependence #optimisation
The Generalized Pre-Grouping Transformation: Aggregate-Query Optimization in the Presence of Dependencies (AT, TKS), pp. 644–655.
STOCSTOC-2003-KalaiS
Boosting in the presence of noise (AK, RAS), pp. 195–205.
CHICHI-2003-LeeN #design #interactive #social
Designing social presence of social actors in human computer interaction (KML, CN), pp. 289–296.
CIKMCIKM-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.
ICMLICML-2003-McMahanGB #cost analysis
Planning in the Presence of Cost Functions Controlled by an Adversary (HBM, GJG, AB), pp. 536–543.
LICSLICS-2003-Comon-LundhS #constraints #deduction #theorem proving
Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or (HCL, VS), p. 271–?.
DACDAC-2002-AloulRMS #satisfiability #symmetry
Solving difficult SAT instances in the presence of symmetry (FAA, AR, ILM, KAS), pp. 731–736.
DACDAC-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.
DACDAC-2002-PomeranzKR #on the
On output response compression in the presence of unknown output values (IP, SK, SMR), pp. 255–258.
DATEDATE-2002-HassounCC #verification
Verifying Clock Schedules in the Presence of Cross Talk (SH, ECG, CC), pp. 346–350.
ICSMEICSM-2002-TruyenJV #consistency
Consistency Management in the Presence of Simultaneous Client-Specific Views (ET, WJ, PV), pp. 501–510.
SCAMSCAM-2002-MilanovaRR #graph #pointer #precise
Precise Call Graph Construction in the Presence of Function Pointers (AM, AR, BGR), pp. 155–162.
CSCWCSCW-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.
ICPRICPR-v3-2002-LiLLKS #multi
Multibaseline Stereo in the Presence of Specular Reflections (YL, SL, HL, SBK, HYS), pp. 573–576.
KDDKDD-2002-KumarPW #clustering #fault
Clustering seasonality patterns in the presence of errors (MK, NRP, JW), pp. 557–563.
SATSAT-2002-AloulRMS #satisfiability #symmetry
Solving difficult SAT instances in the presence of symmetry (FAA, AR, IM, KS), p. 23.
PODSPODS-2001-FanL #constraints #on the #xml
On XML Integrity Constraints in the Presence of DTDs (WF, LL).
ICSMEICSM-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.
CHICHI-2001-CouperTS #social #web
Social presence in Web surveys (MPC, RT, DMS), pp. 412–417.
CIKMCIKM-2001-ZelikovitzH #classification #using
Using LSI for Text Classification in the Presence of Background Text (SZ, HH), pp. 113–118.
ICMLICML-2001-Jiang #aspect-oriented #semistructured data
Some Theoretical Aspects of Boosting in the Presence of Noisy Data (WJ), pp. 234–241.
ICMLICML-2001-LawrenceS #kernel
Estimating a Kernel Fisher Discriminant in the Presence of Label Noise (NDL, BS), pp. 306–313.
ESOPESOP-2000-Thielecke #continuation #exception #on the
On Exceptions Versus Continuations in the Presence of State (HT), pp. 397–411.
TACASTACAS-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.
PLDIPLDI-2000-SreedharBC #framework #interprocedural #optimisation
A framework for interprocedural optimization in the presence of dynamic class loading (VCS, MGB, JDC), pp. 196–207.
CSCWCSCW-2000-GodefroidyHJL #approach #automation #privacy #verification
Ensuring privacy in presence awareness: an automated verification approach (PG, JDH, LJJ, DL), pp. 59–68.
CSCWCSCW-2000-MilewskiS
Providing presence cues to telephone users (AEM, TMS), pp. 89–96.
ECOOPECOOP-2000-GuptaCH #exception #java #optimisation #source code
Optimizing Java Programs in the Presence of Exceptions (MG, JDC, MH), pp. 422–446.
ICTSSTestCom-2000-FeckoAUD #generative #testing
Test Generation in the Presence of Conflicting Timers (MAF, PDA, MÜU, AYD), p. 301–?.
SIGMODSIGMOD-1999-FlorescuLMS #data access #optimisation #query
Query Optimization in the Presence of Limited Access Patterns (DF, AYL, IM, DS), pp. 311–322.
ICSMEICSM-1999-LiangH #interprocedural #pointer #recursion #slicing
Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion (DL, MJH), p. 421–?.
PASTEPASTE-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.
FMFM-v2-1999-MikhajlovSL #component
Developing Components in the Presence of Re-entrance (LM, ES, LL), pp. 1301–1320.
TOOLSTOOLS-EUROPE-1999-Mikhajlova99a #component #consistency #invariant
Consistent Extension of Components in the Presence of Explicit Invariants (AM), pp. 76–85.
ESOPESOP-1998-ChatterjeeRL #complexity #exception
Complexity of Concrete Type-Inference in the Presence of Exceptions (RC, BGR, WL), pp. 57–74.
IWPCIWPC-1998-SomeL #compilation #parsing
Parsing Minimization when Extracting Information from Code in the Presence of Conditional Compilation (SSS, TCL), pp. 118–125.
CHICHI-1998-PaulosC #named
PRoP: Personal Roving Presence (EP, JFC), pp. 296–303.
ICPRICPR-1998-NicollsJ #estimation
Maximum likelihood estimation of Toeplitz-block-Toeplitz covariances in the presence of subspace interference (FN, GdJ), pp. 1595–1597.
KDDKDD-1998-FeeldersCM #bias #mining
Mining in the Presence of Selectivity Bias and its Application to Reject Inference (AJF, SC, GJM), pp. 199–203.
FSEFSE-1998-AtkinsonG #effectiveness #pointer #program analysis
Effective Whole-Program Analysis in the Presence of Pointers (DCA, WGG), pp. 46–55.
CHICHI-1997-PedersenS #named #representation
AROMA: Abstract Representation of Presence Supporting Mutual Awareness (ERP, TS), pp. 51–58.
HCIHCI-CC-1997-Welch
The Presence of Aftereffects (RBW), pp. 273–276.
HCIHCI-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.
HCIHCI-SEC-1997-SingerW #named #question
Presence: Where Are We Now? (MJS, BGW), pp. 885–888.
HCIHCI-SEC-1997-WilsonNH #question
Presence and Side Effects: Complementary or Contradictory? (JRW, SN, CH), pp. 889–892.
EDOCEDOC-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–?.
ICMLICML-1997-Friedman #learning #network
Learning Belief Networks in the Presence of Missing Values and Hidden Variables (NF), pp. 125–133.
SACSAC-1997-ShulerB #branch
Look-ahead allocation in the presence of branches (JDS, HRB), pp. 504–508.
ICLPILPS-1997-BaralS #approximate #reasoning
Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information (CB, TCS), pp. 387–401.
SIGMODSIGMOD-1996-KrishnanVI
Estimating Alphanumeric Selectivity in the Presence of Wildcards (PK, JSV, BRI), pp. 282–293.
SIGMODSIGMOD-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.
VLDBVLDB-1996-ShuklaDNR #estimation #multi
Storage Estimation for Multidimensional Aggregates in the Presence of Hierarchies (AS, PD, JFN, KR), pp. 522–531.
PLDIPLDI-1996-BruggemanWD #continuation #representation
Representing Control in the Presence of One-Shot Continuations (CB, OW, RKD), pp. 99–107.
STOCSTOC-1996-BonetPWY #polymorphism
Constructing Evolutionary Trees in the Presence of Polymorphic Characters (MLB, CAP, TW, SY), pp. 220–229.
KDDKDD-1996-FeldmanH #mining
Mining Associations in Text in the Presence of Background Knowledge (RF, HH), pp. 343–346.
ISSTAISSTA-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.
VLDBVLDB-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.
PEPMPEPM-1995-Lu #analysis #logic programming #source code
Type Analysis of Logic Programs in the Presence of Type Definitions (LL), pp. 241–252.
PLDIPLDI-1995-AltmanGG #pipes and filters #scheduling
Scheduling and Mapping: Software Pipelining in the Presence of Structural Hazards (ERA, RG, GRG), pp. 139–150.
OOPSLAOOPSLA-1995-StataG #composition #reasoning #subclass
Modular Reasoning in the Presence of Subclassing (RS, JVG), pp. 200–214.
ICSEICSE-1995-ChambersDG #dependence #framework
A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies (CC, JD, DG), pp. 221–230.
LICSLICS-1995-DoughertyS #similarity
Equality between Functionals in the Presence of Coproducts (DJD, RS), pp. 282–291.
TLCATLCA-1995-Springintveld #higher-order
Third-Order Matching in the Presence of Type Constructors (JS), pp. 428–442.
PLDIPLDI-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.
LISPLFP-1994-Biswas
In-Place Updates in the Presence of Control Operators (SKB), pp. 283–293.
DACDAC-1993-LiuCS #behaviour #simulation #using #verification
Analog System Verification in the Presence of Parasitics Using Behavioral Simulation (EWYL, HCC, ALSV), pp. 159–163.
VLDBVLDB-1993-ChaudhuriS #optimisation #query
Query Optimization in the Presence of Foreign Functions (SC, KS), pp. 529–542.
STOCSTOC-1993-BorgstromK #fault
Comparison-based search in the presence of errors (RSB, SRK), pp. 130–136.
HCIHCI-SHI-1993-BarfieldW #concept #framework
The Sense of Presence within Virtual Environments: A Conceptual Framework (WB, SW), pp. 699–704.
ICLPICLP-1993-DumortierJBC #analysis #constraints
Freeness Analysis in the Presence of Numerical Constraints (VD, GJ, MB, MC), pp. 100–115.
ICALPICALP-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.
LISPLFP-1992-Kaes #recursion #type inference #type system
Type Inference in the Presence of Overloading, Subtyping and Recursive Types (SK), pp. 193–204.
STOCSTOC-1991-AslamD #bound #fault
Searching in the Presence of Linearly Bounded Errors (Extended Abstract) (JAA, AD), pp. 486–493.
STOCSTOC-1991-AttiyaDLS #bound #nondeterminism
Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty (HA, CD, NAL, LJS), pp. 359–369.
ISSTATAV-1991-AgrawalDS #pointer #slicing
Dynamic Slicing in the Presence of Unconstrained Pointers (HA, RAD, EHS), pp. 60–73.
ISSTATAV-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.
PLDIPLDI-1990-HiebDB #continuation #representation
Representing Control in the Presence of First-Class Continuations (RH, RKD, CB), pp. 66–77.
POPLPOPL-1990-AikenWW #fault #program transformation
Program Transformation in the Presence of Errors (AA, JHW, ELW), pp. 210–217.
SIGMODSIGMOD-1989-Troyer #constraints #database #scalability
RIDL*: A Tool for the Computer-Assisted Engineering of Large Databases in the Presence of Integrity Constraints (ODT), pp. 418–429.
PLDIPLDI-1989-Boehm #abstraction #type inference
Type Inference in the Presence of Type Abstraction (HJB), pp. 192–206.
LICSLICS-1989-MasonT #axiom #equivalence
Axiomatizing Operational Equivalence in the Presence of Side Effects (IAM, CLT), pp. 284–293.
STOCSTOC-1988-KearnsL #fault #learning
Learning in the Presence of Malicious Errors (Extended Abstract) (MJK, ML), pp. 267–280.
ICLPJICSCP-1988-WinsboroughW88
Transparent And-Parallelism in the Presence of Shared Free Variables (WHW, AW), pp. 749–764.
STOCSTOC-1987-HastadLN #configuration management #fault
Reconfiguring a Hypercube in the Presence of Faults (Extended Abstract) (JH, FTL, MN), pp. 274–284.
ESOPESOP-1986-TrioletFI #automation #fortran #parallel #source code
Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls (RT, PF, FI), pp. 210–222.
STOCSTOC-1985-HalpernMM #nondeterminism #precise
Optimal Precision in the Presence of Uncertainty (Preliminary Version) (JYH, NM, AAM), pp. 346–355.
LISPLFP-1982-White #bound #constant
Constant Time Interpretation for Shallow-bound Variables in the Presence of Mixed SPECIAL/LOCAL Declarations (JLW), pp. 196–200.
POPLPOPL-1982-HennessyG #code generation #constraints #pipes and filters
Code Generation and Reorganization in the Presence of Pipeline Constraints (JLH, TRG), pp. 120–127.
POPLPOPL-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.

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