1968 search results - page 21 / 394 » Symmetry in Decision Evaluation |
JSW
2007
13 years 7 months ago
2007
— The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation have become important parts of...
QEST
2007
IEEE
14 years 1 months ago
2007
IEEE
QEST
2006
IEEE
14 years 1 months ago
2006
IEEE
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
The focus of the work in this paper is the evaluation of a model of human decision making relative to experimental data. In sequential two-alternative forced choice decision tasks,...
LPAR
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. We describe a novel decision procedure for Quantified Boolean Formulas (QBFs) which aims to unleash the hidden potential of quantified reasoning in applications. The Sk...