2200 search results - page 67 / 440 » The Generalized Pignistic Transformation |
ERSHOV
2006
Springer
14 years 25 days ago
2006
Springer
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...
CVPR
2007
IEEE
13 years 11 months ago
2007
IEEE
Traditional linear Fukunaga-Koontz Transform (FKT) [1] is a powerful discriminative subspaces building approach. Previous work has successfully extended FKT to be able to deal wit...
WDAG
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper studies the impact of omission failures on asynchronous distributed systems with crash-stop failures. We provide two different transformations for algorithms,...
SACMAT
2006
ACM
14 years 3 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
CSFW
1994
IEEE
14 years 1 months ago
1994
IEEE
We analyze the safety question for the Non-Monotonic Transform NMT model, an access control model that encompasses a wide variety of practical access control mechanisms. In genera...