Sciweavers

7928 search results - page 1507 / 1586
» Human-Like Learning Methods for a
Sort
View
AIEDU
2006
89views more  AIEDU 2006»
15 years 4 months ago
Learner Centred Design in the Adventure Author Project
Involving stakeholders at an early stage of learning environment design enables researchers to base a system around the needs of learners. By working directly with learners, resear...
Seth Goolnik, Judy Robertson, Judith Good
ENTCS
2008
132views more  ENTCS 2008»
15 years 4 months ago
Distributed Verification of Multi-threaded C++ Programs
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
Stefan Edelkamp, Shahid Jabbar, Damian Sulewski
ARTMED
2006
86views more  ARTMED 2006»
15 years 4 months ago
Multiple hierarchical classification of free-text clinical guidelines
Manual classification of free-text documents within a predefined hierarchy is highly time consuming. This is especially true for clinical guidelines, which are often indexed by mu...
Robert Moskovitch, Shiva Cohen-Kashi, Uzi Dror, If...
BMCBI
2006
128views more  BMCBI 2006»
15 years 4 months ago
New directions in biomedical text annotation: definitions, guidelines and corpus construction
Background: While biomedical text mining is emerging as an important research area, practical results have proven difficult to achieve. We believe that an important first step tow...
W. John Wilbur, Andrey Rzhetsky, Hagit Shatkay
DATAMINE
2006
117views more  DATAMINE 2006»
15 years 4 months ago
A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
Laura Maruster, A. J. M. M. Weijters, Wil M. P. va...
« Prev « First page 1507 / 1586 Last » Next »