7318 search results - page 11 / 1464 » Models of real-valued measurability |
105
Voted
SOFSEM
2007
Springer
15 years 6 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
86
Voted
TAMC
2009
Springer
15 years 7 months ago
2009
Springer
We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and in...
CSDA
2004
15 years 9 days ago
2004
An adjusted least squares estimator is derived that yields a consistent estimate of the parameters of an implicit quadratic measurement error model. In addition, a consistent esti...
81
Voted
OTM
2005
Springer
15 years 6 months ago
2005
Springer
Expressive knowledge representations with flexible semantic similarity measures are central for the functioning of semantic information retrieval, information integration, matchmak...
118
Voted
CSCWD
2008
Springer
15 years 2 months ago
2008
Springer
This research explored a new direction of improving collaborative design by performance measurement. More specifically, a novel 3-dimensional performance measurement model is deve...