571 search results - page 8 / 115 » Context Proceduralization in Decision Making |
79
Voted
LOGCOM
2006
14 years 9 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
CAV
2009
Springer
15 years 1 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
82
Voted
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
With an eye towards design of human-in-the-loop systems, we investigate human decision making in a social context for tasks that require the human to make repeated choices among fi...
77
Voted
TSMC
2002
14 years 9 months ago
2002
Abstract--The success of information and knowledge management depends on understanding and supporting the user's need to know. This requires understanding humans' abiliti...
110
Voted
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Team decision making under stress involving multiple contexts is an extremely challenging issue faced by various real world application domains. This research is targeted at coupl...