1368 search results - page 118 / 274 » Recursive modules for programming |
QSIC
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of softwa...
109
click to vote
CSCLP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
124
click to vote
AUSAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...
113
click to vote
SIGCSE
2008
ACM
15 years 2 months ago
2008
ACM
We have designed and implemented game-themed programming assignment modules targeted specifically for adoption in existing introductory programming classes. These assignments are ...
121
Voted
TCS
2002
15 years 1 months ago
2002
We investigate the problem of producing symmetric tilings by programs in a uniform way. By this, we mean that the construction of a tiling should be parameterized by the geometric...