Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
CAI
2006
Springer
12 years 1 months ago
A Logical Framework for Identifying and Explaining Unexpected News
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 ...
Emma Byrne
CAI
2006
Springer
12 years 1 months ago
Symbolic Explanation of Similarities in Case-based Reasoning
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...
Eva Armengol, Enric Plaza
CAI
2006
Springer
12 years 1 months ago
Formal Verification of Security Model Using SPR Tool
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...
Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D....
CAI
2006
Springer
12 years 1 months ago
Addressing the Conflicting Dimension of Groupware: A Case Study in Software Requirements Validation
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
Pedro Antunes, João Ramires, Ana Resp&iacut...
CAI
2006
Springer
12 years 1 months ago
Analysis and Design of Mobile Collaborative Applications Using Contextual Elements
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...
Rosa Alarcón, Luis A. Guerrero, Sergio F. O...
CAI
2006
Springer
12 years 1 months ago
AgentOWL: Semantic Knowledge Model and Agent Architecture
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...
Michal Laclavik, Zoltan Balogh, Marian Babik, Ladi...
CAI
2006
Springer
12 years 1 months ago
Explanations and Proof Trees
Gérard Ferrand, Willy Lesaint, Alexandre Te...
CAI
2006
Springer
12 years 1 months ago
Analyzing Approaches to Collective Knowledge Recall
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...
Naiana Carminatti, Marcos R. S. Borges, José...
books