2045 search results - page 175 / 409 » Learning programming with Erlang |
IADIS
2004
13 years 10 months ago
2004
The paper focuses on the cognitive contribution of visual experiences to learning in a higher education setting. Specifically, it examines whether the use of students' imagin...
PDPTA
2003
13 years 10 months ago
2003
— In this paper we present a library of classes for programming reinforcement learning simulations in Java. This library is based upon the standard by Sutton and Santamaria [1], ...
AAAI
1994
13 years 10 months ago
1994
or untagged treebanks. ' When trained on an untagged This paper presents a method for constructing deterministic Prolog parsers from corpora of parsed sentences. Our approach ...
POPL
2002
ACM
14 years 9 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
ICSM
2007
IEEE
14 years 3 months ago
2007
IEEE
The quality of identifiers, the coding style and formatting are important aspects that influence program understandings and maintenance. This is confirmed by the presence of se...