Sciweavers

1081 search results - page 57 / 217
» Type Inference of SELF
Sort
View
FLAIRS
2004
15 years 5 months ago
Aperiodic Dynamics and the Self-Organization of Cognitive Maps in Autonomous Agents
Aperiodic dynamics are known to be essential in the formation of perceptual mechanisms and representations in biological organisms. Advances in neuroscience and computational neur...
Derek Harter, Robert Kozma
ET
1998
99views more  ET 1998»
15 years 3 months ago
Design of Self-Testing Checkers for m-out-of-n Codes Using Parallel Counters
This paper extends the design method of self-testing checkers (STCs) for some m-out-of-n (m/n) codes, proposed recently in IEEE Trans. Comput., 1995 by Dimakopoulos et al. The chec...
Stanislaw J. Piestrak
IDA
1998
Springer
15 years 3 months ago
Self-Organized-Expert Modular Network for Classification of Spatiotemporal Sequences
We investigate a form of modular neural network for classification with (a) pre-separated input vectors entering its specialist (expert) networks, (b) specialist networks which ar...
Sylvian R. Ray, William H. Hsu
LFP
1990
102views more  LFP 1990»
15 years 5 months ago
A Semantic Basis for Quest
Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics ...
Luca Cardelli, Giuseppe Longo
ALIFE
2008
15 years 3 months ago
Exploring the Operational Characteristics of Inference Algorithms for Transcriptional Networks by Means of Synthetic Data
The development of structure-learning algorithms for gene regulatory networks depends heavily on the availability of synthetic data sets that contain both the original network and ...
Koenraad Van Leemput, Tim Van den Bulcke, Thomas D...