5243 search results - page 678 / 1049 » Reasoning About Strategies |
181
click to vote
SIGCSE
2004
ACM
16 years 8 days ago
2004
ACM
The educational literature recognizes that people go through a number of stages in their intellectual development. During the first stage, called received knowledge or dualism, p...
177
click to vote
DEXA
2004
Springer
16 years 7 days ago
2004
Springer
The efficacy of expert systems often depends on the accuracy and completeness of the problem specification negotiated with the user. Therefore, efficient user interfaces are needed...
167
click to vote
ICGI
2004
Springer
16 years 7 days ago
2004
Springer
State Merging algorithms, such as Rodney Price’s EDSM (Evidence-Driven State Merging) algorithm, have been reasonably successful at solving DFA-learning problems. EDSM, however, ...
177
click to vote
ICLP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
194
click to vote
IFL
2004
Springer
16 years 6 days ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...