7988 search results - page 1015 / 1598 » A Useful Undecidable Theory |
245
click to vote
CSCW
2011
ACM
14 years 10 months ago
2011
ACM
This ethnographic study of 22 diverse families in the San Francisco Bay Area explores parents’ attitudes about their children’s use of technology. We found that parents from d...
245
click to vote
Publication
Most e-learning environments which utilize user feedback or profiles, collect such information based on questionnaires, resulting very often in incomplete answers, and sometimes de...
235
click to vote
IACR
2011
14 years 7 months ago
2011
Abstract. In Asiacrypt 2010, Groth constructed the only previously known sublinearcommunication NIZK argument for circuit satisfiability in the common reference string model. We p...
180
click to vote
ICC
2011
IEEE
14 years 7 months ago
2011
IEEE
—This paper considers a technique for shaping a turbo-coded amplitude-phase shift keying (APSK) constellation. After bit-interleaving, a subset of the bits output by a binary tur...
198
click to vote
TVCG
2012
13 years 9 months ago
2012
—In this paper, we introduce a new approach to computing a Morse decomposition of a vector field on a triangulated manifold surface. The basic idea is to convert the input vector...