40 papers:
CHI-2015-AlmuhimediSSAAG #case study #exclamation #mobile #privacy- Your Location has been Shared 5, 398 Times!: A Field Study on Mobile App Privacy Nudging (HA, FS, NMS, IA, AA, JG, LFC, YA), pp. 787–796.
CSCW-2015-GonzalesFB #lessons learnt #towards- Towards an Appropriable CSCW Tool Ecology: Lessons from the Greatest International Scavenger Hunt the World Has Ever Seen (JAG, CF, AB), pp. 946–957.
DUXU-UI-2015-LinL15b #design- Affordances Feature on Package Design has Preference Effect on Content (JL, CHL), pp. 87–94.
- HIMI-IKD-2015-KaoW #concept #interface #web
- Narrower Conceptual Scope in the App Than the Web Store Interface — The Size Does It and the Ad Has It (CLK, MYW), pp. 204–214.
STOC-2014-Rothvoss #complexity #exponential- The matching polytope has exponential extension complexity (TR), pp. 263–272.
- STOC-2014-RudraW
- Every list-decodable code for high noise has abundant near-optimal rate puncturings (AR, MW), pp. 764–773.
HILT-2014-Anderson #ada- From Ada 9x to spaceport America: going where no one has gone before (CA), pp. 1–2.
FSE-2014-Jorgensen #question #re-engineering #what- Ten years with evidence-based software engineering. What is it? Has it had any impact? What’s next? (MJ), p. 3.
VLDB-2013-SimoesGG #algorithm #approximate #information management #performance #using- When Speed Has a Price: Fast Information Extraction Using Approximate Algorithms (GS, HG, LG), pp. 1462–1473.
WCRE-2013-LiuTZ #debugging #question- Has this bug been reported? (KL, HBKT, HZ), pp. 82–91.
- HCI-UC-2013-KawabeIN #predict
- A Refuge Location Prediction System for When a Tsunami Has Occurred (AK, TI, YN), pp. 295–300.
- FSE-2012-LiuTC #debugging #question
- Has this bug been reported? (KL, HBKT, MC), p. 28.
CIKM-2011-Pasca #query #using #web #what- Asking what no one has asked before: using phrase similarities to generate synthetic web search queries (MP), pp. 1347–1352.
KDD-2011-DrorKMS #exclamation #recommendation- I want to answer; who has a question?: Yahoo! answers recommender system (GD, YK, YM, IS), pp. 1109–1117.
DATE-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.
SIGIR-2010-ZucconAR #question- Has portfolio theory got any principles? (GZ, LA, KvR), pp. 755–756.
ICSE-2010-GuBHS #debugging #question- Has the bug really been fixed? (ZG, ETB, DJH, ZS), pp. 55–64.
- DATE-2009-Muller #design #question
- Has anything changed in electronic design since 1983? (MM), p. 1.
- IDGD-2009-TranL #interface #question #research
- Attention to Effects of Different Cross-Cultural Levels in User Research Method’s Interface: Discipline or Nationality — Which Has Stronger Force? (TTT, KPL), pp. 127–134.
MLDM-2009-Hoppner #how #question- How Much True Structure Has Been Discovered? (FH), pp. 385–397.
SEKE-2009-XieWXWY #named #scheduling- PP-HAS: A Task Priority Based Preemptive Human Resource Scheduling Method (LX, QW, JX, YW, YY), pp. 655–660.
- SIGIR-2009-ArmstrongMWZ #ad hoc #question #retrieval
- Has adhoc retrieval improved since 1994? (TGA, AM, WW, JZ), pp. 692–693.
- DATE-2007-Naumann #design #evolution #question
- Keynote address: Was Darwin wrong? Has design evolution stopped at the RTL level... or will software and custom processors (or system-level design) extend Moore’s law? (AN), p. 2.
PODS-2002-Chirkova #bound #problem #query- The View-Selection Problem Has an Exponential-Time Lower Bound for Conjunctive Queries and Views (RC), pp. 159–168.
ITiCSE-2000-KelemenTHAB #education- Has our curriculum become math-phobic? (an American perspective) (CK, ABT, PH, OLA, KBB), pp. 132–135.
ICPR-v3-2000-MaedaKZI #3d #modelling- 3-D Shapes Modeling which has Hierarchical Structure Based on B-Spline Surfaces with Non-Uniform Knots (MM, KK, HZ, KI), pp. 3119–3122.
- VLDB-1999-ZurekS
- Datawarehousing Has More Colours Than Just Black & White (TZ, MS), pp. 726–729.
- STOC-1999-KlivansM #graph #morphism #polynomial #proving
- Graph Nonisomorphism has Subexponential Size Proofs Unless the Polynomial-Time Hierarchy Collapses (AK, DvM), pp. 659–667.
TLCA-1999-David- Every Unsolvable λ Term has a Decoration (RD), pp. 98–113.
ICSM-1996-KellerCPZ #how #maintenance #question- How Much Has Software Maintenance Changed Since 1983? (TK, NC, TMP, NZ), p. 34–?.
HT-ECHT-1994-KaplanM #design #ontology- Where No Mind Has Gone Before: Ontological Design for Virtual Spaces (NK, SM), pp. 206–216.
ESEC-1993-EmmerichSW #database #re-engineering- Databases for Software Engineering Environments — The Goal has not yet been attained (WE, WS, JW), pp. 145–162.
- CSCW-1992-DubsH #concept #distributed #question
- Distributed Facilitation: A Concept Whose Time Has Come? (SD, SCH), pp. 314–321.
- ESEC-1991-Voas #impact analysis #predict
- A Dynamic Failure Model for Predicting the Impact that a Program Location has on the Program (JMV), pp. 308–331.
LICS-1991-Stoughton #parallel- Parallel PCF Has a Unique Extensional Model (AS), pp. 146–151.
RTA-1991-NarendranR #canonical #commutative #finite- Any Gound Associative-Commutative Theory Has a Finite Canonical System (PN, MR), pp. 423–434.
- PODS-1989-Przymusinski #fixpoint #logic programming
- Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model (TCP), pp. 11–21.
POPL-1985-Lamport #concurrent #specification #what #why- What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority (LL), pp. 78–83.
- STOC-1984-KahnS #comparison
- Every Poset Has a Good Comparison (JK, MES), pp. 299–301.
SIGMOD-1983-Bernstein #database- Database Theory: Where Has It Been? Where Is It Going? (Abstract) (PAB), p. 2.
