Sciweavers

1055 search results - page 132 / 211
» Enumerations in computable structure theory
Sort
View
IJCNN
2008
IEEE
15 years 10 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
15 years 10 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
15 years 10 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
156
Voted
VISUALIZATION
2005
IEEE
15 years 9 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
15 years 9 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...