435 search results - page 36 / 87 » Methods to Learn Abstract Scheduling Models |
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
HUC
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We present a method of learning a Bayesian model of a traveler moving through an urban environment. This technique is novel in that it simultaneously learns a unified mo...
MICCAI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Automatic delineation of the prostate boundary in transrectal ultrasound (TRUS) can play a key role in image-guided prostate intervention. However, it is a very challengi...
ICALT
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract—This work proposes a novel approach - personalized forecasting - to take into account the sequential effect in predicting student performance (PSP). Instead of using all...
ESANN
2007
13 years 10 months ago
2007
Uncertainty is a popular phenomenon in machine learning and a variety of methods to model uncertainty at different levels has been developed. The aim of this paper is to motivate ...