4516 search results - page 195 / 904 » Automated System Design for Availability |
146
click to vote
EWCBR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Being able to predict the performance of a Case-Based Reasoning(CBR) system against a set of future problems would provide invaluable information for design and maintenan...
106
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
We developed an importer from both HOL 4 and HOL-light into Isabelle/HOL. The importer works by replaying proofs within Isabelle/HOL that have been recorded in HOL 4 or HOL-light a...
131
click to vote
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
Case-based reasoning systems routinely record the results of prior problem-solving, but not the provenance of new cases: the way in which the new cases were derived. This paper pro...
137
click to vote
DSVIS
2008
Springer
15 years 6 months ago
2008
Springer
This paper reports on our experience in using the MuiCSer process framework for the redesign of the user interface for operating an industrial digital printing system. MuiCSer is c...
176
click to vote
ICAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract—This paper describes and evaluates a biologically-inspired network architecture that allows grid services to autonomously adapt to dynamic environment changes in the net...