3082 search results - page 552 / 617 » Deviation Analysis: A New Use of Model Checking |
100
click to vote
HPDC
2010
IEEE
15 years 29 days ago
2010
IEEE
Cloud computing is increasingly considered as an additional computational resource platform for scientific workflows. The cloud offers opportunity to scale-out applications from d...
121
click to vote
TSP
2008
14 years 10 months ago
2008
A new hierarchical nonparametric Bayesian framework is proposed for the problem of multi-task learning (MTL) with sequential data. The models for multiple tasks, each characterize...
123
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Automatic non-rigid registration of 3D time-varying data is fundamental in many vision and graphics applications such as facial expression analysis, synthesis, and recognition. De...
103
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: In the analysis of microarray data one generally produces a vector of p-values that for each gene give the likelihood of obtaining equally strong evidence of change by...
119
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper deals with the 3D shape estimation from silhouette cues of multiple moving objects in general indoor or outdoor 3D scenes with potential static obstacles, using multipl...