813 search results - page 24 / 163 » Pipeline-centric provenance model |
AAAI
2004
13 years 9 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
ICML
2009
IEEE
14 years 8 months ago
2009
IEEE
We show how variational Bayesian inference can be implemented for very large generalized linear models. Our relaxation is proven to be a convex problem for any log-concave model. ...
AUSAI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We discuss the face detection method by using skin information. Skin color has proven to be a useful and robust cue for face detection, localization and tracking. Numerou...
ICANN
2005
Springer
14 years 1 months ago
2005
Springer
Delay activity (DA) is the increased firing rate of a cortical population, which persists when the stimulus that induced it is removed. It is believed to be the neural substrate f...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...