718 search results - page 31 / 144 » From decision theory to decision aiding methodology |
GI
2009
Springer
14 years 7 months ago
2009
Springer
: Situation awareness for ground combat vehicles is being actively developed by the U.S. Army to enable soldiers and commanders to have a better understanding of their environments...
FROCOS
2007
Springer
15 years 1 months ago
2007
Springer
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...
AISC
2008
Springer
14 years 11 months ago
2008
Springer
Many inequalities involving the functions ln, exp, sin, cos, etc., can be proved automatically by MetiTarski: a resolution theorem prover (Metis) modified to call a decision proced...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
New forms of social affective applications are emerging, bringing with them challenges in design and evaluation. We report on one such application, conveying wellbeing for both pe...
ACL
1997
14 years 11 months ago
1997
Our goal is to identify the features that predict the occurrence and placement of discourse cues in tutorial explanations in order to aid in the automatic generation of explanatio...