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… (More)
Wikipedia

Related topics

Related topics

29 relations
Agile software developmentArray data structureB-MethodCoSMoS
(More)

Broader (2)

Computer programmingFormal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Methods for cleaning the BOLD fMRI signal
Blood oxygen-level-dependent functional magnetic resonance imaging (BOLD fMRI) has rapidly become a popular technique for the… (More)
Is this relevant?
Review
2017
Review
2017
A Survey on Structure from Motion
The structure from motion (SfM) problem in computer vision is the problem of recovering the 3D structure of a stationary scene… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Isogeometric analysis : CAD , finite elements , NURBS , exact geometry and mesh refinement
The concept of isogeometric analysis is proposed. Basis functions generated from NURBS (Non-Uniform Rational B-Splines) are… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
SCOP database in 2004: refinements integrate structure and sequence family data
The Structural Classification of Proteins (SCOP) database is a comprehensive ordering of all proteins of known structure… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
View-dependent refinement of progressive meshes
Level-of-detail (LOD) representations are an important tool for realtime rendering of complex geometric environments. The… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Histogram refinement for content-based image retrieval
Color histograms are widely used for content-based image retrieval. Their advantages are efficiency, and insensitivity to small… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Correct Architecture Refinement
A method is presented for the stepwise refinement of an abstract architecture into a relatively correct lower level architecture… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Successive refinement of information
Abslruct-The successive refinement of information consists of first approximating data using a few hits of information, then… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Hierarchical B-spline refinement
Refinement is usually advocated as a means of gaining finer control over a spline curve or surface during editing. For curves… (More)
  • figure I
  • figure 2
  • figure 3
  • figure 6
  • figure 77
Is this relevant?
Highly Cited
1988
Highly Cited
1988
A progressive refinement approach to fast radiosity image generation
A reformulated radiosity algorithm is presented that produces initial images in time linear to the number of patches. The… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?