Stem light$ (all stems)

189 papers:

CASE-2015-QiuZL #modelling

Visible light communication-based indoor environment modeling and metric-free path planning (KQ, FZ, ML), pp. 200–205.

CASE-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.

SANER-2015-KnodelNBV #risk management

Software risk management in practice: Shed light on your software product (JK, MN, EB, JV), pp. 592–594.

PLDI-2015-0010ZTZ #bound #named

Light: replay via tightly bounded recording (PL, XZ, OT, YZ), pp. 55–64.

ICFP-2015-GaboardiP #algebra #λ-calculus

Algebras and coalgebras in the light affine λ calculus (MG, RP), pp. 114–126.

CHI-2015-PortnoffLEMLW #effectiveness

Somebody’s Watching Me?: Assessing the Effectiveness of Webcam Indicator Lights (RSP, LNL, SE, PM, DL, DW), pp. 1649–1658.

CHI-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.

CSCW-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.

DHM-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.

HCI-IT-2015-AdhikarlaJS #design #evaluation #gesture #interactive

Design and Evaluation of Freehand Gesture Interaction for Light Field Display (VKA, GJ, JS), pp. 54–65.

HIMI-IKD-2015-AinoyaKT

Proposal of New Lighting Which Combined Functionality of Street Light and Outdoor Light (TA, KK, AT), pp. 491–499.

RecSys-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.

DAC-2014-HernandezA #detection #fault #named #safety

LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems (CH, JA), p. 6.

ICALP-v1-2014-ElkinNS

Light Spanners (ME, ON, SS), pp. 442–452.

ILC-2014-WakitaHS #framework #implementation #javascript #metaprogramming

Hygienic Macro System for JavaScript and Its Light-weight Implementation Framework (KW, KH, AS), p. 12.

DUXU-DI-2014-EschrichKKHG #mobile #using

Controlling Light Environments Using Segmented Light Sources and Mobile Devices (BE, DK, KK, JH, RG), pp. 533–540.

HIMI-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.

SCSM-2014-YuFF #design #named

Co-pulse: Light Based Emotional Design in Musical Performances (JY, KF, ZF), pp. 592–601.

ICPR-2014-AlbarelliCBT #3d #online

High-Coverage 3D Scanning through Online Structured Light Calibration (AA, LC, FB, AT), pp. 4080–4085.

ICPR-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.

ICPR-2014-MannanTTNMY

Light Transport Refocusing for Unknown Scattering Medium (MAM, ST, TT, HN, YM, YY), pp. 4382–4387.

ICPR-2014-McCloskey

Masking Light Fields to Remove Partial Occlusion (SM), pp. 2053–2058.

ICPR-2014-WangZWB #learning #modelling

Learning Room Occupancy Patterns from Sparsely Recovered Light Transport Models (QW, XZ, MW, KLB), pp. 1987–1992.

SAC-2014-ChoiKKLK #network

A new device discovery scheme in lighting control networks (SIC, SJK, IK, SKL, TGK), pp. 1743–1744.

ICSE-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.

CASE-2013-ChengXZZWS

Integrated control of blind and lights in daily office environment (ZC, LX, QZ, YZ, FW, FS), pp. 587–592.

CASE-2013-LiYY #energy #novel #performance

A novel parabolic trough solar lighting and thermal system for building energy efficiency (TL, FY, CY), pp. 657–662.

CASE-2013-ZenobioCTS #architecture #automation #named

EDISON: An innovative lighting architecture facilitating building automation (DDZ, NDC, ST, KS), pp. 231–236.

DAC-2013-ZhangPFH

Lighting the dark silicon by exploiting heterogeneity on future processors (YZ, LP, XF, YH), p. 7.

DATE-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.

ITiCSE-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.

CHI-2013-HashimotoSKII13a #interactive #named

LightCloth: senseable illuminating optical fiber cloth for creating interactive surfaces (SH, RS, YK, MI, TI), pp. 603–606.

DHM-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.

DHM-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.

DUXU-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.

HCI-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.

HCI-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.

HCI-UC-2013-OkiTS #named #using

AugmentedBacklight: Expansion of LCD Backlights Using Lighting Methods in the Real World (MO, KT, IS), pp. 209–216.

ICEIS-v1-2013-SecaM #how #question

