Sciweavers

2159 search results - page 394 / 432
» An Artificial Chemistry for Networking
Sort
View
LPAR
2007
Springer
15 years 6 months ago
Deciding Knowledge in Security Protocols for Monoidal Equational Theories
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Véronique Cortier, Stéphanie Delaune
LSMS
2007
Springer
15 years 6 months ago
A Simulation Study on the Encoding Mechanism of Retinal Ganglion Cell
Understanding how the retina encodes visual information is a key issue for the development of a retinal prosthesis. To study this issue, the neural retina is modeled as a retina mo...
Chao-Feng Cai, Pei-Ji Liang, Pu-Ming Zhang
NN
2007
Springer
165views Neural Networks» more  NN 2007»
15 years 6 months ago
Dynamical Architecture of the Mammalian Olfactory System
The mammalian olfactory system shows many types of sensory and perceptual processing accompanied by oscillations at the level of the local field potential, and much is already know...
Leslie M. Kay
ICALT
2006
IEEE
15 years 6 months ago
Instruction Through The Ages: Building Pervasive Virtual Instructors for Life Long Learning
A pervasive virtual instructor is an artificially intelligent instructor that may appear transparent to the learner or appear in the form of a threedimensional graphical character...
Jayfus T. Doswell
ICAT
2006
IEEE
15 years 6 months ago
Hierarchical 3D Data Rendering System Synchronizing with HTML
Abstract. We propose a new rendering system for large-scale, 3D geometic data that can be used with web-based content management systems (CMS). To achieve this, we employed a geome...
Yousuke Kimura, Tomohiro Mashita, Atsushi Nakazawa...