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
2020
Review
2020
Deep learning has achieved remarkable success in diverse applications; however, its use in solving partial differential equations… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Review
2019
Review
2019
Recent flood events have demonstrated a demand for satellite-based inundation mapping in near real-time (NRT). Simulating and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
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
Review
2019
Review
2019
Abstract We present a review on numerical methods for simulating multiphase and free surface flows. We focus in particular on… Expand
  • figure 29
  • figure 2
  • figure 3
  • table 1
  • figure 4
Review
2018
Review
2018
With growing concern for the depletion of soil resources, conventional soil maps need to be updated and provided at finer and… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Review
2017
Review
2017
Research on computational argumentation faces the problem of how to automatically assess the quality of an argument or… Expand
  • table 1
  • table 2
  • figure 1
  • table 3
  • figure 2
Review
2017
Review
2017
We have been observing how infants between 3 and 21 months react when a vibrotactile stimulation (a buzzer) is applied to… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Review
2017
Review
2017
Support vector machines (SVMs) are a supervised classifier successfully applied in a plethora of real-life applications. However… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Review
2017
Review
2017
Internet of Things (IoT) is one of the most buzzing and discussed topic in research field today. Some of the researchers are also… Expand
  • figure 2
  • table I
Highly Cited
2003
Highly Cited
2003
  • 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
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5