828 search results - page 82 / 166 » Predictability by construction |
ISIPTA
2005
IEEE
14 years 3 months ago
2005
IEEE
When considering sampling models described by a distribution from an exponential family, it is possible to create two types of imprecise probability models. One is based on the co...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
SEW
2005
IEEE
14 years 3 months ago
2005
IEEE
The structural stability of an object-oriented design (OOD) refers to the extent to which the structure of the design is preserved throughout the evolution of the software from on...
PERVASIVE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Location-awareness is useful for mobile and pervasive computing. We present a novel adaptive framework for recognizing personally important locations in cellular networks...
PR
2011
13 years 25 days ago
2011
In this paper, we describe an approach for the automatic medical annotation task of the 2008 CLEF cross-language image retrieval campaign (ImageCLEF). The data comprise 12076 full...