Sciweavers

6931 search results - page 994 / 1387
» Context and Design Agents
Sort
View
AAECC
2010
Springer
114views Algorithms» more  AAECC 2010»
15 years 7 months ago
Termination of narrowing via termination of rewriting
Abstract Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and by replacing matching with unification. Narrowing has been widely used in diff...
Naoki Nishida, Germán Vidal
CE
2008
108views more  CE 2008»
15 years 7 months ago
Educational affordances of PDAs: A study of a teacher's exploration of this technology
This paper reports on a case study of a teacher from a technical education institution who explored the educational affordances of PDA technology over a period of six months. Base...
Daniel Churchill, Natalia Churchill
CORR
2010
Springer
96views Education» more  CORR 2010»
15 years 7 months ago
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source...
Johannes Oetsch, Jörg Pührer, Martin Sch...
IEE
2008
108views more  IEE 2008»
15 years 7 months ago
Mining execution relations for crosscutting concerns
Aspect mining tries to identify crosscutting concerns in the code of existing systems and thus supports their adaption to an aspect-oriented design. A semi-automatic static aspect...
Jens Krinke
IJKL
2008
106views more  IJKL 2008»
15 years 7 months ago
Activity- and taxonomy-based knowledge representation framework
: Elaborations of Competence-based Knowledge Space Theory (CbKST) incorporate skills that refer to the conceptual information of the domain as well as to the activities learners ar...
Birgit Marte, Christina M. Steiner, Jürgen He...