Concepedia

Object Refinement

Object Refinement is a formal method within refinement calculus that specifies how abstract data types are systematically transformed into concrete implementations by preserving behavioral correctness through stepwise refinement of object states and operations.

25

Publications

875

Citations

65

Authors

34

Institutions

Publications per year

2017–2026

4

Parents

Publications

25

<title>JDL level 5 fusion model: user refinement issues and applications in group tracking</title>

Erik Blasch, Susan Plano · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2002 · 153 citations

, , +14

Improvement of Image Segmentation Accuracy Based on Multiscale Optimization Procedure

Thomas Esch, Michael Thiel, M. Bock et al. · IEEE Geoscience and Remote Sensing Letters · 2008 · 114 citations

, , +16

rCOS: A refinement calculus of object systems

He Jifeng, Xiaoshan Li, Zhiming Liu · Theoretical Computer Science · 2006 · 102 citations

, , +13

RePOSE: Fast 6D Object Pose Refinement via Deep Texture Rendering

Shun Iwase, Xingyu Liu, Rawal Khirodkar et al. · 2021 IEEE/CVF International Conference on Computer Vision (ICCV) · 2021 · 78 citations

, , +16

Relation-aware Instance Refinement for Weakly Supervised Visual Grounding

Yongfei Liu, Bo Wan, Lin Ma et al. · 2021 · 49 citations · Full text

, , +16

1–5 of 25

Authors

65

  1. ZL
    Zhiming Liu

    Southwest University, China

    3 publications · 136 citations

    3

    h-index

  2. HJ
    He Jifeng

    University of Oxford, United Kingdom

    2 publications · 113 citations

    2

    h-index

  3. XL
    Xiaoshan Li

    University of Macau, Macao SAR China

    2 publications · 113 citations

    2

    h-index

  4. AC
    Ana Cavalcanti

    University of York, United Kingdom

    2 publications · 57 citations

    2

    h-index

  5. LZ
    Liang Zhao

    Xidian University, China

    1 publications · 23 citations

    1

    h-index

1–5 of 65

Institutions

34

  1. Universidade Federal de Pernambuco

    Recife, Brazil

    2 h-index

    3 publications

    72 citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    2 h-index

    6 publications

    344 citations

  3. University of Macau

    Macao, Macao

    2 h-index

    2 publications

    113 citations

  4. United Nations University Institute on Computing and Society

    Macao, China

    2 h-index

    2 publications

    113 citations

  5. Hubei University of Technology

    Wuhan, China

    1 h-index

    1 publications

    17 citations

  6. Boston University

    Boston, United States

    1 h-index

    1 publications

    11 citations

  7. KU Leuven

    Leuven, Belgium

    1 h-index

    1 publications

    49 citations

  8. Wright State University

    Dayton, United States

    1 h-index

    2 publications

    306 citations

1–8 of 34

Venues

  1. Formal Aspects of Computing

    3 publications · 68 citations

    3

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 2 publications · 84 citations

    2

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 26 citations

    2

    h-index

  4. 2021 IEEE/CVF International Conference on Computer Vision (ICCV)

    Conference · 1 publications · 78 citations

    1

    h-index

  5. 1

    h-index

1–5