3927 search results - page 640 / 786 » Emotional Concept Development |
DLOG
2006
13 years 11 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
GEOINFO
2004
13 years 11 months ago
2004
: As the geographic information system (GIS) community grows, more and more people needs to share geographic information. As modern GIS data is stored in geographic databases their...
IADIS
2004
13 years 11 months ago
2004
WASA is an intelligent self-assessment agent of WADIES, a web-based learning environment which adapts its material to reflect the needs of the individual learner, whether it is fo...
IADIS
2004
13 years 11 months ago
2004
IMT-2000 has been developing in both cdma2000 and W-CDMA, and their convergence or harmonization has also been discussed in several standard organizations. Besides the most expert...
IADIS
2004
13 years 11 months ago
2004
This paper presents the design principles, development and implementation of an e-learning framework, called Intelligent Cognitive Agents (InCA). The InCA framework is an ontology...