Sciweavers

64 search results - page 3 / 13
» On the Foundations of Qualitative Decision Theory
Sort
View
AAAI
1990
13 years 5 months ago
QPC: A Compiler from Physical Models into Qualitative Differential Equations
Qualitative reasoning can, and should, be decomposed into a model-building task, which creates a qualitative differential equation (QDE) as a model of a physical situation, and a ...
James M. Crawford, Adam Farquhar, Benjamin Kuipers
CHI
2008
ACM
14 years 5 months ago
Internalization, qualitative methods, and evaluation
Information Visualization (InfoVis) is at least in part defined by a process that occurs within the subjective internal experience of the users of visualization tools. Hence, user...
Sarah Faisal, Brock Craft, Paul A. Cairns, Ann Bla...
INFORMATICALT
2008
133views more  INFORMATICALT 2008»
13 years 4 months ago
A New Logarithmic Normalization Method in Games Theory
Abstract. Multi-criteria decision making is used in many areas of human activities. Each alternative in multi-criteria decision making problem can be described by a set of criteria...
Edmundas Kazimieras Zavadskas, Zenonas Turskis
JELIA
2004
Springer
13 years 10 months ago
Combining Decision Procedures for Sorted Theories
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
Cesare Tinelli, Calogero G. Zarba
CORR
2010
Springer
113views Education» more  CORR 2010»
13 years 4 months ago
A two-step fusion process for multi-criteria decision applied to natural hazards in mountains
Abstract--Mountain river torrents and snow avalanches generate human and material damages with dramatic consequences. Knowledge about natural phenomenona is often lacking and exper...
Jean-Marc Tacnet, Mireille Batton-Hubert, Jean Dez...