233 search results - page 35 / 47 » Interactive Proofs For Quantum Computations |
VSGAMES
2010
14 years 10 months ago
2010
— This paper describes a variety of methods that can be used to create realistic, random 3D environments for serious games requiring real-time performance. These include the gene...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents a technique for memory optimization for a class of computations that arises in the field of correlated electronic structure methods such as coupled cluster and...
CHI
2008
ACM
16 years 1 days ago
2008
ACM
Recent approaches for linking paper and digital information or services tend to be based on a one-time publishing of digital information where changes to the printed document beco...
118
click to vote
MHCI
2004
Springer
15 years 5 months ago
2004
Springer
Developing personalized applications for the ubiquitous Web assumes to provide different user interfaces addressing heterogeneous capabilities of device classes. Major problems are...
113
click to vote
LFCS
2007
Springer
15 years 5 months ago
2007
Springer
act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diff...