3191 search results - page 214 / 639 » Qualitative Modeling in Education |
179
click to vote
CORR
2002
Springer
15 years 7 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...
192
click to vote
SIGCSE
2000
ACM
15 years 7 months ago
2000
ACM
Effective teaching of operating system concepts requires projects. This paper describes a series of operating system projects all based on a simple hardware simulator that have be...
184
click to vote
CORR
1998
Springer
15 years 7 months ago
1998
Springer
: We consider the common-knowledge paradox raised in [HM90]: common knowledge is necessary for coordination, but common knowledge is unattainable in the real world because of tempo...
169
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
The paper describes an extensive experiment in inside-outside estimation of a lexicalized probabilistic context free grammar for German verbnal clauses. Grammar and formalism feat...
202
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
This paper will present the Interactive Pushdown Automata Animation for use in an Automata Theory class. It will present the features of the IPAA as well as the algorithm and data...