BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
program (3)
linear (2)
than (2)
never (2)
interfac (2)

Stem sometim$ (all stems)

14 papers:

RecSysRecSys-2015-KapoorKTKS #adaptation #quote
“I like to explore sometimes”: Adapting to Dynamic User Novelty Preferences (KK, VK, LGT, JAK, PRS), pp. 19–26.
CSCWCSCW-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.
CHICHI-2011-HuotCD #named
TorusDesktop: pointing via the backdoor is sometimes shorter (SH, OC, PD), pp. 829–838.
Local Search: Simple, Successful, But Sometimes Sluggish (BM, DD, TT), pp. 1–17.
CSCWCSCW-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.
VLDBVLDB-1998-Orenstein #database
Starting (and Sometimes Ending) a Database Company (JAO), p. 698.
PODSPODS-1997-BreitbartK #consistency #lazy evaluation #replication
Replication and Consistency: Being Lazy Helps Sometimes (YB, HFK), pp. 173–184.
CHICHI-1990-GentnerG #interface #why
Why good engineers (sometimes) create bad interfaces (DRG, JG), pp. 277–282.
Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes) (YM), pp. 1097–1105.
POPLPOPL-1983-EmersonH #branch #linear
“Sometimes” and “Not Never” Revisited: On Branching Versus Linear Time (EAE, JYH), pp. 127–140.
POPLPOPL-1981-Rosen #linear #polynomial
Linear Cost is Sometimes Quadratic (BKR), pp. 117–124.
POPLPOPL-1980-Lamport #logic #quote #source code
“Sometime” is Sometimes “Not Never” — On the Temporal Logic of Programs (LL), pp. 174–185.
ICALPICALP-1978-PriceW #stack
States Can Sometimes Do More Than Stack Symbols in PDA’s (JKP, DW), pp. 353–362.
ICSEICSE-1976-MannaW #correctness #proving
Is “Sometime” Sometimes Better Than “Always”? Intermittent Assertions in Proving Program Correctness (ZM, RJW), pp. 32–39.

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.