Tag #lens
89 papers:
- ICFP-2019-MiltnerMFPWZ #symmetry
- Synthesizing symmetric lenses (AM, SM, KF, BCP, DW, SZ), p. 28.
DiGRA-2019-Casas-RomaA #categorisation- Categorizing Morality Systems Through the Lens of Fallout (JCR, JAM).
ICML-2019-BhagojiCMC #learning- Analyzing Federated Learning through an Adversarial Lens (ANB, SC, PM, SBC), pp. 634–643.
BX-2019-FongJ - Lenses and Learners (BF, MJ), pp. 16–29.
- BX-2019-JohnsonRo #multi
- Multicategories of Multiary Lenses (MJ, RDR), pp. 30–44.
- ICFP-2018-HornPC #incremental #relational
- Incremental relational lenses (RH, RP, JC), p. 30.
- ICFP-2018-MainaMFPWZ
- Synthesizing quotient lenses (SM, AM, KF, BCP, DW, SZ), p. 29.
ICPR-2018-ShiZWTYZ #modelling #network- Radial Lens Distortion Correction by Adding a Weight Layer with Inverted Foveal Models to Convolutional Neural Networks (YS, DZ, JW, XT, XY, HZ), pp. 1–6.
- ICPR-2018-ZouZLLH #generative #image
- Generation Textured Contact Lenses Iris Images Based on 4DCycle-GAN (HZ, HZ, XL, JL, ZH), pp. 3561–3566.
POPL-2018-MiltnerFPWZ - Synthesizing bijective lenses (AM, KF, BCP, DW, SZ), p. 30.
ASE-2018-JanesMR #developer #named- code_call_lens: raising the developer awareness of critical code (AJ, MM, BR), pp. 876–879.
ESOP-2018-Matsuda0 #combinator #named #programming #using- HOBiT: Programming Lenses Without Using Lens Combinators (KM, MW0), pp. 31–59.
FASE-2018-DiskinKL #multi- Multiple Model Synchronization with Multiary Delta Lenses (ZD, HK, ML), pp. 21–37.
ICSME-2017-LevinY #co-evolution #fine-grained #maintenance #semantics- The Co-evolution of Test Maintenance and Code Maintenance through the Lens of Fine-Grained Semantic Changes (SL, AY), pp. 35–46.
CHI-PLAY-2017-MuellerTBJ #design #game studies #interactive- 13 Game Lenses for Designing Diverse Interactive Jogging Systems (F'M, CTT, RB, MJ0), pp. 43–56.
BX-2017-JohnsonR #symmetry- Universal Updates for Symmetric Lenses (MJ, RR), pp. 39–53.
- DiGRA-FDG-2016-RyanSF #design #game studies
- Four Lenses for Designing Morally Engaging Games (MR, DS, PF).
- ICPR-2016-FerreiraG #3d #performance
- Accurate and fast micro lenses depth maps from a 3D point cloud in light field cameras (RF, NG), pp. 1893–1898.
- ICPR-2016-NikonorovPBYYKS #comparative #evaluation
- Comparative evaluation of deblurring techniques for Fresnel lens computational imaging (AVN, MVP, SAB, YVY, PYY, NLK, RVS, VF), pp. 775–780.
- BX-2016-JohnsonR
- Unifying Set-Based, Delta-Based and Edit-Based Lenses (MJ, RDR), pp. 1–13.
FSE-2016-CohenPV #algorithm #testing- Budgeted testing through an algorithmic lens (MBC, AP, NVV), pp. 948–951.
VLDB-2015-YangMFLK #approach #named #on-demand- Lenses: An On-Demand Approach to ETL (YY, NM, RF, ZHL, OK), pp. 1578–1589.
- ICSME-2015-CodobanRDB #case study #developer #how #why
- Software history under the lens: A study on why and how developers examine it (MC, SSR, DD, BB), pp. 1–10.
ICFP-2015-MatsudaW #bidirectional #programming- Applicative bidirectional programming with lenses (KM, MW), pp. 62–74.
- CHI-PLAY-2015-BekkerVRGSE #game studies
- Investigating Perspectives on Play: The Lenses of Play Tool (TB, LDV, PR, MdG, BAMS, BE), pp. 469–474.
CHI-2015-AminiRLHI #comprehension #visualisation- Understanding Data Videos: Looking at Narrative Visualization through the Cinematography Lens (FA, NHR, BL, CH, PI), pp. 1459–1468.
- CHI-2015-FrenchSBH #ambiguity #how
- Is This How We (All) Do It?: Butler Lies and Ambiguity Through a Broader Lens (MF, MES, JPB, JTH), pp. 4079–4082.
- CHI-2015-LiangSCCCYCC #interactive #named
- WonderLens: Optical Lenses and Mirrors for Tangible Interactions on Printed Paper (RHL, CS, YCC, GTC, LWC, DNY, MYC, BYC), pp. 1281–1284.
CSCW-2015-AmesRE - Worship, Faith, and Evangelism: Religion as an Ideological Lens for Engineering Worlds (MGA, DKR, IE), pp. 69–81.
- CSCW-2015-ShklovskiBBK #interactive #maintenance #online #relational #social
- Friendship Maintenance in the Digital Age: Applying a Relational Lens to Online Social Interaction (IS, LB, NB, JK), pp. 1477–1487.
- BX-2015-JohnsonR
- Spans of Delta Lenses (MJ, RR), pp. 1–15.
CASE-2015-KawanishiHTO - Calibration of lens distortion for super-wide-angle stereo vision (HK, YH, TT, AO), pp. 843–848.
HT-2014-FerraraIT #online #topic- Online popularity and topical interests through the lens of instagram (EF, RI, AT), pp. 24–34.
IFL-2014-DomoszlaiLP14a #bidirectional #parametricity- Parametric lenses: change notification for bidirectional lenses (LD, BL, RP), p. 9.
- CHI-PLAY-2014-Wood #game studies #physics #using
- Using play as a lens to bridge the physical with the digital (GW), pp. 307–310.
- CHI-2014-MottW #using
- Beating the bubble: using kinematic triggering in the bubble lens for acquiring small, dense targets (MEM, JOW), pp. 733–742.
KDD-2014-Conway #social- Data science through the lens of social science (DC), p. 1520.
- BX-2014-JohnsonR
- Spans of lenses (MJ, RDR), pp. 112–118.
- CHI-2013-KaneFW #documentation #gesture
- Access lens: a gesture-based screen reader for real-world documents (SKK, BF, JOW), pp. 347–350.
- BX-2013-JohnsonR
- Delta Lenses and Opfibrations (MJ, RDR), pp. 129–146.
- BX-2013-MacedoPCO
- Composing Least-change Lenses (NM, HP, AC, JNO), pp. 57–75.
- BX-2013-RajkumarFLC #web
- Lenses for Web Data (RR, NF, SL, JC), pp. 90–110.
- CASE-2013-ZhouSHJLS #simulation
- Numerical simulation in compression molding of glass lens (JZ, TS, YH, YJ, ML, LS), pp. 669–674.
DocEng-2012-PeroniSV #documentation #semantics #using- Faceted documents: describing document characteristics using semantic lenses (SP, DS, FV), pp. 191–194.
- BX-2012-GibbonsJ #algebra
- Relating Algebraic and Coalgebraic Descriptions of Lenses (JG, MJ), pp. 5–20.
- BX-2012-JohnsonR
- Lens put-put laws: monotonic and mixed (MJ, RDR), pp. 55–67.
- BX-2012-PachecoCH #induction
- Delta Lenses over Inductive Types (HP, AC, ZH), pp. 21–37.
- POPL-2012-HofmannPW
- Edit lenses (MH, BCP, DW), pp. 495–508.
- CHI-2011-RohsOS #interactive #validation
- Interaction with magic lenses: real-world validation of a Fitts’ Law model (MR, AO, TS), pp. 2725–2728.
ICEIS-J-2011-PereiraB11a #analysis #evaluation #social- Seeing Social Software Analysis and Evaluation through the Lenses of Culture (RP, MCCB), pp. 374–387.
- BX-2011-Gibbons1 #algebra #monad
- Lenses are Coalgebras for the Costate Comonad (JG), p. 56.
- BX-2011-Gibbons2 #algebra
- Lenses, Coalgebraically (JG), p. 57.
- BX-2011-Hofmann #symmetry
- Symmetric lenses (MH), p. 60.
PEPM-2011-PachecoC #bidirectional #optimisation- Calculating with lenses: optimising bidirectional transformations (HP, AC), pp. 91–100.
- POPL-2011-HofmannPW #symmetry
- Symmetric lenses (MH, BCP, DW), pp. 371–384.
- CASE-2011-MartinezOGG #adaptation #automation #fault
- An adaptable vision system for the automatic inspection of surface defects in automotive headlamp lenses (SSM, JGO, ASG, JGG), pp. 157–162.
- ICFP-2010-BarbosaCFGP
- Matching lenses: alignment and view update (DMJB, JC, NF, MG, BCP), pp. 193–204.
- CHI-2010-AppertCP
- High-precision magnification lenses (CA, OC, EP), pp. 273–282.
- CHI-2010-CaoRWBG #design #programming
- End-user mashup programming: through the design lens (JC, YR, SW, MMB, VG), pp. 1009–1018.
- CHI-2010-IraniVDPG #design #development
- Postcolonial computing: a lens on design and development (LI, JV, PD, KP, REG), pp. 1311–1320.
- ICPR-2010-ZhangST10a #detection
- Contact Lens Detection Based on Weighted LBP (HZ, ZS, TT), pp. 4279–4282.
- CHI-2009-WycheG
- Extraordinary computing: religion as a lens for reconsidering the home (SW, REG), pp. 749–758.
WCRE-2008-ByelasT #diagrams #metric #visualisation- The Metric Lens: Visualizing Metrics and Structure on Software Diagrams (HB, ACT), pp. 339–340.
- ICFP-2008-FosterPP
- Quotient lenses (JNF, AP, BCP), pp. 383–396.
- CHI-2008-PietrigaA
- Sigma lenses: focus-context transitions combining space, time and translucence (EP, CA), pp. 1343–1352.
- CHI-2008-RohsO
- Target acquisition with camera phones when used as magic lenses (MR, AO), pp. 1409–1418.
- BX-2008-Foster1
- Quotient Lenses (NF), p. 31.
- POPL-2008-BohannonFPPS #named #string
- Boomerang: resourceful lenses for string data (AB, JNF, BCP, AP, AS), pp. 407–419.
CSEET-2007-FiedlerK - Electronic Portfolios through a Qualitative Lens (RLF, CK), pp. 247–254.
- CHI-2007-RamosCBB
- Pointing lenses: facilitating stylus input through visual-and motor-space magnification (GR, AC, RB, MBL), pp. 757–766.
PODS-2006-BohannonPV #relational- Relational lenses: a language for updatable views (AB, BCP, JAV), pp. 338–347.
- ICPR-v4-2006-KyweYM #using
- Contact Lens Extraction by Using Thermo-Vision (WWK, MY, KM), pp. 570–573.
- ICPR-v4-2006-SekoSHMK #image #quote #scalability
- “Firefly capturing method”: Motion capturing by monocular camera with large spherical aberration of lens and Hough-transform-based image processing (YS, YS, HH, JM, HK), pp. 821–824.
DATE-2006-KahngPSW - Lens aberration aware timing-driven placement (ABK, CHP, PS, QW), pp. 890–895.
- CHI-2005-ShklovskiM
- Exploring technology adoption and use through the lens of residential mobility (IS, SDM), pp. 621–630.
- ICEIS-v5-2004-AvisonW #information management #web
- Information Systems Failure Explained through the Lens of the Cultural Web (DEA, DWW), pp. 203–210.
- ICPR-v1-2004-KannalaB
- A Generic Camera Calibration Method for Fish-Eye Lenses (JK, SSB), pp. 10–13.
- ICEIS-v3-2003-Honkaranta #content management #documentation #enterprise #using
- Developing Document and Content Management in Enterprises Using a “Genre Lens” (AH), pp. 334–340.
- ICPR-v4-2000-ChenHFS
- Camera Calibration with a Motorized Zoom Lens (YSC, YPH, CSF, SWS), pp. 4495–4498.
- ICPR-v4-2000-KopilovicVS #analysis #detection
- Application of Panoramic Annular Lens for Motion Analysis Tasks: Surveillance and Smoke Detection (IK, BV, TS), pp. 4714–4717.
IWPC-1999-CainM #c++ #using #visualisation- Program Visualisation using C++ Lenses (JWC, RJM), pp. 20–26.
- CHI-1998-Fox
- Composing Magic Lenses (DF), pp. 519–525.
- ICPR-1996-AsadaAB
- Photometric calibration of zoom lens systems (NA, AA, MB), pp. 186–190.
- ICPR-1996-Zhang #geometry #image #on the
- On the epipolar geometry between two images with lens distortion (ZZ), pp. 407–411.
- CHI-1994-RaoC94a #interactive #visual notation #visualisation
- The table lens: merging graphical and symbolic representations in an interactive focus + context visualization for tabular information (RR, SKC), pp. 318–322.
FPCA-1991-MeijerFP #functional #programming- Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (EM, MMF, RP), pp. 124–144.
- CHI-1991-LaiM
- Object lens: letting end-users create cooperative work applications (KYL, TWM), pp. 425–426.
- CHI-1989-MackayMCRRC #how #question
- How do experienced information lens users use rules? (WEM, TWM, KC, RR, DR, SKC), pp. 211–216.
- CSCW-1988-LaiM #spreadsheet
- Object Lens: A “Spreadsheet” for Cooperative Work (KYL, TWM), pp. 115–124.
