2502 search results - page 252 / 501 » Using probabilistic model checking in systems biology |
228
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
We address the problem of learning the parameters in graphical models when inference is intractable. A common strategy in this case is to replace the partition function with its B...
154
click to vote
ECCV
2000
Springer
16 years 8 months ago
2000
Springer
We describe a method for computing the likelihood that a completion joining two contour fragments passes through any given position and orientation in the image plane, that is, a m...
215
click to vote
ADAEUROPE
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
161
click to vote
SOSP
1997
ACM
15 years 8 months ago
1997
ACM
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...
169
click to vote
CRV
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper describes a surveillance system that uses a network of sensors of different kind for localizing and tracking people in an office environment. The sensor network consist...