1021 search results - page 64 / 205 » Concepts in Proof Planning |
SNPD
2004
13 years 10 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
DCG
2008
13 years 8 months ago
2008
Birch and Tverberg partitions are closely related concepts from discrete geometry. We show two properties for the number of Birch partitions: Evenness, and a lower bound. This imp...
MSCS
2006
13 years 8 months ago
2006
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...
TFS
2008
13 years 8 months ago
2008
In this paper, the notion termed a "nonstationary fuzzy set" is introduced, and the concept of a perturbation function that is used for generating nonstationary fuzzy set...
AMAI
2002
Springer
13 years 8 months ago
2002
Springer
Argumentation is a reasoning model based on the construction of arguments and counterarguments (defeaters) then the selection of the most acceptable of them. In this paper, we pro...