|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 281 occurrences of 191 keywords
|
|
|
Results
Found 630 publication records. Showing 630 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 630 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|