Sciweavers

3787 search results - page 593 / 758
» The Use of Agents Techniques on Intelligent Tutoring Systems
Sort
View
ICANN
2009
Springer
15 years 8 months ago
Connectionist Models for Formal Knowledge Adaptation
Abstract. Both symbolic knowledge representation systems and artificial neural networks play a significant role in Artificial Intelligence. A recent trend in the field aims at ...
Ilianna Kollia, Nikos Simou, Giorgos B. Stamou, An...
AIED
2005
Springer
15 years 7 months ago
Fostering Learning Communities based on Task Context
This paper presents an approach to establish and support learning communities. Based on task context information (which is extracted from multiple sources) and relying on the docum...
Niels Pinkwart
AI
2000
Springer
15 years 6 months ago
Learning Rewrite Rules versus Search Control Rules to Improve Plan Quality
Domain independent planners can produce better-quality plans through the use of domain-speci c knowledge, typically encoded as search control rules. The planning-by-rewriting appro...
Muhammad Afzal Upal, Renee Elio
CCS
2010
ACM
15 years 2 months ago
HyperSentry: enabling stealthy in-context measurement of hypervisor integrity
This paper presents HyperSentry, a novel framework to enable integrity measurement of a running hypervisor (or any other highest privileged software layer on a system). Unlike exi...
Ahmed M. Azab, Peng Ning, Zhi Wang, Xuxian Jiang, ...
JCSS
2008
159views more  JCSS 2008»
15 years 1 months ago
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillst...