1056 search results - page 130 / 212 » A Probabilistic Applied Pi-Calculus |
ENTCS
2006
13 years 9 months ago
2006
This paper defines action-labelled quantitative transition systems as a general framework for combining qualitative and quantitative analysis. We define state-metrics as a natural...
DEBU
2007
13 years 9 months ago
2007
Social network analysis (SNA) has become a mature scientific field over the last 50 years and is now an area with massive commercial appeal and renewed research interest. In thi...
ML
2006
ACM
13 years 8 months ago
2006
ACM
We investigate explicit segment duration models in addressing the problem of fragmentation in musical audio segmentation. The resulting probabilistic models are optimised using Mar...
IJPRAI
2000
13 years 8 months ago
2000
As Bayesian networks become widely accepted as a normative formalism for diagnosis based on probabilistic knowledge, they are applied to increasingly larger problem domains. These...
AI
1999
Springer
13 years 8 months ago
1999
Springer
This paper addresses the relations between information retrieval (IR) and AI. It examines document retrieval, summarising its essential features and illustrating the state of its ...