Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,759,269 papers from all fields of science
Search
Sign In
Create Free Account
Refinement (computing)
Known as:
Program Refinement
, Data refinement
, Refinement type
Expand
Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
29 relations
Agile software development
Array data structure
B-Method
CoSMoS
Expand
Broader (2)
Computer programming
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Trans
Margaret Nichols
2015
Corpus ID: 216089437
Highly Cited
2004
Highly Cited
2004
A Taxonomy and Evaluation of Dense Two-Frame Stereo Correspondence Algorithms
D. Scharstein
,
R. Szeliski
International Journal of Computer Vision
2004
Corpus ID: 207745496
Stereo matching is one of the most active research areas in computer vision. While a large number of algorithms for stereo…
Expand
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…
Expand
Highly Cited
2003
Highly Cited
2003
Counterexample-guided abstraction refinement
E. Clarke
2003
Corpus ID: 9192961
The main practical problem in model checking is the combinatorial explosion of system states commonly known as the state…
Expand
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…
Expand
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…
Expand
Highly Cited
1995
Highly Cited
1995
Active Shape Models-Their Training and Application
Tim Cootes
,
C. Taylor
,
D. H. Cooper
,
J. Graham
Comput. Vis. Image Underst.
1995
Corpus ID: 15242659
!, Model-based vision is firmly established as a robust approach to recognizing and locating known rigid objects in the presence…
Expand
Highly Cited
1991
Highly Cited
1991
Refinement and reassessment of the SERVQUAL scale.
A. Parasuraman
,
L. Berry
,
V. Zeithaml
1991
Corpus ID: 146299250
Highly Cited
1982
Highly Cited
1982
High-Re solutions for incompressible flow using the Navier-Stokes equations and a multigrid method
U. Ghia
,
K. Ghia
,
C. Shin
1982
Corpus ID: 16423991
Review
1954
Review
1954
The Association for Computing Machinery
Samuel B. Williams
JACM
1954
Corpus ID: 889967
As the Association for Computing Machinery enters a new phase of its existence, it seems befitting to review, briefly, the…
Expand
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
ACCEPT & CONTINUE