2661 search results - page 347 / 533 » Model Checking Performability Properties |
111
Voted
DAGSTUHL
2000
15 years 2 months 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...
96
Voted
CONNECTION
2006
15 years 21 days 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...
99
Voted
ISVC
2010
Springer
14 years 11 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...
104
Voted
SIGIR
2012
ACM
13 years 3 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...
109
click to vote
SAFECOMP
2010
Springer
14 years 11 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...