Computer Science

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.

Show all tag synonyms
Popular Name New
0 questions
Rice's Theorem states that any (non-trivial) property of Turing machines is undecidable.
50 questions
12 asked this year
14 questions
5 asked this year
14 questions
2 asked this year
16 questions
3 asked this year
45 questions
9 asked this year
Questions about methods for estimating the increase in runtime of an algorithm as the input size increases.
848 questions
6 asked this month, 91 this year
Creating samples from a well-specified population using a probabilistic method and/or producing random numbers from a specified distribution.
89 questions
11 asked this year
2 questions
the problem of determining whether there is a variable assignment that fulfills a given Boolean formula.
462 questions
16 asked this month, 63 this year
Questions regarding solver programs for the boolean satisfiability problem.
80 questions
13 asked this year
Questions about the optimisation problem of ordering a set of tasks so that some objective function (e.g. makespan) is minimised. The set of constraints is crucial; in particular, there is a large bod…
217 questions
42 asked this year
38 questions
15 asked this year
Algorithms for finding an element in some specified data-structure (most commonly, in a tree).
547 questions
10 asked this month, 88 this year
73 questions
1 asked this year
A class of computational problems. Where decision problems call for a yes-or-no answer, search problems are looking for an object satisfying a certain property.
120 questions
22 asked this year
Questions about search trees, a class of data structures used for storing sorted data for efficient access.
284 questions
33 asked this year
Questions about matters of computer, software and communication security, that is how to protect systems against attacks.
89 questions
21 asked this year
54 questions
12 asked this year
Semantics formally describe the meaning of some syntax.
166 questions
17 asked this year
6 questions
semi-decidable, also known as recognizable or recursively enumerable.
169 questions
22 asked this year
13 questions
93 questions
18 asked this year
Questions about finite and infinite sets and multisets, related data structures and concepts.
316 questions
5 asked this month, 48 this year
14 questions
1 asked this year
7 questions
2 asked this year
Questions about the algorithmic problems of finding shortest paths between nodes in a graph.
515 questions
5 asked this week, 6 this month
For questions about processing data from sensors (e.g., audio and video data), and *not* handling operating system signals. Note that there is also a dedicated Signal Processing Stack Exchange, which …
24 questions
5 asked this year
1 question
3 questions
2 asked this year
Questions about simulating one model in another. This includes simulating reality in any model, or simulating a machine model with Turing machines.
151 questions
14 asked this year
7 questions
9 questions
1 asked this year
Solver programs for the Satisfiability Modulo Theories (SMT). The SMT problem is a decision problem for logical formulas with combinations of background theories expressed in classical first-order log…
25 questions
5 asked this year
31 questions
2 asked this year
1
…
15
16
17 18 19