Sciweavers

2317 search results - page 209 / 464
» Model based testing for agent systems
Sort
View
ICMI
2009
Springer
94views Biometrics» more  ICMI 2009»
15 years 10 months ago
Modeling culturally authentic style shifting with virtual peers
: We report on a new kind of culturally-authentic embodied conversational agent more in line with the ways that culture and ethnicity function in the real world. On the basis of th...
Justine Cassell, Kathleen Geraghty, Berto Gonzalez...
UM
2007
Springer
15 years 10 months ago
The Effect of Model Granularity on Student Performance Prediction Using Bayesian Networks
A standing question in the field of Intelligent Tutoring Systems and User Modeling in general is what is the appropriate level of model granularity (how many skills to model) and h...
Zachary A. Pardos, Neil T. Heffernan, Brigham Ande...
AGENTS
2001
Springer
15 years 8 months ago
Adjustable autonomy in real-world multi-agent environments
Through adjustable autonomy (AA), an agent can dynamically vary the degree to which it acts autonomously, allowing it to exploit human abilities to improve its performance, but wi...
Paul Scerri, David V. Pynadath, Milind Tambe
IAT
2007
IEEE
15 years 10 months ago
Exploring Social Behaviour of Honey Bees Searching on the Web
This paper discusses applying the social behaviour of bees to the web search. We proposed an on-line search of the user’s predefined group of pages. In particular, this approac...
Pavol Návrat, Lucia Jastrzembska, Tomas Jel...
155
Voted
APSEC
2009
IEEE
15 years 1 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli