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.

× 107
Questions related to algorithms that use numerical approximations for the problems of mathematical analysis.
× 107
Theory of dynamic processes with several competing actors that try to achieve some goal in a strategic way.
× 100
a famous special case of the boolean satisfiability problem (SAT).
× 100
Questions about methods and techniques to prove correctness of programs.
× 100
Questions about techniques for enforcing an agreed order of events between several concurrently executing threads. Specific synchronization mechanisms include mutexes (locks), condition variables, se…
× 99
a collection of disjoint sets whose union yields A.
× 98
A method in analysis of algorithms that considers the overall cost of a sequence of operations.
× 97
Questions about algorithms that deterministically generate sequences of numbers that have stochastic properties of random sequences.
× 94
Questions about the binary search algorithm, which can be used to find elements of an ordered list in O(log n) time.
× 94
Questions about algorithms related to substrings, or about properties of substrings.
× 93
equal to the length of the shortest program computing s and halting. Measures the lack of structure in a string.
× 88
An overlapping feature of type theory and type systems.
× 88
Research on methods and techniques to ensure the utility and quality of software systems through design and development processes.
× 87
Questions about the relation of (subfields of) computer science to the relevant mathematical foundations and their application.
× 85
Model checking refers to the following problem: given a model of a system, test automatically whether this model meets a given specification.
× 84
Creating samples from a well-specified population using a probabilistic method and/or producing random numbers from a specified distribution.
× 82
the problem of finding groups of data points (often modelled as nodes in a graph) that are closer to each other than to other points.
× 81
Questions on how to represent real-world or non computer science problems with computer science tools.
× 81
used to transmit information through a noisy channel. They also have applications in theoretical computer science and combinatorics. Some well known error correcting codes a…
× 81
verifying that a variable, expression or value has the declared type