Sciweavers

3937 search results - page 461 / 788
» Questioning Ubiquitous Computing
Sort
View
EUROITV
2008
Springer
15 years 7 months ago
'I Want My HDTV'? Underlying Factors of Perceived Usefulness for High Definition Television
Abstract. While traditional technology acceptance models concentrate on relationships between usefulness and acceptance, they leave unresolved the questions about why a certain tec...
Eva Baaren, Lidwien van de Wijngaert, Erik Huizer
FOCS
2008
IEEE
15 years 7 months ago
Quantum Multi Prover Interactive Proofs with Communicating Provers
We introduce another variant of Quantum MIP, where the provers do not share entanglement, the communication between the verifier and the provers is quantum, but the provers are u...
Michael Ben-Or, Avinatan Hassidim, Haran Pilpel
AI
2010
Springer
15 years 6 months ago
Updating action domain descriptions
How can an intelligent agent update her knowledge base about an action domain, relative to some conditions (possibly obtained from earlier observations)? We study this question in...
Thomas Eiter, Esra Erdem, Michael Fink, Ján...
CG
2004
Springer
15 years 6 months ago
Recursive turtle programs and iterated affine transformations
We provide a formal proof of equivalence between the class of fractals created by Recursive Turtle Programs (RTP) and Iterated Affine Transformations (IAT). We begin by reviewing ...
Tao Ju, Scott Schaefer, Ron Goldman
COMBINATORICS
2004
106views more  COMBINATORICS 2004»
15 years 6 months ago
Random Matrices, Magic Squares and Matching Polynomials
Characteristic polynomials of random unitary matrices have been intensively studied in recent years: by number theorists in connection with Riemann zetafunction, and by theoretica...
Persi Diaconis, Alexander Gamburd