Sciweavers

237 search results - page 11 / 48
» A Quantitative Theory of Neural Computation
Sort
View
ECAL
2003
Springer
14 years 19 days ago
Are There Representations in Embodied Evolved Agents? Taking Measures
Abstract. The question of conceptual representation has received considerable attention in philosophy, neuroscience and embodied evolved agents. Numerous theories on the interpreta...
Hezi Avraham, Gal Chechik, Eytan Ruppin
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
13 years 5 months ago
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
Martin Fränzle, Tino Teige, Andreas Eggers
UPP
2004
Springer
14 years 23 days ago
Bio-inspired Computing Paradigms (Natural Computing)
Abstract. This is just a glimpse to the fruitful and constant preoccupation of computer science to try to get inspired by biology, at various levels. Besides briefly discussing th...
Gheorghe Paun
ICNSC
2007
IEEE
14 years 1 months ago
Associative Memory for Noisy and Structurally Deformed Two-Dimensional Images Using Neural Networks
—This paper studies the problem of understanding noisy and structurally deformed two-dimensional images by means of abstractly defined neural works. First, in the framework of sy...
Hiroshi Inaba, Tomoki Takahashi, Keylan Alimhan
CONTEXT
2001
Springer
13 years 12 months ago
A Connectionist-Symbolic Approach to Modeling Agent Behavior: Neural Networks Grouped by Contexts
A recent report by the National Research Council (NRC) declares neural networks “hold the most promise for providing powerful learning models”. While some researchers have expe...
Amy E. Henninger, Avelino J. Gonzalez, Michael Geo...