7715 search results - page 1092 / 1543 » Visual Rules Modeling |
148
click to vote
FMSD
2000
15 years 4 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
150
click to vote
ENTCS
2002
15 years 4 months ago
2002
This paper presents an argumentation based framework to support an agent's deliberation process for drawing conclusions under a given policy. The argumentative policy of the ...
144
click to vote
NN
2000
Springer
15 years 4 months ago
2000
Springer
Support vector (SV) machines are useful tools to classify populations characterized by abrupt decreases in density functions. At least for one class of Gaussian data model the SV ...
143
Voted
IJCIS
1998
15 years 4 months ago
1998
The problem of integrating information from con icting sources comes up in many current applications, such as cooperative information systems, heterogeneous databases, and multi-a...
171
click to vote
JOLLI
1998
15 years 4 months ago
1998
When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in thi...