Sciweavers

2307 search results - page 155 / 462
» Dynamic Fuzzy Logic
Sort
View
JCIT
2008
124views more  JCIT 2008»
15 years 4 months ago
A Knowledge based Approach Using Fuzzy Inference Rules for Vowel Recognition
Automatic speech recognition by machine is one of the most efficient methods for man-machine communications. Because speech waveform is nonlinear and variant. Speech recognition r...
Hrudaya K. Tripathy, B. K. Tripathy, Pradip K. Das
136
Voted
LFCS
2007
Springer
15 years 10 months ago
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
André Platzer
DATE
2006
IEEE
176views Hardware» more  DATE 2006»
15 years 10 months ago
Low power synthesis of dynamic logic circuits using fine-grained clock gating
— Clock power consumes a significant fraction of total power dissipation in high speed precharge/evaluate logic styles. In this paper, we present a novel low-cost design methodol...
Nilanjan Banerjee, Kaushik Roy, Hamid Mahmoodi-Mei...
SYNTHESE
2010
133views more  SYNTHESE 2010»
14 years 11 months ago
Dynamic logics of knowledge and access
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...
Tomohiro Hoshi, Eric Pacuit
FSS
2008
143views more  FSS 2008»
15 years 4 months ago
On the first place antitonicity in QL-implications
In order to obtain a demanded fuzzy implication, a number of properties have been proposed, among which the first place antitonicity, the second place monotonicity and the boundar...
Yun Shi, Bart Van Gasse, Da Ruan, Etienne E. Kerre