Sciweavers

1224 search results - page 89 / 245
» Theory decision by decomposition
Sort
View
EUSFLAT
2003
123views Fuzzy Logic» more  EUSFLAT 2003»
15 years 7 months ago
Intuitionistic fuzzy sets - an alternative look
This paper concerns the theory of intuitionistic fuzzy sets according to Atanassov. If triangular norms, especially nonstrict Archimedean ones, are used, we propose a revision and...
Anna Pankowska, Maciej Wygralak
DSS
2007
85views more  DSS 2007»
15 years 6 months ago
An experiment on the effectiveness of creativity enhancing decision-making support systems
Recent research suggests that creativity can enhance the performance of people for a variety of tasks, including decisionmaking. Creativity enhancements can be delivered through a...
Guisseppi A. Forgionne, John Newman
ATVA
2007
Springer
162views Hardware» more  ATVA 2007»
16 years 16 days ago
Verifying Heap-Manipulating Programs in an SMT Framework
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. H...
ISPW
2006
IEEE
16 years 11 days ago
A Value-Based Software Process Framework
This paper presents a value-based software process framework that has been derived from the 4+1 theory of value-based software engineering (VBSE). The value-based process framework...
Barry W. Boehm, Apurva Jain
KR
2004
Springer
15 years 11 months ago
Evidence and Belief
We discuss the representation of knowledge and of belief from the viewpoint of decision theory. While the Bayesian approach enjoys general-purpose applicability and axiomatic foun...
Itzhak Gilboa, David Schmeidler