2045 search results - page 175 / 409 » Learning programming with Erlang |
106
Voted
IADIS
2004
15 years 3 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...
88
Voted
PDPTA
2003
15 years 3 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], ...
121
Voted
AAAI
1994
15 years 3 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 ...
211
Voted
POPL
2002
ACM
16 years 2 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...
98
Voted
ICSM
2007
IEEE
15 years 8 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...