3690 search results - page 79 / 738 » Computation with classical sequents |
115
click to vote
GIAE
2004
Springer
15 years 3 months ago
2004
Springer
This paper surveys the new, algorithmic theory of moving frames developed by the author and M. Fels. Applications in geometry, computer vision, classical invariant theory, the cal...
EUROCRYPT
2000
Springer
15 years 1 months ago
2000
Springer
We show that although unconditionally secure quantum bit commitment is impossible, it can be based upon any family of quantum one-way permutations. The resulting scheme is uncondit...
ENTCS
2008
14 years 10 months ago
2008
We argue that a realistic model for quantum computations should be general with respect to measurements, and complete with respect to the information flow between the quantum and ...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
This paper examines accessibility issues of surface computing with older adults and explores the appeal of surface computing for health care support. We present results from a stu...
CANDC
2009
ACM
15 years 4 months ago
2009
ACM
While algorithms have existed in math, music and other fields for over one thousand years, the use of algorithms to solve problems has become easier than ever before due to the a...