Sciweavers

249 search results - page 20 / 50
» Specification and Verification of Dynamics in Cognitive Agen...
Sort
View
ATAL
2006
Springer
13 years 11 months ago
Agent-based modeling of human education data
Agent-based simulation is increasingly used to analyze the performance of complex systems. There are two main ways agentbased models are built -- from equation-based models and di...
Yuqing Tang, Simon Parsons, Elizabeth Sklar
CCE
2008
13 years 8 months ago
Optimal delivery of chemotherapeutic agents in cancer
In this paper, derivation of the optimal chemotherapy schedule is formulated and solved as a dynamic optimization problem. For this purpose two models representing the tumour grow...
Pinky Dua, Vivek Dua, Efstratios N. Pistikopoulos
AAAI
2004
13 years 9 months ago
Agent-Based Modeling with Social Networks for Terrorist Recruitment
The Seldon model combines concepts from agent-based modeling and social network analysis to create a computation model of social dynamics for terrorist recruitment. The underlying...
Teresa H. Ko, Nina M. Berry
PRIMA
2009
Springer
14 years 2 months ago
An Adaptive Human-Aware Software Agent Supporting Attention-Demanding Tasks
This paper presents a human-aware software agent to support a human performing a task that demands substantial amounts of attention. The agent obtains human awareness in an adaptiv...
Tibor Bosse, Zulfiqar A. Memon, Jan Treur, Muhamma...
RTCSA
1997
IEEE
13 years 12 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha