Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
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.
Review
2019
Review
2019
Nonconvex Optimization Meets Low-Rank Matrix Factorization: An Overview
Substantial progress has been made recently on developing provably accurate and efficient algorithms for low-rank matrix… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2018
Review
2018
Pace-of-life syndromes: a framework for the adaptive integration of behaviour, physiology and life history
This introduction to the topical collection on Pace-of-life syndromes: a framework for the adaptive integration of behaviour… Expand
  • figure 1
  • figure 2
Is this relevant?
Review
2018
Review
2018
A Review of Power Electronic Converters for Variable Speed Pumped Storage Plants: Configurations, Operational Challenges, and Future Scopes
Pumped storage power plant has gained a high level of attention in recent years, mainly because of its ability to act as a large… Expand
  • figure 1
  • table I
  • figure 2
  • table II
  • figure 3
Is this relevant?
Review
2017
Review
2017
Scientific workflows: Past, present and future
Abstract This special issue and our editorial celebrate 10 years of progress with data-intensive or scientific workflows. There… Expand
  • figure 1
  • table A.1
Is this relevant?
Review
2017
Review
2017
Self-regulated learning strategies predict learner behavior and goal attainment in Massive Open Online Courses
Individuals with strong self-regulated learning (SRL) skills, characterized by the ability to plan, manage and control their… Expand
  • table 1
  • table 2
  • table 3
  • figure 1
  • table 4
Is this relevant?
Review
2017
Review
2017
Knowledge graph refinement: A survey of approaches and evaluation methods
In the recent years, different Web knowledge graphs, both free and commercial, have been created. While Google coined the term… Expand
  • table 1
Is this relevant?
Review
2016
Review
2016
Fingerprinting and tracing the sources of soils and sediments: Earth and ocean science, geoarchaeological, forensic, and human health applications
Abstract Fine-grained sediment is perhaps the most widespread and pervasive contaminant in aquatic systems reflecting its role in… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2016
Review
2016
Mobile payment: Understanding the determinants of customer adoption and intention to recommend the technology
Mobile payment is receiving growing attention globally, from consumers to merchants, as an alternative to using cash, check, or… Expand
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Counterexample-guided abstraction refinement
  • Edmund M. 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
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Three Partition Refinement Algorithms
We present improved partition refinement algorithms for three problems: lexicographic sorting, relational coarsest partition, and… Expand
Is this relevant?
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