IT applied to Public Lighting Management — How IT Can Improve Public Lighting Management? (NS, FM), pp. 513–518.

PPDP-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.

SAC-2013-MartinsLSN #fault tolerance #framework #middleware #realtime

Stheno, a real-time fault-tolerant P₂P middleware platform for light-train systems (RM, LMBL, FMAS, PN), pp. 431–438.

ICSE-2013-BortisH #approach #debugging #named

PorchLight: a tag-based approach to bug triaging (GB, AvdH), pp. 342–351.

CADE-2013-KaliszykU #named #proving #re-engineering

PRocH: Proof Reconstruction for HOL Light (CK, JU), pp. 267–274.

CSL-2013-Girard #logic

Three lightings of logic (Invited Talk) (JYG), pp. 11–23.

ICST-2013-FryW #analysis #maintenance

Leveraging Light-Weight Analyses to Aid Software Maintenance (ZPF, WW), pp. 507–508.

DAC-2012-ZhangTT #identification #using

Identification of recovered ICs using fingerprints from a light-weight on-chip sensor (XZ, NT, MT), pp. 703–708.

CHI-2012-ButlerIHMHK

Shake’n’sense: reducing interference for overlapping structured light depth cameras (AB, SI, OH, DM, SH, DK), pp. 1933–1936.

CHI-2012-HarrisonHHH

Unlocking the expressivity of point lights (CH, JH, GH, SEH), pp. 1683–1692.

CHI-2012-SodhiBW #named #visualisation

LightGuide: projected visualizations for hand movement guidance (RS, HB, ADW), pp. 179–188.

ICPR-2012-AotoTSMY #estimation #using

Position estimation of near point light sources using a clear hollow sphere (TA, TT, TS, YM, NY), pp. 3721–3724.

ICPR-2012-CoustatyUO #image

Extraction of light and specific features for historical image indexing and matching (MC, SU, JMO), pp. 1326–1329.

ICPR-2012-KatoHT #estimation #multi

Estimation of multiple light sources from specular highlights (YK, TH, ST), pp. 2033–2086.

ICPR-2012-YanoZL #authentication #multimodal

Multimodal biometric authentication based on iris pattern and pupil light reflex (VY, AZ, LLL), pp. 2857–2860.

ICPR-2012-ZhangSLZS #image #reduction

Enhancement and noise reduction of very low light level images (XZ, PS, LL, LZ, JS), pp. 2034–2037.

SEKE-2012-CordeiroCP

A Light Weight Alternative for OLAP (HC, JC, EP), pp. 712–717.

SPLC-2012-Elsner #staged #tool support

Light-weight tool support for staged product derivation (CE), pp. 146–155.

CGO-2012-HasabnisMS #bound

Light-weight bounds checking (NH, AM, RS), pp. 135–144.

CASE-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.

DLT-J-2010-Head11 #algebra #parallel #towards

Computing with Light: toward Parallel Boolean Algebra (TH), pp. 1625–1637.

CHI-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.

HCD-2011-FukudaKSM #case study

A Study on the Visibility of the Light Emitting Braille Block (HF, NK, TS, KM), pp. 295–303.

HCI-DDA-2011-HuangTCTHC #design #interactive

Blowing Light: Green-Based Interaction Design (YCAH, CCT, TWC, PYT, THH, JJC), pp. 82–91.

HCI-ITE-2011-AbeOO #analysis #detection #image

Eye-gaze Detection by Image Analysis under Natural Light (KA, SO, MO), pp. 176–184.

IDGD-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.

CIKM-2011-ZhouH #framework #markov #novel

A novel framework of training hidden markov support vector machines from lightly-annotated data (DZ, YH), pp. 2025–2028.

TLCA-2011-Lasson #logic

Controlling Program Extraction in Light Logics (ML), pp. 123–137.

CASE-2010-MobediN #3d

An active light sensory system for 3D mapping of unknown cluttered environments (BM, GN), pp. 954–959.

DATE-2010-AndalamRG #multi #predict #thread #using

Deterministic, predictable and light-weight multithreading using PRET-C (SA, PSR, AG), pp. 1653–1656.

DATE-2010-KranenburgL #architecture #implementation #named #robust

MB-LITE: A robust, light-weight soft-core implementation of the MicroBlaze architecture (TK, RvL), pp. 997–1000.

ESOP-2010-BaillotGM #functional #linear #logic

A PolyTime Functional Language from Light Linear Logic (PB, MG, VM), pp. 104–124.

DLT-2010-Head #algebra #parallel #using

Using Light to Implement Parallel Boolean Algebra (TH), pp. 231–242.

CHI-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.

ICPR-2010-BenvenisteU #invariant

A Color Invariant Based Binary Coded Structured Light Range Scanner for Shiny Objects (RB, CÜ), pp. 798–801.

ICPR-2010-ChenA

Human Shadow Removal with Unknown Light Source (CCC, JKA), pp. 2407–2410.

ICPR-2010-IwahoriIWKFK #performance

Extending Fast Marching Method under Point Light Source Illumination and Perspective Projection (YI, KI, RJW, HK, SF, KK), pp. 1650–1653.

ICPR-2010-KatoSS #constraints #geometry #multi

Extended Multiple View Geometry for Lights and Cameras from Photometric and Geometric Constraints (KK, FS, JS), pp. 2110–2113.

ICPR-2010-KlareJ #image #recognition

Heterogeneous Face Recognition: Matching NIR to Visible Light Images (BK, AKJ), pp. 1513–1516.

ICPR-2010-RantosonSFM #3d #metric #using

Non Contact 3D Measurement Scheme for Transparent Objects Using UV Structured light (RR, CS, DF, FM), pp. 1646–1649.

ICPR-2010-SerranoASVO #image #retrieval

Unsupervised Image Retrieval with Similar Lighting Conditions (JFS, CAC, HS, JVC, GO), pp. 4368–4371.

ICPR-2010-UekiSI #adaptation #estimation

Perceived Age Estimation under Lighting Condition Change by Covariate Shift Adaptation (KU, MS, YI), pp. 3400–3403.

ICPR-2010-WeiXZ

Calibration Method for Line Structured Light Vision Sensor Based on Vanish Points and Lines (ZW, MX, GZ), pp. 794–797.

ICPR-2010-YamashitaSS #3d

Recovering 3D Shape and Light Source Positions from Non-planar Shadows (YY, FS, JS), pp. 1775–1778.

KDD-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.

DATE-2009-GraciaMVBV #latency

Light NUCA: A proposal for bridging the inter-cache latency gap (DSG, TM, FV, RB, VV), pp. 530–535.

DATE-2009-XuVJ #runtime

Selective light Vth hopping (SLITH): Bridging the gap between runtime dynamic and leakage (HX, RV, WBJ), pp. 594–597.

ICDAR-2009-KukC #documentation #image

Feature Based Binarization of Document Images Degraded by Uneven Light Condition (JGK, NIC), pp. 748–752.

CHI-2009-SeitingerPM

Urban pixels: painting the city with light (SS, DSP, WJM), pp. 839–848.

CHI-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.

HCD-2009-WuCH #design

Designing a Lighting with Pleasure (TYW, WCC, YHH), pp. 139–146.

HIMI-DIE-2009-SakataON

Applications of Visible Light Path Laser Projector (NS, SO, SN), pp. 611–618.

RE-2009-TunJLNY #problem #using

Are Your Lights Off? Using Problem Frames to Diagnose System Failures (TTT, MJ, RCL, BN, YY), pp. 343–348.

SAC-2009-KumarPV

A light-weight summarizer based on language model with relative entropy (CK, PP, VV), pp. 1752–1753.

ICEIS-J-2008-HeerRK08a #integration #ontology #tool support

Tool Support for the Integration of Light-Weight Ontologies (TH, DR, BK), pp. 175–187.

CIKM-2008-BaiL #database

A light weighted damage tracking quarantine and recovery scheme for mission-critical database systems (KB, PL), pp. 1403–1404.

ICML-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.

ICPR-2008-JayS #3d #metric #similarity

Applying similarity metrics to 3D acquisition in structured-light systems (GTJ, RS), pp. 1–4.

ICPR-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.

ICPR-2008-YamauchiSS

Calibration of a structured light system by observing planar object from unknown viewpoints (KY, HS, YS), pp. 1–4.

PADL-2008-BertholdZL #parallel #scheduling

