4516 search results - page 441 / 904 » Automated System Design for Availability |
201
click to vote
LPAR
2005
Springer
16 years 11 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
155
click to vote
ICCBR
1999
Springer
15 years 11 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...
193
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
The domain of cookery has been of interest for Case-Based Reasoning (CBR) research for many years since the CHEF case-based planning system in the mid 1980s. This paper returns to ...
183
click to vote
DLOG
1997
15 years 8 months ago
1997
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...
149
click to vote
TVCG
2010
15 years 5 months ago
2010
—The non-data components of a visualization, such as axes and legends, can often be just as important as the data itself. They provide contextual information essential to interpr...