1209 search results - page 64 / 242 » Universal Algebra and Computer Science |
120
click to vote
STOC
1997
ACM
15 years 6 months ago
1997
ACM
Shor has showed how to perform fault tolerant quantum computation when the probability for an error in a qubit or a gate, η, decays with the size of the computation polylogarithmi...
HRI
2009
ACM
15 years 9 months ago
2009
ACM
Visualization Abstraction Algorithm for Geographic Map-based Human-Robot Interfaces Curtis M. Humphrey Julie A. Adams Department of Electrical Engineering and Computer Science Vand...
127
click to vote
MFPS
1993
15 years 6 months ago
1993
al abstract machine for graph reduction Alan Jeffrey Report 3/92 August 1992 Computer Science School of Cognitive and Computing Sciences University of Sussex Brighton BN1 9QH ISSN ...
129
click to vote
FECS
2010
15 years 12 days ago
2010
This paper describes the experience of teaching robotics at the freshman level, from the conception of the project through the offering of a computer science seminar in robotics, h...
102
click to vote
RTA
2005
Springer
15 years 8 months ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...