819 search results - page 161 / 164 » Using Assumptions to Distribute CTL Model Checking |
MANSCI
2007
14 years 10 months ago
2007
Selection procedures are used in a variety of applications to select the best of a finite set of alternatives. ‘Best’ is defined with respect to the largest mean, but the me...
119
click to vote
CSDA
2007
14 years 9 months ago
2007
In blind source separation, there are M sources that produce sounds independently and continuously over time. These sounds are then recorded by m receivers. The sound recorded by ...
109
click to vote
BMCBI
2010
14 years 5 months ago
2010
Background: In a high throughput setting, effective flow cytometry data analysis depends heavily on proper data preprocessing. While usual preprocessing steps of quality assessmen...
115
click to vote
SIGMOD
2012
ACM
13 years 16 days ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...
CVPR
2008
IEEE
16 years 3 days ago
2008
IEEE
In this paper, we propose a particle filtering approach for the problem of registering two point sets that differ by a rigid body transformation. Typically, registration algorithm...