6149 search results - page 245 / 1230 » Revealing the programming process |
147
Voted
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We call verification the process of finding the actual explanation of a given set of manifestations. We consider an abductive setting, in which explanations are sets of a...
136
Voted
DALT
2008
Springer
15 years 6 months ago
2008
Springer
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...
146
Voted
SNPD
2008
15 years 6 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
136
Voted
ESANN
2006
15 years 6 months ago
2006
We focus on neuro-dynamic programming methods to learn state-action value functions and outline some of the inherent problems to be faced, when performing reinforcement learning in...
137
click to vote
WEBNET
2001
15 years 6 months ago
2001
: In this paper we evaluate educational software, available in the market, designed for the purpose of teaching programming that addresses mainly beginners and intermediate student...