Sciweavers

1321 search results - page 109 / 265
» Logic Simulation Using Networks of State Machines
Sort
View
ICANN
2009
Springer
15 years 2 months ago
Constrained Learning Vector Quantization or Relaxed k-Separability
Neural networks and other sophisticated machine learning algorithms frequently miss simple solutions that can be discovered by a more constrained learning methods. Transition from ...
Marek Grochowski, Wlodzislaw Duch
IWANN
2005
Springer
15 years 3 months ago
Adaptive Power System Stabilizer Using ANFIS and Genetic Algorithms
— This paper presents an adaptive Power System Stabilizer (PSS) using an Adaptive Network Based Fuzzy Inference System (ANFIS) and Genetic Algorithms (GAs). Firstly, genetic algo...
Jesús Fraile-Ardanuy, Pedro J. Zufiria
DIMACS
1996
14 years 11 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
ASPDAC
2000
ACM
95views Hardware» more  ASPDAC 2000»
15 years 2 months ago
FSM decomposition by direct circuit manipulation applied to low power design
Abstract— Clock-gating techniques are very effective in the reduction of the switching activity in sequential logic circuits. In particular, recent work has shown that significa...
José C. Monteiro, Arlindo L. Oliveira
ICC
2007
IEEE
117views Communications» more  ICC 2007»
15 years 4 months ago
Performance Modeling of Multi-Rate HDR and its Effect on TCP Throughput
—An interesting feature of the 3G cellular networks is their ability to support multiple data rates. Though the performance of TCP over wireless networks has been well studied, t...
Wenjing Wang, Shamik Sengupta, Mainak Chatterjee