Search results for "Opacity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
122	Daniel Vlasic, Hanspeter Pfister, Sergey Molinov, Radek Grzeszczuk, Wojciech Matusik	Opacity light fields: interactive rendering of surface light fields with view-dependent opacity.	SI3D	2003	DBLP DOI BibTeX RDF	image-based rendering, 3D photography
115	Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan	Opacity Generalised to Transition Systems.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF	non-deducibility, non-inference, observable behaviour, Petri nets, anonymity, labelled transition systems, opacity
105	Yuanjie Zheng, Chandra Kambhamettu, Thomas L. Bauer, Karl V. Steiner	Estimation of Ground-Glass Opacity Measurement in CT Lung Images.	MICCAI (2)	2008	DBLP DOI BibTeX RDF
105	Marios S. Pattichis, Harini Muralidharan, Constantinos S. Pattichis, Peter Soliz	New Image Processing Models for Opacity Image Analysis in Chest Radiographs.	SSIAI	2002	DBLP DOI BibTeX RDF
102	Jon Jansen, Louis Bavoil	Fourier opacity mapping.	SI3D	2010	DBLP DOI BibTeX RDF	fog, opacity mapping, volumetric, shadows, smoke, particles, hair
102	Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan	Opacity generalised to transition systems.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Non-deducibility, Observable behaviour, Petri nets, Anonymity, Abstract interpretation, Labelled transition systems, Opacity
90	Laurent Mazaré	Decidability of Opacity with Non-Atomic Keys.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	Dolev-Yao Constraints, Security, Formal Verification, Decidability, Rewriting Systems, Opacity
85	Erik Sintorn, Ulf Assarsson	Real-time approximate sorting for self shadowing and transparency in hair rendering.	SI3D	2008	DBLP DOI BibTeX RDF	deep shadow maps, opacity maps, hair rendering
80	Anooshiravan Saboori, Christoforos N. Hadjicostis	Opacity-enforcing supervisory strategies for secure discrete event systems.	CDC	2008	DBLP DOI BibTeX RDF
75	Rachid Guerraoui, Michal Kapalka	On the correctness of transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	model, lower bound, transactional memory, correctness
72	Yoshinobu Sato, Carl-Fredrik Westin, Abhir Bhalerao, Shin Nakajima 0002, Nobuyuki Shiraga, Shinichi Tamura, Ron Kikinis	Tissue Classification Based on 3D Local Intensity Structures for Volume Rendering.	IEEE Trans. Vis. Comput. Graph.	2000	DBLP DOI BibTeX RDF	3D derivative feature, multidimensional opacity function, multichannel classification, medical image, image enhancement, Volume visualization, multiscale analysis, partial volume effect
70	Venkatraman Balasubramanian 0001, Murray Turoff	A systematic approach to user interface design for hypertext systems.	HICSS (3)	1995	DBLP DOI BibTeX RDF	user interface design principles, systematic process, general-purpose semantic framework, self-evident interfaces, semantic types, functional opacity, system opacity, screen prototype, software engineering, user interfaces, human factors, hypermedia, cognitive models, interactive systems, interactive systems, usability guidelines, hypertext systems, hypertext functionality
67	Franck Cassez	The Dark Side of Timed Opacity.	ISA	2009	DBLP DOI BibTeX RDF
60	Qishi Wu, Jinzhu Gao, Mengxia Zhu	A Scalable Framework for Distributed Virtual Reality Using Heterogeneous Processors.	ICAT	2006	DBLP DOI BibTeX RDF	plenoptic opacity functions, occlusion culling, distributed virtual reality, logistical networking
55	Wojciech Matusik, Hanspeter Pfister, Addy Ngan, Paul A. Beardsley, Remo Ziegler, Leonard McMillan	Image-based 3D photography using opacity hulls.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	image-based rendering, 3D photography
55	Richard W. Wyatt	Kinds of Opacity and Their Representations.	SNePS	1989	DBLP DOI BibTeX RDF
52	Damien Imbs, Michel Raynal	A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness.	OPODIS	2008	DBLP DOI BibTeX RDF	Commit/abort, Concurrency control, Transaction, Lock, Software transactional memory, Shared object, Progressiveness, Opacity, Atomic operation, Consistent global state
50	Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh	Transactions in the jungle.	SPAA	2010	DBLP DOI BibTeX RDF	transactional memory, correctness, memory models
50	Eric B. Lum, Kwan-Liu Ma	Lighting Transfer Functions Using Gradient Aligned Sampling.	IEEE Visualization	2004	DBLP DOI BibTeX RDF	multi-dimensional transfer functions, volume visualization, transfer functions, shading, direct volume rendering
50	David S. Ebert, Christopher J. Morris 0001, Penny Rheingans, Terry S. Yoo	Designing Effective Transfer Functions for Volume Rendering from Photographic Volumes.	IEEE Trans. Vis. Comput. Graph.	2002	DBLP DOI BibTeX RDF	photographic data, volume rendering, transfer functions
47	Erik Sintorn, Ulf Assarsson	Hair self shadowing and transparency depth ordering using occupancy maps.	SI3D	2009	DBLP DOI BibTeX RDF	deep shadow maps, opacity maps, hair rendering
47	Jinzhu Gao, Han-Wei Shen, Jian Huang 0007, James Arthur Kohl	Visibility Culling for Time-Varying Volume Rendering Using Temporal Occlusion Coherence.	IEEE Visualization	2004	DBLP DOI BibTeX RDF	time-varying data visualization, plenoptic opacity function, volume rendering, visibility culling, large data visualization
42	Martin Rauberger, Heinrich M. Overhoff	Interactive Boundary Detection for Automatic Definition of 2D Opacity Transfer Function.	Bildverarbeitung für die Medizin	2009	DBLP DOI BibTeX RDF
42	Jinghao Zhou, Sukmoon Chang, Dimitris N. Metaxas, Binsheng Zhao, Lawrence H. Schwartz, Michelle S. Ginsberg	Automatic Detection and Segmentation of Ground Glass Opacity Nodules.	MICCAI (1)	2006	DBLP DOI BibTeX RDF
42	Hyoungseop Kim, Masaki Maekado, Joo Kooi Tan, Seiji Ishikawa, Masaaki Tsukuda	Automatic Extraction of Ground-Glass Opacity Shadows on CT Images of the Thorax by Correlation between Successive Slices.	ICTAI	2005	DBLP DOI BibTeX RDF
39	Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan	Modelling Dynamic Opacity Using Petri Nets with Silent Actions.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	non-deducibility, observable behaviour, silent actions, Petri nets, anonymity, opacity
39	Andreas Rossberg	Generativity and dynamic opacity for abstract types.	PPDP	2003	DBLP DOI BibTeX RDF	generativity, encapsulation, opacity, dynamic typing, abstract types, existential types
38	Jianlong Zhou, Masahiro Takatsuka	Automatic Transfer Function Generation Using Contour Tree Controlled Residue Flow Model and Color Harmonics.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
38	Gordon L. Kindlmann, David M. Weinstein, David A. Hart	Strategies for Direct Volume Rendering of Diffusion Tensor Fields.	IEEE Trans. Vis. Comput. Graph.	2000	DBLP DOI BibTeX RDF	tensor visualization, reaction-diffusion texture, tensor interpolation, Volume rendering, transfer function, barycentric coordinates, anisotropy, diffusion tensor
35	Yehuda Afek, Adam Morrison 0001, Moran Tzafrir	Brief announcement: view transactions: transactional model with relaxed consistency checks.	PODC	2010	DBLP DOI BibTeX RDF	relaxed consistency checks, transactional memory, opacity
35	Bjørn Olstad, Erik Steen, Arne Halaas	Image filtering techniques and VLSI architectures for efficient data extraction in shell rendering.	ICIP	1995	DBLP DOI BibTeX RDF	image filtering techniques, shell rendering, interactive data reduction, real-time data reduction, PCI based search engine, full custom VLSI chip, opacity assignment, multi-spectral voxel data, interactive inspection procedures, 3D imagery, 3D ultrasonics, 3D MRI studies, classification, VLSI, feature extraction, volume rendering, image classification, application specific integrated circuits, medical image processing, search problems, VLSI architectures, filtering theory, data reduction, digital signal processing chips, data extraction, rendering (computer graphics), biomedical NMR, image preprocessing, biomedical ultrasonics
34	Jingkai Yang, Weilin Deng, Daowen Qiu	Current-state opacity and initial-state opacity of modular discrete event systems.	Int. J. Control	2022	DBLP DOI BibTeX RDF
34	Rongjian Liu, Jianquan Lu	Enforcement for infinite-step opacity and K-step opacity via insertion mechanism.	Autom.	2022	DBLP DOI BibTeX RDF
34	Brijesh Dongol, Jay Le-Papin	Checking Opacity and Durable Opacity with FDR.	SEFM	2021	DBLP DOI BibTeX RDF
34	Xiang Yin 0003, Zhaojian Li, Weilin Wang, Shaoyuan Li	Infinite-step opacity and K-step opacity of stochastic discrete-event systems.	Autom.	2019	DBLP DOI BibTeX RDF
34	Noriaki Hashimoto, Kenji Suzuki 0001, Junchi Liu, Yasushi Hirano, Heber MacMahon, Shoji Kido	Deep neural network convolution (NNC) for three-class classification of diffuse lung disease opacities in high-resolution CT (HRCT): Consolidation, ground-glass opacity (GGO), and normal opacity.	Medical Imaging: Computer-Aided Diagnosis	2018	DBLP DOI BibTeX RDF
30	Bastien Maubert, Sophie Pinchinat	Games with Opacity Condition.	RP	2009	DBLP DOI BibTeX RDF
30	Poon Chun Ho, Wenping Wang	Occlusion Culling Using Minimum Occluder Set and Opacity Map.	IV	1999	DBLP DOI BibTeX RDF	hierarchical boudning volume tree, depth complexity, incomplete coverage, combined gain, occlusion culling
25	Markus Rückert, Dominique Schröder	Security of Verifiably Encrypted Signatures and a Construction without Random Oracles.	Pairing	2009	DBLP DOI BibTeX RDF
25	Marc-Olivier Buob, Steve Uhlig, Mickael Meulle	Designing Optimal iBGP Route-Reflection Topologies.	Networking	2008	DBLP DOI BibTeX RDF	route-reflection, iBGP topology design, optimization, BGP
25	Yuichi Taguchi, Bennett Wilburn, C. Lawrence Zitnick	Stereo reconstruction with mixed pixels using adaptive over-segmentation.	CVPR	2008	DBLP DOI BibTeX RDF
25	Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh	Completeness and Nondeterminism in Model Checking Transactional Memories.	CONCUR	2008	DBLP DOI BibTeX RDF
25	Jean-Yves Guillemaut, Adrian Hilton 0001, Jonathan Starck, Joe Kilner, Oliver Grau	A Bayesian Framework for Simultaneous Matting and 3D Reconstruction.	3DIM	2007	DBLP DOI BibTeX RDF
25	Guangfeng Ji, Han-Wei Shen	Dynamic View Selection for Time-Varying Volumes.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	static view selection, image based method, dynamic view selection, optimization, information entropy
25	Xiaoru Yuan, Minh X. Nguyen, Baoquan Chen, David H. Porter	HDR VolVis: High Dynamic Range Volume Visualization.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	nonlinear magnification, user interfaces, Volume visualization, high dynamic range, transfer function design
25	Stefan Bruckner, Sören Grimm, Armin Kanitsar, M. Eduard Gröller	Illustrative Context-Preserving Exploration of Volume Data.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	volume rendering, Illustrative visualization, focus+context techniques
25	Daniel Hedin, David Sands 0001	Noninterference in the Presence of Non-Opaque Pointers.	CSFW	2006	DBLP DOI BibTeX RDF
25	Shaorong Wang, Hua Li 0009	GVF-Based Transfer Functions for Volume Rendering.	Computer Graphics International	2006	DBLP DOI BibTeX RDF
25	Francisco de Moura Pinto, Carla M. D. S. Freitas	Two-Level Interaction Transfer Function Design Combining Boundary Emphasis, Manual Specification and Evolutive Generation.	SIBGRAPI	2006	DBLP DOI BibTeX RDF
25	Jue Wang 0001, Michael F. Cohen	An Iterative Optimization Approach for Unified Image Segmentation and Matting.	ICCV	2005	DBLP DOI BibTeX RDF
25	Daniel Wexler, Larry Gritz, Eric Enderton, Jonathan Rice	GPU-accelerated high-quality hidden surface removal.	Graphics Hardware	2005	DBLP DOI BibTeX RDF
25	João Luis Prauchner, Carla M. D. S. Freitas, João Luiz Dihl Comba	Two-Level Interaction Approach for Transfer Function Specification.	SIBGRAPI	2005	DBLP DOI BibTeX RDF
25	Gregor Schlosser, Jürgen Hesser, Frank Zeilfelder, Christian Rössl, Reinhard Männer, Günther Nürnberger, Hans-Peter Seidel	Fast Visualization by Shear-Warp on Quadratic Super-Spline Models Using Wavelet Data Decompositions.	IEEE Visualization	2005	DBLP DOI BibTeX RDF
25	Vladimir Zagrodsky, Raj Shekhar	Volume Rendering of Real-Time 3D Echocardiographic Data.	IEEE Visualization	2005	DBLP DOI BibTeX RDF
25	Alex Reche Martinez, Ignacio Martín 0002, George Drettakis	Volumetric reconstruction and interactive rendering of trees from photographs.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	visibility estimation, 3D reconstruction, interactive rendering
25	Scott Pakin	coNCePTuaL: A Network Correctness and Performance Testing Languag.	IPDPS	2004	DBLP DOI BibTeX RDF
25	Abhir Bhalerao, Carl-Fredrik Westin	Tensor Splats: Visualising Tensor Fields by Texture Mapped Volume Rendering.	MICCAI (2)	2003	DBLP DOI BibTeX RDF
25	Yung-Yu Chuang, Brian Curless, David Salesin, Richard Szeliski	A Bayesian Approach to Digital Matting.	CVPR (2)	2001	DBLP DOI BibTeX RDF
25	Marc Levoy	Efficient ray tracing of volume data.	ACM Trans. Graph.	1990	DBLP DOI BibTeX RDF
22	Damien Imbs, Michel Raynal	Software Transactional Memories: An Approach for Multicore Programming.	PaCT	2009	DBLP DOI BibTeX RDF	Consistency condition, Transaction, Concurrent programming, Lock, Serializability, Software transactional memory, Shared object, Linearizability, Opacity, Logical clock, Consistent global state
22	Éric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau	Concurrent Secrets.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Concurrency, Computer security, Automata, Supervisory control, Opacity
22	Martin Koster, Jörg Haber, Hans-Peter Seidel	Real-Time Rendering of Human Hair Using Programmable Graphics Hardware.	Computer Graphics International	2004	DBLP DOI BibTeX RDF	opacity maps, programmable graphics hardware, shadow maps, hair rendering, anisotropic reflection
22	Kwansik Kim, Craig M. Wittenbrink, Alex Pang	Extended Specifications and Test Data Sets for Data Level Comparisons of Direct Volume Rendering Algorithms.	IEEE Trans. Vis. Comput. Graph.	2001	DBLP DOI BibTeX RDF	Metrics, volume visualization, image quality, gradient, opacity, uncertainty visualization, surface classification
17	Zhenzhong Liu	Verification of Archive System Opacity With Bounded Labeled Petri Nets.	IEEE Access	2024	DBLP DOI BibTeX RDF
17	Rongjian Liu, Jianquan Lu, Yang Liu 0040, Xiang Yin 0003, Christoforos N. Hadjicostis	Opacity Enforcement via Greedy Privately-and-Publicly Known Insertion Functions.	IEEE Trans. Autom. Control.	2024	DBLP DOI BibTeX RDF
17	Anooshiravan Saboori, Christoforos N. Hadjicostis	Correction to "Current-State Opacity Formulations in Probabilistic Finite Automata".	IEEE Trans. Autom. Control.	2024	DBLP DOI BibTeX RDF
17	Tomás Masopust, Petr Osicka	On the Complexity of Initial-and-Final-State Opacity for Discrete Event Systems.	CoRR	2024	DBLP DOI BibTeX RDF
17	Étienne André, Engel Lefaucheux, Dylan Marinho	Expiring opacity problems in parametric timed automata.	CoRR	2024	DBLP DOI BibTeX RDF
17	Christian Reiser, Stephan J. Garbin, Pratul P. Srinivasan, Dor Verbin, Richard Szeliski, Ben Mildenhall, Jonathan T. Barron, Peter Hedman, Andreas Geiger 0001	Binary Opacity Grids: Capturing Fine Geometric Detail for Mesh-Based View Synthesis.	CoRR	2024	DBLP DOI BibTeX RDF
17	Siyuan Liu, Xiang Yin 0003, Dimos V. Dimarogonas, Majid Zamani 0001	On Approximate Opacity of Stochastic Control Systems.	CoRR	2024	DBLP DOI BibTeX RDF
17	Shuai Zhang, Huangxuan Zhao, Zhenghong Zhou, Guanjun Wu, Chuansheng Zheng, Xinggang Wang, Wenyu Liu 0001	TOGS: Gaussian Splatting with Temporal Opacity Offset for Real-Time 4D DSA Rendering.	CoRR	2024	DBLP DOI BibTeX RDF
17	Eamon Duede, Kevin Davey	Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery.	CoRR	2024	DBLP DOI BibTeX RDF
17	Xiaoguang Han 0001, Kuize Zhang, Zhiwu Li 0001	Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems.	CoRR	2024	DBLP DOI BibTeX RDF
17	Manohar Kumar, Aisha Aijaz, Omkar Chattar, Jainendra Shukla, Raghava Mutharaju	Opacity, Transparency, and the Ethics of Affective Computing.	IEEE Trans. Affect. Comput.	2024	DBLP DOI BibTeX RDF
17	Yifan Dong, Naiqi Wu, Zhiwu Li 0001	State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets.	IEEE CAA J. Autom. Sinica	2024	DBLP DOI BibTeX RDF
17	Wei Duan, Ruotian Liu, Maria Pia Fanti, Christoforos N. Hadjicostis, Zhiwu Li 0001	Edit Mechanism Synthesis for Opacity Enforcement Under Uncertain Observations.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
17	Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay	Opacity From Observers With a Bounded Memory.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
17	Weiwei Han, Yi Li, Zhipeng Zhang, Chengyi Xia	STP-based verification and synthesis of state opacity for logical finite state machines.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
17	Mihály Héder	The epistemic opacity of autonomous systems and the ethical consequences.	AI Soc.	2023	DBLP DOI BibTeX RDF
17	Jianxin Tan, Fuchun Liu, Zbigniew Dziong	Active opacity of discrete-event systems.	Int. J. Control	2023	DBLP DOI BibTeX RDF
17	Yingrui Zhou, Zengqiang Chen 0001, Zhongxin Liu	Verification and enforcement of current-state opacity based on a state space approach.	Eur. J. Control	2023	DBLP DOI BibTeX RDF
17	Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li 0001	Opacity Enforcement in Discrete Event Systems Using Extended Insertion Functions Under Inserted Language Constraints.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
17	Shuo Yang 0007, Xiang Yin 0003	Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
17	Rongjian Liu, Jianquan Lu, Christoforos N. Hadjicostis	Opacity Enforcement via Attribute-Based Edit Functions in the Presence of an Intended Receiver.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
17	Jirí Balun, Tomás Masopust	Verifying weak and strong k-step opacity in discrete-event systems.	Autom.	2023	DBLP DOI BibTeX RDF
17	Francesco Basile, Gianmaria De Tommasi, Carlo Motta	Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques.	Autom.	2023	DBLP DOI BibTeX RDF
17	Xiaoguang Han 0002, Kuize Zhang, Jiahui Zhang, Zhiwu Li 0001, Zengqiang Chen 0001	Strong current-state and initial-state opacity of discrete-event systems.	Autom.	2023	DBLP DOI BibTeX RDF
17	Qian Chu, Jiahui Zhang, Xiaoguang Han 0002, Zhiwu Li 0001, Zengqiang Chen 0001	Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations.	J. Syst. Sci. Complex.	2023	DBLP DOI BibTeX RDF
17	Aaron David Schneider, Paul Mollière, Gilles Louppe, Ludmila Carone, Uffe Gråe Jørgensen, Leen Decin, Christiane Helling	Harnessing machine learning for accurate treatment of overlapping opacity species in GCMs.	CoRR	2023	DBLP DOI BibTeX RDF
17	Sara Mann, Barnaby Crook, Lena Kästner, Astrid Schomäcker, Timo Speith	Sources of Opacity in Computer Systems: Towards a Comprehensive Taxonomy.	CoRR	2023	DBLP DOI BibTeX RDF
17	Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun 0001	Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata.	TiCSA@ETAPS	2023	DBLP DOI BibTeX RDF
17	Weilin Deng, Daowen Qiu, Jingkai Yang	Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms.	CoRR	2023	DBLP DOI BibTeX RDF
17	Dawid Malarz, Weronika Smolak, Jacek Tabor, Slawomir Konrad Tadeja, Przemyslaw Spurek	Gaussian Splatting with NeRF-based Color and Opacity.	CoRR	2023	DBLP DOI BibTeX RDF
17	Lisa Y. W. Tang	Severity classification of ground-glass opacity via 2-D convolutional neural network and lung CT scans: a 3-day exploration.	CoRR	2023	DBLP DOI BibTeX RDF
17	Chongyang Shi, Abhishek Ninad Kulkarni, Hazhar Rahmani, Jie Fu	Synthesis of Opacity-Enforcing Winning Strategies Against Colluded Opponent.	CoRR	2023	DBLP DOI BibTeX RDF
17	Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li 0001	Reduced-Complexity Verification for K-Step and Infinite-Step Opacity in Discrete Event Systems.	CoRR	2023	DBLP DOI BibTeX RDF
17	Jirí Balun, Tomás Masopust, Petr Osicka	Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification.	CoRR	2023	DBLP DOI BibTeX RDF
17	Tianhao Wu 0003, Hanxue Liang, Fangcheng Zhong, Gernot Riegler, Shimon Vainer, A. Cengiz Öztireli	αSurf: Implicit Surface Reconstruction for Semi-Transparent and Thin Objects with Decoupled Geometry and Opacity.	CoRR	2023	DBLP DOI BibTeX RDF
17	Varkey M. John, Vaibhav Katewa	Minimum-norm Sparse Perturbations for Opacity in Linear Systems.	CoRR	2023	DBLP DOI BibTeX RDF
17	Junru Lin, Asen Nachkov, Songyou Peng, Luc Van Gool, Danda Pani Paudel	Ternary-type Opacity and Hybrid Odometry for RGB-only NeRF-SLAM.	CoRR	2023	DBLP DOI BibTeX RDF