Scheduling Light-Weight Parallelism in ArTCoP (JB, AAZ, HWL), pp. 214–229.

SAC-2008-RoserLB #enterprise

MDSD light for ERP (SR, FL, BB), pp. 1042–1047.

SAC-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.

ICDAR-2007-GuH #adaptation #documentation #segmentation

Adaptive Window Based Uneven Lighting Document Segmentation (GG, WH), pp. 223–226.

PASTE-2007-Milanova #analysis #java #points-to

Light context-sensitive points-to analysis for java (AM), pp. 25–30.

SEFM-2007-GrandyBSR #encoding #named #protocol #security

ASN1-light: A Verified Message Encoding for Security Protocols (HG, RB, KS, WR), pp. 195–204.

CHI-2007-LiuL #design #named

BrickRoad: a light-weight tool for spontaneous design of location-enhanced applications (ALL, YL), pp. 295–298.

ECIR-2007-LiomaO #information retrieval

Light Syntactically-Based Index Pruning for Information Retrieval (CL, IO), pp. 88–100.

HPDC-2007-AbbasiWS #named

LIVE: : a light-weight data workspace for computational science (HA, MW, KS), pp. 227–228.

LICS-2007-BaillotCL #complexity #logic #reduction

Light Logics and Optimal Reduction: Completeness and Complexity (PB, PC, UDL), pp. 421–430.

CASE-2006-XieLP #hybrid #linear

The hybrid calibration of linear structured light system (KX, WYL, ZBP), pp. 611–614.

ICPR-v1-2006-LaggerF #multi #using

Using Specularities to Recover Multiple Light Sources in the Presence of Texture (PL, PF), pp. 587–590.

ICPR-v3-2006-ArtolazabalIA #invariant #named

LIGHT: Local Invariant Generalized Hough Transform (JARA, JI, ASA), pp. 304–307.

ICPR-v3-2006-Eidenberger #identification #image #robust

Kalman Filtering for Robust Identification of Face Images with Varying Expressions and Lighting Conditions (HE), pp. 1073–1076.

ICPR-v3-2006-HuW06a #representation

A Low-dimensional Illumination Space Representation of Human Faces for Arbitrary Lighting Conditions (YH, ZW), pp. 1147–1150.

ICPR-v3-2006-MalmW #image #reduction #sequence

Motion Dependent Spatiotemporal Smoothing for Noise Reduction in Very Dim Light Image Sequences (HM, EW), pp. 954–959.

ICPR-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.

ICPR-v4-2006-AndersenJM #estimation

Estimation of Dynamic Light Changes in Outdoor Scenes Without the use of Calibration Objects (MSA, TJ, CBM), pp. 91–94.

SIGIR-2006-MaoPH #information management #named #ontology

DiLight: an ontology-based information access system for e-learning environments (MM, YP, DH), p. 733.

SAC-2006-KwonCC #grid #tool support

Light-weight service-oriented grid application toolkit (SK, JC, KC), pp. 1482–1486.

SAC-2006-Savoy

Light stemming approaches for the French, Portuguese, German and Hungarian languages (JS), pp. 1031–1035.

CSL-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.

IJCAR-2006-Harrison #self #towards

Towards Self-verification of HOL Light (JH), pp. 177–191.

IJCAR-2006-McLaughlin #higher-order

An Interpretation of Isabelle/HOL in HOL Light (SM), pp. 192–204.

DRR-2005-ShiG #documentation #image #normalisation #segmentation #using

Historical document image segmentation using background light intensity normalization (ZS, VG), pp. 167–174.

VLDB-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.

SAC-2005-InoueU #image #using

Retrieving lightly annotated images using image similarities (MI, NU), pp. 1031–1037.

CSL-2005-Hernest #functional

Light Functional Interpretation (MDH), pp. 477–492.

ICPR-v1-2004-FortunaC #invariant #recognition

ICA Filters For Lighting Invariant Face Recognition (JF, DWC), pp. 334–337.

ICPR-v1-2004-ShiG #documentation #image #normalisation #using

Historical Document Image Enhancement Using Background Light Intensity Normalization (ZS, VG), pp. 473–476.

ICPR-v1-2004-WeiL #recognition #robust

Robust Face Recognition under Lighting Variations (SDW, SHL), pp. 354–357.

