446 search results - page 74 / 90 » Who's Got the Key |
156
click to vote
FOCS
2008
IEEE
16 years 12 days ago
2008
IEEE
Razborov and Rudich have shown that so-called natural proofs are not useful for separating P from NP unless hard pseudorandom number generators do not exist. This famous result is...
143
click to vote
LICS
2007
IEEE
16 years 7 days ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...
184
click to vote
MOBIQUITOUS
2007
IEEE
16 years 7 days ago
2007
IEEE
—Handheld devices have become sufficiently powerful that it is easy to create, disseminate, and access digital content (e.g., photos, videos) using them. The volume of such cont...
144
click to vote
ROMAN
2007
IEEE
16 years 7 days ago
2007
IEEE
—Though the final goal of mobile robot navigation is to be autonomous, operators’ intelligent and skillful decisions are necessary when there are many scattered obstacles. Ther...
153
click to vote
EUC
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. In ubiquitous computing, as more and more devices are embedded into the environment, there is a risk that the user loses the understanding of the system. In normal use th...