Semantic search
No value
- 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))
- 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))
- 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)
- 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)
- 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)
- 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)
- 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))
- (Dynamic (Programming Paradigms)) ;; Performance and Expressivity (News year 2020, Has title (Dynamic (Programming Paradigms)) ;; Performance and Expressivity)
- LTL Model Checking for Communicating Concurrent Programs (News year 2020, Has title LTL Model Checking for Communicating Concurrent Programs, Published in Innovations in Systems and Software Engineering: a NASA journal (ISSE))
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms (News year 2020, Has title Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms)
- Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) (News year 2020, Has title Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation), Published in Label-free Biomedical Imaging and Sensing (LBIS) 2020)
- 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))
- 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)
- 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)
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization (News year 2020, Has title Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization, Published in Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20))
- Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation (News year 2020, Has title Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation, Published in Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP))
- A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images (News year 2020, Has title A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images, Published in Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges—10th International WorkshopSTACOM 2019, Held in Conjunction with MICCAI 2019Shenzhen, China, October 13, 2019, Revised Selected Papers)
- Towards more efficient parallel SAT solving (News year 2019, Has title Towards more efficient parallel SAT solving)
- Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo (News year 2019, Has title Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo, Published in TUGboat)
- Connected Filters on Generalized Shape-Spaces (News year 2019, Has title Connected Filters on Generalized Shape-Spaces, Published in Pattern Recognition Letters)