291 search results - page 11 / 59 » Building Intelligent Environments with Smart-Its |
128
click to vote
ICALT
2006
IEEE
15 years 9 months ago
2006
IEEE
A pervasive virtual instructor is an artificially intelligent instructor that may appear transparent to the learner or appear in the form of a threedimensional graphical character...
133
click to vote
CEC
2008
IEEE
15 years 10 months ago
2008
IEEE
—This paper describes and tests the utility of a meta Grammar approach to Grammatical Evolution (GE). Rather than employing a fixed grammar as is the case with canonical GE, und...
118
Voted
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
130
Voted
ICWL
2003
Springer
15 years 9 months ago
2003
Springer
: This paper presents the design of a web-based learning content authoring tool as well as the way learners can access courseware material, within the scope of a personalized, yet ...
146
Voted
AIM
2006
15 years 3 months ago
2006
maintain awareness of its environment for a long period of time. Additionally, knowledge-intensive agents must be engineered such that their knowledge can be easily updated as envi...