Sciweavers

4592 search results - page 290 / 919
» Framework for Studying Substitution
Sort
View
194
Voted
BIOADIT
2004
Springer
16 years 26 days ago
Towards Cortex Sized Attractor ANN
We review the structure of cerebral cortex to find out the number of neurons and synapses and its modular structure. The organization of these neurons is then studied and mapped on...
Christopher Johansson, Anders Lansner
APLAS
2003
ACM
16 years 21 days ago
Observing Asymmetry and Mismatch
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
Xiaoju Dong, Yuxi Fu
164
Voted
CSR
2010
Springer
16 years 8 days ago
Equilibria in Quantitative Reachability Games
In this paper, we study turn-based quantitative multiplayer non zero-sum games played on finite graphs with reachability objectives. In this framework each player aims at reaching...
Thomas Brihaye, Véronique Bruyère, J...
CSFW
1999
IEEE
15 years 11 months ago
Security Function Interactions
We use a compositional framework to model security architectures involving heterogeneous and distributed security functions. Our goal is to assist the ITSEC evaluation of suitabil...
Pierre Bieber
AII
1989
15 years 11 months ago
Towards Representation Independence in PAC Learning
In the recent development ofwrious models of learning inspired by the PAC learning model (introduced by Valiant) there has been a trend towards models which are as representation ...
Manfred K. Warmuth