14244 search results - page 508 / 2849 » Modeling Program Predictability |
130
Voted
FAC
2006
15 years 5 months ago
2006
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
146
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
— In this paper we predict the amount of slip an exploration rover would experience using stereo imagery by learning from previous examples of traversing similar terrain. To do t...
291
click to vote
KDD
2008
ACM
16 years 5 months ago
2008
ACM
Many time series prediction methods have focused on single step or short term prediction problems due to the inherent difficulty in controlling the propagation of errors from one ...
135
Voted
CDC
2010
IEEE
15 years 9 hour ago
2010
IEEE
This paper presents a novel approach to the estimation of a general class of dynamic nonlinear system models. The main contribution is the use of a tool from mathematical statistic...
153
Voted
KDD
2004
ACM
15 years 10 months ago
2004
ACM
We are developing a technique to predict travel time of a vehicle for an objective road section, based on real time traffic data collected through a probe-car system. In the area ...