661 search results - page 2 / 133 » What Can We Expect from Program Verification |
MC
2007
13 years 6 months ago
2007
In this paper we want to make use of the "Hundred Languages of Children" observed by Reggio pedagogue L. Malaguzzi, in order to understand the process of being engaged b...
ALS
2003
Springer
13 years 9 months ago
2003
Springer
This is foremost a methodological contribution. It focuses on the foundation of anticipation and the pertinent implications that anticipation has on learning (theory and experiment...
SIGCSE
2008
ACM
13 years 4 months ago
2008
ACM
Novices find it difficult to understand and use compiler error messages. It is useful to refine this observation and study the effect of different message styles on how well and q...
AH
2008
Springer
13 years 6 months ago
2008
Springer
This paper presents the methods used in a TV Recommender System that helps users in the difficult task of finding an interesting TV program from among the hundreds of channels that...
AAAI
2000
13 years 6 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...