Sciweavers

2649 search results - page 129 / 530
» Argumentation for Decision Support
Sort
View
CADE
2004
Springer
16 years 6 months ago
The ICS Decision Procedures for Embedded Deduction
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
Leonardo Mendonça de Moura, Sam Owre, Haral...
COMPGEOM
1996
ACM
15 years 10 months ago
New Lower Bounds for Convex Hull Problems in Odd Dimensions
We show that in the worst case, (ndd=2e;1 +n logn) sidedness queries are required to determine whether the convex hull of n points in IRd is simplicial, or to determine the number ...
Jeff Erickson
COLING
2008
15 years 7 months ago
The Effect of Syntactic Representation on Semantic Role Labeling
Almost all automatic semantic role labeling (SRL) systems rely on a preliminary parsing step that derives a syntactic structure from the sentence being analyzed. This makes the ch...
Richard Johansson, Pierre Nugues
ACL
2010
15 years 4 months ago
Improving the Use of Pseudo-Words for Evaluating Selectional Preferences
This paper improves the use of pseudowords as an evaluation framework for selectional preferences. While pseudowords originally evaluated word sense disambiguation, they are now c...
Nathanael Chambers, Daniel Jurafsky
WSC
2007
15 years 8 months ago
Model-based measurement of situation awareness
Decision making in complex environments in the face of uncertain and missing information is a daunting task. We describe a modeling and simulation based approach to providing plan...
W. Scott Neal Reilly, Sean L. Guarino, Bret Kellih...