Skip to search formSkip to main contentSkip to account menu

Refinement (computing)

Known as: Program Refinement, Data refinement, Refinement type 
Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Highly Cited
2004
Highly Cited
2004
Stereo matching is one of the most active research areas in computer vision. While a large number of algorithms for stereo… 
Highly Cited
2003
Highly Cited
2003
  • E. Clarke
  • 10th International Symposium on Temporal…
  • 2003
  • Corpus ID: 6913118
The main practical problem in model checking is the combinatorial explosion of system states commonly known as the state… 
Highly Cited
2003
Highly Cited
2003
The main practical problem in model checking is the combinatorial explosion of system states commonly known as the state… 
Highly Cited
2000
Highly Cited
2000
  • Zhengyou Zhang
  • IEEE Trans. Pattern Anal. Mach. Intell.
  • 2000
  • Corpus ID: 1150626
We propose a flexible technique to easily calibrate a camera. It only requires the camera to observe a planar pattern shown at a… 
Highly Cited
1996
Highly Cited
1996
  • G. Pass, R. Zabih
  • Proceedings Third IEEE Workshop on Applications…
  • 1996
  • Corpus ID: 138993
Color histograms are widely used for content-based image retrieval. Their advantages are efficiency, and insensitivity to small… 
Highly Cited
1995
Highly Cited
1995
!, Model-based vision is firmly established as a robust approach to recognizing and locating known rigid objects in the presence… 
Highly Cited
1991
Review
1954
Review
1954
As the Association for Computing Machinery enters a new phase of its existence, it seems befitting to review, briefly, the…