1222 search results - page 98 / 245 » A Bayesian Approach to Model Checking Biological Systems |
107
click to vote
IPMI
2007
Springer
16 years 4 months ago
2007
Springer
This paper describes a system for detecting pulmonary nodules in CT images. It aims to label individual image voxels in accordance to one of a number of anatomical (pulmonary vesse...
146
Voted
CCS
2009
ACM
15 years 8 months ago
2009
ACM
This work casts the traffic analysis of anonymity systems, and in particular mix networks, in the context of Bayesian inference. A generative probabilistic model of mix network ar...
142
click to vote
MLMI
2004
Springer
15 years 9 months ago
2004
Springer
This paper investigates the automatic analysis and segmentation of meetings. A meeting is analysed in terms of individual behaviours and group interactions, in order to decompose e...
129
click to vote
JAIR
2008
15 years 4 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
156
Voted
KI
2010
Springer
15 years 1 months ago
2010
Springer
Recognizing human intentions is part of the decision process in many technical devices. In order to achieve natural interaction, the required estimation quality and the used comput...