Sciweavers

2836 search results - page 50 / 568
» Evaluating a Qualitative Reasoner
Sort
View
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
15 years 1 months ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
Elvira Albert, Sergio Antoy, Germán Vidal
KCAP
2003
ACM
15 years 3 months ago
Evaluating expert-authored rules for military reasoning
Mike Pool, Kenneth S. Murray, Julie Fitzgerald, Ma...
UAI
1996
14 years 11 months ago
An evaluation of structural parameters for probabilistic reasoning: Results on benchmark circuits
Many algorithms for processing probabilistic networks are dependent on the topological properties of the problem's structure. Such algorithmse.g., clustering, conditioning ar...
Yousri El Fattah, Rina Dechter
TOSEM
2008
75views more  TOSEM 2008»
14 years 9 months ago
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
Jamieson M. Cobleigh, George S. Avrunin, Lori A. C...