Results 241 to 250 of about 556,109 (269)
Some of the next articles are maybe not open access.
Image Segmentation Using Deep Learning: A Survey
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2021Shervin Minaee +2 more
exaly
Divide and Segment – An alternative for parallel segmentation [PDF]
Thales Sehn Körting +2 more
openaire +1 more source
2012
O'Hearn, Reynolds and Yang introduced local Hoare reasoning about mutable data structures using separation logic. They reason about the local parts of the memory accessed by programs, and thus construct their smallest complete specifications. Gardner et al. generalised their work, using context logic to reason about structured data at the same level of
openaire +3 more sources
O'Hearn, Reynolds and Yang introduced local Hoare reasoning about mutable data structures using separation logic. They reason about the local parts of the memory accessed by programs, and thus construct their smallest complete specifications. Gardner et al. generalised their work, using context logic to reason about structured data at the same level of
openaire +3 more sources
Remote sensing image segmentation advances: A meta-analysis
ISPRS Journal of Photogrammetry and Remote Sensing, 2021Ioannis Kotaridis
exaly
Loss odyssey in medical image segmentation
Medical Image Analysis, 2021Jun Ma, Jianan Chen, Matthew Ng
exaly
Techniques and Challenges of Image Segmentation: A Review
Electronics (Switzerland), 2023Ying Yu, Renke Kou, Fuyu Huang
exaly
Segmental bronchi and the bronchopulmonary segments
The American Journal of Surgery, 1955openaire +2 more sources
Segmentation and modeling in segment-based recognition
5th European Conference on Speech Communication and Technology (Eurospeech 1997), 1997Jane W. Chang, James R. Glass
openaire +1 more source

