2307 search results - page 200 / 462 » Dynamic Fuzzy Logic |
161
click to vote
FUZZY
1997
Springer
15 years 9 months ago
1997
Springer
Today many kinds of postprocessing are used in digital TV receivers or multimedia terminals for video signals to enhance the picture quality. To achieve this the properties of hum...
162
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
126
click to vote
IJIS
2002
15 years 4 months ago
2002
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
168
click to vote
INFSOF
2002
15 years 4 months ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...
127
click to vote
CONCUR
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...