Search results for "Opacity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim	Verifying Opacity of a Transactional Mutex Lock.	FM	2015	DBLP DOI BibTeX RDF
17	Yin Tong, Zhiwu Li 0001, Carla Seatzu, Alessandro Giua	Verification of current-state opacity using Petri nets.	ACC	2015	DBLP DOI BibTeX RDF
17	Xiang Yin 0003, Stéphane Lafortune	A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems.	ACC	2015	DBLP DOI BibTeX RDF
17	Julian Newman	Epistemic Opacity, Confirmation Holism and Technical Debt: Computer Simulation in the Light of Empirical Software Engineering.	HaPoC	2015	DBLP DOI BibTeX RDF
17	Amina Bourouis, Kais Klai, Yamen El Touati, Nejib Ben Hadj-Alouane	Opacity Preserving Abstraction for Web Services and Their Composition Using SOGs.	ICWS	2015	DBLP DOI BibTeX RDF
17	Yin Tong, Zhiwu Li 0001, Carla Seatzu, Alessandro Giua	Verification of initial-state opacity in Petri nets.	CDC	2015	DBLP DOI BibTeX RDF
17	Yi-Chin Wu, Stéphane Lafortune	Synthesis of opacity-enforcing insertion functions that can be publicly known.	CDC	2015	DBLP DOI BibTeX RDF
17	Sathish Kottravel, Martin Falk, Erik Sundén, Timo Ropinski	Coverage-based opacity estimation for interactive Depth of Field in molecular visualization.	PacificVis	2015	DBLP DOI BibTeX RDF
17	Justin Matejka, Fraser Anderson, George W. Fitzmaurice	Dynamic Opacity Optimization for Scatter Plots.	CHI	2015	DBLP DOI BibTeX RDF
17	Wen Zeng, Maciej Koutny, Paul Watson 0001	Opacity in Internet of Things with Cloud Computing (Short Paper).	SOCA	2015	DBLP DOI BibTeX RDF
17	Ivo Ihrke	Opacity.	Computer Vision, A Reference Guide	2014	DBLP DOI BibTeX RDF
17	Damas P. Gruska	Simulation Opacity.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
17	Anooshiravan Saboori, Christoforos N. Hadjicostis	Current-State Opacity Formulations in Probabilistic Finite Automata.	IEEE Trans. Autom. Control.	2014	DBLP DOI BibTeX RDF
17	Yi-Chin Wu, Stéphane Lafortune	Synthesis of insertion functions for enforcement of opacity security properties.	Autom.	2014	DBLP DOI BibTeX RDF
17	Amit Datta, Michael Carl Tschantz, Anupam Datta	Automated Experiments on Ad Privacy Settings: A Tale of Opacity, Choice, and Discrimination.	CoRR	2014	DBLP BibTeX RDF
17	Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder	Probabilistic Opacity for Markov Decision Processes.	CoRR	2014	DBLP BibTeX RDF
17	Tobias Günther, Christian Rössl, Holger Theisel	Hierarchical opacity optimization for sets of 3D line fields.	Comput. Graph. Forum	2014	DBLP DOI BibTeX RDF
17	Tobias Günther, Maik Schulze, Janick Martinez Esturo, Christian Rössl, Holger Theisel	Opacity Optimization for Surfaces.	Comput. Graph. Forum	2014	DBLP DOI BibTeX RDF
17	Damas P. Gruska	Process Opacity for Timed Process Algebra.	Ershov Memorial Conference	2014	DBLP DOI BibTeX RDF
17	Bo Zhang 0021, Shaolong Shu, Feng Lin 0001	Maximum information release while ensuring opacity in discrete event systems.	ICRA	2014	DBLP DOI BibTeX RDF
17	Younhyun Jung, Jinman Kim, Michael J. Fulham, David Dagan Feng	Opacity-driven volume clipping for slice of interest (SOI) visualisation of multi-modality PET-CT volumes.	EMBC	2014	DBLP DOI BibTeX RDF
17	Mohsen Lesani, Jens Palsberg	Decomposing Opacity.	DISC	2014	DBLP DOI BibTeX RDF
17	Konrad Siek, Pawel T. Wojciechowski	Relaxing Opacity in Pessimistic Transactional Memory.	DISC	2014	DBLP BibTeX RDF
17	John Mullins, Moez Yeddes	Opacity with Orwellian Observers and Intransitive Non-Interference.	WODES	2014	DBLP DOI BibTeX RDF
17	Yi-Chin Wu, Karthik Abinav Sankararaman, Stéphane Lafortune	Ensuring Privacy in Location-Based Services: An Approach Based on Opacity Enforcement.	WODES	2014	DBLP DOI BibTeX RDF
17	Christoforos N. Hadjicostis, Christoforos Keroglou	Opacity formulations and verification in discrete event systems.	ETFA	2014	DBLP DOI BibTeX RDF
17	Kais Klai, Nawel Hamdi, Nejib Ben Hadj-Alouane	An On-the-Fly Approach for the Verification of Opacity in Critical Systems.	WETICE	2014	DBLP DOI BibTeX RDF
17	Sadegh Nobari, Panagiotis Karras, HweeHwa Pang, Stéphane Bressan	L-opacity: Linkage-Aware Graph Anonymization.	EDBT	2014	DBLP DOI BibTeX RDF
17	Aaron Plasek, David L. Hoover	Starting the Conversation: Literary Studies, Algorithmic Opacity, and Computer-Assisted Literary Insight.	DH	2014	DBLP BibTeX RDF
17	Mohamadou Lamine Diouf	Opacité des artefacts d'un système Workflow. (Opacity of artifacts in Workflow system).		2014	RDF
17	Sébastien Chédor	Diagnostic, opacité et test de conformité pour des systèmes récursifs. (Diagnosis, opacity and conformance testing for recursive tile systems).		2014	RDF
17	Yi-Chin Wu, Stéphane Lafortune	Comparative analysis of related notions of opacity in centralized and coordinated architectures.	Discret. Event Dyn. Syst.	2013	DBLP DOI BibTeX RDF
17	Anooshiravan Saboori, Christoforos N. Hadjicostis	Verification of initial-state opacity in security applications of discrete event systems.	Inf. Sci.	2013	DBLP DOI BibTeX RDF
17	Koichi Kobayashi, Kunihiko Hiraishi	Verification of Opacity and Diagnosability for Pushdown Systems.	J. Appl. Math.	2013	DBLP DOI BibTeX RDF
17	Priyanka Kumar, Sathya Peri	A TimeStamp based Multi-version STM Protocol that satisfies Opacity and Multi-Version Permissiveness	CoRR	2013	DBLP BibTeX RDF
17	John Mullins, Moez Yeddes	Opacity with Orwellian Observers and Intransitive Non-interference.	CoRR	2013	DBLP BibTeX RDF
17	Holger Machens, Volker Turau	Opacity of Memory Management in Software Transactional Memory.	CoRR	2013	DBLP BibTeX RDF
17	Béatrice Bérard, John Mullins, Mathieu Sassolas	Quantifying Opacity	CoRR	2013	DBLP BibTeX RDF
17	Özgür Dagdelen, Marc Fischlin, Tommaso Gagliardoni, Giorgia Azzurra Marson, Arno Mittelbach, Cristina Onete	A Cryptographic Analysis of OPACITY.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
17	Yubo Tao, Chao Wang 0063, Hai Lin 0003, Feng Dong 0005, Gordon Clapworthy	Opacity volume based halo generation and depth-dependent halos.	Vis. Comput.	2013	DBLP DOI BibTeX RDF
17	Tobias Günther, Christian Rössl, Holger Theisel	Opacity optimization for 3D line fields.	ACM Trans. Graph.	2013	DBLP DOI BibTeX RDF
17	Chi-Hsuan Tsou, Kuo-Lung Lor, Yeun-Chung Chang, Chung-Ming Chen	Region-based graph cut using hierarchical structure with application to ground-glass opacity pulmonary nodules segmentation.	Medical Imaging: Image Processing	2013	DBLP DOI BibTeX RDF
17	Song Li, Xiabi Liu, Ali Yang, Kunpeng Pang, Chunwu Zhou, Xinming Zhao, Yanfeng Zhao	A novel approach of computer-aided detection of focal ground-glass opacity in 2D lung CT images.	Medical Imaging: Computer-Aided Diagnosis	2013	DBLP DOI BibTeX RDF
17	Yliès Falcone, Hervé Marchand	Runtime enforcement of K-step opacity.	CDC	2013	DBLP DOI BibTeX RDF
17	Damas P. Gruska	Opacity Testing.	CS&P	2013	DBLP BibTeX RDF
17	Mohsen Lesani, Jens Palsberg	Proving Non-opacity.	DISC	2013	DBLP DOI BibTeX RDF
17	Kyoko Hasegawa, Kozaburo Hachimura, Satoshi Tanaka	3D Fused Visualization Based on Particles-Based Rendering with Opacity Using Volume Texture.	AsiaSim	2013	DBLP DOI BibTeX RDF
17	Özgür Dagdelen, Marc Fischlin, Tommaso Gagliardoni, Giorgia Azzurra Marson, Arno Mittelbach, Cristina Onete	A Cryptographic Analysis of OPACITY - (Extended Abstract).	ESORICS	2013	DBLP DOI BibTeX RDF
17	Christoforos Keroglou, Christoforos N. Hadjicostis	Initial state opacity in stochastic DES.	ETFA	2013	DBLP DOI BibTeX RDF
17	Jong Kwan Lee, Timothy S. Newman	Exploring GPU- and Cluster-Based Improvements for over-sampled Volume Ray Casting Opacity Correction.	Int. J. Image Graph.	2012	DBLP DOI BibTeX RDF
17	Anooshiravan Saboori, Christoforos N. Hadjicostis	Opacity-Enforcing Supervisory Strategies via State Estimator Constructions.	IEEE Trans. Autom. Control.	2012	DBLP DOI BibTeX RDF
17	Anooshiravan Saboori, Christoforos N. Hadjicostis	Verification of Infinite-Step Opacity and Complexity Considerations.	IEEE Trans. Autom. Control.	2012	DBLP DOI BibTeX RDF
17	Roberta Ballarin	Opacity and the double life of singular propositions.	J. Appl. Log.	2012	DBLP DOI BibTeX RDF
17	Zhen Tang, Zhenjiang Miao, Yanli Wan, Dianyong Zhang	Video matting via opacity propagation.	Vis. Comput.	2012	DBLP DOI BibTeX RDF
17	Jeremy W. Bryans, Maciej Koutny, Chunyan Mu	Towards Quantitative Analysis of Opacity.	TGC	2012	DBLP DOI BibTeX RDF
17	Shih-Chung Ben Lo, Matthew T. Freedman	Changes of nodule detection after radiologists read bone opacity suppressed chest radiography.	Medical Imaging: Computer-Aided Diagnosis	2012	DBLP DOI BibTeX RDF
17	Julip Jung, Helen Hong, Jin Mo Goo	Automatic segmentation of ground-glass opacity nodule on chest CT images by histogram modeling and local contrast.	Medical Imaging: Computer-Aided Diagnosis	2012	DBLP DOI BibTeX RDF
17	Andrea Paoli, Feng Lin	Decentralized opacity of discrete event systems.	ACC	2012	DBLP DOI BibTeX RDF
17	Yi-Chin Wu, Stéphane Lafortune	Enforcement of opacity properties using insertion functions.	CDC	2012	DBLP DOI BibTeX RDF
17	Koichi Kobayashi, Kunihiko Hiraishi	On opacity and diagnosability in discrete event systems modeled by pushdown automata.	CASE	2012	DBLP DOI BibTeX RDF
17	Philippe Darondeau	Enforcing opacity of regular predicates on modal transition systems.	WODES	2012	DBLP DOI BibTeX RDF
17	Kyoko Hasegawa, Saori Ojima, Kozaburo Hachimura, Satoshi Tanaka	Visualization of Slice Image with Opacity Based on Particle-Based Renderer.	AsiaSim (3)	2012	DBLP DOI BibTeX RDF
17	Balázs Csébfalvi, Balázs Tóth, Stefan Bruckner, M. Eduard Gröller	Illumination-Driven Opacity Modulation for Expressive Volume Rendering.	VMV	2012	DBLP DOI BibTeX RDF
17	Enrique Martin-Martin, Juan Rodríguez-Hortalá	Transparent function types: clearing up opacity.	PPDP	2012	DBLP DOI BibTeX RDF
17	Machi Zawidzki, Katsuhiro Nishinari	Controlling the Opacity of a Building Envelope by a Triangular Two-Color Two-Dimensional Cellular Automaton.	ACRI	2012	DBLP DOI BibTeX RDF
17	Shigemasa Takai, Yuta Watanabe	Modular Synthesis of Maximally Permissive Opacity-Enforcing Supervisors for Discrete Event Systems.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2011	DBLP DOI BibTeX RDF
17	David Borland	Ambient Occlusion Opacity Mapping for Visualization of Internal Molecular Structure.	J. WSCG	2011	DBLP BibTeX RDF
17	Feng Lin	Opacity of discrete event systems and its applications.	Autom.	2011	DBLP DOI BibTeX RDF
17	Saloua Chatti	Referential Opacity and Epistemic Logic.	Logica Universalis	2011	DBLP DOI BibTeX RDF
17	Bastien Maubert, Sophie Pinchinat, Laura Bozzelli	Opacity Issues in Games with Imperfect Information	GandALF	2011	DBLP DOI BibTeX RDF
17	Anooshiravan Saboori, Christoforos N. Hadjicostis	Verification of K-Step Opacity and Analysis of Its Complexity.	IEEE Trans Autom. Sci. Eng.	2011	DBLP DOI BibTeX RDF
17	Yunhai Wang, Jian Zhang 0070, Wei Chen 0001, Huai Zhang, Xuebin Chi	Efficient opacity specification based on feature visibilities in direct volume rendering.	Comput. Graph. Forum	2011	DBLP DOI BibTeX RDF
17	Yubo Tao, Hai Lin 0003, Feng Dong 0005, Gordon Clapworthy	Opacity Volume Based Halo Generation for Enhancing Depth Perception.	CAD/Graphics	2011	DBLP DOI BibTeX RDF
17	Moritz Y. Becker, Masoud Koleini	Opacity Analysis in Trust Management Systems.	ISC	2011	DBLP DOI BibTeX RDF
17	Majed Ben-Kalefa, Feng Lin	Supervisory control for opacity of discrete event systems.	Allerton	2011	DBLP DOI BibTeX RDF
17	Anthony Giroud, Venceslas Biri	Illuminating and Rendering Heterogeneous Participating Media in Real Time using Opacity Propagation.	GRAPP	2011	DBLP BibTeX RDF
17	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Damas P. Gruska	A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security.	Fundam. Informaticae	2010	DBLP DOI BibTeX RDF
17	Jérémy Dubreil, Philippe Darondeau, Hervé Marchand	Supervisory Control for Opacity.	IEEE Trans. Autom. Control.	2010	DBLP DOI BibTeX RDF
17	Stéphane Marchesin, Jean-Michel Dischler, Catherine Mongenet	Per-Pixel Opacity Modulation for Feature Enhancement in Volume Rendering.	IEEE Trans. Vis. Comput. Graph.	2010	DBLP DOI BibTeX RDF	adaptive rendering, Volume rendering, nonphotorealistic rendering
17	Bartholomäus Ende, Jan Muntermann	Opacity and Exclusivity in Electronic Securities Trading: The Case of Dark Pools.	MKWI	2010	DBLP BibTeX RDF
17	Wooram Son, Sang Joon Park, Chang Min Park, Jin Mo Goo, Jong Hyo Kim	Automated volumetric segmentation method for computerizeddiagnosis of pure nodular ground-glass opacity in high-resolution CT.	Medical Imaging: Computer-Aided Diagnosis	2010	DBLP DOI BibTeX RDF
17	Béatrice Bérard, John Mullins, Mathieu Sassolas	Quantifying Opacity.	QEST	2010	DBLP DOI BibTeX RDF
17	Anooshiravan Saboori, Christoforos N. Hadjicostis	Opacity verification in stochastic discrete event systems.	CDC	2010	DBLP DOI BibTeX RDF
17	Anooshiravan Saboori, Christoforos N. Hadjicostis	Reduced-complexity verification for initial-state opacity in modular discrete event systems.	WODES	2010	DBLP DOI BibTeX RDF
17	Mehmet Kurum, Peggy O'Neill, Roger H. Lang, Alicia T. Joseph, Michael H. Cosh, Thomas J. Jackson	Chracterization of forest opacity using multi-angular emssion and backscatter data.	IGARSS	2010	DBLP DOI BibTeX RDF
17	Anooshiravan Saboori	Verification and Enforcement of State-Based Notions of Opacity in Discrete Event Systems		2010	RDF
17	Inman Harvey	In Praise of Evolution and Opacity.	Computational Creativity: An Interdisciplinary Approach	2009	DBLP BibTeX RDF
17	Anooshiravan Saboori, Christoforos N. Hadjicostis	Verification of K-step opacity and analysis of its complexity.	CDC	2009	DBLP DOI BibTeX RDF
17	Jérémy Dubreil	Monitoring and Supervisory Control for Opacity Properties. (Vérification et Synthèse de Contrôleur pour des Propriétés de Confidentialité).		2009	RDF
17	Jin-Woo Kim	An Analysis of Chest X-ray by Laplacian Gaussian Filtering and Linear Opacity Judgment.	J. Inform. and Commun. Convergence Engineering	2008	DBLP BibTeX RDF
17	Cem Yuksel, John Keyser	Deep Opacity Maps.	Comput. Graph. Forum	2008	DBLP DOI BibTeX RDF
17	Jordi Barrat Esteve	The Certification of E-Voting Mechanisms. Fighting against Opacity.	Electronic Voting	2008	DBLP BibTeX RDF
17	Huiqi Li, Liling Ko, Joo-Hwee Lim, Jiang Liu 0001, Damon Wing Kee Wong, Tien Yin Wong, Ying Sun 0001	Automatic opacity detection in retro-illumination images for cortical cataract diagnosis.	ICME	2008	DBLP DOI BibTeX RDF
17	Jong Kwan Lee, Timothy S. Newman	Acceleration of Opacity Correction Mechanisms for Over-sampled Volume Ray Casting.	EGPGV@Eurographics	2008	DBLP DOI BibTeX RDF
17	Tom Head	Photocomputing: Explorations with Transparency and Opacity.	Parallel Process. Lett.	2007	DBLP DOI BibTeX RDF
17	Jong Kwan Lee, Timothy S. Newman	New Method for Opacity Correction in Oversampled Volume Ray Casting.	J. WSCG	2007	DBLP BibTeX RDF
17	Hyoungseop Kim, Masaki Maekado, Joo Kooi Tan, Seiji Ishikawa, Masaaki Tsukuda	Ground-Glass Opacity Detection by Using Correlation between Successive Slice Images.	Int. J. Artif. Intell. Tools	2007	DBLP DOI BibTeX RDF
17	Ashesh B. Jani, Peter A. S. Johnstone, Tim Fox, Charles A. Pelizzari	Optimization of opacity function for computed tomography volume rendered images of the prostate using magnetic resonance reference volumes.	Int. J. Comput. Assist. Radiol. Surg.	2007	DBLP DOI BibTeX RDF
17	Jong Kwan Lee, Timothy S. Newman, Cuilan Wang	Voxel Averaging-based Opacity Correction for Oversampled Volume Ray Casting.	MSV	2007	DBLP BibTeX RDF
17	Anooshiravan Saboori, Christoforos N. Hadjicostis	Notions of security and opacity in discrete event systems.	CDC	2007	DBLP DOI BibTeX RDF