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
2020
Review
2020
DeepXDE: A Deep Learning Library for Solving Differential Equations
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
Inundation Extent Mapping by Synthetic Aperture Radar: A Review
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
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
Review
2019
Review
2019
Sharp interface approaches and deep learning techniques for multiphase flows
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
Soil Property and Class Maps of the Conterminous United States at 100-Meter Spatial Resolution
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
Computational Argumentation Quality Assessment in Natural Language
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
Development of reaching to the body in early infancy: From experiments to robotic models
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
Selecting training sets for support vector machines: a review
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
Security attacks in IoT: A survey
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
Counterexample-guided abstraction refinement
  • 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
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