Sciweavers

1486 search results - page 155 / 298
» Firewall Rules Analysis
Sort
View
NN
2007
Springer
15 years 4 months ago
Optimal decision network with distributed representation
On the basis of detailed analysis of reaction times and neurophysiological data from tasks involving choice, it has been proposed that the brain implements an optimal statistical ...
Rafal Bogacz
TSD
2010
Springer
15 years 2 months ago
Comparison of Different Lemmatization Approaches through the Means of Information Retrieval Performance
This paper presents a quantitative performance analysis of two different approaches to the lemmatization of the Czech text data. The first one is based on manually prepared diction...
Jakub Kanis, Lucie Skorkovská
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 2 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
IAT
2007
IEEE
15 years 10 months ago
Agent Based Arabic Language Understanding
Arabic Language understanding (ALU) computing is considered an AI-hard task. In this paper, we propose an Agent model for ALU problem. This agent is detailed in this paper. An ALU...
Muhammad Taha, Tarek Helmy, Reda Abo Alez
IWSEC
2007
Springer
15 years 10 months ago
Processing Multi-parameter Attacktrees with Estimated Parameter Values
Abstract. Authors extend the multi-parameter attacktree model to include inaccurate or estimated parameter values, which are modelled as probabilistic interval estimations. The pap...
Aivo Jürgenson, Jan Willemson