2542 search results - page 120 / 509 » An Operational Definition of Context |
195
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
on of abstract strategies which is extensional in the sense that a strategy is defined explicitly of derivations of an abstract reduction system. We then move to a more intensional...
220
click to vote
JLP
2010
15 years 1 months ago
2010
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...
271
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Histogram Intersection (HI) kernel has been recently introduced for image recognition tasks. The HI kernel is proved to be positive definite and thus can be used in Support Vector ...
181
click to vote
FSE
2009
Springer
16 years 7 months ago
2009
Springer
Message Authentication Codes (MACs) are core algorithms deployed in virtually every security protocol in common usage. In these protocols, the integrity and authenticity of messag...
205
click to vote
POLICY
2009
Springer
16 years 1 months ago
2009
Springer
—Policy definition is an important component of the consistent authorisation service infrastructure that could be effectively integrated with the general resource provisioning wo...