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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2019
Review
2019
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
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
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
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
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
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
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 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
  • 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
We present improved partition refinement algorithms for three problems: lexicographic sorting, relational coarsest partition, and… Expand
Is this relevant?