10392 search results - page 429 / 2079 » Introduction to Computer Science |
172
click to vote
ITICSE
2003
ACM
16 years 4 days ago
2003
ACM
Computing may well become considered an essential part of a liberal education, but introductory programming courses will not look like the way that they do today. Current CS1 cour...
191
click to vote
FOCS
2002
IEEE
15 years 12 months ago
2002
IEEE
We present the first explicit connection between quantum computation and lattice problems. Namely, our main result is a solution to the Unique Shortest Vector Problem (SVP) under ...
154
click to vote
MFCS
1989
Springer
15 years 11 months ago
1989
Springer
In this paper we review the key results about space bounded complexity classes, discuss the central open problems and outline the prominent proof techniques. We show that, for a s...
187
click to vote
CCA
2009
Springer
15 years 11 months ago
2009
Springer
We investigate the relationship between computable metric spaces (X, d, ) and (X, d, ), where (X, d) is a given metric space. In the case of Euclidean space, and are equivalent u...
161
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...