2487 search results - page 65 / 498 » Automatic Model Selection by Modelling the Distribution of R... |
114
click to vote
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
The ability to determine the identity of a skull found at a crime scene is of critical importance to the law enforcement community. Traditional clay-based methods attempt to recon...
107
click to vote
FIDJI
2003
Springer
15 years 3 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
HPDC
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we introduce the Join-Elect-Leave (JEL) model, a simple yet powerful model for tracking the resources participating in an application. This model is based on the co...
AAAI
2004
14 years 11 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...
ISMB
1998
14 years 11 months ago
1998
A hidden Markov model of signal peptides has been developed. It contains submodels for the N-terminal part, the hydrophobic region, and the region around the cleavage site. For kn...