14 papers:
RecSys-2015-KapoorKTKS #adaptation #quote- “I like to explore sometimes”: Adapting to Dynamic User Novelty Preferences (KK, VK, LGT, JAK, PRS), pp. 19–26.
CSCW-2013-DoucetteGMNS #collaboration #how- Sometimes when we touch: how arm embodiments change reaching and collaboration on digital tables (AD, CG, RLM, MAN, SS), pp. 193–202.
CHI-2011-HuotCD #named- TorusDesktop: pointing via the backdoor is sometimes shorter (SH, OC, PD), pp. 829–838.
ICALP-v1-2010-MonienDT- Local Search: Simple, Successful, But Sometimes Sluggish (BM, DD, TT), pp. 1–17.
- CSCW-2004-SouzaRCMP #case study #interface #programming
- Sometimes you need to see through walls: a field study of application programming interfaces (CRBdS, DFR, LTC, DRM, JFP), pp. 63–71.
VLDB-1998-Orenstein #database- Starting (and Sometimes Ending) a Database Company (JAO), p. 698.
PODS-1997-BreitbartK #consistency #lazy evaluation #replication- Replication and Consistency: Being Lazy Helps Sometimes (YB, HFK), pp. 173–184.
- CHI-1990-GentnerG #interface #why
- Why good engineers (sometimes) create bad interfaces (DRG, JG), pp. 277–282.
JICSCP-1988-Moinard88- Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes) (YM), pp. 1097–1105.
POPL-1983-EmersonH #branch #linear- “Sometimes” and “Not Never” Revisited: On Branching Versus Linear Time (EAE, JYH), pp. 127–140.
- POPL-1981-Rosen #linear #polynomial
- Linear Cost is Sometimes Quadratic (BKR), pp. 117–124.
- POPL-1980-Lamport #logic #quote #source code
- “Sometime” is Sometimes “Not Never” — On the Temporal Logic of Programs (LL), pp. 174–185.
- ICALP-1978-PriceW #stack
- States Can Sometimes Do More Than Stack Symbols in PDA’s (JKP, DW), pp. 353–362.
ICSE-1976-MannaW #correctness #proving- Is “Sometime” Sometimes Better Than “Always”? Intermittent Assertions in Proving Program Correctness (ZM, RJW), pp. 32–39.
