Sciweavers

249 search results - page 20 / 50
» Specification and Verification of Dynamics in Cognitive Agen...
Sort
View
ATAL
2006
Springer
15 years 5 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
15 years 1 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
118
Voted
AAAI
2004
15 years 2 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
15 years 8 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
15 years 5 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