Sciweavers

1108 search results - page 102 / 222
» Visualization of Uncertainty and Reasoning
Sort
View
KR
2004
Springer
15 years 3 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 3 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 3 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 2 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 1 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, ...