Sciweavers

4903 search results - page 609 / 981
» The Set Covering Machine
Sort
View
KBSE
2008
IEEE
16 years 1 months ago
Inferring Finite-State Models with Temporal Constraints
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 ...
Neil Walkinshaw, Kirill Bogdanov
SBRN
2008
IEEE
16 years 1 months ago
Multi-label Text Categorization Using VG-RAM Weightless Neural Networks
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...
ICALT
2007
IEEE
16 years 1 months ago
Impact of Process Goal and Outcome Goal on Learning Performance for Web-based Learners
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...
Nian-Shing Chen, Kinshuk, Chun-Wang Wei, Feng-Hsie...
ICALT
2007
IEEE
16 years 1 months ago
A Participatory Learning Environment by Using Voice Trackback System in Zoological Garden
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...
Yutaro Ohashi, Shuichi Nagata, Hiroshi Mashima, Hi...
ICALT
2007
IEEE
16 years 1 months ago
Towards a Unified Learning Style Model in Adaptive Educational Systems
Accommodating learning styles in adaptive educational systems represents an important step towards providing individualized instruction. The paper summarizes the main results repo...
Elvira Popescu, Philippe Trigano, Costin Badica