12 papers:
FM-2015-DerrickDSTW #transaction #verification- Verifying Opacity of a Transactional Mutex Lock (JD, BD, GS, OT, HW), pp. 161–177.
CHI-2015-MatejkaAF #optimisation- Dynamic Opacity Optimization for Scatter Plots (JM, FA, GWF), pp. 2707–2710.
CASE-2012-KobayashiH #automaton #on the- On opacity and diagnosability in discrete event systems modeled by pushdown automata (KK, KH), pp. 662–667.
PPDP-2012-Martin-MartinR- Transparent function types: clearing up opacity (EMM, JRH), pp. 127–138.
HCI-UA-2011-WookS #design #requirements- Exploring Children’s Requirements for the Graphic Design of WebOPAC (TSMTW, SSS), pp. 627–636.
- HIMI-IIE-2007-Kani-ZabihiG #design #interface
- Involving Users in OPAC Interface Design: Perspective from a UK Study (EKZ, GG), pp. 374–383.
- HIMI-IIE-2007-WookS #concept #design #interface
- A Conceptual Design for Children’s WebOPAC Interface: Graphic Design Issues (TSMTW, SSS), pp. 785–791.
ICPR-v3-2004-MitaniMH #image- Artificial Images for Classifying Diffuse Lung Opacities in Thin-Section Computed Tomography Images (YM, NM, YH), pp. 530–533.
- PPDP-2003-Rossberg #data type
- Generativity and dynamic opacity for abstract types (AR), pp. 241–252.
- ICPR-v1-2002-MitaniYKUMH
- Combining the Gabor and Histogram Features for Classifying Diffuse Lung Opacities in Thin-Section Computed Tomography (YM, HY, SK, KU, NM, YH), pp. 53–56.
SIGIR-1993-FoxFSDC #development- Development of a Modern OPAC: From REVTOLC to MARIAN (EAF, RKF, ES, AMD, BEC), pp. 248–259.
- SIGIR-1992-AgostiM #database #design #library #multi
- Design of an OPAC Database to Permit Different Subject Searching Accesses in a Multi-Disciplines Universities Library Catalogue Database (MA, MM), pp. 245–255.
