Computer Science

Promoter

 Promoter
First bounty you offer on your own question.
Awarded 459 times.
Term rewriting; Compute critical pairs
Awarded Sep 16, 2015 at 16:34
Minimum edge deletion partitioning of a planar graph
Awarded Sep 9, 2015 at 6:59
Automated optimization of 0-1 matrix vector multiplication
Awarded Aug 30, 2015 at 19:14
(post deleted or otherwise unavailable)
Awarded Aug 26, 2015 at 10:49
Heuristics to Find Circuits Allowing for Vertex Revists
Awarded Aug 19, 2015 at 5:04
(post deleted or otherwise unavailable)
Awarded Aug 17, 2015 at 5:26
Unique path sums in a DAG using vertex instrumentation
Awarded Jul 22, 2015 at 9:46
How much bigger can an LR(1) automaton for a language be than the corresponding LR(0) automaton?
Awarded Jul 8, 2015 at 1:14
What is the formal name for an "entry" in an ontology?
Awarded Jun 18, 2015 at 18:50
Implementing wait-free consensus with queues
Awarded Jun 17, 2015 at 20:38
Contraint with three variables into three binary constraints
Awarded Jun 16, 2015 at 14:46
Data structure for sparse matrices for an online problem
Awarded Jun 12, 2015 at 19:13
Algorithm for Dynamic Client Side Throttling
Awarded Jun 3, 2015 at 17:56
Unsupervised Learning: BCM or Oja's Rule
Awarded May 23, 2015 at 8:55
Why is binary search called binary search?
Awarded May 21, 2015 at 13:11
Inventory Routing - Subtour Elimination [closed]
Awarded May 17, 2015 at 17:41
Loading a word from a byte addressed cache
Awarded May 9, 2015 at 9:15
Efficient algorithm to generate two diffuse, deranged permutations of a multiset at random
Awarded May 4, 2015 at 17:28
Time Complexity of a Knapsack-derived problem
Awarded Apr 23, 2015 at 1:47
Why do we have to forbid non-conforming lower and upper type bounds?
Awarded Apr 22, 2015 at 18:54
(post deleted or otherwise unavailable)
Awarded Apr 3, 2015 at 5:47
I can not see why MSD radix sort is theoretically as efficient as LSD radix sort
Awarded Mar 14, 2015 at 19:48
Is Morse Code binary, ternary or quinary?
Awarded Mar 3, 2015 at 6:02
Algorithm for a special case of SAT/#SAT
Awarded Mar 3, 2015 at 3:18
Hardness of a constrained quadratic maximization
Awarded Feb 27, 2015 at 18:48
What are the practical uses of ontologies?
Awarded Feb 18, 2015 at 6:27
The most efficient way of finding/storing neighbourhood info during octree creation
Awarded Jan 15, 2015 at 13:37
Why is it the lower the h(n) cost the more nodes need to be expanded in A*?
Awarded Jan 5, 2015 at 19:45
Why do most scientists believe that P≠NP?
Awarded Dec 21, 2014 at 2:19
Characterizing the range of a polytime function
Awarded Dec 21, 2014 at 0:12
Range bit inversions and range set bit queries with a binary indexed tree
Awarded Nov 26, 2014 at 0:21
(post deleted or otherwise unavailable)
Awarded Nov 23, 2014 at 14:17
BCNF Decomposition: Confusion regarding given answer
Awarded Nov 22, 2014 at 7:09
Proving NP-hardness of strange graph partition problem
Awarded Oct 14, 2014 at 8:23
(post deleted or otherwise unavailable)
Awarded Oct 1, 2014 at 20:17
In multi criteria decision making, what notions are there to get a subset of the Pareto set?
Awarded Sep 22, 2014 at 18:55
Mini-Games for Artificial Intelligence Course [closed]
Awarded Sep 13, 2014 at 17:24
Do computers actually use carry-lookahead adders?
Awarded Aug 31, 2014 at 21:52
Detecting coplanarity by given pairwise distances
Awarded Jul 21, 2014 at 19:12
Is there a connection between the halting problem and thermodynamic entropy?
Awarded Jun 1, 2014 at 13:37
How can you use HMMs and ANNs for on-line handwriting recognition?
Awarded May 29, 2014 at 9:00
Can the end-to-end principle be formalized?
Awarded May 27, 2014 at 11:24
The Gas Station Problem - fast implementation
Awarded May 25, 2014 at 13:11
Functional dependencies with the same key?
Awarded Apr 20, 2014 at 16:15
Method to recognize abstract objects such as hand-drawn objects?
Awarded Apr 12, 2014 at 11:14
Finding nd - m dimensional neighbors for a given node within a balanced hyperoctree
Awarded Apr 4, 2014 at 22:18
Rule induction principles in Harper's PFPL
Awarded Mar 19, 2014 at 3:21
QuickSort Dijkstra 3-Way Partitioning: why the extra swapping?
Awarded Mar 16, 2014 at 16:19
Impact on the order of elements on the cost of searching in a linked list
Awarded Mar 6, 2014 at 15:54
Huffman tree and maximum depth
Awarded Feb 10, 2014 at 19:14
Count numbers that can be generated by flipping bits according to position intervals
Awarded Feb 10, 2014 at 17:19
Is this grammar LR(1)
Awarded Feb 2, 2014 at 14:44
Find a binary matrix so that no vector from {-1,0,1}^n is in its kernel
Awarded Jan 3, 2014 at 13:20
(post deleted or otherwise unavailable)
Awarded Jan 2, 2014 at 14:44
Parallelising random reads seems to work well — why?
Awarded Dec 14, 2013 at 11:43
Decomposing an Algorithm into Local Transformations/Perturbations
Awarded Dec 7, 2013 at 6:59
Non-uniform random distribution: How do I get a random between 100 and 180 that is on average close to 120? (like in a Gaussian distribution)
Awarded Dec 2, 2013 at 10:42
Easy way to prove that this algorithm eventually terminates
Awarded Nov 26, 2013 at 19:35
Precise definition of term: *schema*
Awarded Nov 22, 2013 at 17:52
Defining a "repeat until"-construct in Denotational semantics
Awarded Nov 18, 2013 at 10:34
1
…
4 5 6
7
8