2307 search results - page 144 / 462 » Dynamic Fuzzy Logic |
237
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
151
click to vote
FSS
2010
15 years 1 months ago
2010
In this paper we investigate the relationship between two prioritized knowledge bases by measuring both the conflict and the agreement between them. First of all, a quantity of co...
137
click to vote
IJMMS
2007
15 years 4 months ago
2007
The popularity of computer games has exploded in recent years, yet methods of evaluating user emotional state during play experiences lag far behind. There are few methods of asse...
160
click to vote
SICHERHEIT
2010
15 years 2 months ago
2010
: This paper presents a fuzzy set based decision support model for taking uncertainty into account when making security investment decisions for distributed systems. The proposed m...
166
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automat...