3819 search results - page 474 / 764 » Predicting Dependability by Testing |
131
click to vote
IEICET
2010
15 years 4 months ago
2010
In this paper, we propose a new way to estimate fog extinction at night using a classification of fog depending on the forward scattering. We show that a characterization of fog ...
161
Voted
TSP
2008
15 years 4 months ago
2008
This paper develops and compares the maximum a posteriori (MAP) and minimum mean-square error (MMSE) estimators for spherically contoured multivariate Laplace random vectors in add...
206
click to vote
TOPLAS
2010
15 years 4 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
156
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
We study the average number of transitions in Glushkov automata built from random regular expressions. This statistic highly depends on the probabilistic distribution set on the e...
170
click to vote
ICRA
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper, an insect-inspired motion detector (Reichardt-model) is applied to visual servo control to ensure the stability of the system with high gain and time delay in its fe...