134
click to vote
AIMSA
15 years 7 months ago
2008 Springer
In order to build an intelligent system that allows human beings to cooperate with a computing machine to perform a given task it is important to account for the individual charact...
115
click to vote
AIMSA
15 years 7 months ago
2008 Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
104
click to vote
AIMSA
15 years 7 months ago
2008 Springer
Abstract. Computational Grids provide a widely distributed computing environment suitable for randomized SAT solving. This paper develops techniques for incorporating learning, kno...
109
click to vote
AIMSA
15 years 7 months ago
2008 Springer
Abstract. The problem of curriculum-based course timetabling is studied in this work. In addition to formally defining the problem, we present a hybrid solution algorithm (Adaptiv...
110
click to vote
AIMSA
15 years 7 months ago
2008 Springer
Abstract This paper attempts to define an emotional model for virtual agents that behave autonomously in social worlds. We adopt shallow modeling based on the decomposition of the...
|