ICPR-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.

ICPR-v2-2004-KanbaraY #artificial reality #estimation #realtime

Real-time Estimation of Light Source Environment for Photorealistic Augmented Reality (MK, NY), pp. 911–914.

ICPR-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.

ICPR-v3-2004-ZhouK #estimation #multi

Estimation of the Size and Location of Multiple Area Light Sources (WZ, CK), pp. 214–217.

ICPR-v4-2004-KongTWV

Coplanar Light Sweep-Surface Supported Uncalibrated Photometric Stereo (HK, EKT, JGW, RV), pp. 92–95.

ICPR-v4-2004-PagesSF

A New Optimised De Bruijn Coding Strategy for Structured Light Patterns (JP, JS, JF), pp. 284–287.

SAC-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.

LICS-2004-BaillotT #polynomial #λ-calculus

Light Types for Polynomial Time Computation in λ-Calculus (PB, KT), pp. 266–275.

DAC-2003-WongMP #case study #design

Design techniques for sensor appliances: foundations and light compass case study (JLW, SM, MP), pp. 66–71.

ICDAR-2003-BertucciPM

Text Selection by Structured Light Marking for Hand-held Cameras (EB, MP, MM), p. 555–?.

CSMR-2003-CapillaD #evolution #maintenance #product line #web

Light-Weight Product-Lines for Evolution and Maintenance of Web Site (RC, JCD), pp. 53–62.

SEFM-2003-DeharbeR #debugging #proving #theorem proving #verification

Light-Weight Theorem Proving for Debugging and Verifying Units of Code (DD, SR), pp. 220–228.

CIKM-2003-Onizuka #automaton #xml #xpath

Light-weight xPath processing of XML stream with deterministic automata (MO), pp. 342–349.

SIGIR-2003-AntoniukN

A light weight PDA-friendly collection fusion technique (JA, MAN), pp. 439–440.

PADL-2003-HuetC #algorithm #performance

Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics (GPH), pp. 17–18.

SAC-2003-VolzOSS #ontology #web

Views for Light-weight Web Ontologies (RV, DO, RS, SS), pp. 1168–1173.

CGO-2003-ChuangCF

Phi-Predication for Light-Weight If-Conversion (WC, BC, JF), pp. 179–192.

TLCA-2003-Maurel #logic #nondeterminism

Nondeterministic Light Logics and NP-Time (FM), pp. 241–255.

ASIA-PEPM-2002-Amarasinghe #architecture #compilation

Defying the speed of light: : a spatially-aware compiler for wire-exposed architectures (SPA), p. 70.

CIKM-2002-AljlaylF #approach #effectiveness #on the #retrieval

On arabic search: improving the retrieval effectiveness via a light stemming approach (MA, OF), pp. 340–347.

ICPR-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.

ICPR-v3-2002-ForsterLR #realtime #using

Real-Time Range Imaging for Dynamic Scenes Using Colour-Edge Based Structured Light (FF, MKL, BR), pp. 645–648.

ICPR-v4-2002-MorimotoAF #detection

Detecting Eye Position and Gaze from a Single Camera and 2 Light Sources (CHM, AA, MF), pp. 314–317.

SIGIR-2002-LarkeyBC #analysis #information retrieval

Improving stemming for Arabic information retrieval: light stemming and co-occurrence analysis (LSL, LB, MEC), pp. 275–282.

CADE-2002-Ganzinger

Shostak Light (HG), pp. 332–346.

WICSA-2001-DingM #approach #architecture #evolution #incremental #named

Focus: A Light-Weight, Incremental Approach to Software Architecture Recovery and Evolution (LD, NM), p. 191–?.

DATE-2001-SaitohAT #clustering #performance #scheduling

Clustering based fast clock scheduling for light clock-tree (MS, MA, AT), pp. 240–245.

ICFP-2001-Sperber

Developing a Stage Lighting System from Scratch (MS), pp. 122–133.

TOOLS-EUROPE-2001-Selic #distributed #programming

The Unbearable Lightness of Distributed Programming: A Survivor’s Guide (BS), p. 4.

PADL-2001-DentiOR #internet #prolog

tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures (ED, AO, AR), pp. 184–198.

LICS-2001-Terui #calculus #normalisation

