2049 search results - page 141 / 410 » Normalization and Partial Evaluation |
AIED
2009
Springer
14 years 4 months ago
2009
Springer
This study shows that affect-adaptive computer tutoring can significantly improve performance on learning efficiency and user satisfaction. We compare two different student uncer...
ICLP
2001
Springer
14 years 2 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
RAID
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. In practice, most computer intrusions begin by misusing programs in clever ways to obtain unauthorized higher levels of privilege. One e ective way to detect intrusive ac...
TREC
2007
13 years 11 months ago
2007
Lucene is an increasingly popular open source search library. However, our experiments of search quality for TREC data and evaluations for out-of-the-box Lucene indicated inferior...
SMC
2010
IEEE
13 years 8 months ago
2010
IEEE
In this study, the task of obtaining accurate and comprehensible concept descriptions of a specific set of production instances has been investigated. The suggested method, inspire...