6014 search results - page 27 / 1203 » Parametric Analysis of Computer Systems |
131
Voted
SPIN
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
117
Voted
ICDAR
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper aims at automatic recognition of online handwritten mathematical expressions written on an electronic tablet. The proposed technique involves two major stages: symbol r...
121
click to vote
ENGL
2007
15 years 2 months ago
2007
— This paper presents a new intelligent agent supervisory loop based approach for dynamic system control. The scheme consists of three software agents that work in an autonomous ...
127
click to vote
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
Multi-camera networks offer potentials for a variety of novel human-centric applications through provisioning of rich visual information. In this paper, face orientation analysis ...
127
Voted
UAI
2001
15 years 3 months ago
2001
We present an iterative Markov chain Monte Carlo algorithm for computing reference priors and minimax risk for general parametric families. Our approach uses MCMC techniques based...