I've already posted this question on stackoverflow but that place is more specificly for question about programming, then here I am.
I've attended a Machine Learning course and, seeing some nice application about image recognition, I wonder what kind of stuff is used in recognizing what is writ...
EDITS: Condition C is totally rewritten; the "isoclausal" concept is gone. The question overall is a bit more restricted. Let me know if there are still problems in the exposition. Thanks
We have the result that propositional resolution requires exponential time. The resolution result uses the p...
It's scary what kind of demographic data they (claim to) have, but overall our stats on quantcast are interesting: http://www.quantcast.com/cs.stackexchange.com (They don't get those who block their Javascript like me, but still.)
3
@jmad I think that is spot-on TCS. Maybe you need some deep/pure maths, so I'm not sure you'll get better answers on cs.SE. If you don't get a good answers on math.SE, flag for migration to us; math mods usually comply. You can flag immediately, of course, if you so desire.
@Raphael ok, I will at least wait a little bit. But a complete answer on cs.SE seems way more likely than on math.SE. Hope we will manage to keep it that way.
Very scary data indeed. Wow, how do they get this about grad school..
(also, javascript may not be necessary, but I don't know how they measure half of their criteria)
@Raphael: also, I think I need deep math magic, so I will leave it on math.SE as long as reasonable, even though it would probably be better for me in cs.SE since cs.SE folks know math.
@jmad Annual income concerns me more. They track you around the web; figuring out that your name is on some university website as "phd student" is not that hard.
@jmad Your call. There are also some folks with good TCS skills on math.SE, so might very well get a good answer -- if you can live with the inevitably mathy style.
@jmad People login with their FB accounts, use their full names, use email, ... Keep in mint that quantstat can probably correlate lots of data about you.
Maybe that's how they estimate income, too: they see what you look at.
This is Automata theory homework question.
I need to create DFA machine that meets the following criteria:
Alphabet ={ a, b, c}
Machine contains empty string and strings of length that is a multiple of three, with every block of three containing one a, one b and one c.
So far, I came up with ...
Suppose we want to join two relations on a predicate. Is this in NC?
I realize that a proof of it not being in NC would amount to a proof that $P\not=NC$, so I'd accept evidence of it being an open problem as an answer.
I'm interested in the general case as well as specific cases (e.g. perhaps ...
I get the proof of going from an enumerator to a Turing Machine (keep running enumerator and see if it matches input) but I don't see how the other way works.
According to my notes and the book (Intro to the Theory of Computation - Sipser), to get Turing enumerator from a Turing machine, we basi...
This is Automata theory homework question.
I need to create DFA machine that meets the following criteria:
Alphabet ={ a, b, c}
Machine contains empty string and strings of length that is a multiple of three, with every block of three containing one a, one b and one c.
So far, I came up with ...
Suppose we want to join two relations on a predicate. Is this in NC?
I realize that a proof of it not being in NC would amount to a proof that $P\not=NC$, so I'd accept evidence of it being an open problem as an answer.
I'm interested in the general case as well as specific cases (e.g. perhaps ...
