Computer Science

Teacher

 Teacher
Answer a question with score of 1 or more.
Awarded 5826 times.
Regular expressions cannot be used to express context free grammars. Is there a similar notation that can?
Awarded 4 mins ago
Two Generals problem - what if we set boundary conditions, and then layer redundant messages once they've been met?
Awarded 2 days ago
How does the SMT solver Z3 handle conditional statements in a constraint?
Awarded 2 days ago
What is the difference between "strict schedule" and "cascadeless schedule"?
Awarded Oct 3 at 2:51
Efficiently find the distance from a point to the decision boundary for assigning points to a particular $k$-means cluster
Awarded Sep 29 at 21:50
Rigorous proof that parametric polymorphism implies naturality using parametricity?
Awarded Sep 29 at 16:57
(post deleted or otherwise unavailable)
Awarded Sep 29 at 10:31
CFG and PDA for the set of strings in $\{a, b, c\}^∗$ such that the number of b’s is equal to the sum of number of a’s and c’s
Awarded Sep 28 at 20:26
Understanding Levin's Universal Search
Awarded Sep 27 at 19:10
Computer Vision algorithm to tell if camera is moving?
Awarded Sep 25 at 16:55
How to design a faster sort algorithm? Is there sort of meta-algoritm for it? Or we do not understand how better sort algorithms were discovered?
Awarded Sep 19 at 2:26
Why are regular expression quantifiers greedy by default?
Awarded Sep 17 at 22:21
Does optimal page replacement cause the same number of faults for the reverse string?
Awarded Sep 17 at 7:41
How to setup the Bellman Equation as a linear system of equation
Awarded Sep 16 at 22:25
Practice question on the applications of flows and cuts
Awarded Sep 10 at 23:47
Regularity of “middles” of words from regular language
Awarded Sep 8 at 18:03
A solution with O(n) time complexity is always slower than a solution with O(nlog(n)) time complexity even though they have the same space complexity
Awarded Sep 8 at 14:52
how to find the depth of a concurrency bug
Awarded Sep 8 at 0:47
What's the difference between computation and symbolic manipulation?
Awarded Sep 6 at 22:31
LZ-type compression with a limited recursion depth
Awarded Sep 6 at 18:45
Restore planar graph from vertex degrees
Awarded Aug 30 at 22:45
Free description of the Kameda-Weiner algorithm?
Awarded Aug 29 at 20:01
How to recognize all halting states of a turing machine?
Awarded Aug 29 at 17:10
Two Vs Dual Port RAM
Awarded Aug 26 at 10:56
How do we know that Icosoku always has solutions?
Awarded Aug 25 at 22:06
What is a cpu clock physically?
Awarded Aug 24 at 21:02
Lambda body reduction in Lambda calculus
Awarded Aug 22 at 23:49
Floyd's Cycle Detection Algorithm Proof In Laymen
Awarded Aug 18 at 22:15
Can we generate random numbers using irrational numbers like π and e?
Awarded Aug 16 at 5:40
What is standardization in computer science?
Awarded Aug 15 at 23:25
Pattern Matching Algorithm in Java
Awarded Aug 13 at 14:40
2D fourier transform
Awarded Aug 12 at 0:50
Are there adaptive algorithms/data structures for sparse and non sparse vectors?
Awarded Aug 5 at 15:06
A different algorithm called the 'bubble sort'?
Awarded Aug 5 at 3:47
Expected value of Markov chain after nth steps
Awarded Aug 3 at 16:55
Data source for Highway autonomous driving
Awarded Aug 3 at 16:55
Why do we rely on computers in critical fields?
Awarded Aug 3 at 5:13
Could a compiler automatically insert memory deallocations if it were to simulate every conditional statement?
Awarded Aug 3 at 3:49
Does the concept of "side-effect" predate functional programming?
Awarded Aug 2 at 22:50
Any-goal bidirectional A* pathfinding reference
Awarded Jul 28 at 11:07
Reduce Subset-Sum to Sat
Awarded Jul 26 at 5:50
Why do we rely on computers in critical fields?
Awarded Jul 26 at 1:37
Why do we rely on computers in critical fields?
Awarded Jul 25 at 1:47
Binary Tree Node Insertion
Awarded Jul 25 at 1:41
Why do we rely on computers in critical fields?
Awarded Jul 23 at 14:11
Average vs Worst-Case Hitting Time
Awarded Jul 21 at 5:12
Is $k$-means clustering strictly NP-hard?
Awarded Jul 18 at 15:12
Guided Backpropagation in Deep Neural Networks
Awarded Jul 18 at 6:09
Algorithm for Unique Selections
Awarded Jul 17 at 22:56
Writing pseudocode to be language independent
Awarded Jul 15 at 2:56
Prove that the language of all Turing machines that accept finitely many words is decidable or not
Awarded Jul 12 at 16:22
Why do the 2-SAT techniques do not work for 3-SAT?
Awarded Jul 10 at 20:21
Does 'reverse' mean 2 separate things in contexts of tree vs. graph traversal?
Awarded Jul 10 at 5:08
What is memcomputing?
Awarded Jul 8 at 23:42
Merge sort and quicksort recursion tree depth
Awarded Jul 6 at 15:27
Lower bound for ϵ-tester with one-sided error for the "2-injective" property of functions
Awarded Jul 2 at 13:09
What does "Temporal extent" mean?
Awarded Jun 29 at 19:42
Number of equivalence classes in $P$
Awarded Jun 27 at 17:35
Dynamic Programming formulation for hotel problem
Awarded Jun 26 at 10:05
Are there improvements on Dana Angluin's algorithm for learning regular sets
Awarded Jun 24 at 21:42
1
2 3 4 5
…
98

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.