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 条
  • [41] Provably-Correct Robot Control with LTLMoP, OMPL and ROS
    Wong, Kai Weng
    Finucane, Cameron
    Kress-Gazit, Hadas
    2013 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2013, : 2073 - 2073
  • [42] Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm
    Paleri, VK
    Srikant, YN
    Shankar, P
    SCIENCE OF COMPUTER PROGRAMMING, 2003, 48 (01) : 1 - 20
  • [43] A Provably Correct and Robust Algorithm for Convolutive Nonnegative Matrix Factorization
    Degleris, Anthony
    Gillis, Nicolas
    IEEE TRANSACTIONS ON SIGNAL PROCESSING, 2020, 68 (2499-2512) : 2499 - 2512
  • [44] Provably-Correct Fault Tolerant Control with Delayed Information
    Yang, Liren
    Ozay, Necmiye
    2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
  • [45] A provably correct embedded verifier for the certification of safety critical software
    Cimatti, A
    Giunchiglia, F
    Pecchiari, P
    Pietra, B
    Profeta, J
    Romano, D
    Traverso, F
    Yu, B
    COMPUTER AIDED VERIFICATION, 1997, 1254 : 202 - 213
  • [46] A provably correct compiler for efficient model checking of mobile processes
    Yang, P
    Dong, YF
    Ramakrishnan, CR
    Smolka, SA
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2005, 3350 : 113 - 127
  • [47] A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
    Rose H. Abdul Rauf
    Ulrich Berger
    Anton Setzer
    Theory of Computing Systems, 2008, 43 : 298 - 321
  • [48] Provably correct runtime enforcement of non-interference properties
    Venkatakrishnan, V. N.
    Xu, Wei
    DuVarney, Daniel C.
    Sekar, R.
    INFORMATION AND COMMUNICATIONS SECURITY, PROCEEDINGS, 2006, 4307 : 332 - +
  • [49] Synthesis of Provably Correct Controllers for Autonomous Vehicles in Urban Environments
    Wongpiromsarn, Tichakorn
    Karaman, Sertac
    Frazzoli, Emilio
    2011 14TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2011, : 1168 - 1173
  • [50] Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications
    Coronato, Antonio
    De Pietro, Giuseppe
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2012, 38 (04) : 975 - 991