3066 search results - page 187 / 614 » On Facilitating Automated Evaluation |
IADIS
2009
13 years 7 months ago
2009
Web-based learning environments are extensively used nowadays. These environments maintain and produce vast amounts of data. Such vastness lead to the application of data mining t...
JAR
2010
13 years 4 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Information retrieval can contribute towards the construction of ontologies and the effective usage of ontologies. We use collocation-based keyword extraction to suggest ...
CHI
2003
ACM
14 years 9 months ago
2003
ACM
We studied the effects of varying the fidelity and automation levels of a Ubicomp application prototype. Our results show that the interactive prototype captured the same usabilit...
TPHOL
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...