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:
what (9)
no (8)
be (8)
interact (6)
back (6)

Stem there$ (all stems)

96 papers:

CSCWCSCW-2015-BiehlAD #communication #comprehension
Not Really There: Understanding Embodied Communication Affordances in Team Perception and Participation (JTB, DA, AD), pp. 1567–1575.
CSCWCSCW-2015-QuattroneCM #bias #dataset
There’s No Such Thing as the Perfect Map: Quantifying Bias in Spatial Crowd-sourcing Datasets (GQ, LC, PDM), pp. 1021–1032.
HCIDUXU-DD-2015-Mesbahi #exclamation #interactive
Human-Robot Interaction Ethics in Sci-Fi Movies: Ethics Are Not “There”, We Are the Ethics! (MEM), pp. 590–598.
ICMTICMT-J-2012-KuselSWKRS15 #model transformation #question #reuse
Reuse in model-to-model transformation languages: are we there yet? (AK, JS, MW, GK, WR, WS), pp. 537–572.
DLTDLT-2014-Weil #algebra #logic
From Algebra to Logic: There and Back Again The Story of a Hierarchy — (Invited Paper) (PW), pp. 275–278.
ICFPICFP-2014-MarlowBCP #abstraction #concurrent #data access #performance
There is no fork: an abstraction for efficient, concurrent, and concise data access (SM, LB, JC, JP), pp. 325–337.
CHICHI-2014-FeinbergCB #database #design #interactive #using
Always somewhere, never there: using critical design to understand database interactions (MF, DC, JB), pp. 1941–1950.
CHICHI-2014-RzeszotarskiSMMM #twitter
Is anyone out there?: unpacking Q&A hashtags on twitter (JMR, ESS, JNM, AMH, MRM), pp. 2755–2758.
HCIHCI-TMT-2014-BuchdidB #case study #human-computer #word
Is There HCI in IDTV? — An Exploratory Study on Their Words (SBB, MCCB), pp. 47–57.
FSEFSE-2014-SeoK #how #testing
How we get there: a context-guided search strategy in concolic testing (HS, SK), pp. 413–424.
CSMRCSMR-2013-MihanceaM #correlation #fault #morphism #polymorphism #question
Changes, Defects and Polymorphism: Is There Any Correlation? (PFM, CM), pp. 341–344.
CHICHI-2013-CafaroPLRR #exclamation #interactive
I see you there!: developing identity-preserving embodied interaction for museum exhibits (FC, AP, LL, JR, JR), pp. 1911–1920.
CHICHI-2013-LewisUM #named
UMUX-LITE: when there’s no time for the SUS (JRL, BU, DEM), pp. 2099–2102.
CHICHI-2013-SodhiJFBM #3d #collaboration #mobile #named
BeThere: 3D mobile collaboration with spatial input (RS, BRJ, DAF, BPB, GM), pp. 179–188.
SIGIRSIGIR-2013-WestWH #predict #process #query
Here and there: goals, activities, and predictions about location from geotagged queries (RW, RWW, EH), pp. 817–820.
REFSQREFSQ-2013-Herrmann #requirements
Requirements Engineering in Practice: There Is No Requirements Engineer Position (AH), pp. 347–361.
PLOSPLOS-2013-Kell #operating system #question
The operating system: should there be one? (SK), p. 7.
SOSPSOSP-2013-MoraruAK
There is more consensus in Egalitarian parliaments (IM, DGA, MK), pp. 358–372.
ICSTSAT-2013-Stuckey #problem
There Are No CNF Problems (PJS), pp. 19–21.
PLDIPLDI-2012-BaconCS #configuration management #garbage collection #hardware #realtime
And then there were none: a stall-free real-time garbage collector for reconfigurable hardware (DFB, PC, SS), pp. 23–34.
CSCWCSCW-2012-PoelmanALJ
As if being there: mediated reality for crime scene investigation (RP, OA, SL, PJ), pp. 1267–1276.
ICSEICSE-2012-BudgenDBH #education #question #what
What scope is there for adopting evidence-informed teaching in SE? (DB, SD, PB, NH), pp. 1205–1214.
DLTDLT-2011-KortelainenS #bound #context-free grammar
There Does Not Exist a Minimal Full Trio with Respect to Bounded Context-Free Languages (JK, TS), pp. 312–323.
CHICHI-2011-RaffleRMBBHKCFGS #chat #exclamation #product line #video
Hello, is grandma there? let’s read! StoryVisit: family video chat and connected e-books (HR, GR, KM, RB, KB, HH, JK, KC, NF, JG, MS), pp. 1195–1204.
CHICHI-2011-Taylor
Out there (AST), pp. 685–694.
HCIDUXU-v1-2011-AuingerAKH #design #difference #question #web
Conformity with User Expectations on the Web: Are There Cultural Differences for Design Principles? (AA, AMA, HK, AH), pp. 3–12.
SIGIRSIGIR-2011-ChatzichristofisZA11a
The TREC files: the (ground) truth is out there (SAC, KZ, AA), pp. 1289–1290.
RERE-2011-Waldmann #agile #constraints #development #requirements #what
There’s never enough time: Doing requirements under resource constraints, and what requirements engineering can learn from agile development (BW), pp. 301–305.
DATEDATE-2010-MoyerKCRHT #assembly #question
Are we there yet? Has IP block assembly become as easy as LEGO? (BM, JK, JC, CR, EH, YT), p. 123.
CSEETCSEET-2010-Thompson #effectiveness #industrial #re-engineering #why
Why Better Industrial/Academic Links Are Needed If There is to Be an Effective Software Engineering Workforce (JBT), pp. 105–112.
PEPMPEPM-2010-Haftmann #haskell #higher-order #logic
From higher-order logic to Haskell: there and back again (FH), pp. 155–158.
CHICHI-2010-SmythKMT #mobile
Where there’s a will there’s a way: mobile media sharing in urban india (TNS, SK, IM, KT), pp. 753–762.
CGOCGO-2010-Newburn
There are at least two sides to every heterogeneous system (CCJN), p. 120.
CAVCAV-2010-RepsLTBL #verification
There’s Plenty of Room at the Bottom: Analyzing and Verifying Machine Code (TWR, JL, AVT, GB, AL), pp. 41–56.
ICDARICDAR-2009-KermorvantBMM #recognition
From Isolated Handwritten Characters to Fields Recognition: There’s Many a Slip Twixt Cup and Lip (CK, ALB, PM, FM), pp. 1031–1035.
CSMRCSMR-2009-KpodjedoRGA #algorithm #evolution #question #using
Recovering the Evolution Stable Part Using an ECGM Algorithm: Is There a Tunnel in Mozilla? (SK, FR, PG, GA), pp. 179–188.
PEPMPEPM-2009-Gluck #question
Is there a fourth Futamura projection? (RG), pp. 51–60.
CHICHI-2009-Cockton #design #interactive
Getting there: six meta-principles and interaction design (GC), pp. 2223–2232.
HCIHCI-NT-2009-HaywoodB #quote
“I Love My iPhone ... But There Are Certain Things That ‘Niggle’ Me” (AH, GB), pp. 421–430.
ECIRECIR-2009-SandersonTAC #what
What Else Is There? Search Diversity Examined (MS, JT, TA, PDC), pp. 562–569.
ECIRECIR-2009-UdupaSBB #information retrieval #mining #query #quote
“They Are Out There, If You Know Where to Look”: Mining Transliterations of OOV Query Terms for Cross-Language Information Retrieval (RU, KS, AB, AB), pp. 437–448.
PPoPPPPoPP-2009-KulkarniBIPC #how #parallel #question
How much parallelism is there in irregular applications? (MK, MB, RI, KP, CC), pp. 3–14.
CSLCSL-2009-HorbachW #induction #query
Deciding the Inductive Validity of FOR ALL THERE EXISTS * Queries (MH, CW), pp. 332–347.
SIGMODSIGMOD-2008-HarizopoulosAMS #what
OLTP through the looking glass, and what we found there (SH, DJA, SM, MS), pp. 981–992.
ICEISICEIS-ISAS2-2008-Tagg #question
Is there a Role for Philosophy in Group Work Support? (RT), pp. 89–96.
ICEISICEIS-SAIC-2008-PetersDW #e-commerce #trust
Consumer-to-Consumer Trust in E-Commerce — Are there Rules for Writing Helpful Product Reviews (GP, MD, RW), pp. 61–66.
ECIRECIR-2008-CarteretteBCD
Here or There (BC, PNB, DMC, STD), pp. 16–27.
SPLCSPLC-2008-CzarneckiSW #feature model #modelling
Sample Spaces and Feature Models: There and Back Again (KC, SS, AW), pp. 22–31.
ICLPICLP-2008-Fink #logic #programming
Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There (MF), pp. 99–113.
DACDAC-2007-Hiller
There Is More Than Moore In Automotive ... (HH), p. 376.
DACDAC-2007-Levitan #graph #random
You Can Get There From Here: Connectivity of Random Graphs on Grids (SPL), pp. 272–273.
DATEDATE-2007-PozziP #future of #question
A future of customizable processors: are we there yet? (LP, PGP), pp. 1224–1225.
TACASTACAS-2007-Cleaveland #lessons learnt
THERE AND BACK AGAIN: Lessons Learned on the Way to the Market (RC), p. 1.
HCIOCSC-2007-ChoY #how #programming
How to See the Beauty That Is Not There : The Aesthetic Element of Programming in the Computer- Based Media Art (HC, JY), pp. 292–300.
SPLCSPLC-2007-CzarneckiW #diagrams #feature model #logic
Feature Diagrams and Logics: There and Back Again (KC, AW), pp. 23–34.
CSLCSL-2007-FinkelL #rank
There Exist Some ω-Powers of Any Borel Rank (OF, DL), pp. 115–129.
ISSTAISSTA-2007-ChangPY #approach #what
Finding what’s not there: a new approach to revealing neglected conditions in software (RYC, AP, JY), pp. 163–173.
ITiCSEITiCSE-2006-SudolB #education #student #women
Is there such a thing as too much support?: a discussion from a teacher and a student’s perspective of support groups for girls in computer science (LAS, KB), p. 309.
ITiCSEITiCSE-2006-VilnerZ #difference #gender
Once she makes it, she is there: gender differences in computer science study (TV, EZ), pp. 227–231.
CHICHI-2006-BosONSHJ #distributed #question
Collocation bindness in partially distributed groups: is there a downside to being collocated? (NB, JSO, NN, NSS, SH, EWJ), pp. 1313–1321.
KDDKDD-2006-Piatetsky-ShapiroGDFGZ #challenge #data mining #mining #question
Is there a grand challenge or X-prize for data mining? (GPS, RG, CD, RF, LG, MJZ), pp. 954–956.
DACDAC-2005-NowakR #question
Are there economic benefits in DFM? (MN, RR), pp. 767–768.
DATEDATE-2005-RosenstielBGGKLMMMS #question #tool support
Is there a Market for SystemC Tools? (WR, RAB, FG, TG, MK, MCvL, AM, MM, MM, SS), p. 950.
CHICHI-2005-BeckwithBWCSH #debugging #effectiveness #gender #question
Effectiveness of end-user debugging software features: are there gender issues? (LB, MMB, SW, CRC, SS, MH), pp. 869–878.
CSCWCSCW-2004-BrownB #collaboration #game studies
CSCW at play: “there” as a collaborative virtual environment (BB, MB), pp. 350–359.
ICALPICALP-2003-GarganoH #graph #how
There Are Spanning Spiders in Dense Graphs (and We Know How to Find Them) (LG, MH), pp. 802–816.
ICSEICSE-2003-Cohoon #women
Must There Be So Few? Including Women in CS (JMC), pp. 668–675.
ICLPICLP-2003-Smaus #equation #first-order #question #semantics
Is There an Optimal Generic Semantics for First-Order Equations? (JGS), pp. 438–450.
ICFPICFP-2002-DanvyG
There and back again (OD, MG), pp. 230–234.
CBSECBSE-2001-Lau #certification #component #predict
Component Certification and System Prediction: Is There a Role for Formality (KKL), p. 16.
TACASTACAS-2001-FislerFVY #algorithm #detection #question
Is There a Best Symbolic Cycle-Detection Algorithm? (KF, RF, GK, MYV, ZY), pp. 420–434.
CHICHI-2001-VertegaalSVN
Eye gaze patterns in conversations: there is more the conversational agents than meets the eyes (RV, RS, GCvdV, AN), pp. 301–308.
KDDKDD-2001-Edelstein #data mining #mining #question
Data mining: are we there yet? (HE), p. 7.
RERE-2001-Greenspan #question #requirements #what
Extreme RE: What If There Is No Time for Requirements Engineering? (SJG), pp. 282–285.
ICSEICSE-2001-ShepardK #how
How to Do Inspections When There is No Time (TS, DK), pp. 718–719.
AdaEuropeAdaEurope-2000-Pflug #ada #question
Ada after 10 Years of Usage — Is There a Commercial Future? (BP), p. 4.
CIKMCIKM-2000-AmitayP #automation #question #web
Automatically Summarising Web Sites — Is There A Way Around It? (EA, CP), pp. 173–179.
REICRE-2000-Leite #question #research
Is there a Gap between RE Research and RE Practice? (JCSdPL), pp. 73–74.
STOCSTOC-1997-Mulmuley #algebra #exclamation #proving
Is There an Algebraic Proof for P != NC? (Extended Abstract) (KM), pp. 210–219.
CHICHI-1997-Golovchinsky #difference #query #question
Queries? Links? Is there a Difference? (GG), pp. 407–414.
HCIHCI-CC-1997-Blanchard #how #human-computer #interactive #question #standard #what
International Standards on Human-Computer Interaction: What is Out There and How Will it be Implemented? (HEB), pp. 599–602.
CHICHI-1996-VelichkovskyH #human-computer #interactive
New Technological Windows into Mind: There is More in Eyes and Brains for Human-Computer Interaction (BV, JPH), pp. 496–503.
ICPRICPR-1996-KaruJB #image #question
Is there any texture in the image? (KK, AKJ, RMB), pp. 770–774.
KRKR-1996-AmatiP #logic #question #reasoning
Is There a Logic of Provability for Nonmonotonic Reasoning? (GA, FP), pp. 493–503.
ICMLICML-1995-RaoGS #question
For Every Generalization Action, Is There Really an Equal and Opposite Reaction? (RBR, DFG, WMS), pp. 471–479.
CHIINTERCHI-1993-ODayJ #how
Orienteering in an information landscape: how information seekers get from here to there (VLO, RJ), pp. 438–445.
CHICHI-1992-HollanS
Beyond Being There (JDH, SS), pp. 119–125.
LICSLICS-1992-Seth #axiom #recursion
There is No Recursive Axiomatization for Feasible Functionals of Type~2 (AS), pp. 286–295.
PEPMPEPM-1991-Wadler #linear #logic #question
Is There a Use for Linear Logic? (PW), pp. 255–273.
ISSTATAV-1991-Young #formal method #question #re-engineering
Formal Methods versus Software Engineering: Is There a Conflict? (WDY), pp. 188–189.
ICLPNACLP-1990-Sagiv #question
Is There Anything Better than Magic? (YS), pp. 235–254.
HTHT-1989-Lesk #what
What To Do When There’s Too Much Information (ML), pp. 305–318.
DACDAC-1984-Smith #layout #tool support #what
Basic turorial layout tools — what really is there (RS), p. 219.
SIGMODSIGMOD-1983-Stonebraker #question
DBMS and AI: Is There any Common Point of View? (MS), p. 134.
SIGMODSIGMOD-1983-WilmsLS #distributed #execution #protocol #quote
“I wish I were over there”: Distributed Execution Protocols for Data Definition in R* (PFW, BGL, PGS), pp. 238–242.
DACDAC-1967-Weindlin #automation #design #programming language #question
Is there a “Best” Programming Language For Design Automation? (MW).

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.