2941 search results - page 201 / 589 » The Myth of the Educational Computer |
166
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory a...
160
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
: This paper computationally obtains optimal bounded-weight, binary, error-correcting codes for a variety of distance bounds and dimensions. We compare the sizes of our codes to th...
141
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
Common departmental characteristics and practices in computer science and biology/life science are compared for 46 departments at 23 Virginia colleges and universities. The goal o...
143
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract-- In this paper we extend the work on dynamic observers for fault diagnosis [1], [2], [3] to timed automata. We study sensor minimization problems with static observers an...
163
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present a new approach to enhancing Answer Set Programming (ASP) with Constraint Processing techniques which allows for solving interesting Constraint Satisfaction Problems in ...