Sciweavers

285 search results - page 47 / 57
» A Matlab Toolbox Implementing Level Set Methods
Sort
View
74
Voted
ICALT
2005
IEEE
15 years 5 months ago
Predicting Students' Marks in Hellenic Open University
The ability to provide assistance for a student at the appropriate level is invaluable in the learning process. Not only does it aid the student’s learning process but also prev...
Sotiris B. Kotsiantis, Panayiotis E. Pintelas
118
Voted
AIIA
2005
Springer
15 years 5 months ago
Mining Relational Association Rules for Propositional Classification
In traditional classification setting, training data are represented as a single table, where each row corresponds to an example and each column to a predictor variable or the targ...
Annalisa Appice, Michelangelo Ceci, Donato Malerba
EUROMICRO
2003
IEEE
15 years 4 months ago
Extreme Programming: First Results from a Controlled Case Study
Extreme programming (XP) is the most well known agile software development method. Many experience reports have been published in recent years. Successful XP adoptions have howeve...
Pekka Abrahamsson
88
Voted
SIBGRAPI
2003
IEEE
15 years 4 months ago
Helical CT Reconstruction from Wide Cone-Beam Angle Data Using ART
We report on new results on the use of Algebraic Reconstruction Techniques (ART) for reconstructing from helical cone-beam Computerized Tomography (CT) data. We investigate two va...
Bruno M. Carvalho, Gabor T. Herman
91
Voted
TPHOL
1999
IEEE
15 years 3 months ago
Isar - A Generic Interpretative Approach to Readable Formal Proof Documents
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
Markus Wenzel