Sciweavers

1224 search results - page 89 / 245
» Theory decision by decomposition
Sort
View
98
Voted
EUSFLAT
2003
123views Fuzzy Logic» more  EUSFLAT 2003»
15 years 2 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
146
Voted
DSS
2007
85views more  DSS 2007»
15 years 20 days 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
134
Voted
ATVA
2007
Springer
162views Hardware» more  ATVA 2007»
15 years 6 months 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...
87
Voted
ISPW
2006
IEEE
15 years 6 months 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 6 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