2307 search results - page 158 / 462 » Dynamic Fuzzy Logic |
120
click to vote
CCIA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...
126
Voted
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...
123
click to vote
JAPLL
2006
15 years 4 months ago
2006
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...
133
click to vote
GLVLSI
2003
IEEE
15 years 10 months ago
2003
IEEE
We introduce a simple hierarchical design technique for using dynamic domino circuits to build high-performance self-timed data path circuits. We wrap the dynamic domino circuit i...
132
Voted
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...