291 search results - page 11 / 59 » Building Intelligent Environments with Smart-Its |
163
click to vote
ICALT
2006
IEEE
16 years 15 days 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...
170
click to vote
CEC
2008
IEEE
16 years 28 days 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...
158
click to vote
TPHOL
2007
IEEE
16 years 21 days 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,...
164
click to vote
ICWL
2003
Springer
15 years 11 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 ...
179
click to vote
AIM
2006
15 years 6 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...