Provably correct edgel linking and subpixel boundary reconstruction

被引:0
|
作者
Koethe, Ullrich [1 ]
Stelldinger, Peer [1 ]
Meine, Hans [1 ]
机构
[1] Univ Hamburg, D-22527 Hamburg, Germany
来源
PATTERN RECOGNITION, PROCEEDINGS | 2006年 / 4174卷
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Existing methods for segmentation by edgel linking are based on heuristics and give no guarantee for a topologically correct result. In this paper, we propose an edgel linking algorithm based on a new sampling theorem for shape digitization, which guarantees a topologically correct reconstruction of regions and boundaries if the edgels approximate true object edges with a known maximal error. Experiments on real and generated images demonstrate the good performance of the new method and confirm the predictions of our theory.
引用
收藏
页码:81 / 90
页数:10
相关论文
共 50 条
  • [31] Designing provably correct information networks with digital diodes
    Cohen, Fred
    Computers and Security, 1988, 7 (03): : 279 - 286
  • [32] Synthesis of Provably Correct Autonomy Protocols for Shared Control
    Cubuktepe, Murat
    Jansen, Nils
    Alshiekh, Mohammed
    Topcu, Ufuk
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (07) : 3251 - 3258
  • [33] A Control Architecture for Provably-Correct Autonomous Driving
    Aasi, Erfan
    Vasile, Cristian Ioan
    Belta, Calin
    2021 AMERICAN CONTROL CONFERENCE (ACC), 2021, : 2913 - 2918
  • [34] Provably-Correct and Comfortable Adaptive Cruise Control
    Althoff, Matthias
    Maierhofer, Sebastian
    Pek, Christian
    IEEE TRANSACTIONS ON INTELLIGENT VEHICLES, 2021, 6 (01): : 159 - 174
  • [35] Provably Correct Smart Contracts: An Approach using DeepSEA
    Britten, Daniel
    Sjoberg, Vilhelm
    Reeves, Steve
    COMPANION PROCEEDINGS OF THE 2022 ACM SIGPLAN INTERNATIONAL CONFERENCE ON SYSTEMS, PROGRAMMING, LANGUAGES, AND APPLICATIONS: SOFTWARE FOR HUMANITY, SPLASH COMPANION 2022, 2022, : 5 - 6
  • [36] A Provably-Correct Micro-Dalvik Bytecode Verifier
    Jiang Nan
    He Yanxiang
    Zhang Xiaotong
    Liu Rui
    Shen Yunfei
    INTERNATIONAL JOURNAL OF SECURITY AND ITS APPLICATIONS, 2016, 10 (09): : 193 - 210
  • [37] A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C plus
    Rauf, Rose H. Abdul
    Berger, Ulrich
    Setzer, Anton
    THEORY OF COMPUTING SYSTEMS, 2008, 43 (3-4) : 298 - 321
  • [38] Provably Correct Design of Observations for Fault Detection with Privacy Preservation
    Xu, Zhe
    Saha, Sayan
    Julius, Agung
    2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
  • [39] Provably Correct Optimization and Exploration with Non-linear Policies
    Feng, Fei
    Yin, Wotao
    Agarwal, Alekh
    Yang, Lin
    INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 139, 2021, 139
  • [40] Nonconvex Structured Phase Retrieval A focus on provably correct approaches
    Vaswani, Namrata
    IEEE SIGNAL PROCESSING MAGAZINE, 2020, 37 (05) : 67 - 77