Sciweavers

2800 search results - page 268 / 560
» Fibrational Control Structures
Sort
View
ICECCS
2005
IEEE
73views Hardware» more  ICECCS 2005»
15 years 9 months ago
Integrating Object-Z with Timed Automata
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
Jin Song Dong, Roger Duke, Ping Hao
ISCAS
2005
IEEE
154views Hardware» more  ISCAS 2005»
15 years 9 months ago
Back propagation learning of neural networks with chaotically-selected affordable neurons
— Cell assembly is one of explanations of information processing in the brain, in which an information is represented by a firing space pattern of a group of plural neurons. On ...
Yoko Uwate, Yoshifumi Nishio
EUROPAR
2005
Springer
15 years 9 months ago
Automatic Tuning of PDGEMM Towards Optimal Performance
Sophisticated parallel matrix multiplication algorithms like PDGEMM exhibit a complex structure and can be controlled by a large set of parameters including blocking factors and bl...
Sascha Hunold, Thomas Rauber
138
Voted
HYBRID
2005
Springer
15 years 9 months ago
Bisimulation for General Stochastic Hybrid Systems
In this paper we define a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The definition of bisimulation buil...
Manuela L. Bujorianu, John Lygeros, Marius C. Bujo...
ICANN
2005
Springer
15 years 9 months ago
Information Visualization for Knowledge Extraction in Neural Networks
In this paper, a user-centred innovative method of knowledge extraction in neural networks is described. This is based on information visualization techniques and tools for artific...
Liz J. Stuart, Davide Marocco, Angelo Cangelosi