415 search results - page 19 / 83 » Reengineering Framework for Systems in Education |
CORR
2006
Springer
14 years 10 months ago
2006
Springer
FLAIM (Framework for Log Anonymization and Information Management) addresses two important needs not well addressed by current log anonymizers. First, it is extremely modular and ...
CORR
2008
Springer
14 years 8 months ago
2008
Springer
The problem of representing text documents within an Information Retrieval system is formulated as an analogy to the problem of representing the quantum states of a physical syste...
78
Voted
ICALT
2007
IEEE
15 years 4 months ago
2007
IEEE
One of the most contemporary research ideas for adaptive web-based educational systems is personalizing the educational contents, based on users’ learning styles. Moreover, it i...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Imp...