Sciweavers

1365 search results - page 47 / 273
» Learning with Product Units
Sort
View
LICS
2002
IEEE
15 years 2 months ago
Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types
Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question f...
Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
SAINT
2005
IEEE
15 years 3 months ago
Learning Logic Wrappers for Information Extraction from the Web
This paper discusses a methodology for applying general-purpose first-order inductive learning to extract information from Web documents structured as unranked ordered trees. The...
Costin Badica, Elvira Popescu, Amelia Badica
ITICSE
1997
ACM
15 years 2 months ago
Computer managed, open question, open book assessment
This paper describes the development and use of practical examinations which include a significant element of software control of the administrative process. The educational metho...
John Rosbottom
ICALT
2009
IEEE
15 years 1 months ago
On-demand Construction of Personalized Learning Experiences Using Semantic Web and Web 2.0 Techniques
Nowadays, the Semantic Web technologies are exploited also in the e-learning domain in order to provide personalized and adaptive learning experiences, semantic annotation of lear...
Nicola Capuano, Matteo Gaeta, Francesco Orciuoli, ...
ICALT
2007
IEEE
15 years 4 months ago
The Design of e-Learning Environment Oriented for Personalized Adaptability
A design of e-Learning environment is described for personalized adaptability. At first, we explain the whole system of our learning management system, WebClass RAPSODY, which has...
Toshie Ninomiya, Ken Nakayama, Miyuki Shimizu, Fum...