BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
weight (36)
use (23)
structur (20)
imag (18)
base (18)

Stem light$ (all stems)

189 papers:

CASECASE-2015-QiuZL #modelling
Visible light communication-based indoor environment modeling and metric-free path planning (KQ, FZ, ML), pp. 200–205.
CASECASE-2015-UrgilesAC #design #development #network #web
Lighting control actuator design and development for a ZigBee network with a Web server mounted on Raspberry Pi (MVU, PEA, DPCT), pp. 714–719.
SANERSANER-2015-KnodelNBV #risk management
Software risk management in practice: Shed light on your software product (JK, MN, EB, JV), pp. 592–594.
PLDIPLDI-2015-0010ZTZ #bound #named
Light: replay via tightly bounded recording (PL, XZ, OT, YZ), pp. 55–64.
ICFPICFP-2015-GaboardiP #algebra #λ-calculus
Algebras and coalgebras in the light affine λ calculus (MG, RP), pp. 114–126.
CHICHI-2015-PortnoffLEMLW #effectiveness
Somebody’s Watching Me?: Assessing the Effectiveness of Webcam Indicator Lights (RSP, LNL, SE, PM, DL, DW), pp. 1649–1658.
CHICHI-2015-Tajadura-Jimenez
As Light as your Footsteps: Altering Walking Sounds to Change Perceived Body Weight, Emotional State and Gait (ATJ, MB, OD, MF, NM, NBB), pp. 2943–2952.
CSCWCSCW-2015-SnyderMCCSAG #named #social
MoodLight: Exploring Personal and Social Implications of Ambient Display of Biosensor Data (JS, MM, JTC, PFC, ES, SA, GG), pp. 143–153.
HCIDHM-HM-2015-FujiwaraSKFETY
Light Transmission Properties of Insert Molded GFRPs with Different Crape Structure of Silk Fabrics (KF, ES, TK, TF, AE, YT, YY), pp. 267–276.
HCIHCI-IT-2015-AdhikarlaJS #design #evaluation #gesture #interactive
Design and Evaluation of Freehand Gesture Interaction for Light Field Display (VKA, GJ, JS), pp. 54–65.
HCIHIMI-IKD-2015-AinoyaKT
Proposal of New Lighting Which Combined Functionality of Street Light and Outdoor Light (TA, KK, AT), pp. 491–499.
RecSysRecSys-2015-Guardia-Sebaoun #modelling #performance #recommendation
Latent Trajectory Modeling: A Light and Efficient Way to Introduce Time in Recommender Systems (ÉGS, VG, PG), pp. 281–284.
DACDAC-2014-HernandezA #detection #fault #named #safety
LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems (CH, JA), p. 6.
ICALPICALP-v1-2014-ElkinNS
Light Spanners (ME, ON, SS), pp. 442–452.
LISPILC-2014-WakitaHS #framework #implementation #javascript #metaprogramming
Hygienic Macro System for JavaScript and Its Light-weight Implementation Framework (KW, KH, AS), p. 12.
HCIDUXU-DI-2014-EschrichKKHG #mobile #using
Controlling Light Environments Using Segmented Light Sources and Mobile Devices (BE, DK, KK, JH, RG), pp. 533–540.
HCIHIMI-AS-2014-GotzeBPB #quote
“A Careful Driver is One Who Looks in Both Directions When He Passes a Red Light” — Increased Demands in Urban Traffic (MG, FB, IPS, KB), pp. 229–240.
HCISCSM-2014-YuFF #design #named
Co-pulse: Light Based Emotional Design in Musical Performances (JY, KF, ZF), pp. 592–601.
ICPRICPR-2014-AlbarelliCBT #3d #online
High-Coverage 3D Scanning through Online Structured Light Calibration (AA, LC, FB, AT), pp. 4080–4085.
ICPRICPR-2014-MaHXP #3d #approach #robust #using
A Lighting Robust Fitting Approach of 3D Morphable Model Using Spherical Harmonic Illumination (MM, XH, YX, SP), pp. 2101–2106.
ICPRICPR-2014-MannanTTNMY
Light Transport Refocusing for Unknown Scattering Medium (MAM, ST, TT, HN, YM, YY), pp. 4382–4387.
ICPRICPR-2014-McCloskey
Masking Light Fields to Remove Partial Occlusion (SM), pp. 2053–2058.
ICPRICPR-2014-WangZWB #learning #modelling
Learning Room Occupancy Patterns from Sparsely Recovered Light Transport Models (QW, XZ, MW, KLB), pp. 1987–1992.
SACSAC-2014-ChoiKKLK #network
A new device discovery scheme in lighting control networks (SIC, SJK, IK, SKL, TGK), pp. 1743–1744.
ICSEICSE-2014-SingerFS #developer #how #re-engineering #twitter #using
Software engineering at the speed of light: how developers stay current using twitter (LS, FMFF, MADS), pp. 211–221.
CASECASE-2013-ChengXZZWS
Integrated control of blind and lights in daily office environment (ZC, LX, QZ, YZ, FW, FS), pp. 587–592.
CASECASE-2013-LiYY #energy #novel #performance
A novel parabolic trough solar lighting and thermal system for building energy efficiency (TL, FY, CY), pp. 657–662.
CASECASE-2013-ZenobioCTS #architecture #automation #named
EDISON: An innovative lighting architecture facilitating building automation (DDZ, NDC, ST, KS), pp. 231–236.
DACDAC-2013-ZhangPFH
Lighting the dark silicon by exploiting heterogeneity on future processors (YZ, LP, XF, YH), p. 7.
DATEDATE-2013-HasanA #analysis #fault #feedback #formal method #using
Formal analysis of steady state errors in feedback control systems using HOL-light (OH, MA), pp. 1423–1426.
ITiCSEITiCSE-2013-GouwsBW #education #evaluation #game studies #process
Computational thinking in educational activities: an evaluation of the educational game light-bot (LAG, KLB, PW), pp. 10–15.
CHICHI-2013-HashimotoSKII13a #interactive #named
LightCloth: senseable illuminating optical fiber cloth for creating interactive surfaces (SH, RS, YK, MI, TI), pp. 603–606.
HCIDHM-HB-2013-KorteKSOZVH
Evaluating Comfort Levels of a Workstation with an Individually Controlled Heating and Lighting System (EMdK, LKE, MES, LHvO, BvdZ, GV, GH), pp. 213–222.
HCIDHM-HB-2013-TianYZG #adaptation #representation #self
Extraction of Light Stripe Centerline Based on Self-adaptive Thresholding and Contour Polygonal Representation (QT, YY, XZ, BG), pp. 292–301.
HCIDUXU-WM-2013-GotzeCKSB #concept #evaluation
Evaluation of a New Cockpit Color Concept under Mesopic Lighting for Urban Driving (MG, ASC, AK, TS, KB), pp. 359–366.
HCIHCI-AS-2013-PlischkeSPK #specification #standard
Human Adequate Lighting in Optimal Healing Environments — Measuring Non-visual Light Effects of a LED Light Source According to German Draft Pre-standard DIN SPEC 5031-100: 2012 (HP, CS, PP, NK), pp. 163–172.
HCIHCI-III-2013-NovotnyPSP
The Solid Angle of Light Sources and Its Impact on the Suppression of Melatonin in Humans (PN, PP, MJS, HP), pp. 454–463.
HCIHCI-UC-2013-OkiTS #named #using
AugmentedBacklight: Expansion of LCD Backlights Using Lighting Methods in the Real World (MO, KT, IS), pp. 209–216.
ICEISICEIS-v1-2013-SecaM #how #question
IT applied to Public Lighting Management — How IT Can Improve Public Lighting Management? (NS, FM), pp. 513–518.
PPDPPPDP-2013-MatsudaW #approach #bidirectional #for free #problem #runtime
Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem (KM, MW), pp. 297–308.
SACSAC-2013-MartinsLSN #fault tolerance #framework #middleware #realtime
Stheno, a real-time fault-tolerant P2P middleware platform for light-train systems (RM, LMBL, FMAS, PN), pp. 431–438.
ICSEICSE-2013-BortisH #approach #debugging #named
PorchLight: a tag-based approach to bug triaging (GB, AvdH), pp. 342–351.
CADECADE-2013-KaliszykU #named #proving #re-engineering
PRocH: Proof Reconstruction for HOL Light (CK, JU), pp. 267–274.
CSLCSL-2013-Girard #logic
Three lightings of logic (Invited Talk) (JYG), pp. 11–23.
ICSTICST-2013-FryW #analysis #maintenance
Leveraging Light-Weight Analyses to Aid Software Maintenance (ZPF, WW), pp. 507–508.
DACDAC-2012-ZhangTT #identification #using
Identification of recovered ICs using fingerprints from a light-weight on-chip sensor (XZ, NT, MT), pp. 703–708.
CHICHI-2012-ButlerIHMHK
Shake’n’sense: reducing interference for overlapping structured light depth cameras (AB, SI, OH, DM, SH, DK), pp. 1933–1936.
CHICHI-2012-HarrisonHHH
Unlocking the expressivity of point lights (CH, JH, GH, SEH), pp. 1683–1692.
CHICHI-2012-SodhiBW #named #visualisation
LightGuide: projected visualizations for hand movement guidance (RS, HB, ADW), pp. 179–188.
ICPRICPR-2012-AotoTSMY #estimation #using
Position estimation of near point light sources using a clear hollow sphere (TA, TT, TS, YM, NY), pp. 3721–3724.
ICPRICPR-2012-CoustatyUO #image
Extraction of light and specific features for historical image indexing and matching (MC, SU, JMO), pp. 1326–1329.
ICPRICPR-2012-KatoHT #estimation #multi
Estimation of multiple light sources from specular highlights (YK, TH, ST), pp. 2033–2086.
ICPRICPR-2012-YanoZL #authentication #multimodal
Multimodal biometric authentication based on iris pattern and pupil light reflex (VY, AZ, LLL), pp. 2857–2860.
ICPRICPR-2012-ZhangSLZS #image #reduction
Enhancement and noise reduction of very low light level images (XZ, PS, LL, LZ, JS), pp. 2034–2037.
SEKESEKE-2012-CordeiroCP
A Light Weight Alternative for OLAP (HC, JC, EP), pp. 712–717.
SPLCSPLC-2012-Elsner #staged #tool support
Light-weight tool support for staged product derivation (CE), pp. 146–155.
CGOCGO-2012-HasabnisMS #bound
Light-weight bounds checking (NH, AM, RS), pp. 135–144.
CASECASE-2011-MohanSBKE #3d #image #using
3D scanning of object surfaces using structured light and a single camera image (SM, KBS, IB, VK, RDE), pp. 151–156.
DLTDLT-J-2010-Head11 #algebra #parallel #towards
Computing with Light: toward Parallel Boolean Algebra (TH), pp. 1625–1637.
CHICHI-2011-WilliamsYPMMI #3d #interactive #multi #named
TZee: exploiting the lighting properties of multi-touch tabletops for tangible 3d interactions (CW, XDY, GAP, JMU, AM, PI), pp. 1363–1372.
HCIHCD-2011-FukudaKSM #case study
A Study on the Visibility of the Light Emitting Braille Block (HF, NK, TS, KM), pp. 295–303.
HCIHCI-DDA-2011-HuangTCTHC #design #interactive
Blowing Light: Green-Based Interaction Design (YCAH, CCT, TWC, PYT, THH, JJC), pp. 82–91.
HCIHCI-ITE-2011-AbeOO #analysis #detection #image
Eye-gaze Detection by Image Analysis under Natural Light (KA, SO, MO), pp. 176–184.
HCIIDGD-2011-XianF #design #education #interactive #prototype #research #social
Design for Social Emotional Interaction in China: Light-Tech Driven Design and Prototyping Applied in Design Education and Research (FX, ZF), pp. 576–584.
CIKMCIKM-2011-ZhouH #framework #markov #novel
A novel framework of training hidden markov support vector machines from lightly-annotated data (DZ, YH), pp. 2025–2028.
TLCATLCA-2011-Lasson #logic
Controlling Program Extraction in Light Logics (ML), pp. 123–137.
CASECASE-2010-MobediN #3d
An active light sensory system for 3D mapping of unknown cluttered environments (BM, GN), pp. 954–959.
DATEDATE-2010-AndalamRG #multi #predict #thread #using
Deterministic, predictable and light-weight multithreading using PRET-C (SA, PSR, AG), pp. 1653–1656.
DATEDATE-2010-KranenburgL #architecture #implementation #named #robust
MB-LITE: A robust, light-weight soft-core implementation of the MicroBlaze architecture (TK, RvL), pp. 997–1000.
ESOPESOP-2010-BaillotGM #functional #linear #logic
A PolyTime Functional Language from Light Linear Logic (PB, MG, VM), pp. 104–124.
DLTDLT-2010-Head #algebra #parallel #using
Using Light to Implement Parallel Boolean Algebra (TH), pp. 231–242.
CHICHI-2010-SongGGF #interactive #mobile #named #using
MouseLight: bimanual interactions on digital paper using a pen and a spatially-aware mobile projector (HS, FG, TG, GWF), pp. 2451–2460.
ICPRICPR-2010-BenvenisteU #invariant
A Color Invariant Based Binary Coded Structured Light Range Scanner for Shiny Objects (RB, ), pp. 798–801.
ICPRICPR-2010-ChenA
Human Shadow Removal with Unknown Light Source (CCC, JKA), pp. 2407–2410.
ICPRICPR-2010-IwahoriIWKFK #performance
Extending Fast Marching Method under Point Light Source Illumination and Perspective Projection (YI, KI, RJW, HK, SF, KK), pp. 1650–1653.
ICPRICPR-2010-KatoSS #constraints #geometry #multi
Extended Multiple View Geometry for Lights and Cameras from Photometric and Geometric Constraints (KK, FS, JS), pp. 2110–2113.
ICPRICPR-2010-KlareJ #image #recognition
Heterogeneous Face Recognition: Matching NIR to Visible Light Images (BK, AKJ), pp. 1513–1516.
ICPRICPR-2010-RantosonSFM #3d #metric #using
Non Contact 3D Measurement Scheme for Transparent Objects Using UV Structured light (RR, CS, DF, FM), pp. 1646–1649.
ICPRICPR-2010-SerranoASVO #image #retrieval
Unsupervised Image Retrieval with Similar Lighting Conditions (JFS, CAC, HS, JVC, GO), pp. 4368–4371.
ICPRICPR-2010-UekiSI #adaptation #estimation
Perceived Age Estimation under Lighting Condition Change by Covariate Shift Adaptation (KU, MS, YI), pp. 3400–3403.
ICPRICPR-2010-WeiXZ
Calibration Method for Line Structured Light Vision Sensor Based on Vanish Points and Lines (ZW, MX, GZ), pp. 794–797.
ICPRICPR-2010-YamashitaSS #3d
Recovering 3D Shape and Light Source Positions from Non-planar Shadows (YY, FS, JS), pp. 1775–1778.
KDDKDD-2010-ZhuLX #feature model #incremental #learning #markov #named #performance #random
Grafting-light: fast, incremental feature selection and structure learning of Markov random fields (JZ, NL, EPX), pp. 303–312.
DATEDATE-2009-GraciaMVBV #latency
Light NUCA: A proposal for bridging the inter-cache latency gap (DSG, TM, FV, RB, VV), pp. 530–535.
DATEDATE-2009-XuVJ #runtime
Selective light Vth hopping (SLITH): Bridging the gap between runtime dynamic and leakage (HX, RV, WBJ), pp. 594–597.
ICDARICDAR-2009-KukC #documentation #image
Feature Based Binarization of Document Images Degraded by Uneven Light Condition (JGK, NIC), pp. 748–752.
CHICHI-2009-SeitingerPM
Urban pixels: painting the city with light (SS, DSP, WJM), pp. 839–848.
CHICHI-2009-SongGFGKAK #mobile #named #visual notation
PenLight: combining a mobile projector and a digital pen for dynamic visual overlay (HS, TG, GWF, FG, AK, RA, GK), pp. 143–152.
HCIHCD-2009-WuCH #design
Designing a Lighting with Pleasure (TYW, WCC, YHH), pp. 139–146.
HCIHIMI-DIE-2009-SakataON
Applications of Visible Light Path Laser Projector (NS, SO, SN), pp. 611–618.
RERE-2009-TunJLNY #problem #using
Are Your Lights Off? Using Problem Frames to Diagnose System Failures (TTT, MJ, RCL, BN, YY), pp. 343–348.
SACSAC-2009-KumarPV
A light-weight summarizer based on language model with relative entropy (CK, PP, VV), pp. 1752–1753.
ICEISICEIS-J-2008-HeerRK08a #integration #ontology #tool support
Tool Support for the Integration of Light-Weight Ontologies (TH, DR, BK), pp. 175–187.
CIKMCIKM-2008-BaiL #database
A light weighted damage tracking quarantine and recovery scheme for mission-critical database systems (KB, PL), pp. 1403–1404.
ICMLICML-2008-ShringarpureX #named #search-based
mStruct: a new admixture model for inference of population structure in light of both genetic admixing and allele mutations (SS, EPX), pp. 952–959.
ICPRICPR-2008-JayS #3d #metric #similarity
Applying similarity metrics to 3D acquisition in structured-light systems (GTJ, RS), pp. 1–4.
ICPRICPR-2008-VazquezRC #image #recognition
A new image division for LBP method to improve face recognition under varying lighting conditions (HMV, EBGR, YCM), pp. 1–4.
ICPRICPR-2008-YamauchiSS
Calibration of a structured light system by observing planar object from unknown viewpoints (KY, HS, YS), pp. 1–4.
PADLPADL-2008-BertholdZL #parallel #scheduling
Scheduling Light-Weight Parallelism in ArTCoP (JB, AAZ, HWL), pp. 214–229.
SACSAC-2008-RoserLB #enterprise
MDSD light for ERP (SR, FL, BB), pp. 1042–1047.
SACSAC-2008-TakanoC #documentation #feature model #feedback
A light-weight feedback method for reconstructing a document vector space on a feature extraction model (KT, XC), pp. 1169–1170.
ICDARICDAR-2007-GuH #adaptation #documentation #segmentation
Adaptive Window Based Uneven Lighting Document Segmentation (GG, WH), pp. 223–226.
PASTEPASTE-2007-Milanova #analysis #java #points-to
Light context-sensitive points-to analysis for java (AM), pp. 25–30.
SEFMSEFM-2007-GrandyBSR #encoding #named #protocol #security
ASN1-light: A Verified Message Encoding for Security Protocols (HG, RB, KS, WR), pp. 195–204.
CHICHI-2007-LiuL #design #named
BrickRoad: a light-weight tool for spontaneous design of location-enhanced applications (ALL, YL), pp. 295–298.
ECIRECIR-2007-LiomaO #information retrieval
Light Syntactically-Based Index Pruning for Information Retrieval (CL, IO), pp. 88–100.
HPDCHPDC-2007-AbbasiWS #named
LIVE: : a light-weight data workspace for computational science (HA, MW, KS), pp. 227–228.
LICSLICS-2007-BaillotCL #complexity #logic #reduction
Light Logics and Optimal Reduction: Completeness and Complexity (PB, PC, UDL), pp. 421–430.
CASECASE-2006-XieLP #hybrid #linear
The hybrid calibration of linear structured light system (KX, WYL, ZBP), pp. 611–614.
ICPRICPR-v1-2006-LaggerF #multi #using
Using Specularities to Recover Multiple Light Sources in the Presence of Texture (PL, PF), pp. 587–590.
ICPRICPR-v3-2006-ArtolazabalIA #invariant #named
LIGHT: Local Invariant Generalized Hough Transform (JARA, JI, ASA), pp. 304–307.
ICPRICPR-v3-2006-Eidenberger #identification #image #robust
Kalman Filtering for Robust Identification of Face Images with Varying Expressions and Lighting Conditions (HE), pp. 1073–1076.
ICPRICPR-v3-2006-HuW06a #representation
A Low-dimensional Illumination Space Representation of Human Faces for Arbitrary Lighting Conditions (YH, ZW), pp. 1147–1150.
ICPRICPR-v3-2006-MalmW #image #reduction #sequence
Motion Dependent Spatiotemporal Smoothing for Noise Reduction in Very Dim Light Image Sequences (HM, EW), pp. 954–959.
ICPRICPR-v3-2006-QingSCG #probability #recognition
Face Recognition under Varying Lighting Based on the Probabilistic Model of Gabor Phase (LQ, SS, XC, WG), pp. 1139–1142.
ICPRICPR-v4-2006-AndersenJM #estimation
Estimation of Dynamic Light Changes in Outdoor Scenes Without the use of Calibration Objects (MSA, TJ, CBM), pp. 91–94.
SIGIRSIGIR-2006-MaoPH #information management #named #ontology
DiLight: an ontology-based information access system for e-learning environments (MM, YP, DH), p. 733.
SACSAC-2006-KwonCC #grid #tool support
Light-weight service-oriented grid application toolkit (SK, JC, KC), pp. 1482–1486.
SACSAC-2006-Savoy
Light stemming approaches for the French, Portuguese, German and Hungarian languages (JS), pp. 1031–1035.
CSLCSL-2006-AtassiBT #logic #system f #verification
Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic (VA, PB, KT), pp. 150–166.
IJCARIJCAR-2006-Harrison #self #towards
Towards Self-verification of HOL Light (JH), pp. 177–191.
IJCARIJCAR-2006-McLaughlin #higher-order
An Interpretation of Isabelle/HOL in HOL Light (SM), pp. 192–204.
DRRDRR-2005-ShiG #documentation #image #normalisation #segmentation #using
Historical document image segmentation using background light intensity normalization (ZS, VG), pp. 167–174.
VLDBVLDB-2005-ZhangHC #database #on the fly #query #web
Light-weight Domain-based Form Assistant: Querying Web Databases On the Fly (ZZ, BH, KCCC), pp. 97–108.
SACSAC-2005-InoueU #image #using
Retrieving lightly annotated images using image similarities (MI, NU), pp. 1031–1037.
CSLCSL-2005-Hernest #functional
Light Functional Interpretation (MDH), pp. 477–492.
ICPRICPR-v1-2004-FortunaC #invariant #recognition
ICA Filters For Lighting Invariant Face Recognition (JF, DWC), pp. 334–337.
ICPRICPR-v1-2004-ShiG #documentation #image #normalisation #using
Historical Document Image Enhancement Using Background Light Intensity Normalization (ZS, VG), pp. 473–476.
ICPRICPR-v1-2004-WeiL #recognition #robust
Robust Face Recognition under Lighting Variations (SDW, SHL), pp. 354–357.
ICPRICPR-v2-2004-BlicherRP #2d #3d #image #named #performance
LightSphere: Fast Lighting Compensation for Matching a 2D Image to a 3D Model (APB, SR, PSP), pp. 157–162.
ICPRICPR-v2-2004-KanbaraY #artificial reality #estimation #realtime
Real-time Estimation of Light Source Environment for Photorealistic Augmented Reality (MK, NY), pp. 911–914.
ICPRICPR-v3-2004-MakiharaSS #interactive #learning #online #recognition
Online Learning of Color Transformation for Interactive Object Recognition under Various Lighting Conditions (YM, YS, NS), pp. 161–164.
ICPRICPR-v3-2004-ZhouK #estimation #multi
Estimation of the Size and Location of Multiple Area Light Sources (WZ, CK), pp. 214–217.
ICPRICPR-v4-2004-KongTWV
Coplanar Light Sweep-Surface Supported Uncalibrated Photometric Stereo (HK, EKT, JGW, RV), pp. 92–95.
ICPRICPR-v4-2004-PagesSF
A New Optimised De Bruijn Coding Strategy for Structured Light Patterns (JP, JS, JF), pp. 284–287.
SACSAC-2004-Engelen #code generation #embedded #web #web service #xml
Code generation techniques for developing light-weight XML Web services for embedded devices (RvE), pp. 854–861.
LICSLICS-2004-BaillotT #polynomial #λ-calculus
Light Types for Polynomial Time Computation in λ-Calculus (PB, KT), pp. 266–275.
DACDAC-2003-WongMP #case study #design
Design techniques for sensor appliances: foundations and light compass case study (JLW, SM, MP), pp. 66–71.
ICDARICDAR-2003-BertucciPM
Text Selection by Structured Light Marking for Hand-held Cameras (EB, MP, MM), p. 555–?.
CSMRCSMR-2003-CapillaD #evolution #maintenance #product line #web
Light-Weight Product-Lines for Evolution and Maintenance of Web Site (RC, JCD), pp. 53–62.
SEFMSEFM-2003-DeharbeR #debugging #proving #theorem proving #verification
Light-Weight Theorem Proving for Debugging and Verifying Units of Code (DD, SR), pp. 220–228.
CIKMCIKM-2003-Onizuka #automaton #xml #xpath
Light-weight xPath processing of XML stream with deterministic automata (MO), pp. 342–349.
SIGIRSIGIR-2003-AntoniukN
A light weight PDA-friendly collection fusion technique (JA, MAN), pp. 439–440.
PADLPADL-2003-HuetC #algorithm #performance
Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics (GPH), pp. 17–18.
SACSAC-2003-VolzOSS #ontology #web
Views for Light-weight Web Ontologies (RV, DO, RS, SS), pp. 1168–1173.
CGOCGO-2003-ChuangCF
Phi-Predication for Light-Weight If-Conversion (WC, BC, JF), pp. 179–192.
TLCATLCA-2003-Maurel #logic #nondeterminism
Nondeterministic Light Logics and NP-Time (FM), pp. 241–255.
PEPMASIA-PEPM-2002-Amarasinghe #architecture #compilation
Defying the speed of light: : a spatially-aware compiler for wire-exposed architectures (SPA), p. 70.
CIKMCIKM-2002-AljlaylF #approach #effectiveness #on the #retrieval
On arabic search: improving the retrieval effectiveness via a light stemming approach (MA, OF), pp. 340–347.
ICPRICPR-v1-2002-SablatnigTK #estimation
Combining Shape from Silhouette and Shape from Structured Light for Volume Estimation of Archaeological Vessels (RS, ST, MK), pp. 364–367.
ICPRICPR-v3-2002-ForsterLR #realtime #using
Real-Time Range Imaging for Dynamic Scenes Using Colour-Edge Based Structured Light (FF, MKL, BR), pp. 645–648.
ICPRICPR-v4-2002-MorimotoAF #detection
Detecting Eye Position and Gaze from a Single Camera and 2 Light Sources (CHM, AA, MF), pp. 314–317.
SIGIRSIGIR-2002-LarkeyBC #analysis #information retrieval
Improving stemming for Arabic information retrieval: light stemming and co-occurrence analysis (LSL, LB, MEC), pp. 275–282.
CADECADE-2002-Ganzinger
Shostak Light (HG), pp. 332–346.
WICSAWICSA-2001-DingM #approach #architecture #evolution #incremental #named
Focus: A Light-Weight, Incremental Approach to Software Architecture Recovery and Evolution (LD, NM), p. 191–?.
DATEDATE-2001-SaitohAT #clustering #performance #scheduling
Clustering based fast clock scheduling for light clock-tree (MS, MA, AT), pp. 240–245.
ICFPICFP-2001-Sperber
Developing a Stage Lighting System from Scratch (MS), pp. 122–133.
TOOLSTOOLS-EUROPE-2001-Selic #distributed #programming
The Unbearable Lightness of Distributed Programming: A Survivor’s Guide (BS), p. 4.
PADLPADL-2001-DentiOR #internet #prolog
tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures (ED, AO, AR), pp. 184–198.
LICSLICS-2001-Terui #calculus #normalisation
Light Affine Calculus and Polytime Strong Normalization (KT), pp. 209–220.
ICMLICML-2000-Wiering #multi
Multi-Agent Reinforcement Leraning for Traffic Light Control (MW), pp. 1151–1158.
ICPRICPR-v1-2000-LerasleDL #clique
Relaxation vs. Maximal Cliques Search for Projected Beams Labeling in a Structured Light Sensor (FL, MD, JML), pp. 1782–1785.
ICPRICPR-v1-2000-SkocajL #image #using
Range Image Acquisition of Objects with Non-Uniform Albedo Using Structured Light Range Sensor (DS, AL), pp. 1778–1781.
ICSEICSE-2000-LiangH #analysis #performance
Light-weight context recovery for efficient and accurate program analyses (DL, MJH), pp. 366–375.
CSLCSL-2000-MurawskiO #game studies #logic
Discreet Games, Light Affine Logic and PTIME Computation (ASM, CHLO), pp. 427–441.
VLDBVLDB-1999-SahuguetA #legacy #using #web
Building Light-Weight Wrappers for Legacy Web Data-Sources Using W4F (AS, FA), pp. 738–741.
TACASTACAS-1999-KernOG #framework #hardware #verification
A Light-Weight Framework for Hardware Verification (CK, TOT, MRG), pp. 330–344.
CHICHI-1999-DavisLCHL #named
NotePals: Light Weight Note Sharing by the Group, for the Group (RCD, JAL, VC, JH, RBL), pp. 338–345.
HCIHCI-EI-1999-BjorsetAH #visual notation
Visual and Lighting Conditions for VDU Workers (HHB, AA, GH), pp. 41–45.
HCIHCI-EI-1999-MaggioniR #case study #experience #novel #user interface
Virtual Touchscreen — a novel User Interface made of Light — Principles, metaphors and experiences (CM, HR), pp. 301–305.
EDOCEDOC-1999-OrvalhoFB #corba #multi #protocol #reliability
Evaluating light-weight reliable multicast protocol extensions to the CORBA event service (JO, LF, FB), pp. 255–261.
ICSEICSE-1999-Perry #evolution #semantics
Software Evolution and “light” Semantics (Extended Abstract) (DEP), pp. 587–590.
CSLCSL-1999-Roversi #logic #proving
A P-Time Completeness Proof for Light Logics (LR), pp. 469–483.
VLDBVLDB-1998-Moerkotte
Small Materialized Aggregates: A Light Weight Index Structure for Data Warehousing (GM), pp. 476–487.
CHICHI-1998-UnderkofflerI #design #interface
Illuminating Light: An Optical Design Tool with a Luminous-Tangible Interface (JU, HI), pp. 542–549.
SACSAC-1998-Marchiori #analysis
Light analysis of complex systems (MM), pp. 18–22.
LICSLICS-1998-Asperti #logic
Light Affine Logic (AA), pp. 300–308.
HCIHCI-CC-1997-BjorsetA #visual notation
Visual and Lighting Conditions (HHB, AA), pp. 647–650.
HCIHCI-SEC-1997-Borron #programming
A New Form of Programming in the Light of Cognitive Dimensions (HJB), pp. 315–318.
HCIHCI-SEC-1997-MaidaAN #performance
Effects of Lighting on Human Performance in Training (JM, AA, JN), pp. 877–880.
HCIHCI-SEC-1997-MorimotoKHKI #design #evaluation #usability
Design and Usability Evaluation of a Novice User-Oriented Control Panel for Lighting and Air Conditioning (KM, TK, MH, NK, MI), pp. 617–620.
CADECADE-1997-Hickey #framework #higher-order #implementation #logic #named
Nuprl-Light: An Implementation Framework for Higher-Order Logics (JJH), pp. 395–399.
ICPRICPR-1996-ChiaCY #re-engineering #using
Curved surface reconstruction using a simple structured light method (TLC, ZC, CJY), pp. 844–848.
ICPRICPR-1996-OkataniD #image #re-engineering
Reconstructing shape from shading with a point light source at the projection center: shape reconstruction from an endoscope image (TO, KD), pp. 830–834.
ICPRICPR-1996-ZhengMFA #3d #modelling #re-engineering #using
Reconstruction of 3D models from specular motion using circular lights (JYZ, AM, YF, NA), pp. 869–873.
HPDCHPDC-1996-HaoLS #framework
A Light-Weight Application Sharing Infrastructure for Graphics Intensive Applications (MCH, DL, JSS), pp. 127–131.
CSLCSL-1996-Ingolfsdottir #semantics
Weak Semantics Based on Lighted Button Pressing Experiments (AI), pp. 226–243.
SIGMODSIGMOD-1995-GrossmanHQ #named #persistent
PTool: A Light Weight Persistent Object Manager (RLG, DH, XQ), p. 488.
HTHT-ECHT-1994-DavisKH #case study #hypermedia #integration
Light Hypermedia Link Services: A Study of Third Party Application Integration (HCD, SK, WH), pp. 41–50.

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.