Stem visibl$ (all stems)

100 papers:

CASE-2015-QiuZL #modelling

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

CIAA-J-2013-CaralpRT15 #automaton

Trimming visibly pushdown automata (MC, PAR, JMT), pp. 13–29.

CHI-2015-DaltonCM #using

Display Blindness?: Looking Again at the Visibility of Situated Displays using Eye-tracking (NSD, EC, PM), pp. 3889–3898.

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

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

CSCW-2015-TorkilsheyggiH

Visible but Unseen?: A Workplace Study of Blood-Test Icons on Electronic Emergency-Department Whiteboards (AáT, MH), pp. 798–807.

ESEC-FSE-2015-Janjua

OnSpot system: test impact visibility during code edits in real software (MUJ), pp. 994–997.

SIGMOD-2014-BailisFHGS #scalability #transaction

Scalable atomic visibility with RAMP transactions (PB, AF, JMH, AG, IS), pp. 27–38.

DLT-2014-ReynierT #automaton #transducer

Visibly Pushdown Transducers with Well-Nested Outputs (PAR, JMT), pp. 129–141.

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

ICPR-2014-OsogamiK

A Hierarchical Bayesian Choice Model with Visibility (TO, TK), pp. 3618–3623.

CAV-2014-DAntoniA #automaton

Symbolic Visibly Pushdown Automata (LD, RA), pp. 209–225.

IJCAR-2014-BozzelliS #linear #logic

Visibly Linear Temporal Logic (LB, CS), pp. 418–433.

CIAA-2013-CaralpRT #automaton

Trimming Visibly Pushdown Automata (MC, PAR, JMT), pp. 84–96.

ICALP-v2-2013-FriedmannKL #automaton

Ramsey Goes Visibly Pushdown (OF, FK, ML), pp. 224–237.

LATA-2013-BruyereDG #anti #automaton

Visibly Pushdown Automata: Universality and Inclusion via Antichains (VB, MD, OG), pp. 190–201.

DHM-HB-2013-HuhK #estimation #image #using

Human Pose Estimation from Depth Image Using Visibility Estimation and Key Points (SH, GK), pp. 333–342.

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

OCSC-2013-KadenbachK #collaboration

Project Awareness System — Improving Collaboration through Visibility (DK, CK), pp. 164–173.

ICML-c1-2013-KrauseFGI #approximate

Approximation properties of DBNs with binary hidden units and real-valued visible units (OK, AF, TG, CI), pp. 419–426.

DLT-2012-CaralpRT #automaton #bound #multi

Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness (MC, PAR, JMT), pp. 226–238.

ICALP-v1-2012-ChenW

Computing the Visibility Polygon of an Island in a Polygonal Domain (DZC, HW), pp. 218–229.

LATA-2012-TangO #automaton #model checking #on the

On Model Checking for Visibly Pushdown Automata (NVT, HO), pp. 408–419.

CHI-2012-BirnholtzBF #behaviour

Do you see that I see?: effects of perceived visibility on awareness checking behavior (JPB, NB, SRF), pp. 1765–1774.

CSCW-2012-BirnholtzI #collaboration #maintenance

Tracking changes in collaborative writing: edits, visibility and group maintenance (JPB, SI), pp. 809–818.

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

ICPR-2012-BaoSYA #framework

An edge-preserving filtering framework for visibility restoration (LB, YS, QY, NA), pp. 384–387.

CAV-2012-HarrisJR #automaton #game studies #programming #safety

Secure Programming via Visibly Pushdown Safety Games (WRH, SJ, TWR), pp. 581–598.

ICDAR-2011-XuYWL #analysis #using

Touching Character Separation in Chinese Handwriting Using Visibility-Based Foreground Analysis (LX, FY, QFW, CLL), pp. 859–863.

ICALP-v2-2011-HopkinsMO #automaton #decidability #ml

A Fragment of ML Decidable by Visibly Pushdown Automata (DH, ASM, CHLO), pp. 149–161.

CHI-2011-ChettyHBOSG #internet #network #why

Why is my internet slow?: making network speeds visible (MC, DH, AB, UO, BS, REG), pp. 1889–1898.

CSCW-2011-YamashitaKKH #collaboration #distributed #gesture

Improving visibility of remote gestures in distributed tabletop collaboration (NY, KK, HK, KH), pp. 95–104.

HCD-2011-FukudaKSM #case study

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

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

LATA-2010-Crespi-ReghizziM #automaton #precedence

