Sciweavers

4116 search results - page 178 / 824
» Type Analysis for CHIP
Sort
View
CSFW
2010
IEEE
14 years 21 days ago
Towards Quantitative Analysis of Proofs of Authorization: Applications, Framework, and Techniques
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
Adam J. Lee, Ting Yu
CRITIS
2007
13 years 10 months ago
An Analysis of Cyclical Interdependencies in Critical Infrastructures
Abstract In this paper we discuss the properties and algorithmic methods for the identification and classification of cyclical interdependencies in critical infrastructures based...
Nils Kalstad Svendsen, Stephen D. Wolthusen
ECAI
2010
Springer
13 years 10 months ago
An Equilibrium Analysis of Competing Double Auction Marketplaces Using Fictitious Play
In this paper, we analyse how traders select marketplaces and bid in a setting with multiple competing marketplaces. Specifically, we use a fictitious play algorithm to analyse the...
Bing Shi, Enrico H. Gerding, Perukrishnen Vyteling...
NN
2008
Springer
129views Neural Networks» more  NN 2008»
13 years 9 months ago
Neurolinguistic approach to natural language processing with applications to medical text analysis
Brain processes responsible for understanding language are approximated by spreading activation in semantic networks, providing enhanced representations that involve concepts not ...
Wlodzislaw Duch, Pawel Matykiewicz, John Pestian
PAMI
2006
106views more  PAMI 2006»
13 years 9 months ago
Statistical Analysis of Dynamic Actions
Real-world action recognition applications require the development of systems which are fast, can handle a large variety of actions without a priori knowledge of the type of actio...
Lihi Zelnik-Manor, Michal Irani