2661 search results - page 347 / 533 » Model Checking Performability Properties |
DAGSTUHL
2000
14 years 7 hour ago
2000
Queueing network models have been extensively applied to represent and analyze resource sharing systems such as communication and computer systems and they have proved to be a pow...
CONNECTION
2006
13 years 10 months ago
2006
This article describes a developmental system based on information theory implemented on a real robot that learns a model of its own sensory and actuator apparatus. There is no in...
ISVC
2010
Springer
13 years 9 months ago
2010
Springer
In this paper, the well-known SIFT detector is extended with a bivariate feature localization. This is done by using function models that assume a Gaussian feature shape for the de...
SIGIR
2012
ACM
12 years 1 months ago
2012
ACM
We present a novel interpretation of Clarity [5], a widely used query performance predictor. While Clarity is commonly described as a measure of the “distance” between the lan...
SAFECOMP
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...