AUSAI
2009
Springer
13 years 11 months ago
2009
Springer
Research on affective computing is growing rapidly and new applications are being developed more frequently. They use information about the affective/mental states of users to adap...
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
Most real-world negotiation scenarios involve multiple, interdependent issues. These scenarios are specially challenging because the agents' utility functions are nonlinear, ...
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
APN
2009
Springer
13 years 11 months ago
2009
Springer
We present a symbolic method for p-semiflow computation, based on zero-suppressed decision diagrams. Both the traditional explicit methods and our new symbolic method rely on Farka...
APN
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Consider a Markovian Petri net with race policy. The marking process has a "product form" stationary distribution if the probability of viewing a given marking ...
AMI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
HAIS
2010
Springer
13 years 11 months ago
2010
Springer
Existing organisational centred multi-agent systems regulate agents' activities. However, population/environmental changes may lead to a poor ful lment of system's goals,...
AIME
2009
Springer
13 years 11 months ago
2009
Springer
We use the concept of conditional mutual information (MI) to approach problems involving the selection of variables in the area of medical diagnosis. Computing MI requires estimate...
AIME
2009
Springer
13 years 11 months ago
2009
Springer
In this paper, we investigate the role of a biomedical dataset on the classification accuracy of an algorithm. We quantify the complexity of a biomedical dataset using five complex...
AIME
2009
Springer
13 years 11 months ago
2009
Springer