Sciweavers

6598 search results - page 186 / 1320
» Graph Theory with Applications
Sort
View
AB
2008
Springer
16 years 24 days ago
Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets
Abstract. Thoughts are spatio-temporal patterns of coalitions of firing neurons and their interconnections. Neural algebras represent these patterns as formal algebraic objects, a...
Erwin Engeler
FPLE
1995
15 years 10 months ago
Explaining Algebraic Theory with Functional Programs
Abstract. A hierarchy of six important structures from abstract algebra (groups, rings, fields etc.) is introduced as Gofer class definitions and laws about them. Many instance d...
Jeroen Fokker
ENTCS
2006
109views more  ENTCS 2006»
15 years 6 months ago
Specifications via Realizability
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
Andrej Bauer, Christopher A. Stone
CAIP
2001
Springer
166views Image Analysis» more  CAIP 2001»
15 years 11 months ago
Application of Adaptive Hypergraph Model to Impulsive Noise Detection
In this paper, using hypergraph theory, we introduce an image model called Adaptive Image Neighborhood Hypergraph (AINH). From this model we propose a combinatorial definition of ...
Soufiane Rital, Alain Bretto, Driss Aboutajdine, H...
CORR
2010
Springer
47views Education» more  CORR 2010»
15 years 5 months ago
Applications of Lindeberg Principle in Communications and Statistical Learning
We use a generalization of the Lindeberg principle developed by Sourav Chatterjee to prove universality properties for various problems in communications, statistical learning and...
Satish Babu Korada, Andrea Montanari