386 search results - page 61 / 78 » Coalgebraic Hybrid Logic |
MJ
2006
14 years 11 months ago
2006
This paper proposes a SPICE model development methodology for quantum-dot cellular automata (QCA) cells and presents a SPICE model for QCA cells. The model is validated by simulat...
65
Voted
ICCAD
2005
IEEE
15 years 8 months ago
2005
IEEE
Separate optimizations of logic and layout have been thoroughly studied in the past and are well documented for common benchmarks. However, to be competitive, modern circuit optim...
198
click to vote
ARTCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
— This paper, discusses about navigation control of mobile robot using adaptive neuro-fuzzy inference system (ANFIS) in a real word dynamic environment. In the ANFIS controller a...
118
click to vote
IJCSS
2000
14 years 11 months ago
2000
Combination of sliding-mode control and an AI block based on fuzzy logic is introduced. This hybrid control structure provides very good control performance and robustness of contr...
118
click to vote
WOLLIC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...