14244 search results - page 598 / 2849 » Modeling Program Predictability |
156
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
173
click to vote
PDP
1997
IEEE
15 years 10 months ago
1997
IEEE
We investigate the well-known PRAM model of parallel computation as a practical parallel programming model. The two components of this project are a general-purpose PRAM programmin...
181
click to vote
LOPSTR
1994
Springer
15 years 10 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
149
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
We propose an unbounded-depth, hierarchical, Bayesian nonparametric model for discrete sequence data. This model can be estimated from a single training sequence, yet shares stati...
155
click to vote
CIMCA
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we present a simple yet accurate model to forecast electricity load with Artificial Neural Networks (ANNs). We analyze the problem domain and choose the most adequat...