Operator Precedence and the Visibly Pushdown Property (SCR, DM), pp. 214–226.

ICPR-2010-HouY10a #image

Visible Entropy: A Measure for Image Visibility (ZH, WYY), pp. 4448–4451.

ICPR-2010-KlareJ #image #recognition

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

ICPR-2010-RaytchevMTK #invariant #recognition

View-Invariant Object Recognition with Visibility Maps (BR, TM, TT, KK), pp. 1040–1043.

ICPR-2010-ZhangJ #geometry #multi

Visibility of Multiple Cameras in a Scene with Unknown Geometry (LZ, YJ), pp. 3619–3622.

QoSA-2009-HinsmanSS #architecture

Achieving Agility through Architecture Visibility (CH, NS, JAS), pp. 116–129.

DATE-2009-LiuX #validation

Trace signal selection for visibility enhancement in post-silicon validation (XL, QX), pp. 1338–1343.

ICSM-2009-HouW #case study #eclipse #evolution

Analyzing the evolution of user-visible features: A case study with Eclipse (DH, YW), pp. 479–482.

HCI-NT-2009-AkasakaO #performance

Providing an Efficient Way to Make Desktop Icons Visible (TA, YO), pp. 569–578.

HIMI-DIE-2009-SakataON

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

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

MoDELS-2009-ParetoEE #development #empirical

Concern Visibility in Base Station Development — An Empirical Investigation (LP, PE, SE), pp. 196–210.

MoDELS-2009-ParetoEE #development #empirical

Concern Visibility in Base Station Development — An Empirical Investigation (LP, PE, SE), pp. 196–210.

ECOOP-2009-CutsemBDM #using

Adding State and Visibility Control to Traits Using Lexical Nesting (TVC, AB, SD, WDM), pp. 220–243.

DATE-2008-NanshiS

Improved Visibility in One-to-Many Trace Concretization (KN, FS), pp. 819–824.

HT-2008-Kolb08a

Making revisions hyper-visible (DAK), pp. 113–116.

ITiCSE-2008-CrossHUB #java

Exploring accessibility and visibility relationships in java (JHCI, TDH, DAU, LAB), pp. 103–108.

ICALP-B-2008-RaskinS #automaton #transducer

Visibly Pushdown Transducers (JFR, FS), pp. 386–397.

CIKM-2008-ThomoV #automaton #integration #xml

Rewriting of visibly pushdown languages for xml data integration (AT, SV), pp. 521–530.

ICDAR-2007-KoklaPK #analysis #image

Ink Discrimination Based on Co-occurrence Analysis of Visible and Infrared Images (VK, AP, VK), pp. 1148–1152.

SIGMOD-2007-AnciauxBBPS #named #query

GhostDB: querying visible and hidden data without leaks (NA, MB, LB, PP, DS), pp. 677–688.

FoSSaCS-2007-Comon-LundhJP #automaton #constraints #memory management

Tree Automata with Memory, Visibility and Structural Constraints (HCL, FJ, NP), pp. 168–182.

DLT-2007-CarotenutoMP #automaton

2-Visibly Pushdown Automata (DC, AM, AP), pp. 132–144.

DHM-2007-ChungP

Applications of the Visible Korean Human (MSC, JSP), pp. 353–362.

DHM-2007-Heng #roadmap

Advances in Visible Human Based Virtual Medicine (PAH), pp. 623–632.

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

HCI-AS-2007-IzumiyaOT #case study

A Study on Display to Improve the Visibility of PTP Sheets (AI, MO, FT), pp. 443–449.

HCI-MIE-2007-Marcus #communication #mobile #user interface

m-LoCoS UI: A Universal Visible Language for Global Mobile Communication (AM), pp. 144–153.

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

ICEIS-EIS-2007-PetersT #workflow

Making Incomplete Information Visible in Workflow Systems (GP, RT), pp. 434–440.

OOPSLA-2007-DucasseWBN

User-changeable visibility: resolving unanticipated name clashes in traits (SD, RW, AB, ON), pp. 171–190.

ICSE-2007-LeavensM #information management #interface #specification

Information Hiding and Visibility in Interface Specifications (GTL, PM), pp. 385–395.

DAC-2006-HsuTJC #debugging

Visibility enhancement for silicon debug (YCH, FST, WJ, YTC), pp. 13–18.

DATE-2006-BiswasDIP #architecture #automation #functional #identification

