CAI
2006
Springer
13 years 5 months ago
2006
Springer
The number of news reports published online is now so great that it is impossible for any person to read all of them. Not all of these reports are equally interesting. Automating ...
CAI
2006
Springer
13 years 5 months ago
2006
Springer
CBR systems solve problems by assessing their similarity with already solved problems (cases). Explanation of a CBR system prediction usually consists of showing the user the set o...
CAI
2006
Springer
13 years 5 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
CAI
2006
Springer
13 years 5 months ago
2006
Springer
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
CAI
2006
Springer
13 years 5 months ago
2006
Springer
Collaborative mobile applications support users on the move in order to perform a collaborative task. One of the challenges when designing such applications is to consider the cont...
CAI
2006
Springer
13 years 5 months ago
2006
Springer
MAS is a powerful paradigm in nowadays distributed systems, however its disadvantage is that it lacks the interconnection with semantic web standards such as OWL. The aim of this a...
CAI
2006
Springer
13 years 5 months ago
2006
Springer
CAI
2006
Springer
13 years 5 months ago
2006
Springer
CAI
2006
Springer
13 years 5 months ago
2006
Springer
People and organizations frequently need to recall past events that, for some reason, were not documented when they occurred. The successful reconstitution of past events depends o...