17298 search results - page 145 / 3460 » Abstract computing machines |
128
Voted
ECTEL
2009
Springer
15 years 10 months ago
2009
Springer
Benchmarking for educational purposes in the context of computer science can be hindered by the low number and the homogeneity of machines to be assessed, and the inaccuracy of the...
117
Voted
CSL
2005
Springer
15 years 9 months ago
2005
Springer
We study computability on sequence spaces, as they are used in functional analysis. It is known that non-separable normed spaces cannot be admissibly represented on Turing machines...
116
click to vote
CNIS
2006
15 years 4 months ago
2006
We present the design and a prototype of a lab course on computer security, the necessity of which arises from the students' need to complement course work by hands-on experi...
133
Voted
ACL
2006
15 years 4 months ago
2006
Obtaining high-quality machine translations is still a long way off. A postediting phase is required to improve the output of a machine translation system. An alternative is the s...
79
Voted
SOFSEM
2009
Springer
16 years 9 days ago
2009
Springer
