5718 search results - page 135 / 1144 » Modeling Rule Precision |
152
click to vote
ICONIP
2007
15 years 7 months ago
2007
In this study we propose a new ensemble model composed of several linear perceptrons. The objective of this study is to build a piecewise-linear classifier that is not only compet...
159
click to vote
ENTCS
2008
15 years 6 months ago
2008
Semantic labeling is a powerful transformation technique for proving termination of term rewrite systems. The semantic part is given by a model or a quasi-model of the rewrite rul...
147
click to vote
JAR
2007
15 years 6 months ago
2007
We present a variant of the basic ordered superposition rules to handle equality in an analytic free-variable tableau calculus. We prove completeness of this calculus by an adaptat...
168
click to vote
ICCS
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...
147
click to vote
NOMS
2008
IEEE
16 years 23 days ago
2008
IEEE
—A policy can be defined as any type of formal behavioural guide that is input to the system. Examples of policies that can be found in data center management systems include SLA...