Problem Detail: I’m trying to use a color camera to track multiple objects in space. Each object will have a different color and in order to be able to distinguish well between each objects I’m trying to make sure that each Read More …
Blog
[Solved]: Using a counting semaphore as a binary semaphore
Problem Detail: Are there any methods, so that I can use a counting semaphore as a binary semaphore? A binary semaphore should have two possible states: 0 and 1. The operation wait() should atomically look at the state, if the state Read More …
[Solved]: Why Instruction Decode and Register Read are in the same stage of MIPS pipeline
Problem Detail: Why are instruction decoding and register read are combined in single stage of a 5-stage MIPS-pipeline, even though they serve two different operation? Asked By : Winn Answered By : GEMISIS Instruction Decode and Register Read are done in parallel on Read More …
[Solved]: Context Free Grammar for language
Problem Detail: The language is $L = {a^{i} b^{j} c^{k} ;|; k neq 2j}$. I’m trying to write a grammar for this language, what I have so far is: $S rightarrow AT_{1} ;|; AT_{2} ;|; AT_{3} ;|; AB ;|; AC$ $A Read More …
[Solved]: Reduction to complement of Accept Problem
Problem Detail: I am reducing a given Turing Machine to the complement of the known undecidable problem, $$ Complement(A_{TM}) = { langle M,w rangle mid M text{ is TM}, w notin L(M) }$$ To this Turing Machine, known as SPARSE TM: Read More …
[Solved]: Is there a typed SKI calculus?
Problem Detail: Most of us know the correspondence between combinatory logic and lambda calculus. But I’ve never seen (maybe I haven’t looked deep enough) the equivalent of “typed combinators”, corresponding to the simply typed lambda calculus. Does such thing exist? Where Read More …
[Solved]: Number of different output labels in Local Binary Pattern
Problem Detail: I’m studying about Local Binary Pattern and I’m having trouble understanding the following part about the number of output labels for binary patterns from Computer Vision using Local Binary Patterns, by Pietikäinen et al. (2011): Another extension to the Read More …
[Solved]: Examples of algorithms that have runtime O(N + M) resp O(NM)
Problem Detail: I’m looking for examples of loops that have running time $O(nm)$, $O(n+m)$ and $O(nlog m)$ to help me understand these concepts. Could anybody give some examples and explain why they have the given running time? Asked By : om471987 Answered Read More …
[Solved]: Don Knuth and MMIXAL vs. Chuck Moore and Forth — Algorithms and Ideal Machines — was there any cross-pollination / influence in their ideas / work?
Problem Detail: Question: To what extent is it known (or believed) that Chuck Moore and Don Knuth had influence on each other’s thoughts on ideal machines, or their work on algorithms? I’m interested in citations, interviews, articles, links, or any other Read More …
[Solved]: What is the difference between a Transition System and a Program Graph? (model checking)
Problem Detail: As the above question says. I’m wondering if a transition system is the same as a program graph or they are two different things? Thank you. Asked By : Deyaa Answered By : hengxin You did not provide any particular resources Read More …
