Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
In automated multi-label text categorization, an automatic categorization system should output a category set, whose size is unknown a priori, for each document under analysis. Ma...
Claudine Badue, Felipe Pedroni, Alberto Ferreira d...
The purpose of this research is to develop a webbased learning environment where teachers can provide subject content using SCORM Simple Sequence Specification (SSS) mechanism wit...
Our research group found that zoological garden is a resourceful place for learning by experience, so that we set “ZOO PROJECT” that aims at reconstructing learning environmen...
Accommodating learning styles in adaptive educational systems represents an important step towards providing individualized instruction. The paper summarizes the main results repo...