Sciweavers

586 search results - page 80 / 118
» Automated Reasoning on Aspects Interactions
Sort
View
CARS
2003
13 years 9 months ago
Does incorrect computer prompting affect human decision making? A case study in mammography
The goal of the data collection and analyses described in this paper was to investigate the effects of incorrect output from a CAD tool on the reliability of the decisions of its ...
Eugenio Alberdi, Andrey Povyakalo, Lorenzo Strigin...
ICLP
2010
Springer
13 years 11 months ago
Models for Trustworthy Service and Process Oriented Systems
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
Hugo A. López
KR
2004
Springer
14 years 1 months ago
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...
Yves Martin, Iman Narasamdya, Michael Thielscher
ISOLA
2010
Springer
13 years 6 months ago
Towards a Connector Algebra
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...
Marco Autili, Chris Chilton, Paola Inverardi, Mart...
ICCBR
2007
Springer
14 years 1 months ago
Failure Analysis for Domain Knowledge Acquisition in a Knowledge-Intensive CBR System
A knowledge-intensive case-based reasoning system has profit of the domain knowledge, together with the case base. Therefore, acquiring new pieces of domain knowledge should impro...
Amélie Cordier, Béatrice Fuchs, Jean...