Sciweavers

1055 search results - page 132 / 211
» Enumerations in computable structure theory
Sort
View
IJCNN
2008
IEEE
14 years 4 months ago
Stable reciprocal image associations in cognitive systems
—Sensory inputs such as visual images or audio spectrograms can act as symbols in a new cognitive model. The stability of direct image association operators allows the discrete b...
Douglas S. Greer
VMCAI
2007
Springer
14 years 4 months ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
IJCNN
2006
IEEE
14 years 4 months ago
High-speed Bi-directional Function Approximation using Plausible Neural Networks
— This paper applies a recently developed neural network called plausible neural network (PNN) to function approximation. Instead of using error correction, PNN estimates the mut...
Kuo-Chen Li, Dar-Jen Chang, Yuan Yan Chen
VISUALIZATION
2005
IEEE
14 years 3 months ago
Visualization of the Genus of Knots
The genus of a knot or link can be defined via Seifert surfaces. A Seifert surface of a knot or link is an oriented surface whose boundary coincides with that knot or link. Schem...
Jarke J. van Wijk, Arjeh M. Cohen
AP2PC
2004
Springer
14 years 3 months ago
On Exploiting Agent Technology in the Design of Peer-to-Peer Applications
Abstract. Peer-to-peer (P2P) architectures exhibit attractive properties for a wide range of real world systems. As a result they are increasingly being applied in the design of ap...
Steven Willmott, Josep M. Pujol, Ulises Cort&eacut...