Sciweavers

1108 search results - page 102 / 222
» Visualization of Uncertainty and Reasoning
Sort
View
KR
2004
Springer
15 years 11 months ago
Reaching Agreement Through Argumentation: A Possibilistic Approach
Negotiation plays a key role as a means for sharing information and resources with the aim of looking for a common agreement. This paper proposes a new approach based on possibili...
Leila Amgoud, Henri Prade
RSP
2003
IEEE
111views Control Systems» more  RSP 2003»
15 years 11 months ago
Exploring the Probabilistic Design Space of Multimedia Systems
In this paper, we propose the novel concept of probabilistic design for multimedia systems and a methodology to quickly explore such design space at an early design stage. The pro...
Shaoxiong Hua, Gang Qu, Shuvra S. Bhattacharyya
CONCUR
2003
Springer
15 years 11 months ago
Multi-Valued Model Checking via Classical Model Checking
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
Arie Gurfinkel, Marsha Chechik
PRICAI
1998
Springer
15 years 10 months ago
Knowledge-Based Formulation of Dynamic Decision Models
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
Chenggang Wang, Tze-Yun Leong
EDOC
2007
IEEE
15 years 10 months ago
A Tool for Enterprise Architecture Analysis
Enterprise architecture advocates model-based decision-making on enterprise-wide information system issues. In order to provide decisionmaking support, enterprise architecture mode...
Pontus Johnson, Erik Johansson, Teodor Sommestad, ...