Sciweavers

2278 search results - page 131 / 456
» Markov logic networks
Sort
View
AEI
1999
110views more  AEI 1999»
15 years 6 months ago
Self-tuning fuzzy controller design using genetic optimisation and neural network modelling
This article describes a new adaptive fuzzy logic control scheme. The proposed scheme is based on the structure of the self-tuning regulator and employs neural network and genetic...
Duc Truong Pham, Dervis Karaboga
ICES
2001
Springer
105views Hardware» more  ICES 2001»
15 years 11 months ago
Two-Step Incremental Evolution of a Prosthetic Hand Controller Based on Digital Logic Gates
Abstract. Evolvable Hardware (EHW) has been proposed as a new method for designing systems for real-world applications. In this paper it is applied for evolving a prosthetic hand c...
Jim Torresen
FMCAD
2004
Springer
15 years 10 months ago
A Functional Approach to the Formal Specification of Networks on Chip
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...
Julien Schmaltz, Dominique Borrione
POPL
2006
ACM
16 years 7 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
DAC
1996
ACM
15 years 11 months ago
Delay Minimal Decomposition of Multiplexers in Technology Mapping
Technology mapping requires the unmapped logic network to be represented in terms of base functions, usually two-input NORs and inverters. Technology decomposition is the step tha...
Shashidhar Thakur, D. F. Wong, Shankar Krishnamoor...