Tags

A tag is a keyword or label that categorizes your question with other, similar questions. Using the right tags makes it easier for others to find and answer your question.

× 64
Requests for books covering a subject. Questions need to admit objective answers and identify a clear set of requirements or criteria for evaluating answers.
× 60
For questions about representing numbers in base 2 or performing arithmetic on them.
× 60
A computational model composed of a grid of stateful cells and a set of rules describing when to change a cell's state.
× 59
Questions about the design and analysis of machine learning algorithms.
× 58
Questions asking us to check whether your solution is correct are considered off-topic (per http://meta.cs.stackexchange.com/questions/597/) and should not be posted on this site.
× 56
an informal name of the "O(x)" notation used to describe asymptotic behaviour of functions. It is a special case of [tag:landau-notation].
× 55
a class of optimization problems in which one has to pack objects together as densely as possible. One could be for example packing rectangles inside a rectangle.
× 55
For questions about the interpretation, extension and validity of the Church-Turing thesis, the hypothesis that states that a function is effectively calculable by a human if and only if the function…
× 54
Questions about different distance metrics on strings.
× 54
a transformation of information to make it unreadable to outside observers
× 53
Questions about algorithms that receive the input piecewise and have to make decisions, that is produce output, before having seen the whole input.
× 51
Questions about the fundamental component of an operating system, which manages the allocation of resources to applications.
× 51
Machine-checked, machine-generated or machine-verified proofs
× 50
type systems of programming languages
× 50
The edit distance (also: Levenshtein distance) between two strings measures the number of insertions and deletions it takes to convert one string to another.
× 49
a general model of computation that investigates a wide range of (potentially non-deterministic) methods of replacing subterms of syntactic expression, more precisely an element of a…
× 48
Questions about the concurrency-control requirement of ensuring that no two processes are simultaneously in a critical section (a period when the process is accessing a shared resource). Failing to a…
× 48
Theoretical results and techniques applied in practical settings.
× 48
an interactive theorem prover based on the Calculus of Inductive Constructions.