Constant propagation and join reordering are two standard optimization techniques used for Datalog programs. These techniques have typically been studied indep.ndently of one another. However, in order to achieve cons...
详细信息
This paper presents a logical approach to formalization of some aspects of multi-agent systems in an incompletely known world. The contribution on this regard is as follows. We formalized reasoning about concurrent ac...
详细信息
Blind signature schemes, an important cryptographic primitive, are useful in protocols that guarantee the anonymity of the participants. Two new blind signature schemes based on the discrete logarithm problem are pres...
详细信息
We present a framework for the self-organized formation of high level learning by a statistical preprocessing of features. The paper focuses first on the formation of the features in the context of layers of feature p...
详细信息
We present a framework for the self-organized formation of high level learning by a statistical preprocessing of features. The paper focuses first on the formation of the features in the context of layers of feature processing units as a kind of resource-restricted associative multiresolution learning We clame that such an architecture must reach maturity by basic statistical proportions, optimizing the information processing capabilities of each layer. The final symbolic output is learned by pure association of features of different levels and kind of sensorial input. Finally, we also show that common error-correction learning for motor skills can be accomplished also by non-specific associative learning.
作者：
Chiodo, E.Menniti, D.Testa, A.Picardi, C.Elio Chiodo (1959) received the degree in Electronics Engineering in 1985
and the Ph.D. degree in Computational Statistics both from the University of Naplefltaly. He is a Researcher at the Department of Electrical Engineering of the University of Naples and a member of the Italian Statistical Society. His areas of interest include probabilistic methods applied to electric power systems analysis. (University of Naples Fedrrico 11. Electrical Engineering Dept.via Claudio 21 1-80125 Naplefltaly T +3981/7683226 Fax+3981/2396897) Daniele Menniti (1958) received the degree in Electrical Engineering from the University of Calabria. Cosenzataly and the Ph.D. degree in Electrical Engineering from the University of NapleslItaly
in 1984 and 1989 respectively. He is a researcher at the Electronic. Computer and Systems Science Department of the University of Calabria. Italy. Hiscurrent research interests concern electric power system analysis real-time control and automation. (University of Calabria Electronic Computer and Systems Science Dep. Arcavacataji Rende (CS). 1-87036 CosenzdItaly T +39984/494707. Fax +39984/4947 13) Alfredo Testa (1950) received the degree in Electrical Engineering from the University of Naples/Italy
in 1975. He is an Associate Professor in Electrical Power Systems at the Department of Electrical Engineering of the University of Naples. He is engaged in researches on electrical power systems reliability and harmonic analysis. (University of Naples Federico 11. Electrical Engineering Dep. via Claudio '2 1 1-80 I25 NapleslItaly T + 39 8 I/7 68 3'2 11. Fax+3981/2396897) Ciro Picardi (1949) received the degree in Electronics Engineering from the University of Naples/Italy
in 1975. He is currently Associate Professor in Process Control at the Department of Electronic Computer and System Science of the University of Calabria. Italy. His current research interests are in the area of electrical drives robotics neural networks and fuzzy control. (University of Calabria Electronic. Compu
An artificial‐neural‐network (ANN) application for steady‐state security evaluation of electrical power systems is presented. Such application is based upon a combined use of a multilayer back‐propagation neural n...
A partial order based graph model for concurrency is introduced, using hierarchical structured graphs with relations denoting concurrency, causal ordering, and temporal ordering. Both compositionally structured proces...
详细信息
We discuss why existing implementations of functional languages on MIMD-machines with distributed memory are slow. This is done by comparing the behavior of a functional program with a corresponding Occam program. The...
详细信息
The paper discusses the design and implementation of LiSEB, a class-based language built on top of APL2 to respond to challenges posed by modelling living systems from a medical point of view. LiSEB capitalises on sev...
详细信息
A new multidisciplinary effort is linking research in the upper atmospheric and space, computer, and behavioral sciences to develop a prototype electronic environment for conducting team science worldwide. A real‐wor...
暂无评论