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 条
  • [21] Automatic generation of provably correct parallelizing compilers
    Gupta, G
    Pontelli, E
    Lara-Rodriguez, A
    Felix-Cardenas, R
    1998 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING - PROCEEDINGS, 1998, : 579 - 586
  • [22] Towards provably correct system synthesis and extension
    Giunchiglia, F
    Pecchiari, P
    Armando, A
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING AND ESCIENCE, 1996, 12 (2-3): : 123 - 137
  • [23] Provably correct conflict prevention bands algorithms
    Narkawicz, Anthony
    Munoz, Cesar
    Dowek, Gilles
    SCIENCE OF COMPUTER PROGRAMMING, 2012, 77 (10-11) : 1039 - 1057
  • [24] Provably Correct Code Generation: A Case Study
    Wang, Qian
    Gupta, Gopal
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 118 : 87 - 109
  • [25] Provably correct runtime monitoring (extended abstract)
    Aktug, Irem
    Dam, Mads
    Gurov, Dilian
    FM 2008: FORMAL METHODS, PROCEEDINGS, 2008, 5014 : 262 - +
  • [26] Provably Correct Safety Protocol for Cooperative Platooning
    Mair, Sebastian
    Althoff, Matthias
    2024 35TH IEEE INTELLIGENT VEHICLES SYMPOSIUM, IEEE IV 2024, 2024, : 780 - 787
  • [27] A geometric method for subpixel boundary
    Yang, Xingqiang
    Zhang, Caiming
    Liu, Yi
    Guo, Fenghua
    PROCEEDINGS OF 2007 10TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN AND COMPUTER GRAPHICS, 2007, : 208 - 212
  • [28] Provably correct reactive control from natural language
    Lignos, Constantine
    Raman, Vasumathi
    Finucane, Cameron
    Marcus, Mitchell
    Kress-Gazit, Hadas
    AUTONOMOUS ROBOTS, 2015, 38 (01) : 89 - 105
  • [29] Provably correct reactive control from natural language
    Constantine Lignos
    Vasumathi Raman
    Cameron Finucane
    Mitchell Marcus
    Hadas Kress-Gazit
    Autonomous Robots, 2015, 38 : 89 - 105
  • [30] Provably correct hardware compilation using timing diagrams
    Schenke, M
    Dossis, M
    FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEMS, 1999, 28 : 313 - 331