1293 search results - page 117 / 259 » Modelling Smooth Paths Using Gaussian Processes |
112
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
AINA
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper is focused on modeling Web request and session level arrival processes. We propose a statistically rigorous approach which includes testing for non-stationarity and Gau...
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents an architecture for solving generically the problem of extracting the constraints of a given task in a programming by demonstration framework and the problem...
MASCOTS
2000
15 years 3 months ago
2000
This paper describes three visually interactive tools for the analysis, modeling, and generation of long-range dependent (LRD) network traffic. The synTraff toolkit uses a three-s...
122
Voted
ICEIS
1999
IEEE
15 years 6 months ago
1999
IEEE
: Contour Estimation, Bayesian Estimation, Random Fields, Dynamic Programming, Multigrid Methods. This paper addresses contour estimation on images modeled as piecewise homogeneous...