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:
girard (3)
analysi (3)
softwar (3)
logic (2)
visual (2)

Stem paradox$ (all stems)

26 papers:

Contextuality, Cohomology and Paradox (SA, RSB, KK, RL, SM), pp. 211–228.
SEKESEKE-2014-SouzaA #estimation #mobile
Mobile Applications: The Paradox of Software Estimation (LSdS, GSdAJ), pp. 59–62.
HCIHIMI-LCCB-2013-ShiTS #consistency #nondeterminism #online #recommendation
Timing and Basis of Online Product Recommendation: The Preference Inconsistency Paradox (AS, CHT, CLS), pp. 531–539.
KDDKDD-2013-JhaSP #algorithm #performance #streaming #using
A space efficient streaming algorithm for triangle counting using the birthday paradox (MJ, CS, AP), pp. 589–597.
HTHT-2012-MitchellM #hypermedia
The paradox of rereading in hypertext fiction (AM, KM), pp. 103–112.
KRKR-2012-ConitzerX #approach #approximate #multi
Paradoxes of Multiple Elections: An Approximation Approach (VC, LX).
PODSPODS-2010-HartmannL #dependence #logic #sql
When data dependencies over SQL tables meet the logics of paradox and S-3 (SH, SL), pp. 317–326.
PLDIPLDI-2010-MightSH #functional #object-oriented #program analysis
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis (MM, YS, DVH), pp. 305–315.
CSCWCSCW-2010-DibPW #product line
Sonic souvenirs: exploring the paradoxes of recorded sound for family remembering (LD, DP, SW), pp. 391–400.
SOFTVISSOFTVIS-2010-RuanAMN #visualisation
Exploring the inventor’s paradox: applying jigsaw to software visualization (HR, CA, SM, JN), pp. 83–92.
When more is less: the paradox of choice in search engine use (AO, JPH, BS), pp. 516–523.
AdaSIGAda-2008-Rosen #ada
The Ada paradox(es) (JPR), pp. 11–12.
KDDKDD-2007-Kleinberg #challenge #mining #network #privacy #process #social
Challenges in mining social network data: processes, privacy, and paradoxes (JMK), pp. 4–5.
CHICHI-2006-NimwegenBOS #effectiveness
The paradox of the assisted user: guidance can be counterproductive (CvN, DDB, HvO, HS), pp. 917–926.
OOPSLAOOPSLA-2006-Steimann #aspect-oriented #programming
The paradoxical success of aspect-oriented programming (FS), pp. 481–497.
SACSAC-2006-GotoC #analysis #logic
A quantitative analysis of implicational paradoxes in classical mathematical logic (YG, JC), pp. 42–43.
ICALPICALP-2005-LinRTW #exponential #fibonacci
Braess’s Paradox, Fibonacci Numbers, and Exponential Inapproximability (HCL, TR, ÉT, AW), pp. 497–512.
VISSOFTVISSOFT-2005-Reiss #visualisation
The Paradox of Software Visualization (SPR), pp. 59–63.
ICALPICALP-1999-Clote #markov
Protein Folding, the Levinthal Paradox and Rapidly Mixing Markov Chains (PC), pp. 240–249.
CHICHI-1996-ButtonD #named
Technomethodology: Paradoxes and Possibilities (GB, PD), pp. 19–26.
A Simplification of Girard’s Paradox (AJCH), pp. 266–278.
Puzzles and Paradoxes (Abstract) (RMS), p. 208.
Solutions to a Paradox of Perception with Limited Acuity (ED), pp. 79–82.
KRKR-1989-Poole #reasoning #what
What the Lottery Paradox Tells Us About Default Reasoning (DP), pp. 333–340.
LICSLICS-1987-Howe #behaviour
The Computational Behaviour of Girard’s Paradox (DJH), pp. 205–214.
LICSLICS-1986-Coquand #analysis
An Analysis of Girard’s Paradox (TC), pp. 227–236.

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.