1476 search results - page 146 / 296 » Adaptable Components |
136
click to vote
FMCO
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
158
Voted
ECSQARU
1995
Springer
15 years 8 months ago
1995
Springer
The paper presents a method for uncertainty propagation in Bayesian networks in symbolic, as opposed to numeric, form. The algebraic structure of probabilities is characterized. Th...
164
Voted
PAKM
2000
15 years 6 months ago
2000
This paper presents a knowledge-sharing framework for achieving effective knowledge reuse within industrial organisations. This knowledge re-use paradigm goes beyond traditional e...
175
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
The paper presents a model of visual attention combined with eye tracking to drive content-based retrieval of image data in order to facilitate understanding and development of ne...
123
click to vote
CL
2006
Springer
15 years 5 months ago
2006
Springer
Transforming programs to alter their semantics is of wide interest, for purposes as diverse as off-the-shelf component adaptation, optimization,tracegeneration,andexperimentationw...