Sciweavers

2100 search results - page 242 / 420
» Relational Topographic Maps
Sort
View
BIRTHDAY
2005
Springer
16 years 4 days ago
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
Fabio Gadducci, Ugo Montanari
CTRSA
2005
Springer
121views Cryptology» more  CTRSA 2005»
16 years 4 days ago
Time-Selective Convertible Undeniable Signatures
Undeniable signatures were introduced in 1989 by Chaum and van Antwerpen to limit the self-authenticating property of digital signatures. An extended concept – the convertible un...
Fabien Laguillaumie, Damien Vergnaud
ICANN
2005
Springer
16 years 3 days ago
Reinforcement Learning in MirrorBot
For this special session of EU projects in the area of NeuroIT, we will review the progress of the MirrorBot project with special emphasis on its relation to reinforcement learning...
Cornelius Weber, David Muse, Mark Elshaw, Stefan W...
ICCBR
2005
Springer
16 years 3 days ago
Transfer in Visual Case-Based Problem Solving
We present a computational model of case-based visual problem solving. The Galatea model and the two experimental participants modeled in it show that 1) visual knowledge is suffic...
Jim Davies, Ashok K. Goel, Nancy J. Nersessian
ICCS
2005
Springer
16 years 3 days ago
A 3D User Interface for Visualizing Neuron Location in Invertebrate Ganglia
Abstract. Invertebrate nervous systems serve as important models for neuroscience research because they are comprised of relatively small numbers of individually identified neurons...
Jason A. Pamplin, Ying Zhu, Paul S. Katz, Rajshekh...