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

Correctness (computer science)

Known as: Partial, Correctness, Provably correct 
In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2019
Review
2019
This paper provides a comprehensive survey of Machine Learning Testing (ML testing) research. It covers 144 papers on testing… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Review
2019
Review
2019
Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their formal specification and verification… Expand
  • table 1
  • table 2
  • table 3
  • table 4
Review
2018
Review
2018
Integrity is one criteria to evaluate GNSS performance, which was first introduced in the aviation field. It is a measure of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Review
2018
Review
2018
Compile-time errors pose a major learning hurdle for students of introductory programming courses. Compiler error messages, while… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Review
2018
Review
2018
Online learning represents an important family of machine learning algorithms, in which a learner attempts to resolve an online… Expand
  • figure 1
  • table 1
Review
2018
Review
2018
Statistical significance testing is a standard statistical tool designed to ensure that experimental results are not coincidental… Expand
  • table 1
  • figure 1
  • table 3
  • table 2
Review
2018
Review
2018
Robust principal component analysis (RPCA) via decomposition into low-rank plus sparse matrices offers a powerful framework for a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Review
2018
Review
2018
Abstract The Internet of Things (IoT) signifies to an overall system of interconnected physical Things utilizing existing… Expand
Review
2017
Review
2017
Cloud computing has gained tremendous popularity in recent years. By outsourcing computation and storage requirements to public… Expand
  • figure 1
  • figure 3
  • figure 4
Highly Cited
2000
Highly Cited
2000
From the Publisher: Provides a simple and clear presentation, covering propositional and predicate logic and some specialized… Expand