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

Related topics

Related topics

29 relations
Agile software developmentArray data structureB-MethodCoSMoS
Expand

Broader (2)

Computer programmingFormal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Trans
Highly Cited
2004
Highly Cited
2004
A Taxonomy and Evaluation of Dense Two-Frame Stereo Correspondence Algorithms
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
Counterexample-guided abstraction refinement
  • 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
Counterexample-guided abstraction refinement
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
A Flexible New Technique for Camera Calibration
  • 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
Histogram refinement for content-based image retrieval
  • 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
Active Shape Models-Their Training and Application
!, Model-based vision is firmly established as a robust approach to recognizing and locating known rigid objects in the presence… 
Highly Cited
1991
Highly Cited
1991
Refinement and reassessment of the SERVQUAL scale.
Highly Cited
1982
Highly Cited
1982
High-Re solutions for incompressible flow using the Navier-Stokes equations and a multigrid method
Review
1954
Review
1954
The Association for Computing Machinery
As the Association for Computing Machinery enters a new phase of its existence, it seems befitting to review, briefly, the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License