1138 search results - page 118 / 228 » Scale-Time Kernels and Models |
RECOMB
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. We describe and empirically evaluate machine learning methods for the prediction of zinc binding sites from protein sequences. We start by observing that a data set consi...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
BILDMED
2007
13 years 10 months ago
2007
In some registration applications additional user knowledge is available, which can improve and accelerate the registration process, especially for non-rigid registration. This is ...
CSSC
2008
13 years 9 months ago
2008
Nonparametric regression can be considered as a problem of model choice. In this paper we present the results of a simulation study in which several nonparametric regression techn...
ENTCS
2008
13 years 9 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...