Sciweavers

2649 search results - page 121 / 530
» Argumentation for Decision Support
Sort
View
FLAIRS
2001
15 years 7 months ago
Practical Modeling of Bayesian Decision Problems -- Exploiting Deterministic Relations
Thewidespreaduse of influence diagramsto represent andsolve Bayesiandecision problemsis still limited by the inflexibility andrather restrictive semanticsof influence diagrams. In...
Anders L. Madsen, Kristian G. Olesen, Søren...
WSC
1997
15 years 7 months ago
Making Better Manufacturing Decisions with AIM
FACTOR/AIM (AIM) is a simulation system designed specifically for use in manufacturing decision support. AIM has been successfully applied to engineering design, scheduling, and p...
Julie N. Ehrlich, William R. Lilegdon
CADE
2005
Springer
16 years 6 months ago
A Proof-Producing Decision Procedure for Real Arithmetic
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
Sean McLaughlin, John Harrison
AIME
1997
Springer
15 years 10 months ago
Developing a Decision-Theoretic Network for a Congenital Heart Disease
To support paediatric cardiologists in prognostic assessment and treatment planning, a decision-theoretic network for congenital heart disease is being constructed. The network is...
Niels Peek, Jaap Ottenkamp
LREC
2010
156views Education» more  LREC 2010»
15 years 7 months ago
Propbank Instance Annotation Guidelines Using a Dedicated Editor, Jubilee
This paper gives guidelines of how to annotate Propbank instances using a dedicated editor, Jubilee. Propbank is a corpus in which the arguments of each verb predicate are annotat...
Jinho D. Choi, Claire Bonial, Martha Palmer