Sciweavers

6153 search results - page 453 / 1231
» Modeling Cyclic Change
Sort
View
IRI
2008
IEEE
16 years 1 months ago
An algorithm for activation timed influence nets
Activation Timed Influence Net (ATIN) is a term representing a progressively evolving sequence of actions, where the effects of an action become the preconditions of the action th...
Panayota Papantoni-Kazakos, Abbas K. Zaidi, M. Far...
IJCNN
2006
IEEE
16 years 28 days ago
Backpropagation for Population-Temporal Coded Spiking Neural Networks
Abstract— Supervised learning rules for spiking neural networks are currently only able to use time-to-first-spike coding and are plagued by very irregular learning curves due t...
Benjamin Schrauwen, Jan M. Van Campenhout
LICS
2006
IEEE
16 years 27 days ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel
COMPSAC
2005
IEEE
16 years 15 days ago
Situation-Awareness for Adaptive Coordination in Service-Based Systems
Service-based systems have many applications, including collaborative research and development, ebusiness, health care, environmental control, military applications, and homeland ...
Stephen S. Yau, Dazhi Huang, Haishan Gong, Hasan D...
IAT
2005
IEEE
16 years 15 days ago
Optimizing Agents Operation in Partially Inaccessible and Disruptive Environment
The algorithm we present in this paper aims to optimally distribute and connect the community of loosely coupled middle agents ensuring communication accessibility in a dynamic, i...
David Sislák, Martin Rehák, Michal P...