348 search results - page 49 / 70 » Behaviour Model Synthesis from Properties and Scenarios |
RECOMB
2010
Springer
14 years 3 months ago
2010
Springer
Background: The empirical frequencies of DNA k-mers in whole genome sequences provide an interesting perspective on genomic complexity, and the availability of large segments of g...
DMDW
2001
13 years 10 months ago
2001
In this paper we address the issue of conceptual modeling of data used in multidimensional analysis. We view the problem from the end-user point of view and we describe a set of r...
CMSB
2006
Springer
14 years 10 days ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
BIOID
2008
13 years 10 months ago
2008
Abstract. Gabor filters have demonstrated their effectiveness in automatic face recognition. However, one drawback of Gabor-based face representations is the huge amount of data th...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
We introduce a new class of probabilistic latent variable model called the Implicit Mixture of Conditional Restricted Boltzmann Machines (imCRBM) for use in human pose tracking. K...