Automatic identification of application-specific functional units with architecturally visible storage (PB, NDD, PI, LP), pp. 212–217.

ICALP-v1-2006-HeZ #graph

Nearly Optimal Visibility Representations of Plane Graphs (XH, HZ), pp. 407–418.

CHI-2006-Landgren

Making action visible in time-critical work (JL), pp. 201–210.

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

ICPR-v2-2006-HautiereA #approach

Visible Edges Thresholding: a HVS based Approach (NH, DA), pp. 155–158.

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

SAC-2006-HessSS #documentation #personalisation #recommendation

Trust-enhanced visibility for personalized document recommendations (CH, KS, CS), pp. 1865–1869.

CSL-2006-Srba #automaton #bisimulation #equivalence #simulation

Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation (JS), pp. 89–103.

ICALP-2005-AlurKMV #automaton

Congruences for Visibly Pushdown Languages (RA, VK, PM, MV), pp. 1102–1114.

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

STOC-2004-AlurM #automaton

Visibly pushdown languages (RA, PM), pp. 202–211.

ICPR-v2-2004-ZhangKGST

Elastic Face, An Anatomy-Based Biometrics Beyond Visible Cue (YZ, SJK, DBG, SS, LVT), pp. 19–22.

TOOLS-USA-2003-ArdourelH04 #eiffel #graph

Class-based Visibility from an MDA Perspective: From Access Graphs to Eiffel Code (GA, MH), pp. 177–195.

ICEIS-v2-2003-BrownSKL #communication #enterprise

The Communigram: Making Communication Visible for Enterprise Management (KMB, HS, JJK, PL), pp. 34–42.

CIKM-2003-BukauskasMO #incremental #named

iTopN: incremental extraction of the N most visible objects (LB, LM, EO, MHB), pp. 461–468.

ICPR-v4-2002-SocolinskyS #analysis #comparative #performance #recognition

A Comparative Analysis of Face Recognition Performance with Visible and Thermal Infrared Imagery (DAS, AS), p. 217–?.

ICALP-2001-ParkLC

Visibility-Based Pursuit-Evasion in a Polygonal Region by a Searcher (SMP, JHL, KYC), pp. 456–468.

ASE-1999-SteinHR

Enhancing Annotation Visibility for Software Inspection (MS, MPEH, JR), pp. 243–246.

ITiCSE-1999-GiffordMF #web

The visible Web browser (AG, BJM, DF), p. 209.

IWPC-1999-LinosOK #case study #visual notation

Improving the Visibility of Graphical Program Displays: An Experimental Study (PKL, ETO, VK), pp. 12–19.

DAC-1998-Marantz #functional #performance #re-engineering #verification

Enhanced Visibility and Performance in Functional Verification by Reconstruction (JM), pp. 164–169.

ICSM-1998-LindvallR #empirical #maintenance #modelling

The Visibility of Maintenance in Object Models: An Empirical Study (ML, MR), p. 54–?.

ICPR-1998-KlinkL

Decimation of visible surfaces (MvK, MSL), pp. 409–411.

CAV-1997-KokkarinenPV #partial order #reduction

Relaxed Visibility Enhances Partial Order Reduction (IK, DP, AV), pp. 328–339.

AdaEurope-1996-Celier #ada #interface #migration #scalability

Visibility Control and Migration of Interfaces in Large Ada Systems (VC), pp. 451–459.

ICPR-1996-RoblesE #evaluation

The importance of feature visibility for the evaluation of a matching hypothesis (LAR, WE), pp. 585–589.

SAC-1994-FlorianiM

Computing point visibility on a terrain based on a nested horizon structure (LDF, PM), pp. 318–322.

TOOLS-USA-1993-Simmel #implementation #persistent

Implementing Object Persistence and Visibility with Kala (SSS), p. 552.

SAC-1993-FlorianiM #algorithm #modelling

Algorithms for Visibility Computation on Digital Terrain Models (LDF, PM), pp. 380–387.

DAC-1991-Woo #heuristic

A Heuristic Method for FPGA Technology Mapping Based on the Edge Visibility (NSW), pp. 248–251.

PLILP-1991-Poetzsch-Heffter #specification

Logic-Based Specification of Visibility Rules (APH), pp. 63–74.

GG-1990-Paz #graph grammar

Usefulness and Visibility of Graph Grammars (AP), p. 56.

SCC-1984-Blower #ada #implementation #performance

An efficient implementation of visibility in Ada (MIB), pp. 259–265.