11345 search results - page 1752 / 2269 » Foundations of Computer Science |
135
click to vote
CSE
2009
IEEE
15 years 12 months ago
2009
IEEE
—Sociological models of human behavior can explain population-level phenomena within social systems; computer modeling can simulate a wide variety of scenarios and allow one to p...
155
click to vote
CSE
2009
IEEE
15 years 12 months ago
2009
IEEE
—Mobile devices can produce continuous streams of data which are often specific to the person carrying them. We show that cell phone tracks from the MIT Reality dataset can be u...
151
Voted
FOCS
2009
IEEE
15 years 12 months ago
2009
IEEE
— We show that for every fixed k, there is a linear time algorithm that decides whether or not a given graph has a vertex set X of order at most k such that G − X is planar (w...
149
click to vote
FOCS
2009
IEEE
15 years 12 months ago
2009
IEEE
— In a landmark paper [32], Papadimitriou introduced a number of syntactic subclasses of TFNP based on proof styles that (unlike TFNP) admit complete problems. A recent series of...
139
Voted
FOCS
2009
IEEE
15 years 12 months ago
2009
IEEE
— The question of whether or not parallel repetition reduces the soundness error is a fundamental question in the theory of protocols. While parallel repetition reduces (at an ex...