Semantic search
No value
- Debug Packages in OpenBSD (News year 2021, Has title Debug Packages in OpenBSD, Published in EuroBSDCon 2021)
- A blockchain-based certificate revocation management and status verification system (News year 2021, Has title A blockchain-based certificate revocation management and status verification system, Published in Computers & Security)
- A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers (News year 2020, Has title A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers, Published in Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20))
- PAIP 2019: Liver Cancer Segmentation Challenge (News year 2020, Has title PAIP 2019: Liver Cancer Segmentation Challenge, Published in Medical Image Analysis)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging (News year 2020, Has title A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging, Published in Medical Image Analysis)
- FOANet: A Focus of Attention Network with Application to Myocardium Segmentation (News year 2020, Has title FOANet: A Focus of Attention Network with Application to Myocardium Segmentation, Published in Proceedings of the 25th International Conference on Pattern Recognition (ICPR))
- Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation (News year 2020, Has title Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation, Published in Proceedings of the 25th International Conference on Pattern Recognition (ICPR))
- Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival (News year 2020, Has title Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival, Published in International MICCAI Brainlesion Workshop)
- Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids (News year 2020, Has title Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids, Published in Journal of Mathematical Imaging and Vision)
- Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids (News year 2020, Has title Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids, Published in Journal of Mathematical Imaging and Vision)
- On the Usefulness of Clause Strengthening in Parallel SAT Solving (News year 2020, Has title On the Usefulness of Clause Strengthening in Parallel SAT Solving, Published in Proceedings of the 12th NASA Formal Methods Symposium (NFM'20))
- A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D (News year 2020, Has title A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D, Published in Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020)
- Euler Well-Composedness (News year 2020, Has title Euler Well-Composedness, Published in Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020)
- Non-iterative methods for image improvement in digital holography of the retina (News year 2020, Has title Non-iterative methods for image improvement in digital holography of the retina)
- (Dynamic (Programming Paradigms)) ;; Performance and Expressivity (News year 2020, Has title (Dynamic (Programming Paradigms)) ;; Performance and Expressivity)
- Practical “Paritizing” of Emerson–Lei Automata (News year 2020, Has title Practical “Paritizing” of Emerson–Lei Automata, Published in Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20))
- A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation (News year 2020, Has title A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation, Published in Computer Vision and Image Understanding)
- Improving swarming using genetic algorithms (News year 2020, Has title Improving swarming using genetic algorithms, Published in Innovations in Systems and Software Engineering: a NASA journal (ISSE))
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving (News year 2020, Has title Community and LBD-based Clause Sharing Policy for Parallel SAT Solving, Published in Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20))
- Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures (News year 2020, Has title Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures, Published in Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019)