Sciweavers

Share
685 search results - page 2 / 137
» What Can We Expect from Program Verification?
Sort
View
MC
2007
10 years 2 hour ago
What Can the Hundred Languages of Children Teach Us?
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...
Andrea Kohlhase, Heidi Schelhowe, Michael Lund
ALS
2003
Springer
10 years 3 months ago
Not Everything We Know We Learned
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...
Mihai Nadin
SIGCSE
2008
ACM
131views Education» more  SIGCSE 2008»
9 years 10 months ago
Compiler error messages: what can help novices?
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...
Marie-Hélène Nienaltowski, Michela P...
AH
2008
Springer
10 years 18 days ago
What Can I Watch on TV Tonight?
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...
David Bueno, Ricardo Conejo, David Martín, ...
AAAI
2000
9 years 12 months ago
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
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...
Sheila A. McIlraith, Richard B. Scherl
books