1293 search results - page 205 / 259 » Modelling Smooth Paths Using Gaussian Processes |
CP
2009
Springer
14 years 8 months ago
2009
Springer
We consider the problem of exploring the search tree of a CLP goal in pursuit of a target property. Essential to such a process is a method of tabling to prevent duplicate explorat...
TC
2008
13 years 7 months ago
2008
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
BIOINFORMATICS
2008
13 years 7 months ago
2008
Motivation: For many biotechnological purposes, it is desirable to redesign proteins to be more structurally and functionally stable at higher temperatures. For example, chemical ...
ICCD
2006
IEEE
14 years 4 months ago
2006
IEEE
— As the technology scales into 90nm and below, process-induced variations become more pronounced. In this paper, we propose an efficient stochastic method for analyzing the vol...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper develops a Bayesian network (BN) predictor to profile cross-race gene expression data. Cross-race studies face more data variability than single-lab studies. Our desig...