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.

9 questions
9 questions
A doubly-connected edge list (DCEL) is an edge-centered data structure capable of maintaining incidence information of vertices, edges and faces, for example for planar maps.
9 questions
9 questions
Optical character recognition
8 questions
8 questions
Cubical type theory is a version of homotopy type theory in which univalence is not just an axiom but a theorem, hence, since this is constructive, has “computational content”. Cubical type theory mod…
8 questions
8 questions
8 questions
8 questions
8 questions
Treewidth is a graph parameter which measures how close the graph is to a tree (smaller is better). Many problems can be solved more efficiently on graphs with bounded treewidth, using dynamic program…
8 questions
7 questions
when your question is about questions that appear in the Graduate Aptitude Test in Engineering (GATE) for Computer Science and Information Technology (code "CS"). Check whether your ques…
7 questions
Questions about human computer interaction.
7 questions
7 questions
Tree automata work on finite or infinite trees. They generalize word automata (Finite, Buchi, Rabin, Streett, Muller, etc.).
7 questions
7 questions
7 questions
ASP (Answer Set Programming) is a form of declarative programming oriented towards NP-hard search problems
7 questions
CCS (Calculus of Communicating Systems) is a process calculus, one of the major models of concurrency, intended for modeling communications between two participants
6 questions
6 questions
6 questions
1
14 15
16
17 18
20