The paper presents an overview of the role of concepts in program comprehension. It discusses concept location, in which the implementation of a specific concept is located in the...
One of the best books to learn Scheme and functional programming concepts. The book is freely available online. It is full of examples and exercises suitable for various levels of ...
Matthias Felleisen, Robert Bruce Findler, Matthew ...
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
The paper extends the notion of linear programming boosting to handle uneven datasets. Extensive experiments with text classification problem compare the performance of a number o...
This paper describes E-Slate (http://E-Slate.cti.gr), an exploratory learning environment that builds on a componentbased approach, to enable end-users to create educational softw...
George Birbilis, Manolis Koutlis, Kriton Kyrimis, ...