1341 search results - page 95 / 269 » Probabilistic Abstraction Hierarchies |
148
click to vote
ITRUST
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This research aims to develop a model of trust and reputation that will ensure good interactions amongst software agents in large scale open systems in particular. The fo...
160
click to vote
RECOMB
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Peptide recognition modules (PRMs) are specialised compact protein domains that mediate many important protein-protein interactions. They are responsible for the assembly...
224
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
177
click to vote
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we describe the application of a novel statistical videomodeling scheme to sequences of multiple sclerosis (MS) images taken over time. The analysis of the ...
167
click to vote
SBMF
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...