3760 search results - page 41 / 752 » Logic-Based Probabilistic Modeling |
FMOODS
2003
15 years 1 months ago
2003
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
ECIR
2007
Springer
15 years 1 months ago
2007
Springer
A common task in many applications is to find persons who are knowledgeable about a given topic (i.e., expert finding). In this paper, we propose and develop a general probabilis...
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
We propose a new method for detecting the musical instruments that are present in single-channel mixtures. Such a task is of interest for audio and multimedia content analysis and...
TCS
2008
14 years 11 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
ICPR
2004
IEEE
16 years 28 days ago
2004
IEEE