2307 search results - page 358 / 462 » Dynamic Fuzzy Logic |
120
Voted
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability with respect to a TBox in the logic ALCI using global state caching. ...
114
Voted
GLVLSI
2005
IEEE
15 years 6 months ago
2005
IEEE
Switching model captures the data-driven uncertainty in logic circuits in a comprehensive probabilistic framework. Switching is a critical factor that influences dynamic, active ...
86
Voted
PASTE
2004
ACM
15 years 6 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
179
Voted
FIDJI
2004
Springer
15 years 6 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
104
Voted
MEMBRANE
2004
Springer
15 years 6 months ago
2004
Springer
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...