|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SI3D ![In: Proceedings of the 2003 Symposium on Interactive 3D Graphics, SI3D 2003, Monterey, California, USA, April 28-30, 2003, pp. 75-82, 2003, ACM, 1-58113-645-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 81-95, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part II, pp. 238-245, 2008, Springer, 978-3-540-85989-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIAI ![In: 5th IEEE Southwest Symposium on Image Analysis and Interpretation, SSIAI 2002, Santa Fe, New Mexico, USA, April 7-9, 2002, pp. 260-264, 2002, IEEE Computer Society, 0-7695-1537-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
102 | Jon Jansen, Louis Bavoil |
Fourier opacity mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SI3D ![In: Proceedings of the 2010 Symposium on Interactive 3D Graphics, SI3D 2010, February 19-21, 2010, Washington, DC, USA, pp. 165-172, 2010, ACM, 978-1-60558-939-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 7(6), pp. 421-435, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 71-84, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SI3D ![In: Proceedings of the 2008 Symposium on Interactive 3D Graphics, SI3D 2008, February 15-17, 2008, Redwood City, CA, USA, pp. 157-162, 2008, ACM, 978-1-59593-983-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 889-894, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
75 | Rachid Guerraoui, Michal Kapalka |
On the correctness of transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008, pp. 175-184, 2008, ACM, 978-1-59593-795-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 6(2), pp. 160-180, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 241-252, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISA ![In: Advances in Information Security and Assurance, Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings, pp. 21-30, 2009, Springer, 978-3-642-02616-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
60 | Qishi Wu, Jinzhu Gao, Mengxia Zhu |
A Scalable Framework for Distributed Virtual Reality Using Heterogeneous Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAT ![In: Advances in Artificial Reality and Tele-Existence, 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, Hangzhou, China, November 29 - December 1, 2006, Proceedings, pp. 314-323, 2006, Springer, 3-540-49776-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 21(3), pp. 427-437, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
image-based rendering, 3D photography |
55 | Richard W. Wyatt |
Kinds of Opacity and Their Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNePS ![In: Current Trends in SNePS - Semantic Network Processing System, First Annual SNePS Workshop, Buffalo, NY, USA, November 13, 1989, Proceedings, pp. 123-144, 1989, Springer, 3-540-52626-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
52 | Damien Imbs, Michel Raynal |
A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings, pp. 226-245, 2008, Springer, 978-3-540-92220-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, Thira, Santorini, Greece, June 13-15, 2010, pp. 263-272, 2010, ACM, 978-1-4503-0079-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
transactional memory, correctness, memory models |
50 | Eric B. Lum, Kwan-Liu Ma |
Lighting Transfer Functions Using Gradient Aligned Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 15th IEEE Visualization Conference, IEEE Vis 2004, Austin, TX, USA, October 10-15, 2004, Proceedings, pp. 289-296, 2004, IEEE Computer Society, 0-7803-8788-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 8(2), pp. 183-197, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SI3D ![In: Proceedings of the 2009 Symposium on Interactive 3D Graphics, SI3D 2009, February 27 - March 1, 2009, Boston, Massachusetts, USA, pp. 67-74, 2009, ACM, 978-1-60558-429-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 15th IEEE Visualization Conference, IEEE Vis 2004, Austin, TX, USA, October 10-15, 2004, Proceedings, pp. 147-154, 2004, IEEE Computer Society, 0-7803-8788-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin 2009: Algorithmen - Systeme - Anwendungen, Proceedings des Workshops vom 22. bis 25. März 2009 in Heidelberg, pp. 371-375, 2009, Springer, 978-3-540-93859-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2006, 9th International Conference, Copenhagen, Denmark, October 1-6, 2006, Proceedings, Part I, pp. 784-791, 2006, Springer, 3-540-44707-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 14-16 November 2005, Hong Kong, China, pp. 607-612, 2005, IEEE Computer Society, 0-7695-2488-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan |
Modelling Dynamic Opacity Using Petri Nets with Silent Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 159-172, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 241-252, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 15(6), pp. 1481-1488, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Gordon L. Kindlmann, David M. Weinstein, David A. Hart |
Strategies for Direct Volume Rendering of Diffusion Tensor Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 6(2), pp. 124-138, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pp. 65-66, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 113-116, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Control ![In: Int. J. Control 95(11), pp. 3037-3049, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Rongjian Liu, Jianquan Lu |
Enforcement for infinite-step opacity and K-step opacity via insertion mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 140, pp. 110212, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Brijesh Dongol, Jay Le-Papin |
Checking Opacity and Durable Opacity with FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings, pp. 222-242, 2021, Springer, 978-3-030-92123-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 99, pp. 266-274, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Computer-Aided Diagnosis ![In: Medical Imaging 2018: Computer-Aided Diagnosis, Houston, Texas, USA, 10-15 February 2018, pp. 1057536, 2018, SPIE. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Bastien Maubert, Sophie Pinchinat |
Games with Opacity Condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 166-175, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Poon Chun Ho, Wenping Wang |
Occlusion Culling Using Minimum Occluder Set and Opacity Map. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 1999, London, England, UK, July 14-16, 1999, pp. 292-301, 1999, IEEE Computer Society, 0-7695-0210-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pairing ![In: Pairing-Based Cryptography - Pairing 2009, Third International Conference, Palo Alto, CA, USA, August 12-14, 2009, Proceedings, pp. 17-34, 2009, Springer, 978-3-642-03297-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Marc-Olivier Buob, Steve Uhlig, Mickael Meulle |
Designing Optimal iBGP Route-Reflection Topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: NETWORKING 2008, Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet , 7th International IFIP-TC6 Networking Conference, Singapore, May 5-9, 2008, Proceedings, pp. 542-553, 2008, Springer, 978-3-540-79548-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 24-26 June 2008, Anchorage, Alaska, USA, 2008, IEEE Computer Society, 978-1-4244-2242-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
Completeness and Nondeterminism in Model Checking Transactional Memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings, pp. 21-35, 2008, Springer, 978-3-540-85360-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIM ![In: Sixth International Conference on 3-D Digital Imaging and Modeling, 3DIM 2007, 21-23 August 2007, Montreal, Quebec, Canada, pp. 167-176, 2007, IEEE Computer Society, 0-7695-2939-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Guangfeng Ji, Han-Wei Shen |
Dynamic View Selection for Time-Varying Volumes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 12(5), pp. 1109-1116, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 12(4), pp. 433-445, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 12(6), pp. 1559-1569, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 19th IEEE Computer Security Foundations Workshop, (CSFW-19 2006), 5-7 July 2006, Venice, Italy, pp. 217-229, 2006, IEEE Computer Society, 0-7695-2615-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Shaorong Wang, Hua Li 0009 |
GVF-Based Transfer Functions for Volume Rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Graphics International ![In: Advances in Computer Graphics, 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006, Proceedings, pp. 727-734, 2006, Springer, 3-540-35638-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 19th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2006), 8-11 October 2006, Manaus, Amazonas, Brazil, pp. 281-288, 2006, IEEE Computer Society, 0-7695-2686-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Jue Wang 0001, Michael F. Cohen |
An Iterative Optimization Approach for Unified Image Segmentation and Matting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: 10th IEEE International Conference on Computer Vision (ICCV 2005), 17-20 October 2005, Beijing, China, pp. 936-943, 2005, IEEE Computer Society, 0-7695-2334-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Wexler, Larry Gritz, Eric Enderton, Jonathan Rice |
GPU-accelerated high-quality hidden surface removal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphics Hardware ![In: Proceedings of the ACM SIGGRAPH/EUROGRAPHICS Symposium on Graphics Hardware 2005, Los Angeles, California, USA, July 30-31, 2005, pp. 7-14, 2005, Eurographics Association, 1-59593-086-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 18th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2005), 9-12 October 2005, Natal, RN, Brazil, pp. 265-272, 2005, IEEE Computer Society, 0-7695-2389-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 16th IEEE Visualization Conference, IEEE Vis 2005, Minneapolis, MN, USA, October 23-28, 2005, Proceedings, pp. 351-358, 2005, IEEE Computer Society, 0-7803-9462-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Vladimir Zagrodsky, Raj Shekhar |
Volume Rendering of Real-Time 3D Echocardiographic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 16th IEEE Visualization Conference, IEEE Vis 2005, Minneapolis, MN, USA, October 23-28, 2005, Proceedings, pp. 114, 2005, IEEE Computer Society, 0-7803-9462-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Alex Reche Martinez, Ignacio Martín 0002, George Drettakis |
Volumetric reconstruction and interactive rendering of trees from photographs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 23(3), pp. 720-727, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
visibility estimation, 3D reconstruction, interactive rendering |
25 | Scott Pakin |
coNCePTuaL: A Network Correctness and Performance Testing Languag. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Abhir Bhalerao, Carl-Fredrik Westin |
Tensor Splats: Visualising Tensor Fields by Texture Mapped Volume Rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003, 6th International Conference, Montréal, Canada, November 15-18, 2003, Proceedings, Part II, pp. 294-302, 2003, Springer, 3-540-20464-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Yung-Yu Chuang, Brian Curless, David Salesin, Richard Szeliski |
A Bayesian Approach to Digital Matting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (2) ![In: 2001 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2001), with CD-ROM, 8-14 December 2001, Kauai, HI, USA, pp. 264-271, 2001, IEEE Computer Society, 0-7695-1272-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Marc Levoy |
Efficient ray tracing of volume data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 9(3), pp. 245-261, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Damien Imbs, Michel Raynal |
Software Transactional Memories: An Approach for Multicore Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings, pp. 26-40, 2009, Springer, 978-3-642-03274-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 17(4), pp. 425-446, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Graphics International ![In: 2004 Computer Graphics International (CGI 2004), 16-19 June 2004, Crete, Greece, pp. 248-256, 2004, IEEE Computer Society, 0-7695-2171-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 7(4), pp. 299-317, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 57185-57193, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 69(4), pp. 2500-2506, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Anooshiravan Saboori, Christoforos N. Hadjicostis |
Correction to "Current-State Opacity Formulations in Probabilistic Finite Automata". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 69(5), pp. 3480-3481, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Tomás Masopust, Petr Osicka |
On the Complexity of Initial-and-Final-State Opacity for Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.17000, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Étienne André, Engel Lefaucheux, Dylan Marinho |
Expiring opacity problems in parametric timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.07647, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.12377, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Siyuan Liu, Xiang Yin 0003, Dimos V. Dimarogonas, Majid Zamani 0001 |
On Approximate Opacity of Stochastic Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.01972, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.19586, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.15437, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.10363, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Manohar Kumar, Aisha Aijaz, Omkar Chattar, Jainendra Shukla, Raghava Mutharaju |
Opacity, Transparency, and the Ethics of Affective Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Affect. Comput. ![In: IEEE Trans. Affect. Comput. 15(1), pp. 4-17, January - March 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE CAA J. Autom. Sinica ![In: IEEE CAA J. Autom. Sinica 11(5), pp. 1274-1291, May 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 2041-2046, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay |
Opacity From Observers With a Bounded Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 2359-2364, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 641, pp. 119130, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Mihály Héder |
The epistemic opacity of autonomous systems and the ethical consequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 38(5), pp. 1819-1827, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Jianxin Tan, Fuchun Liu, Zbigniew Dziong |
Active opacity of discrete-event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Control ![In: Int. J. Control 96(8), pp. 2090-2099, August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Control ![In: Eur. J. Control 71, pp. 100795, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(11), pp. 6797-6803, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Shuo Yang 0007, Xiang Yin 0003 |
Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(8), pp. 4754-4766, August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(9), pp. 5646-5652, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Jirí Balun, Tomás Masopust |
Verifying weak and strong k-step opacity in discrete-event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 155, pp. 111153, September 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 152, pp. 110911, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 148, pp. 110756, February 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Sci. Complex. ![In: J. Syst. Sci. Complex. 36(5), pp. 1830-1850, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.00775, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.14232, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TiCSA@ETAPS ![In: Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023., pp. 1-26, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Weilin Deng, Daowen Qiu, Jingkai Yang |
Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.03870, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.13729, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.16904, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Chongyang Shi, Abhishek Ninad Kulkarni, Hazhar Rahmani, Jie Fu |
Synthesis of Opacity-Enforcing Winning Strategies Against Colluded Opponent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.01286, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.11825, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.09920, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.10083, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Varkey M. John, Vaibhav Katewa |
Minimum-norm Sparse Perturbations for Opacity in Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.17606, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.13332, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 630 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|