Light Affine Calculus and Polytime Strong Normalization (KT), pp. 209–220.

ICML-2000-Wiering #multi

Multi-Agent Reinforcement Leraning for Traffic Light Control (MW), pp. 1151–1158.

ICPR-v1-2000-LerasleDL #clique

Relaxation vs. Maximal Cliques Search for Projected Beams Labeling in a Structured Light Sensor (FL, MD, JML), pp. 1782–1785.

ICPR-v1-2000-SkocajL #image #using

Range Image Acquisition of Objects with Non-Uniform Albedo Using Structured Light Range Sensor (DS, AL), pp. 1778–1781.

ICSE-2000-LiangH #analysis #performance

Light-weight context recovery for efficient and accurate program analyses (DL, MJH), pp. 366–375.

CSL-2000-MurawskiO #game studies #logic

Discreet Games, Light Affine Logic and PTIME Computation (ASM, CHLO), pp. 427–441.

VLDB-1999-SahuguetA #legacy #using #web

Building Light-Weight Wrappers for Legacy Web Data-Sources Using W4F (AS, FA), pp. 738–741.

TACAS-1999-KernOG #framework #hardware #verification

A Light-Weight Framework for Hardware Verification (CK, TOT, MRG), pp. 330–344.

CHI-1999-DavisLCHL #named

NotePals: Light Weight Note Sharing by the Group, for the Group (RCD, JAL, VC, JH, RBL), pp. 338–345.

HCI-EI-1999-BjorsetAH #visual notation

Visual and Lighting Conditions for VDU Workers (HHB, AA, GH), pp. 41–45.

HCI-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.

EDOC-1999-OrvalhoFB #corba #multi #protocol #reliability

Evaluating light-weight reliable multicast protocol extensions to the CORBA event service (JO, LF, FB), pp. 255–261.

ICSE-1999-Perry #evolution #semantics

Software Evolution and “light” Semantics (Extended Abstract) (DEP), pp. 587–590.

CSL-1999-Roversi #logic #proving

A P-Time Completeness Proof for Light Logics (LR), pp. 469–483.

VLDB-1998-Moerkotte

Small Materialized Aggregates: A Light Weight Index Structure for Data Warehousing (GM), pp. 476–487.

CHI-1998-UnderkofflerI #design #interface

Illuminating Light: An Optical Design Tool with a Luminous-Tangible Interface (JU, HI), pp. 542–549.

SAC-1998-Marchiori #analysis

Light analysis of complex systems (MM), pp. 18–22.

LICS-1998-Asperti #logic

Light Affine Logic (AA), pp. 300–308.

HCI-CC-1997-BjorsetA #visual notation

Visual and Lighting Conditions (HHB, AA), pp. 647–650.

HCI-SEC-1997-Borron #programming

A New Form of Programming in the Light of Cognitive Dimensions (HJB), pp. 315–318.

HCI-SEC-1997-MaidaAN #performance

Effects of Lighting on Human Performance in Training (JM, AA, JN), pp. 877–880.

HCI-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.

CADE-1997-Hickey #framework #higher-order #implementation #logic #named

Nuprl-Light: An Implementation Framework for Higher-Order Logics (JJH), pp. 395–399.

ICPR-1996-ChiaCY #re-engineering #using

Curved surface reconstruction using a simple structured light method (TLC, ZC, CJY), pp. 844–848.

ICPR-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.

ICPR-1996-ZhengMFA #3d #modelling #re-engineering #using

Reconstruction of 3D models from specular motion using circular lights (JYZ, AM, YF, NA), pp. 869–873.

HPDC-1996-HaoLS #framework

A Light-Weight Application Sharing Infrastructure for Graphics Intensive Applications (MCH, DL, JSS), pp. 127–131.

CSL-1996-Ingolfsdottir #semantics

Weak Semantics Based on Lighted Button Pressing Experiments (AI), pp. 226–243.

SIGMOD-1995-GrossmanHQ #named #persistent

PTool: A Light Weight Persistent Object Manager (RLG, DH, XQ), p. 488.

HT-ECHT-1994-DavisKH #case study #hypermedia #integration

Light Hypermedia Link Services: A Study of Third Party Application Integration (HCD, SK, WH), pp. 41–50.