2962 search results - page 159 / 593 » Reasoning on Association Rules |
162
click to vote
LOPSTR
1994
Springer
15 years 10 months ago
1994
Springer
We present a goal replacement rule whose main applicability condition is based on termination properties of the resulting transformed program. The goal replacement rule together wi...
178
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
We introduce in this paper two probabilistic reasoning models (PRM-1 and PRM-2) which combine the Principal Component Analysis (PCA) technique and the Bayes classifier and show th...
156
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
180
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able ...
206
click to vote
WIFT
1998
IEEE
15 years 10 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...