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:
pushdown (17)
base (16)
automata (10)
use (8)
studi (7)

Stem visibl$ (all stems)

100 papers:

CASECASE-2015-QiuZL #modelling
Visible light communication-based indoor environment modeling and metric-free path planning (KQ, FZ, ML), pp. 200–205.
CIAACIAA-J-2013-CaralpRT15 #automaton
Trimming visibly pushdown automata (MC, PAR, JMT), pp. 13–29.
CHICHI-2015-DaltonCM #using
Display Blindness?: Looking Again at the Visibility of Situated Displays using Eye-tracking (NSD, EC, PM), pp. 3889–3898.
CHICHI-2015-HookCMADW #case study #design #documentation #experience
Making the Invisible Visible: Design to Support the Documentation of Participatory Arts Experiences (JH, RC, JCM, KA, JD, PCW), pp. 2583–2592.
CHICHI-2015-OskampBHG #analysis #design #evaluation #multi #named
TerraGuide: Design and Evaluation of a Multi-Surface Environment for Terrain Visibility Analysis (MO, CB, RH, TCNG), pp. 3553–3562.
CSCWCSCW-2015-TorkilsheyggiH
Visible but Unseen?: A Workplace Study of Blood-Test Icons on Electronic Emergency-Department Whiteboards (AáT, MH), pp. 798–807.
ESEC-FSEESEC-FSE-2015-Janjua
OnSpot system: test impact visibility during code edits in real software (MUJ), pp. 994–997.
SIGMODSIGMOD-2014-BailisFHGS #scalability #transaction
Scalable atomic visibility with RAMP transactions (PB, AF, JMH, AG, IS), pp. 27–38.
DLTDLT-2014-ReynierT #automaton #transducer
Visibly Pushdown Transducers with Well-Nested Outputs (PAR, JMT), pp. 129–141.
ICPRICPR-2014-DhamechaSSV #effectiveness #on the
On Effectiveness of Histogram of Oriented Gradient Features for Visible to Near Infrared Face Matching (TID, PS, RS, MV), pp. 1788–1793.
ICPRICPR-2014-OsogamiK
A Hierarchical Bayesian Choice Model with Visibility (TO, TK), pp. 3618–3623.
CAVCAV-2014-DAntoniA #automaton
Symbolic Visibly Pushdown Automata (LD, RA), pp. 209–225.
IJCARIJCAR-2014-BozzelliS #linear #logic
Visibly Linear Temporal Logic (LB, CS), pp. 418–433.
CIAACIAA-2013-CaralpRT #automaton
Trimming Visibly Pushdown Automata (MC, PAR, JMT), pp. 84–96.
ICALPICALP-v2-2013-FriedmannKL #automaton
Ramsey Goes Visibly Pushdown (OF, FK, ML), pp. 224–237.
LATALATA-2013-BruyereDG #anti #automaton
Visibly Pushdown Automata: Universality and Inclusion via Antichains (VB, MD, OG), pp. 190–201.
HCIDHM-HB-2013-HuhK #estimation #image #using
Human Pose Estimation from Depth Image Using Visibility Estimation and Key Points (SH, GK), pp. 333–342.
HCIDHM-SET-2013-MoriK #3d #evaluation #simulation
Ergonomics Study of Direct and Indirect Visibility Evaluation at Uncontrolled Intersections Based on Three-Dimensional Computer Simulation (MM, NK), pp. 70–77.
HCIOCSC-2013-KadenbachK #collaboration
Project Awareness System — Improving Collaboration through Visibility (DK, CK), pp. 164–173.
ICMLICML-c1-2013-KrauseFGI #approximate
Approximation properties of DBNs with binary hidden units and real-valued visible units (OK, AF, TG, CI), pp. 419–426.
DLTDLT-2012-CaralpRT #automaton #bound #multi
Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness (MC, PAR, JMT), pp. 226–238.
ICALPICALP-v1-2012-ChenW
Computing the Visibility Polygon of an Island in a Polygonal Domain (DZC, HW), pp. 218–229.
LATALATA-2012-TangO #automaton #model checking #on the
On Model Checking for Visibly Pushdown Automata (NVT, HO), pp. 408–419.
CHICHI-2012-BirnholtzBF #behaviour
Do you see that I see?: effects of perceived visibility on awareness checking behavior (JPB, NB, SRF), pp. 1765–1774.
CSCWCSCW-2012-BirnholtzI #collaboration #maintenance
Tracking changes in collaborative writing: edits, visibility and group maintenance (JPB, SI), pp. 809–818.
CIKMCIKM-2012-DinhST #network #online #privacy #social
The walls have ears: optimize sharing for visibility and privacy in online social networks (TND, YS, MTT), pp. 1452–1461.
ICPRICPR-2012-BaoSYA #framework
An edge-preserving filtering framework for visibility restoration (LB, YS, QY, NA), pp. 384–387.
CAVCAV-2012-HarrisJR #automaton #game studies #programming #safety
Secure Programming via Visibly Pushdown Safety Games (WRH, SJ, TWR), pp. 581–598.
ICDARICDAR-2011-XuYWL #analysis #using
Touching Character Separation in Chinese Handwriting Using Visibility-Based Foreground Analysis (LX, FY, QFW, CLL), pp. 859–863.
ICALPICALP-v2-2011-HopkinsMO #automaton #decidability #ml
A Fragment of ML Decidable by Visibly Pushdown Automata (DH, ASM, CHLO), pp. 149–161.
CHICHI-2011-ChettyHBOSG #internet #network #why
Why is my internet slow?: making network speeds visible (MC, DH, AB, UO, BS, REG), pp. 1889–1898.
CSCWCSCW-2011-YamashitaKKH #collaboration #distributed #gesture
Improving visibility of remote gestures in distributed tabletop collaboration (NY, KK, HK, KH), pp. 95–104.
HCIHCD-2011-FukudaKSM #case study
A Study on the Visibility of the Light Emitting Braille Block (HF, NK, TS, KM), pp. 295–303.
ASEASE-2010-LiHG #ajax #behaviour #detection #interactive #web
Detecting user-visible failures in AJAX web applications by analyzing users’ interaction behaviors (WL, MJH, CG), pp. 155–158.
LATALATA-2010-Crespi-ReghizziM #automaton #precedence
Operator Precedence and the Visibly Pushdown Property (SCR, DM), pp. 214–226.
ICPRICPR-2010-HouY10a #image
Visible Entropy: A Measure for Image Visibility (ZH, WYY), pp. 4448–4451.
ICPRICPR-2010-KlareJ #image #recognition
Heterogeneous Face Recognition: Matching NIR to Visible Light Images (BK, AKJ), pp. 1513–1516.
ICPRICPR-2010-RaytchevMTK #invariant #recognition
View-Invariant Object Recognition with Visibility Maps (BR, TM, TT, KK), pp. 1040–1043.
ICPRICPR-2010-ZhangJ #geometry #multi
Visibility of Multiple Cameras in a Scene with Unknown Geometry (LZ, YJ), pp. 3619–3622.
QoSAQoSA-2009-HinsmanSS #architecture
Achieving Agility through Architecture Visibility (CH, NS, JAS), pp. 116–129.
DATEDATE-2009-LiuX #validation
Trace signal selection for visibility enhancement in post-silicon validation (XL, QX), pp. 1338–1343.
ICSMEICSM-2009-HouW #case study #eclipse #evolution
Analyzing the evolution of user-visible features: A case study with Eclipse (DH, YW), pp. 479–482.
HCIHCI-NT-2009-AkasakaO #performance
Providing an Efficient Way to Make Desktop Icons Visible (TA, YO), pp. 569–578.
HCIHIMI-DIE-2009-SakataON
Applications of Visible Light Path Laser Projector (NS, SO, SN), pp. 611–618.
HCIHIMI-II-2009-WatanabeOHMM #mobile #using
Usefulness of Mobile Information Provision Systems Using Graphic Text -Visibility of Graphic Text on Mobile Phones (TW, MO, SH, SM, MM), pp. 476–485.
MODELSMoDELS-2009-ParetoEE #development #empirical
Concern Visibility in Base Station Development — An Empirical Investigation (LP, PE, SE), pp. 196–210.
MODELSMoDELS-2009-ParetoEE #development #empirical
Concern Visibility in Base Station Development — An Empirical Investigation (LP, PE, SE), pp. 196–210.
ECOOPECOOP-2009-CutsemBDM #using
Adding State and Visibility Control to Traits Using Lexical Nesting (TVC, AB, SD, WDM), pp. 220–243.
DATEDATE-2008-NanshiS
Improved Visibility in One-to-Many Trace Concretization (KN, FS), pp. 819–824.
HTHT-2008-Kolb08a
Making revisions hyper-visible (DAK), pp. 113–116.
ITiCSEITiCSE-2008-CrossHUB #java
Exploring accessibility and visibility relationships in java (JHCI, TDH, DAU, LAB), pp. 103–108.
ICALPICALP-B-2008-RaskinS #automaton #transducer
Visibly Pushdown Transducers (JFR, FS), pp. 386–397.
CIKMCIKM-2008-ThomoV #automaton #integration #xml
Rewriting of visibly pushdown languages for xml data integration (AT, SV), pp. 521–530.
ICDARICDAR-2007-KoklaPK #analysis #image
Ink Discrimination Based on Co-occurrence Analysis of Visible and Infrared Images (VK, AP, VK), pp. 1148–1152.
SIGMODSIGMOD-2007-AnciauxBBPS #named #query
GhostDB: querying visible and hidden data without leaks (NA, MB, LB, PP, DS), pp. 677–688.
FoSSaCSFoSSaCS-2007-Comon-LundhJP #automaton #constraints #memory management
Tree Automata with Memory, Visibility and Structural Constraints (HCL, FJ, NP), pp. 168–182.
DLTDLT-2007-CarotenutoMP #automaton
2-Visibly Pushdown Automata (DC, AM, AP), pp. 132–144.
HCIDHM-2007-ChungP
Applications of the Visible Korean Human (MSC, JSP), pp. 353–362.
HCIDHM-2007-Heng #roadmap
Advances in Visible Human Based Virtual Medicine (PAH), pp. 623–632.
HCIDHM-2007-ZhangHLTQLLLCGX #set
Chinese Visible Human Data Sets and Their Applications (SXZ, PAH, ZJL, LWT, MGQ, QYL, RXL, KL, GYC, YG, YMX), pp. 530–535.
HCIHCI-AS-2007-IzumiyaOT #case study
A Study on Display to Improve the Visibility of PTP Sheets (AI, MO, FT), pp. 443–449.
HCIHCI-MIE-2007-Marcus #communication #mobile #user interface
m-LoCoS UI: A Universal Visible Language for Global Mobile Communication (AM), pp. 144–153.
HCIHIMI-IIE-2007-OmoriHFM #evaluation #mobile #visual notation
Visibility Evaluation of Characters on Liquid Crystal Displays in Mobile Phones, and Visual Function (MO, SH, KF, MM), pp. 600–607.
ICEISICEIS-EIS-2007-PetersT #workflow
Making Incomplete Information Visible in Workflow Systems (GP, RT), pp. 434–440.
OOPSLAOOPSLA-2007-DucasseWBN
User-changeable visibility: resolving unanticipated name clashes in traits (SD, RW, AB, ON), pp. 171–190.
ICSEICSE-2007-LeavensM #information management #interface #specification
Information Hiding and Visibility in Interface Specifications (GTL, PM), pp. 385–395.
DACDAC-2006-HsuTJC #debugging
Visibility enhancement for silicon debug (YCH, FST, WJ, YTC), pp. 13–18.
DATEDATE-2006-BiswasDIP #architecture #automation #functional #identification
Automatic identification of application-specific functional units with architecturally visible storage (PB, NDD, PI, LP), pp. 212–217.
ICALPICALP-v1-2006-HeZ #graph
Nearly Optimal Visibility Representations of Plane Graphs (XH, HZ), pp. 407–418.
CHICHI-2006-Landgren
Making action visible in time-critical work (JL), pp. 201–210.
ICEISICEIS-ISAS-2006-CostelloFMLD #approach #distributed #framework #modelling #named #process #using
iWISE: A Framework for Providing Distributed Process Visibility Using an Event-Based Process Modelling Approach (CC, WF, OM, GL, JD), pp. 224–233.
ICPRICPR-v2-2006-HautiereA #approach
Visible Edges Thresholding: a HVS based Approach (NH, DA), pp. 155–158.
ICPRICPR-v3-2006-CharoentamPJ #image #multi #problem #robust
A Robust Region-Based Multiscale Image Fusion Scheme for Mis-Registration Problem of Thermal and Visible Images (OC, VP, SJ), pp. 669–672.
SACSAC-2006-HessSS #documentation #personalisation #recommendation
Trust-enhanced visibility for personalized document recommendations (CH, KS, CS), pp. 1865–1869.
CSLCSL-2006-Srba #automaton #bisimulation #equivalence #simulation
Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation (JS), pp. 89–103.
ICALPICALP-2005-AlurKMV #automaton
Congruences for Visibly Pushdown Languages (RA, VK, PM, MV), pp. 1102–1114.
CHICHI-2005-WangN #performance
Less visible and wireless: two experiments on the effects of microphone type on users’ performance and perception (QW, CN), pp. 809–818.
STOCSTOC-2004-AlurM #automaton
Visibly pushdown languages (RA, PM), pp. 202–211.
ICPRICPR-v2-2004-ZhangKGST
Elastic Face, An Anatomy-Based Biometrics Beyond Visible Cue (YZ, SJK, DBG, SS, LVT), pp. 19–22.
TOOLSTOOLS-USA-2003-ArdourelH04 #eiffel #graph
Class-based Visibility from an MDA Perspective: From Access Graphs to Eiffel Code (GA, MH), pp. 177–195.
ICEISICEIS-v2-2003-BrownSKL #communication #enterprise
The Communigram: Making Communication Visible for Enterprise Management (KMB, HS, JJK, PL), pp. 34–42.
CIKMCIKM-2003-BukauskasMO #incremental #named
iTopN: incremental extraction of the N most visible objects (LB, LM, EO, MHB), pp. 461–468.
ICPRICPR-v4-2002-SocolinskyS #analysis #comparative #performance #recognition
A Comparative Analysis of Face Recognition Performance with Visible and Thermal Infrared Imagery (DAS, AS), p. 217–?.
ICALPICALP-2001-ParkLC
Visibility-Based Pursuit-Evasion in a Polygonal Region by a Searcher (SMP, JHL, KYC), pp. 456–468.
ASEASE-1999-SteinHR
Enhancing Annotation Visibility for Software Inspection (MS, MPEH, JR), pp. 243–246.
ITiCSEITiCSE-1999-GiffordMF #web
The visible Web browser (AG, BJM, DF), p. 209.
IWPCIWPC-1999-LinosOK #case study #visual notation
Improving the Visibility of Graphical Program Displays: An Experimental Study (PKL, ETO, VK), pp. 12–19.
DACDAC-1998-Marantz #functional #performance #re-engineering #verification
Enhanced Visibility and Performance in Functional Verification by Reconstruction (JM), pp. 164–169.
ICSMEICSM-1998-LindvallR #empirical #maintenance #modelling
The Visibility of Maintenance in Object Models: An Empirical Study (ML, MR), p. 54–?.
ICPRICPR-1998-KlinkL
Decimation of visible surfaces (MvK, MSL), pp. 409–411.
CAVCAV-1997-KokkarinenPV #partial order #reduction
Relaxed Visibility Enhances Partial Order Reduction (IK, DP, AV), pp. 328–339.
AdaEuropeAdaEurope-1996-Celier #ada #interface #migration #scalability
Visibility Control and Migration of Interfaces in Large Ada Systems (VC), pp. 451–459.
ICPRICPR-1996-RoblesE #evaluation
The importance of feature visibility for the evaluation of a matching hypothesis (LAR, WE), pp. 585–589.
SACSAC-1994-FlorianiM
Computing point visibility on a terrain based on a nested horizon structure (LDF, PM), pp. 318–322.
TOOLSTOOLS-USA-1993-Simmel #implementation #persistent
Implementing Object Persistence and Visibility with Kala (SSS), p. 552.
SACSAC-1993-FlorianiM #algorithm #modelling
Algorithms for Visibility Computation on Digital Terrain Models (LDF, PM), pp. 380–387.
DACDAC-1991-Woo #heuristic
A Heuristic Method for FPGA Technology Mapping Based on the Edge Visibility (NSW), pp. 248–251.
PPDPPLILP-1991-Poetzsch-Heffter #specification
Logic-Based Specification of Visibility Rules (APH), pp. 63–74.
ICGTGG-1990-Paz #graph grammar
Usefulness and Visibility of Graph Grammars (AP), p. 56.
PLDISCC-1984-Blower #ada #implementation #performance
An efficient implementation of visibility in Ada (MIB), pp. 259–265.

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.