Sciweavers

1341 search results - page 110 / 269
» Probabilistic Abstraction Hierarchies
Sort
View
ICSOC
2007
Springer
16 years 21 days ago
Stochastic COWS
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
Davide Prandi, Paola Quaglia
IWSEC
2007
Springer
16 years 21 days 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
CEC
2005
IEEE
16 years 5 days ago
Evolutionary computation variants for cooperative spatial coordination
Abstract- This paper presents a comparative study between genetic and probabilistic search approaches of evolutionary computation. They are both applied for optimizing the behavior...
Georgios N. Yannakakis, John Hallam, John Levine
TAL
2004
Springer
15 years 12 months ago
Expressive Power and Consistency Properties of State-of-the-Art Natural Language Parsers
Abstract. We define Probabilistic Constrained W-grammars (PCWgrammars), a two-level formalism capable of capturing grammatical frameworks used in two state of the art parsers, nam...
Gabriel G. Infante López, Maarten de Rijke
FMCO
2006
Springer
15 years 10 months ago
Towards a Formal Framework for Computational Trust
d Abstract) Vladimiro Sassone1 , Karl Krukow2 , and Mogens Nielsen2 1 ECS, University of Southampton 2 BRICS , University of Aarhus We define a mathematical measure for the quantit...
Vladimiro Sassone, Karl Krukow, Mogens Nielsen