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 (opens in a new tab)

Related topics

Related topics

29 relations
Agile software developmentArray data structureB-MethodCoSMoS

Broader (2)

Computer programmingFormal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Segmentation-Based Image Copy-Move Forgery Detection Scheme
In this paper, we propose a scheme to detect the copy-move forgery in an image, mainly by extracting the keypoints for comparison… 
Highly Cited
2011
Highly Cited
2011
Identifying surface structural changes in layered Li-excess nickel manganese oxides in high voltage lithium ion batteries: A joint experimental and theoretical study
High voltage cathode materials Li-excess layered oxide compounds Li[NixLi1/3−2x/3Mn2/3−x/3]O2 (0 < x < 1/2) are investigated in a… 
Highly Cited
2009
Highly Cited
2009
Entrepreneurial Self–Efficacy: Refining the Measure
A growing number of studies on entrepreneurial motivation, intentions, and behavior include entrepreneurial self–efficacy (ESE… 
Highly Cited
2007
Highly Cited
2007
Dauter Iterative model building , structure refinement and density modification with the PHENIX AutoBuild wizard
Copyright © International Union of Crystallography Author(s) of this paper may load this reprint on their own web site or… 
Highly Cited
2007
Highly Cited
2007
A Decision Procedure for Bit-Vectors and Arrays
STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has… 
Highly Cited
2003
Highly Cited
2003
Natural methods for robot task learning: instructive demonstrations, generalization and practice
Among humans, teaching various tasks is a complex process which relies on multiple means for interaction and learning, both on… 
Highly Cited
2001
Highly Cited
2001
Criteria For Evaluating Usability Evaluation Methods
The current variety of alternative approaches to usability evaluation methods (UEMs) designed to assess and improve usability in… 
Highly Cited
1999
Highly Cited
1999
3D Shape Histograms for Similarity Search and Classification in Spatial Databases
Classification is one of the basic tasks of data mining in modern database applications including molecular biology, astronomy… 
Highly Cited
1996
Highly Cited
1996
A Validation of Object-Oriented Design Metrics as Quality Indicators
This paper presents the results of a study in which we empirically investigated the suite of object-oriented (OO) design metrics… 
Review
1948
Review
1948
Experimental Immunochemistry
Physiology of the Salivary Glands A. S. V. BURGEN, M.D.(LOND.), M.R.C.P., and N. G. EMMELIN, M.D.(LUND). Pp. vii + 279… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)