Sciweavers

3801 search results - page 443 / 761
» An Approach to Modeling Software Safety
Sort
View
AIIDE
2008
15 years 9 months ago
Combining Model-Based Meta-Reasoning and Reinforcement Learning for Adapting Game-Playing Agents
Human experience with interactive games will be enhanced if the software agents that play the game learn from their failures. Techniques such as reinforcement learning provide one...
Patrick Ulam, Joshua Jones, Ashok K. Goel
TCS
2008
15 years 6 months ago
Modeling spiking neural networks
A notation for the functional specification of a wide range of neural networks consisting of temporal or non-temporal neurons, is proposed. The notation is primarily a mathematica...
Ioannis D. Zaharakis, Achilles D. Kameas
ECTEL
2010
Springer
15 years 4 months ago
GVIS: A Facility for Adaptively Mashing Up and Representing Open Learner Models
In this article we present an infrastructure for creating mash up and visual representations of the user profile that combine data from different sources. We explored this approach...
Luca Mazzola, Riccardo Mazza
SIGSOFT
2007
ACM
16 years 7 months ago
SLEDE: lightweight verification of sensor network security protocol implementations
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
Youssef Hanna
MATES
2005
Springer
16 years 6 days ago
LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...